2624 = 0. Is a a multiple of 23?
False
Suppose 0 = -16*c + 11*c + 15. Suppose -2*u + 22 = 3*m, 0*m = 4*m + c*u - 31. Suppose -2*t + 5*k = -4, 3*t - t - k = m. Does 2 divide t?
True
Suppose 7*r + 19 = 54. Suppose 3*y + 492 + 223 = -2*t, -r*t - 10 = 0. Let v = y - -357. Is v a multiple of 20?
True
Let z be 4*(-12)/32*158. Let x = 314 - z. Is x a multiple of 19?
True
Let p be (-7 + 1)*(-98)/1. Suppose 0 = -3*o - 2*t + p, t + 89 = -2*o + 481. Is 7 a factor of o?
True
Let z be (0 - -1)*((0 - 2) + -111). Suppose -83 = g - 18. Let x = g - z. Is x a multiple of 5?
False
Suppose -2*g = -4*p - 14024, 50*g + 2*p - 35108 = 45*g. Does 36 divide g?
True
Let t be 5 + (-2)/4 + 1/(-2). Suppose -4*o + u + 1376 = 0, -t*u = -4*o + 614 + 774. Is 56 a factor of o?
False
Suppose -8*m - 315 + 347 = 0. Suppose -m*h + 3100 = 4*k, -4*k + 3*h = -k - 2349. Is k a multiple of 9?
False
Let v(f) = 6*f**2 + 8*f - 2. Suppose 5*t = -3*r, -18 - 11 = -3*t + 4*r. Is 30 a factor of v(t)?
False
Let c = 9467 - 6527. Is 6 a factor of c?
True
Is (-270)/(-2)*(3980/60 + 51) a multiple of 30?
True
Let k = -10950 + 19335. Is 90 a factor of k?
False
Is 15 a factor of ((-28)/(-308))/(11/1871507)?
False
Let o(h) = -5*h**3 - 3*h**2 + 7*h - 19. Let z(q) = 14*q**3 + 9*q**2 - 21*q + 56. Let d(p) = -11*o(p) - 4*z(p). Is d(-10) a multiple of 23?
False
Let f be ((36/(-24))/(6/2504))/2. Let w = 397 + f. Does 3 divide w?
True
Let t(p) = 42*p**2 - 42*p + 512. Is 13 a factor of t(-30)?
True
Let u(f) = 16*f - 59. Let r be u(4). Is 2621/r + 24/30 a multiple of 15?
True
Suppose 70*i - 218757 + 60448 = 143111. Is i even?
True
Is 19 a factor of (-2)/(-4) + (430600/500)/((-4)/(-45))?
False
Suppose -16*a + 19*a - 2*m = 16776, a = 2*m + 5596. Is a a multiple of 10?
True
Let m = -65 + 75. Suppose -27 = m*c - 13*c. Does 9 divide 6 - c - (-63 - -1)?
False
Let g(r) = -7*r - 30. Let m be g(-4). Is 14 a factor of m/7 + 2552/14?
True
Let i(b) = -7*b - 25. Let l be i(-4). Suppose l*y + 4*u - 1268 = 0, -4*u = -3*y - 6*u + 1258. Does 26 divide y?
True
Is 4755 + (-33)/(198/96) a multiple of 3?
False
Let x(j) = 0*j**3 + 5 + 18*j**2 - 7*j - j**3 - 7*j**2. Let r = -518 - -528. Is 6 a factor of x(r)?
False
Suppose 0 = -6668*x + 6685*x - 209610. Does 18 divide x?
True
Suppose -42398 = -5*m + g, 236*g + 42406 = 5*m + 239*g. Does 106 divide m?
True
Suppose 5*t - 11 = -2*v + 2*t, -33 = -4*v + 5*t. Suppose 5*a = 5*x - 205, -a - 56 = 3*x - v*x. Let g = 78 + a. Is 5 a factor of g?
False
Suppose -4*w + 2*c + 3364 = 0, w + c = 4*w - 2521. Suppose -28*m + w = -225. Does 19 divide m?
True
Suppose -278260 - 114374 = -66*v. Is v even?
False
Let o = 27698 + -12824. Is 222 a factor of o?
True
Suppose -5*n + 34 = -2*n - 4*u, 3*u = -3*n + 48. Suppose 2*x + 544 = 5*c, -n*x + 542 = 5*c - 15*x. Is c a multiple of 36?
True
Is 69 a factor of 4796 + (2 - 2/(-1) - 184/92)?
False
Suppose 11*c = 13 + 64. Suppose -c*n + 15 - 1 = 0. Suppose 3*m - 103 = n*p + 489, -m + 189 = p. Does 10 divide m?
False
Let g(a) = -139*a + 22. Let k(j) = -j**3 + 6*j**2 - 8*j - 3. Let c be k(4). Does 31 divide g(c)?
False
Suppose -4331 + 759 = -j + h, h + 17844 = 5*j. Suppose 5*q - 3512 = j. Is 19 a factor of q?
False
Let y(c) = -595*c + 10. Let z be y(-1). Suppose z = 3*v - 691. Does 16 divide v?
True
Let s(m) = -2*m**2 + 57*m + 5. Let p = 93 + -89. Suppose r + 129 = 5*o, 4*r - 74 = -p*o + 10. Is 20 a factor of s(o)?
True
Let r be 43071/294 - (-5)/2. Let y(h) = -4*h**2 + 4*h + 5. Let k be y(5). Let p = r + k. Is 20 a factor of p?
False
Let o(z) = -3*z + 75. Let d be o(22). Let g(j) = 41*j + 21. Is g(d) a multiple of 13?
True
Suppose 5*x = 14 + 26. Let f(p) be the third derivative of p**6/120 - 2*p**5/15 + 3*p**4/8 + p**3/3 - p**2 - 200*p. Is 37 a factor of f(x)?
True
Let l = -1789 + 6949. Does 120 divide l?
True
Suppose 3*i - 144 = -i. Suppose -2*x + 5*y = -733, -4*x + 1426 = -13*y + 11*y. Suppose x = i*q - 33*q. Is 30 a factor of q?
False
Suppose 4*w = -n + 15222, 23399 = n - 3*w + 8149. Is n a multiple of 38?
True
Suppose -5*d - 4*s = 29422, 0 = d + 4*s + 3455 + 2423. Let v be (d/(-81))/(1 - (-4)/(-3)). Let p = v - -379. Is p a multiple of 22?
False
Suppose -35*r + 65 + 40 = 0. Does 11 divide r*4/(-6)*-172?
False
Let b(c) = c**3 - 3*c**2 - 4 - 55*c**2 + 8*c + 57*c**2. Does 17 divide b(6)?
False
Does 40 divide 472 - (5/(-5) + -7)?
True
Let o be 2/7 + 2/(-42)*-267. Suppose -o*c + 84 = -10*c. Is 10 a factor of ((-90)/(-7))/((4/c)/1)?
True
Let o = -19 + 13. Let v(t) = 141*t + 1726. Let l be v(-12). Let c = o + l. Does 14 divide c?
True
Does 71 divide (-213 - 2911)*1/(-2)?
True
Let n(r) = -283*r + 11. Let z = -498 + 497. Is n(z) a multiple of 7?
True
Let r be (-17)/(-34) - ((-5)/2 - 2). Suppose 0 = r*t + 3*f - 537, f - 167 + 478 = 3*t. Does 21 divide t?
True
Is 198/12*(-1 - -78)*44 a multiple of 11?
True
Let o(w) = w**3 - 7*w**2 + 13*w - 2. Suppose 2*n - 10 + 2 = 0. Let s be o(n). Suppose -s*h + 6*u + 137 = u, 4*h + 4*u = 288. Does 10 divide h?
False
Let m(s) be the third derivative of 1/15*s**5 + 1/120*s**6 + 0*s + s**3 - 6*s**2 + 0 - 1/8*s**4. Does 6 divide m(-4)?
True
Suppose 6*i - 580 - 1886 = 0. Suppose g + i = 2*s, 10 = -12*g + 10*g. Is s a multiple of 29?
True
Does 78 divide (430 - (0 - 0)) + (-12)/(-12 + 9)?
False
Let w = 3780 - -2604. Does 5 divide w?
False
Let i be -1 + (-3 - (-3 + 2)). Let d be i*(9 - (0 + 3)). Let a = d + 48. Does 6 divide a?
True
Let b = -26156 - -37160. Is 14 a factor of b?
True
Suppose 4*f - 40 = 6*f. Let l(u) = u**3 + 20*u**2 - 17*u + 78. Is 22 a factor of l(f)?
True
Let i(v) = 67*v + 4. Let q be i(8). Suppose 0 = u - 5*u + q. Does 2 divide (-30)/u + 94/18?
False
Let t be (-44)/(-6)*(-306)/(-17). Let l be t/(-8) - 3/6. Let i = l + 58. Is i a multiple of 7?
False
Let n = -13997 - -24878. Is 31 a factor of n?
True
Let q(o) = 2*o**3 - 8*o**2 - 4*o - 6. Let i(b) = b**3 + 17*b**2 + 7. Let l be i(-17). Is 10 a factor of q(l)?
True
Let t(g) = -g**2 - 11*g + 36. Let o be t(-14). Let b(q) = 44*q**2 + 121*q + 6. Is b(o) a multiple of 36?
True
Suppose 7*v + 7 - 35 = 0. Suppose z - g - 257 = 0, v*z = -3*g + 1258 - 265. Suppose -8*l + z = -7*l. Is l a multiple of 12?
True
Suppose -n = 2*x - 11678, -6058 = 3*n + 2*x - 41064. Is 12 a factor of n?
True
Is 8/20 + ((-10)/45 - (-5291216)/360) a multiple of 36?
False
Suppose 34 = 2*a - 2*r, -7*a - 2*r + 44 = -3*a. Suppose 60 = 3*n - 2*y + 14, -a = n + 5*y. Is n even?
True
Let b(k) = -3186*k + 121. Is b(-6) a multiple of 12?
False
Suppose -11*v = -13*v + 2*j + 332, -2*v + 5*j = -335. Suppose 5*n = -5*h + 655, -3*n + 188 = -5*h - v. Does 20 divide n?
False
Suppose 19271 = 2*h - 5*f, -81*f = -3*h - 85*f + 28872. Is 81 a factor of h?
False
Let s(h) = 35*h**2 - 41*h + 46. Let u(n) be the first derivative of -4*n**3 + 7*n**2 - 15*n - 11. Let l(t) = 4*s(t) + 11*u(t). Is l(6) a multiple of 19?
True
Let y(d) = -d**2 + 14*d + 20. Let x be y(15). Suppose -3*z - 4*q + 818 = 0, 2*z - 7*z - x*q + 1360 = 0. Suppose 3*p - z = -105. Is 26 a factor of p?
False
Suppose 0 = -220*v + 222*v + 5*d - 1769, -4*v + 5*d = -3463. Is v a multiple of 4?
True
Let t(v) = -3*v**3 + 17*v**2 + 12*v - 18. Let i be t(6). Does 8 divide (5842/(-56) + i/(-42))*-4?
False
Let n(h) = -13*h**3 + h**2 - 20*h + 76. Is 22 a factor of n(-16)?
True
Let r(q) = -q**3 + 8*q**2 - 8*q + 9. Let u = -46 - -53. Let y be r(u). Suppose -n + 42 = -y*h, 5*h - 225 = -8*n + 3*n. Does 22 divide n?
True
Suppose m = -3, 21939 = 3*g + 555*m - 557*m. Is g a multiple of 10?
False
Let x be (6/(-10))/((-51)/1020). Is 6 a factor of 64/(1 - (56/x + -4))?
True
Let y(z) = -12*z**2 - 25*z + 9. Let s be y(-11). Let w be (-2 + 2 + 1)/((-2)/s). Suppose -4*r + 2*v = -0*v - w, 16 = -4*v. Is r a multiple of 21?
False
Suppose 7*u - 9*u + 24 = 0. Suppose u = 3*o - 0. Does 25 divide o/6*117 - 3?
True
Let c be 18*12 + (-1 - 0). Suppose 7*i + 870 = -c. Let r = -91 - i. Is r a multiple of 16?
True
Let s(p) = 402*p**3 + 9*p**2 - 21*p + 6. Does 42 divide s(3)?
True
Let l be ((-1)/3)/((-7)/8043). Suppose 12*o + 28*o = 80. Suppose o*v - 4*x = 282, 3*v + 2*x = -0*x + l. Does 64 divide v?
False
Let n = -4299 - -2378. Let m = 143 - n. Is m a multiple of 16?
True
Let y = -548 + 9898. Does 17 divide y?
True
Suppose -2*s - 3*s + 52 = 4*r, 4*r + s = 52. Suppose -r*x = -12*x - 5. Suppose 4*u - 107 = -c, -x