h - 3312. Is h a multiple of 46?
True
Let g(m) = -4*m**3 - 1 + 4*m**2 + 1905*m - 3 - 1906*m + 1. Is g(-3) a multiple of 36?
True
Let f(o) = 17*o**2 + 9. Let y be f(3). Let r = 288 - y. Is r a multiple of 7?
True
Let z = -778 - -5815. Does 86 divide z?
False
Let g(s) be the first derivative of 5*s**3 + 5*s**2 + 4*s - 27. Let m be g(-4). Suppose h - 179 = -4*z, 5*h + m = 5*z + 1099. Is 34 a factor of h?
False
Let m = 729 + -743. Let n(l) = -125*l - 120. Is n(m) a multiple of 10?
True
Does 11 divide (5188428/5292)/((-1)/(-84))?
False
Suppose 4*v = -4*n + 159 - 927, 0 = -n - 2*v - 194. Let k = n - -255. Is 35 a factor of k?
False
Let x be 0*(-3 - (0 - 2)). Suppose w + 15 + x = -s, -2*w = -4*s - 72. Let c = 59 + s. Is 6 a factor of c?
True
Let f(c) = -c**3 - 7*c**2 - c - 12. Let u be f(-6). Let w be (u/4)/(27/(-36)). Does 23 divide (w - -22)/((-6)/(-8))?
False
Let c(u) = u**3 + 14*u**2 - 3*u - 4. Let k be c(-15). Let h = k + 371. Is 1 + -3 - h/(-11) a multiple of 3?
True
Let f be 989 - ((-1 - -7) + (7 - 9)). Let b = f + -655. Is b a multiple of 33?
True
Suppose 975 = -5*o + 7650. Is 6 a factor of o?
False
Does 18 divide (-19233)/(-4) - (2 + 15/60)?
True
Let h(v) be the third derivative of v**6/120 - v**5/12 + v**4/3 + 2*v**2 + 36*v. Suppose -4*n = 2*b - 20, 5*b = n + 3 + 25. Is h(b) a multiple of 21?
True
Suppose 0*v = -3*v - 4*l + 20, -5*v = -3*l - 14. Let t = -1453 - -1482. Suppose a = -v + t. Does 5 divide a?
True
Let r(b) = -11*b**3 - b**2 - 7*b - 16. Suppose -5*h + 86 = -48*h. Does 13 divide r(h)?
False
Let l = 261 + -107. Suppose h = -3*s + 35 + 7, 5*h - l = -s. Suppose 0 = -5*z + h + 150. Does 12 divide z?
True
Let k(c) = 59*c**2 + 9*c + 11. Is k(10) a multiple of 28?
False
Does 10 divide 3/6*(-63120)/(156/(-13))?
True
Let l(c) = -2*c + 24. Let w be l(0). Suppose -28*k = -w*k - 420. Is 20 a factor of k?
False
Let n(l) = 372*l**3 - l**2 + l + 2. Let p be n(-1). Let u = -347 - p. Is 3 a factor of u?
False
Let o be (3 - 4)/((-7)/(-1435)). Let r = o + 541. Is r a multiple of 48?
True
Suppose 0 = 7*a - 12*a + h + 52, 5*h - 37 = -2*a. Suppose 10*c + 127 = a*c. Is c a multiple of 15?
False
Let k = 1449 + 14160. Does 121 divide k?
True
Let o = -505 + 1016. Let r = o + -290. Is 13 a factor of r?
True
Is (-9014 - (-1 - -5))/(2/(-10)*5) a multiple of 167?
True
Suppose 0 = 8*s - 187 - 117. Suppose -s*b - 108 = -41*b. Does 9 divide b?
True
Let f(l) = -4*l**3 - 155*l**2 - 264*l - 76. Is 20 a factor of f(-41)?
False
Suppose 0 = 19*g - 22*g + 6. Suppose -d + 0*d + 4*w - 67 = 0, 3*w = g*d + 134. Let c = d - -75. Is 6 a factor of c?
False
Let c = -1431 + 1971. Does 4 divide c?
True
Let g = -1752 - -4950. Does 41 divide g?
True
Let n(u) = u**2 + 109*u - 333. Is n(34) a multiple of 12?
False
Let p = 603 + -591. Suppose -8 = 4*w, -8*g - 4450 = -p*g - w. Is 17 a factor of g?
False
Let z(x) = 39*x + 21. Let p be z(8). Suppose d + p = -8*d. Let j = d - -50. Does 13 divide j?
True
Let n be ((-23328)/6)/(-3) - -7. Let a = -924 + n. Is 21 a factor of a?
False
Suppose 421 = -5*y + 171. Let w = 44 + y. Does 3 divide 24/((-15)/w*2/5)?
True
Let r = 210 + -207. Suppose -n - 122 = -3*n + 3*m, -3*n = -r*m - 186. Does 20 divide n?
False
Let u = 79 + -68. Suppose -10*h = -u*h + 5. Suppose -h*j - 4*j + 45 = 0. Is 5 a factor of j?
True
Let t = 4127 + 7364. Is t a multiple of 172?
False
Let s be 7/((-28)/(-32)) - 0/2. Let h be (-9)/3 + -1 + s. Suppose -4*u + f + 4*f = -22, -h*u = -f - 14. Is 3 a factor of u?
True
Let l(y) = 11*y**2 - 7*y - 81. Let q(f) = 12*f**2 - 8*f - 79. Let t(m) = 5*l(m) - 4*q(m). Does 22 divide t(-7)?
False
Let w(q) be the second derivative of 33*q**5/10 - q**4/6 + q**3/2 + q**2 - 4*q + 3. Does 33 divide w(2)?
True
Suppose 3*g - 15154 = -2*c, -3*g + 17204 = -3*c + 2030. Is g a multiple of 16?
False
Suppose 6 = -2*a + a. Let s(f) = 0 - f + 6 + 2*f**2 + f - 2 + 3*f. Is 33 a factor of s(a)?
False
Suppose 44*a - g + 89959 = 46*a, 4*a + g - 179919 = 0. Is a a multiple of 19?
False
Let x be (-49 + 5)*75/12. Let u = 906 + x. Does 15 divide u?
False
Suppose 12*m + 8 + 16 = 0. Let p be (-8592)/(-6)*1*m/(-4). Suppose -2*h - 2*h = -p. Does 26 divide h?
False
Let n(q) = -5*q + 2. Let w be n(0). Suppose 0 = -2*b + 10, o + 3*o - w*b = 2. Suppose o*u - 144 = -3*u. Is 3 a factor of u?
True
Suppose -24*c + 16556 = 3*d - 28*c, -9*c = 2*d - 11084. Does 11 divide d?
False
Let g be 2/13 - 20140/(-65). Let t = 454 - g. Is 12 a factor of t?
True
Is (-3)/(-1 + (-144)/(-54) - 121088/72651) a multiple of 61?
True
Let j = -465 + 553. Is 3 a factor of j?
False
Let k = -295 + 289. Is 13 a factor of (-1664)/(-160)*((-423)/k - -2)?
True
Let s = -957 + 1602. Let v = s - 206. Is v a multiple of 7?
False
Suppose -70560 = -25*h - 58*h - 13*h. Is h a multiple of 21?
True
Let g(j) = 3*j + 7*j**2 - 9 - 33*j**3 + 2*j**2 + 3*j**2. Let n(h) = -22*h**3 + 8*h**2 + 2*h - 6. Let t(q) = 5*g(q) - 7*n(q). Is 9 a factor of t(-2)?
True
Let y = 5081 + -4858. Is 28 a factor of y?
False
Suppose 59*h + 432 = 57*h. Let r be (3*2/9)/(16/h). Is ((-356)/12 - -3)*r/6 a multiple of 4?
True
Let h = 294 - 296. Is 83 a factor of (h - -1)*1364/2*-1?
False
Suppose -a + 29 = 3*d + 12, -a = -5*d + 15. Suppose 3*q + 0*q - a*o - 177 = 0, -59 = -q - 3*o. Is q even?
False
Suppose n + 10 = 4*v + 5, 5*n - 4*v = 7. Suppose h - 725 = -n*t, 2*t - 478 = -5*h + 3*h. Is 81 a factor of t?
True
Let g(s) = -3*s**2 + 18*s - 47. Let l(b) = 2*b**2 - 8*b + 1. Let q be l(5). Let u(d) = -d**2 + 6*d - 16. Let y(r) = q*u(r) - 4*g(r). Is y(12) a multiple of 21?
True
Suppose 7380*r = 7369*r + 81983. Is r a multiple of 180?
False
Let v = -26 - 30. Let n = 105 + v. Suppose r = -4*b - b + 70, 0 = -r + 2*b + n. Is r a multiple of 7?
False
Let c(o) = -3*o**2 + 326*o - 45. Is 5 a factor of c(90)?
True
Suppose -27*m = -25*m + 2*o - 8568, 3*m - 4*o = 12873. Is 15 a factor of m?
False
Let l(a) = a**2 + 34*a - 797. Is l(-65) a multiple of 4?
False
Does 197 divide (((-9)/12)/(3/(-394)))/((-11)/(-5500))?
True
Suppose 2*q = 5*h - 37, -3*q - 5 = -5*h + 33. Let j(d) = -4*d + d**3 - 4*d**3 + 2*d**3 + 3 + h*d**2 + 3. Is 10 a factor of j(3)?
True
Is 153 a factor of 1186044/114 + ((-12)/(-57))/2?
True
Let a(l) = l**2 + 16*l - 14. Let c = 42 - 52. Let k be a(c). Let g = k - -106. Does 8 divide g?
True
Let d = 386 + -385. Does 8 divide -168*d*(-7 - -6)?
True
Suppose 0 = 4*h + 5*x - 3*x - 10, -3*x = -4*h + 5. Is 7 a factor of (6958/(-28))/(h/(-4))?
True
Let m = 964 - 1454. Let y = 748 + m. Is 43 a factor of y?
True
Suppose 3*x - 5*x + 860 = 0. Does 9 divide 50/150 - x/(-6)?
True
Let f = -103 + 105. Suppose 4*t - 118 = -f*q, 4*q + 0*q - 214 = 3*t. Does 3 divide q?
False
Let l = 249 + -245. Is (l - -3) + 107 + -5 a multiple of 5?
False
Suppose 114849 - 384089 = -20*q. Suppose 1658 = 21*u - q. Is u a multiple of 18?
True
Let r(s) = 0*s**2 - 2*s**2 - 67 + 45*s + 33 + 41. Is r(11) a multiple of 16?
False
Is (-3)/(-18) - (-1 + (-315164)/24) a multiple of 12?
False
Let w be (-4)/2 - (-2 + 5 + -49). Let u = w + -36. Let l(m) = 27*m - 15. Is l(u) a multiple of 12?
False
Let w(l) = -l - 7. Let v be w(-7). Suppose v*p - 6*p = -1014. Suppose -5*h + 96 = -p. Does 20 divide h?
False
Let c be (-287)/(-14)*4/(-2). Let p = 68 + c. Is 2 a factor of p?
False
Does 78 divide 78/7*(757 - 1)?
True
Let n = -133 - -176. Suppose 175 = 4*b - 349. Let r = b - n. Does 44 divide r?
True
Let d be (-8)/(-6)*-1 + 79/3. Let b = d + -29. Does 14 divide -22*b/(-16)*-20?
False
Let h(q) be the third derivative of -q**5/30 - q**4/3 + q**3/2 - 49*q**2. Let v be h(-4). Suppose v*p - 258 = 2*w, -1 - 11 = 4*w. Is p a multiple of 6?
True
Let y be -5 + -3 + 60 + -4. Is 3 a factor of 25713/72 + (-6)/y?
True
Suppose 3*f + 25441 = 16*f. Is 102 a factor of f?
False
Suppose -10*r + 66 = -74. Does 19 divide 138 + r + (-1 - -1)?
True
Let m(l) = l**3 + 3*l**2 + l + 7. Let c be m(-5). Let a = -44 - c. Suppose 125 + 15 = a*n. Is 5 a factor of n?
True
Let k = 163 + -301. Let u = k - -300. Is u a multiple of 6?
True
Suppose -31*c = -32*c - 1. Let i be c/((-3)/(-9)*-1). Is (-172)/(-12)*i*3/3 a multiple of 37?
False
Suppose -a - 3*c = 2*a - 75, -2 = c. Let z(x) = 19 + a*x - 6 - 17*x. Does 15 divide z(6)?
False
Suppose 0*m - 2*m - 70 = 0. Let z be ((-140)/m)/(1 - (-24)/(-23)). Let c = 140 + z. Is 12 a factor of c?
True
Let 