False
Suppose -77*r + 145*r = 451520. Is 5 a factor of r?
True
Suppose -s - i = -5993, 4*s - 32698 = -i - 8723. Does 9 divide s?
True
Let t = -130 + 128. Is 13 a factor of (1 - 3) + (-784)/t?
True
Suppose 7*n = 28*n + 7225 - 49057. Is n a multiple of 8?
True
Suppose 312*o - 2374 = 310*o + 1584. Is o a multiple of 6?
False
Let v = -30856 + 48299. Is v a multiple of 19?
False
Suppose 10*u + 3*u = 5*u + 14984. Is 8 a factor of u?
False
Let y = 432 - 1002. Let k = y + 908. Does 26 divide k?
True
Let i(l) = 22*l - 61. Let t be i(-7). Let x = t + 348. Is x a multiple of 17?
False
Let n(k) = -k**3 + 9*k**2 - 6*k + 12. Let l be n(8). Let p = l + -15. Suppose 12 + p = b. Is b a multiple of 9?
False
Let h = 70 + -76. Let t be h/(-4)*((-30)/(-9) + 2). Let q = 19 - t. Does 5 divide q?
False
Let q = 29658 - 17861. Is q a multiple of 13?
False
Let t(f) = 131*f**2 + 1326*f + 20. Does 12 divide t(-21)?
False
Let p be (35/10)/7*64/2. Suppose 0 = -p*c + 1247 + 2033. Let b = 392 - c. Does 11 divide b?
True
Let p = 70 - 238. Let q = 546 + p. Does 18 divide q?
True
Let n(a) = a. Let r(m) = -8*m + 21. Let g(y) = 4*n(y) - r(y). Let x be g(4). Suppose o = x - 3. Is o a multiple of 4?
True
Suppose -22816 = -566*v + 534*v. Is 2 a factor of v?
False
Suppose -3*t - 2*h - 868 = -3254, 1 = -h. Let x = -320 + t. Does 34 divide x?
True
Let v = 8436 - 5165. Does 37 divide v?
False
Let a = -3869 + 8629. Is a a multiple of 131?
False
Let v be (6 - 5)/(10/(-4) - -3). Suppose 5*g = -v*y + 1495, -5*g + 7*y - 3*y = -1495. Does 23 divide g?
True
Let q(z) = -z. Let k(y) = 90*y - 138. Let d(s) = -k(s) - 8*q(s). Does 8 divide d(-3)?
True
Let s(g) = 26*g**2 + 3*g + 2. Let x(k) = -k**2 - k. Let h(y) = s(y) + 3*x(y). Let l = -287 - -285. Is 24 a factor of h(l)?
False
Let k(f) = -69*f - 383. Is 220 a factor of k(-47)?
True
Suppose -520*b = -584*b + 825600. Does 22 divide b?
False
Suppose 167*t - 163*t - 9064 = -2*i, -2*t = 10. Suppose -40*k + 26662 - i = 0. Does 12 divide k?
False
Suppose -5*n - 4*w + 48368 = 0, 42*w = 18*w + 48. Is n a multiple of 80?
False
Suppose -5*i + 7136 = -2*r, -18*i - 5*r = -22*i + 5719. Is 31 a factor of i?
True
Suppose -9*d + 132166 = 4*w - 12*d, 2*w - d = 66082. Is 70 a factor of w?
True
Let k(c) = 2*c**2 - 3*c + 8. Let i be k(6). Suppose -2*u + 20 = s, -101*s = -103*s + 3*u + 40. Is 14 a factor of (i + 1)/(6/s)?
True
Suppose -23*x = -21*x - 2*c - 1186, x - 593 = 5*c. Is 4 a factor of x?
False
Let k(m) be the third derivative of 7*m**4/6 - 3*m**3/2 + 2*m**2 + 56. Does 5 divide k(2)?
False
Is (38699/(-13) + 12/(-78))/1*-4 a multiple of 26?
True
Suppose -5*y + 92 = -0*v + 4*v, 4*y = 5*v + 49. Suppose -y*q = -2*q - 1876. Is 78 a factor of q?
False
Let w be -1 + 15*3/9. Suppose -188 = w*n - 508. Is n a multiple of 20?
True
Let l(o) = 11*o**2 - 478*o + 90. Does 53 divide l(46)?
True
Let o(p) = -12*p + 84. Let c be o(7). Let u be 3/(-9)*(-15 + 0). Suppose u*l = -c*l + 70. Is 11 a factor of l?
False
Suppose 0 = 3*w - 8 - 1. Suppose 3 = -r + 1, -r = -w*z + 770. Does 16 divide z?
True
Let m(o) = -19*o + 1598 + 10*o - 13*o - 1581 + 2*o**2. Does 7 divide m(11)?
False
Let u(h) = -h - 1. Let i be u(-6). Suppose 5*t + 2*c = -c, -i*t + 35 = -4*c. Suppose -5*o + 375 = -0*d + t*d, -2*o = -2*d - 150. Is 25 a factor of o?
True
Let i be (-10)/(1*(-8)/(-2260)). Let n(q) = -q**2 + 19*q + 19. Let o be n(20). Is 32 a factor of i/(-25) - 1/1*o?
False
Let t(d) = -d**3 + 8*d**2 - d + 18. Suppose -2*q + 5*m - 3*m + 16 = 0, 5*m = -5*q + 30. Is 15 a factor of t(q)?
True
Let k(h) = 2*h**2 - 26*h - 23. Let q(g) = -g**2 - 18*g + 39. Let a be q(-19). Is k(a) a multiple of 12?
False
Let y be -3*(5 - (-1 - 82/(-6))). Suppose 0 = 18*v - y*v + 1080. Does 24 divide v?
True
Suppose -2*m - 406 = -5*m + 5*a, -5*a = -4*m + 548. Let r = -17640 - -17644. Suppose m = 5*v - 4*h, -3*v + 2*v - r*h = -38. Does 8 divide v?
False
Suppose 7*o = 10*o - 1551. Let t = o - 175. Suppose 2*r - 235 = -3*j, -3*r + j + t = 2*j. Does 17 divide r?
False
Let t(w) = 2*w + 10. Let i be t(-4). Suppose 0 = 4*y - 3*j - 580, 74 = 3*y + i*j - 378. Suppose 0 = 10*m - y - 492. Is m a multiple of 16?
True
Suppose -4*b = -9*b + 1170. Let k = 439 - b. Is 21 a factor of k?
False
Suppose -2*v - 5*u = -0*u - 3710, -4*u - 7364 = -4*v. Suppose 3*z = -5*q + 1420, 2*z - 3*q = -2*z + v. Does 8 divide z?
False
Let p = -130 + 134. Is 24/(-20)*(2256/(-9) + p) a multiple of 37?
True
Let y(n) be the second derivative of -n**5/20 + 11*n**4/12 - n**3/6 + 3*n**2/2 + 29*n. Is 13 a factor of y(9)?
True
Let g(l) = -26*l - 36. Suppose 2*i + 68 = -2*r, 4*r - 6*i + 4*i + 118 = 0. Is g(r) a multiple of 77?
True
Let f(h) = 12*h**2 - 15*h + 69. Let z be ((-9)/6)/(6/28). Let a(w) = 8*w**2 - 10*w + 46. Let c(g) = z*a(g) + 5*f(g). Is 5 a factor of c(4)?
False
Let c(a) = -1453*a - 8776. Is c(-11) even?
False
Suppose -6*p + 12 = 0, 4*p = 2*b + b - 35725. Is b a multiple of 30?
False
Suppose -17*w + 20*w - 1432 = i, 1922 = 4*w + 5*i. Does 5 divide w?
False
Suppose 3*h = -2*h + 15, -4*h + 18 = -3*m. Let i be 0/(m + 0 + 3). Suppose 5*f - 66 - 374 = i. Does 11 divide f?
True
Is 72 a factor of ((-3)/(-1) + -87)/(1969/198 + -10)?
True
Let h(o) = -13*o**3 + 13*o**2 - 44*o - 182. Is h(-8) a multiple of 23?
False
Let b be (-12)/(-8) + (-36)/8. Let y(m) = -3*m**3 - 10*m**2 - 7*m + 6. Let v(x) = -2*x**3 - 9*x**2 - 7*x + 7. Let z(u) = b*y(u) + 4*v(u). Is z(7) even?
True
Let k = 157 + -157. Let p = 113 - k. Is 44 a factor of p?
False
Let m(x) = 16*x**2 + 58*x - 882. Is m(28) a multiple of 29?
False
Let v(p) = 2*p**2 + 12*p + 19. Let o be v(-2). Suppose d - 3*q = -83 + 250, o*q = -d + 179. Does 5 divide d?
False
Suppose -v = -2*b + 2661, -4*b - 79*v + 80*v = -5319. Is b a multiple of 35?
False
Let b = -31 - -32. Does 14 divide (10857/66)/(b/8)?
True
Let c = 10129 + -9340. Does 35 divide c?
False
Let n be -23*(1/2 + 11/22). Let i be n/(-69) - (-17)/3. Suppose -i*m = -m - 125. Does 25 divide m?
True
Let h(l) = l**3 - 18*l**2 - 63*l - 8. Let c be h(21). Is 20 a factor of 639/6 - (c + 136/16)?
False
Let l = -116 + 119. Suppose 5*x - l*x = 8, a - 496 = -4*x. Is 80 a factor of a?
True
Let c = 43 + -40. Let r = -19 + c. Does 3 divide 34/51 - r/3?
True
Let p = 344 + 3227. Does 34 divide p?
False
Let t = -312 + 1607. Is 37 a factor of t?
True
Is 7 a factor of 399/2793 + (-46604)/(-14)?
False
Let w = -1771 - -2257. Does 6 divide w?
True
Let s = -39 - -42. Let c be (4 - -2) + s + -5. Suppose 1 = i, -4*t + 124 + 8 = -c*i. Is t a multiple of 10?
False
Let n be -1 + (3 - 1 - -80). Suppose -6*h - 105 = n. Let q = 41 + h. Is q a multiple of 5?
True
Does 78 divide (-32)/(-8) - (-10367 + 9)?
False
Suppose -5*k - 5*p + 285 = 0, -5*p + 226 = 4*k - 2*p. Suppose -281 = -21*m + k. Does 8 divide m?
True
Let l(v) be the first derivative of 5*v**4/12 - 2*v**3/3 + v**2 + 12*v - 3. Let z(g) be the first derivative of l(g). Does 10 divide z(2)?
False
Suppose 0*x + 11*x - 121 = 0. Let d(i) = 42*i - 248. Is d(x) a multiple of 4?
False
Let j(l) = 4*l**2 - 6*l + 14. Let i be j(2). Let q(k) = k**2 - 17*k + 3. Is 4 a factor of q(i)?
False
Let p(j) = -2686*j + 2446. Does 188 divide p(-10)?
False
Suppose 16*u + 7*r = 21*u - 157466, 5*u + 3*r = 157386. Is 159 a factor of u?
True
Let n(s) be the first derivative of 8*s**3/3 - 7*s**2/2 + 8*s + 7. Let k(z) = -z**3 + 14*z - 4. Let m be k(-4). Does 27 divide n(m)?
True
Let z be -1*277 + (6 - (-45)/(-5)). Let l be (3*(-1)/(-3))/((-8)/z). Suppose -l = 10*g - 115. Is 3 a factor of g?
False
Let r = -862 + 10680. Is r a multiple of 148?
False
Let o(b) = -b**3 - 2*b**2 + 11*b + 8. Let g be (-5)/((-45)/24)*-3. Let j = g - -3. Is o(j) a multiple of 8?
False
Suppose 0 = 3*t + 5*d - 209 - 188, -t - 3*d = -135. Does 25 divide t?
False
Suppose -83*s + 176 = -85*s. Let u = s + 134. Is u a multiple of 46?
True
Suppose -11*m + 2014 = 1959. Let t(j) = 3*j**3 - 2*j + 1. Let c be t(3). Suppose -r + 3*z = -c, m*r - z = 3*z + 358. Is 18 a factor of r?
False
Suppose -10*q + 15*q - 71083 = -26*q. Is q a multiple of 35?
False
Let b(v) = 40*v**2 + 25*v + 145. Let m be b(-8). Suppose -c = -5*n + m, 2*n = -3*n + 3*c + 2505. Does 24 divide n?
False
Let g = 132 - 79. Let a = -50 + g. Suppose 0 = 2*x + 5*k - 312, -a*x + 4*k = -4*x + 156. Does 11 divide x?
False
Let q(f) = f**2 - 14*f + 1. Let a 