 factor of t?
False
Let g(o) = -o**3 + 4*o + 7497. Is g(0) a multiple of 9?
True
Let g = 44 - 100. Let o = g + 75. Suppose -4*i + 99 = o. Is 20 a factor of i?
True
Let j(u) = -2*u**2 + 11*u - 2. Let d be j(5). Suppose 4*b = 5*o - 306, 5*b - 104 = -d*o + 87. Is o a multiple of 5?
False
Let k(c) = 81*c**3 - 3*c**2 + 77*c - 388. Is k(6) a multiple of 109?
False
Let c(y) = -y**3 - 2*y**2 - 10*y + 29. Let u be c(-14). Suppose -1382 - u = -3*m. Does 46 divide m?
False
Suppose 2*p + j = -3*j - 2, 0 = -5*p + 5*j + 10. Is p/(-5) + (4042/(-10))/(-1) a multiple of 16?
False
Suppose 5*m = q + 416, -2*m + q + 84 = -m. Suppose 0 = m*j - 78*j - 50. Is 22 a factor of (36/j)/(-3)*-125?
False
Suppose -u - 10 = -3*i + 2*i, -34 = -4*i + 2*u. Suppose 1157*m - 10508 = 1015*m. Let a = i + m. Is 9 a factor of a?
True
Suppose 1036411 + 49839 = 79*r. Is 10 a factor of r?
True
Let j(z) = -z**2 + 10*z + 11. Let c be j(11). Suppose 5*s = 0, -q + c*q - 2*s = 0. Suppose -3*d + 2*u = -334, q*d - 5*u = -3*d + 349. Is 18 a factor of d?
True
Let j = 24609 + -24429. Is 5 a factor of j?
True
Is (-1557710)/(-280) + 14/8 - -2 a multiple of 11?
False
Suppose -s = f - 42, 5*s - 4*f = -2*f + 231. Suppose -17*q = -s*q + 4032. Is q a multiple of 24?
True
Suppose 7305 = 22*f - 7*f. Let l = -365 + f. Is l a multiple of 5?
False
Suppose 4133539 + 6288782 - 2157268 = 281*h. Is 18 a factor of h?
False
Let i(j) = -j**2 - 3*j + 9. Let d be i(-4). Let u = 271 - -52. Suppose 0 = 4*v - d*q - 315, -2*v = 2*v + 3*q - u. Is v a multiple of 10?
True
Let v = -9326 + 21734. Is v a multiple of 5?
False
Suppose 2*q = -i - 17, 2*q + 2 = 3*q - 3*i. Does 22 divide 3 + -5 - (q + -721)?
True
Let u be -1 - (1 + 0/2)*-1. Suppose u*i + i = 0, 4 = 2*o - 2*i. Suppose -3*h + 294 = o*j, 0*h - j = -3*h + 285. Is h a multiple of 8?
True
Suppose -100*k + 44*k + 7910 = -247450. Is 19 a factor of k?
True
Suppose -v = -3*w + 7840, -114*w + 5*v = -113*w - 2618. Is w a multiple of 20?
False
Suppose 2*b - 3*x = -788, 33*b + 4*x - 1956 = 38*b. Let q = 531 + b. Is q a multiple of 12?
False
Let f = 40733 - 5693. Is 15 a factor of f?
True
Let b be ((-2)/5)/((-14)/420). Suppose 6 = -3*g - b. Is 3 + g/2*-2 a multiple of 9?
True
Suppose -g = 109*u - 108*u - 1730, 4*u = 3*g - 5155. Is g a multiple of 25?
True
Does 20 divide 1269/(-94)*(-3 + (-431)/3)?
True
Let f(l) = -20*l**2 + 1562*l - 128. Does 27 divide f(68)?
True
Let b(y) = 5*y**2 - 8*y + 19. Let f = 51 + -46. Is b(f) a multiple of 40?
False
Let x(d) be the first derivative of -11*d**2 - 33*d - 16. Let v be x(-5). Let q = v + -57. Is q a multiple of 20?
True
Let s(j) = 20*j**2 - j + 2. Let a be s(-10). Suppose w + a = 6*w + 3*x, -3*w - 2*x + 1207 = 0. Let u = w + -285. Is u a multiple of 22?
False
Suppose -5*y = 4*q - 38, 0 = 3*y + 4*q - 4 - 22. Let i(u) = 19*u**2 - 49*u + 10. Is 25 a factor of i(y)?
True
Let q = 258 - 253. Suppose -2*i + 4*o = -28, -56 = -2*i - q*o + 2*o. Is 17 a factor of i?
False
Let a(u) = u**3 - 37*u**2 + 1055*u + 1. Does 21 divide a(34)?
True
Is 3/(-63) - (-319472)/861 a multiple of 2?
False
Suppose -688*k + 2045 = -693*k. Let p = 595 + k. Is 31 a factor of p?
True
Let z = 6 - 4. Suppose 0 = 2*l - 4*j, -3*l + 3 + 1 = -2*j. Suppose -3 = -3*g - z*p + 101, 2*g - 66 = -l*p. Does 14 divide g?
False
Let w be 3988/(-2) - (-3 + 13 + -8). Let v = w + 3056. Does 20 divide v?
True
Let m(p) = 5 + 0*p**2 + 3*p**2 + 8*p + 3*p**2 - 3*p**2. Let b(v) = v**3 - v**2 - v - 6. Let l be b(0). Does 13 divide m(l)?
True
Is 197520/(-36)*(-30)/(-25)*38/(-8) a multiple of 38?
True
Let u(d) = -46*d - 5185. Is u(-117) a multiple of 3?
False
Is ((4 - -12284)/3 - -4) + 1 a multiple of 19?
False
Let x = -251 + 256. Suppose -4*m = x*l - 96, -m + 3 = 3*l - 21. Is m a multiple of 7?
False
Suppose 0 = -4*z - 3*z - 14. Let x be (3/z)/((-21)/448). Suppose 4*w + 30 + x = 2*i, 3*i - 4*w - 85 = 0. Does 5 divide i?
False
Suppose 2*h - 5*l - 51 = 754, -2*h + 3*l + 811 = 0. Let f = h - 230. Is 50 a factor of f?
False
Let o = 1825 - 1092. Let a = o - 642. Does 39 divide a?
False
Is 14 a factor of (80/100*-4802)/((-1)/10)?
True
Suppose -5*j + 101 = -9. Let y be ((-99)/j)/(2/4). Is 23 a factor of (-830)/(-9) + 2/y*1?
True
Let q(s) = -2*s**3 - 51*s**2 + 547*s + 551. Does 59 divide q(-45)?
False
Let t be (15/(3 - 0))/1. Suppose 4*o = -u + 240, -12*u + t*o + 545 = -10*u. Is u a multiple of 7?
False
Suppose -6*g = -7*g - g + 19050. Is 166 a factor of g?
False
Let q be 1*(3/2)/(3/(-514)). Let k = 332 + q. Does 25 divide k?
True
Let p(t) = 2*t**3 + t**2 + t - 3. Let i be 14*(-2 + -2 + 1 + 1). Let o = 31 + i. Is 8 a factor of p(o)?
False
Suppose 0 = 4*u + 3*j - 27, 2*u + 2*j - 6 = 8. Suppose -u*q = 2*q - 1680. Does 21 divide q?
True
Let h(f) = 77*f**2 - 50*f + 17. Let n(o) = -26*o**2 + 17*o - 5. Let v(u) = 4*h(u) + 11*n(u). Is v(-7) a multiple of 73?
False
Let p(s) be the second derivative of s**4/12 - 17*s**3/6 - 109*s**2/2 - 6*s + 5. Is p(43) a multiple of 68?
False
Suppose 0 = 29*g - 28*g + 5*q + 7, -4*q - 8 = 0. Suppose -g*y = -4*w - 4019, 4*y - y = 5*w + 4024. Does 49 divide y?
False
Suppose 4*b = 366 - 110. Let w = b + -62. Does 26 divide ((-104)/(-20))/(w/40)?
True
Let v(d) = -d + 49. Let y be v(-8). Suppose 0 = 2*z - 12*z + 10. Suppose -z = -t + y. Is 29 a factor of t?
True
Let h(g) = g**2 + 33*g - 1236. Is 12 a factor of h(27)?
True
Suppose -2*a + g = -973, 0*g = -2*g + 6. Suppose -10*u + a = -722. Is 2 a factor of u?
False
Suppose -h + c + 10271 = -23427, 4*c + 101090 = 3*h. Does 40 divide h?
False
Let j(n) = n**2 - 6*n - 237. Does 18 divide j(-18)?
False
Let a be -3 + (-16)/4 - -5. Let o be 4/a - (-1488)/(3 + -1). Suppose -5*u + o = -553. Does 37 divide u?
True
Let p be (0 - -4 - 115)/(-1). Let l = p + -109. Suppose 0 = -4*m - 4*h + 32, 2*m - l*h = -3*h + 13. Is 5 a factor of m?
True
Suppose 5*j - 1852 - 18 = 0. Suppose 3*a - j - 196 = 0. Does 19 divide a?
True
Let h = 81 - 77. Suppose k + 4*k - 5*l = 0, 16 = 4*k + h*l. Suppose -3*d + 46 = -2*d + 4*w, 0 = k*d - 5*w - 40. Is 5 a factor of d?
True
Let u(i) be the second derivative of -i**5/20 - 4*i**4/3 + 5*i**3/6 - 11*i**2 + 10*i. Let r be (204/(-24))/(2/4). Is u(r) a multiple of 27?
False
Let n(r) = -r**3 - r**2 - 2*r + 6. Let i(h) = h - 23. Let d be i(-6). Let k be 16/(-72) + d/(-9) - 3. Is n(k) a multiple of 2?
True
Suppose 5*q - 76550 = -y, -25124 - 36127 = -4*q - 3*y. Is 27 a factor of q?
True
Suppose 5*x - 20 = 5*y, -2*x + 4*y = -3*x - 16. Suppose 7*r - 4*r - 84 = x. Is 9 a factor of r?
False
Suppose 5*d = -15*r + 11*r + 10, -3*r = -15. Is ((-8172)/(-27))/(d/(-3)) a multiple of 30?
False
Suppose 12*l = -30*l + 20118. Let b = 941 - l. Is b a multiple of 21?
True
Let q be 1896/63 - (-18)/(-189). Suppose 76*c = q*c + 10304. Is c a multiple of 4?
True
Suppose 0 = -6*k + 12 - 0. Suppose -4*q + 2 + k = 2*r, -q - 5*r - 17 = 0. Suppose -4*l - a = -179, -3*l + a = q*a - 128. Is l a multiple of 23?
True
Suppose 515*j + 11799 = 518*j. Does 69 divide j?
True
Let g(c) = 1 + 30*c**3 + 6*c**2 + 1 + 0*c - 9 - 7*c. Does 11 divide g(2)?
False
Let o = 328 + -324. Suppose o*k - 1645 = -3*i, -9*k + 4*k - 1609 = -3*i. Is 9 a factor of i?
False
Is 131 a factor of 2 - ((-2 + 3)*-17026)/2?
True
Let u = -31 + 58. Let k = u - 26. Is ((32/(-12))/k)/((-1)/15) a multiple of 8?
True
Let h(a) = 169*a**2 - 8*a + 5. Let w be h(5). Is (7/2)/(w/(-1400) - -3) a multiple of 14?
True
Let h = -157 - -135. Let r(f) = -5*f - 55. Is r(h) a multiple of 9?
False
Suppose -3 = -9*b + 33. Does 10 divide b/38 - (-2 - (-376)/(-38))?
False
Let z(j) = -j**3 - 9*j**2 + j + 6. Let t be z(4). Is 3 a factor of (-7491)/t + 13/6 + -2?
False
Let m(a) be the first derivative of 55*a**2/2 + 23*a + 111. Is m(16) a multiple of 21?
True
Suppose -116*c = -126*c + 26100. Is c a multiple of 90?
True
Let c(i) = 325*i - 13 - 326*i - 9. Let o be c(-19). Let z(r) = -9*r**3 - 2*r**2 + 2*r + 1. Is 25 a factor of z(o)?
False
Let w = -16 + 21. Let k be 437/4 + (-33)/(-44). Suppose w*n = -s + k, -2*s + 6*s + n - 516 = 0. Is s a multiple of 13?
True
Is (337 - 341)/(306/310 - 1) even?
True
Let a(u) be the third derivative of u**5/60 + u**4/3 - 23*u**3/2 + 113*u**2. Does 2 divide a(-15)?
True
Suppose -k - 3 = 5*y, -5*k + 5 + 2 = 3*y. Suppose 0 = 4*j + u - 827, -3*u + 396 = k*j + u. Is j a multiple of 11?
False
Let 