 + 3 + 5?
False
Suppose 4*k - 8 = 0, -4*m + 30 = m + 5*k. Suppose 0*q + 5*q - 125 = 2*o, -m*q = -4*o - 112. Is q a multiple of 23?
True
Suppose -4*f + 5*w = -5532, 2*f - 2*w - 1380 = f. Suppose -6*v + 2*v = -4*g - f, 5*g = -5*v + 1695. Does 49 divide v?
True
Let o(f) be the first derivative of -5*f**2/2 - 20*f - 11. Is 19 a factor of o(-9)?
False
Suppose -f + 0*f + 2*a + 215 = 0, 0 = 5*f - 4*a - 1081. Is f a multiple of 3?
False
Let i(s) = 2*s**3 - 13*s**2 - 11*s + 13. Let l be 6/(-8) + ((-188)/(-16) - 3). Is 9 a factor of i(l)?
True
Suppose 5*d = k - 59, 3*d = 2*k - 22 - 12. Let z be 3/((-4)/(560/d)). Suppose -t - 3*b = 2*b - z, -5*t + b + 71 = 0. Does 5 divide t?
True
Let k = 22 - 24. Does 6 divide (-5)/(85/(-30) - k)?
True
Does 124 divide (-8257)/(-6) + (-18)/(-1080)*-10?
False
Suppose 24 = g + 14. Suppose 4*k = g*k - 450. Is 14 a factor of k?
False
Let l(v) = -v + 13. Let x be l(11). Let u(y) = -9*y**2 + 5*y - 4. Let r be u(x). Does 10 divide (-1010)/r + 2/(-3)?
False
Suppose -2*y = -2*z - 112 + 962, -3*z = 5*y - 1283. Does 3 divide z?
True
Suppose -73*w - 20179 = -154937. Does 13 divide w?
True
Let j(z) = -16*z**3 + z + 1. Let i be j(-3). Let b = -117 + i. Suppose 0 = -3*r - 85 + b. Is 38 a factor of r?
True
Suppose 2*h + 5*w = 6065, -4*h + 4*w + 15438 = 3266. Is 8 a factor of h?
True
Let u = 5981 + -4013. Is 16 a factor of u?
True
Suppose -5*z = -4*t - 683, -19*z - 411 = -22*z + 3*t. Does 5 divide z?
True
Suppose -o + 0 + 5 = 0. Suppose y - o + 25 = 0. Is 4 a factor of (-108)/y + (-3)/(-5)?
False
Suppose 3*y + 3 = -2*b + 6*y, 5 = b + 5*y. Is (b - -52)*15/10 a multiple of 13?
True
Let x = 25 + -7. Suppose 13*g - x*g = -90. Is g a multiple of 6?
True
Suppose 0 = 12*p - 7649 - 3043. Is p a multiple of 9?
True
Let s be 85/2 + (-3)/(-6). Let j(x) = -x**2 - 19*x - 37. Let r be j(-17). Let p = r + s. Is 10 a factor of p?
True
Let h = -17 - -29. Suppose 0 = 7*u - 10*u + h. Suppose -u*w + 36 = -w. Is 6 a factor of w?
True
Suppose 1652 = 15*g - 11488. Does 12 divide g?
True
Is 122/(-427) + 15880/14 a multiple of 14?
True
Let h = 114 - 58. Let q = h - 44. Does 2 divide q?
True
Let r(y) = -2*y**3 + 20*y**2 - 2*y + 54. Does 33 divide r(9)?
True
Suppose -202 = 4*x - 5*d, -2*x - 104 = -3*d - d. Is 16 a factor of (0 + (1 - 2))*x?
True
Let i = 49 + -81. Suppose -11*z = 4576 + 2684. Does 7 divide z/i + (-3)/(-8)?
True
Let y(x) = 3134*x**2 - 2*x + 3. Does 43 divide y(-1)?
True
Suppose h + 1 = -4*g - 1, -4*g - 2*h - 4 = 0. Let r(z) = -z + 70. Let b be r(0). Is (g + -45)*(-28)/b a multiple of 3?
True
Suppose 1 = -h + 5. Suppose 2*n - 12 = -2*n, 0 = 2*d - h*n + 2. Suppose -d*s + 10 = -25. Does 2 divide s?
False
Suppose 262*k = 216*k + 87078. Is k a multiple of 40?
False
Suppose 3*a - 4*o + 9 = 3, -2*o - 2 = -4*a. Suppose 0 = 2*c - 4*h - 60, -a*c - 4*h + 0*h + 60 = 0. Is 3 a factor of c?
True
Suppose 53 - 13 = 2*d + 5*l, 3*d = 3*l + 81. Is 8 a factor of ((-60)/d)/((-3)/20)?
True
Suppose -3*h + 7*h + w = 255, 4*h - 4*w - 260 = 0. Let o = 7 + h. Is o a multiple of 26?
False
Let i = -8 - -19. Let z = -14 + i. Let q(g) = g**2 + 2*g + 2. Is 2 a factor of q(z)?
False
Suppose 29*u - 6 = 27*u. Suppose -2*s + u = -101. Is s a multiple of 19?
False
Suppose -4*v + v = -k - 8, -4*k - 2*v = 4. Let s be (-1 + 146/(-4))*k. Suppose 4*t - q - 159 = 0, -t = t + q - s. Is 13 a factor of t?
True
Suppose -5*d - 9 = 4*k - 1, 5*d - 4*k - 8 = 0. Suppose d = 3*o - 30 - 42. Is o a multiple of 12?
True
Is 3 a factor of (-24528)/(-45) + 4/(-60)?
False
Let d = 2 - 104. Let z = d - -150. Does 8 divide z?
True
Suppose 0 = 4*m + w - 2373, 5*m - 3*w - 156 = 2823. Does 13 divide m?
False
Let t(c) = -4*c - 2. Let f(o) = -o**2 - o. Let r(b) = -3*f(b) + t(b). Suppose 3*h - 10 = 2. Is 21 a factor of r(h)?
True
Let g(m) = 13 + 8*m + 17*m - 24*m. Let n be g(-5). Let a = n - -6. Does 7 divide a?
True
Let o = -3 - -5. Suppose -23 = -o*p + 19. Is (-2)/(-6) + 329/p a multiple of 9?
False
Let n be 4/((-8)/(-6)) + (799 - -2). Suppose -6*r = -2*r - n. Is 46 a factor of r?
False
Suppose 3*c + 2*k - 6 = 4*k, -3*c - 6 = 2*k. Suppose -5*y + n + 483 = c, -4*y - 5*n + 210 = -159. Is 12 a factor of y?
True
Suppose 3*v = -3*z + 987, -2 - 2 = 2*z. Is v a multiple of 10?
False
Let i(b) be the third derivative of 49*b**5/30 - b**4/24 - b**3/6 + 9*b**2. Does 14 divide i(-1)?
True
Suppose 5*f - 66 = -4*q + 199, 2*q + 10 = 0. Suppose 117 = 4*d + g, 5*d + f = 7*d - g. Is d a multiple of 7?
False
Suppose 0 = -4*o - 5*u + 1179, -7*u + 890 = 3*o - 9*u. Does 37 divide o?
True
Suppose -23*z = -10047 + 1997. Does 25 divide z?
True
Let t = 9 + -18. Let v(p) = -7*p - 11. Does 9 divide v(t)?
False
Let u(x) = 75*x**2 - 4*x - 4. Let a = 30 + -32. Let k be u(a). Suppose -k + 94 = -5*c. Does 14 divide c?
True
Let g(v) = -5*v - 1. Let h(b) = 1. Let r(p) = g(p) - 2*h(p). Does 8 divide r(-4)?
False
Suppose 1263*m = 1244*m + 93157. Is 70 a factor of m?
False
Suppose c - 6*c + 15 = 0. Let w be 18*2*c/9. Suppose 0 = -v + w + 11. Does 7 divide v?
False
Let l be (6 + -164)/(-1) - (-4)/(-2). Suppose -3*o + 5*y = -285, -3*y + 15 = 2*o - l. Is 13 a factor of o?
False
Let p = 78 + 36. Let g(i) = 2*i**3 - 3*i**2. Let l be g(-3). Let b = p + l. Does 11 divide b?
True
Let d = 265 - 270. Let c(y) = -21*y - 15. Let l(b) = -b. Let p(t) = c(t) - 4*l(t). Is p(d) a multiple of 20?
False
Let s = -67 - -25. Does 9 divide 4/(20/15) - s?
True
Let q(y) = -6*y**3 - 10 + 23*y**3 - 10*y**3 - 8*y**3 + 14*y**2 - 12*y. Let l be q(13). Suppose 3*x + 0*i - 6 = 2*i, -i + l = 0. Does 3 divide x?
False
Suppose 3*s - 1336 = 29. Suppose 5*c = 5*i + s, 0 = -5*i + 30 - 5. Suppose 0 = -n - 3*n + c. Is n a multiple of 8?
True
Let r(x) = -x**3 + 5*x**2 + 6*x - 3. Let d be r(5). Suppose 0 = -5*s - 2 + d. Suppose 5*f = c - 2, 2*c - s*f + f = 28. Is 9 a factor of c?
False
Let y(n) = -17*n + 11. Let w be y(-4). Let g = w + -1. Is g a multiple of 14?
False
Let s = -28 + 24. Is 16 a factor of s*16/(-1 + -1)?
True
Let c be (-6 - -22)*(-49)/(-4). Let f = -22 + c. Is 15 a factor of f?
False
Suppose -5*i = 2*c + 175, 0*c - 69 = 2*i + c. Let q = 133 + i. Is q a multiple of 11?
False
Suppose 13*w = 22226 - 2284. Is w a multiple of 13?
True
Let j = -15 + 40. Is -65*(95/j + -5) a multiple of 9?
False
Suppose 5*l - 1195 - 860 = 0. Is l a multiple of 30?
False
Let y = -355 - -402. Let q be 48/10*3*5. Let a = q - y. Is 8 a factor of a?
False
Suppose -4 = 4*t + 3*q - 6*q, 0 = 4*q. Let b be (t - -4) + -2 + -97. Does 2 divide (-300)/b + (-2)/16?
False
Let d(v) = -4*v + 108 - 102 + v. Suppose 0 = -3*n - 6, 5 = 2*c - 4*n + 19. Is 6 a factor of d(c)?
False
Let o be (168/16)/(2/144). Suppose 2*d - o = -2*d. Suppose -a - d = -4*a. Is 31 a factor of a?
False
Let p = -37 + 39. Suppose -3*y + 4*j + 318 = 0, 3*j - p = -11. Is y a multiple of 24?
False
Suppose 5*b - 6*b = -338. Suppose 5*y - b = 317. Is y a multiple of 19?
False
Let l(f) = -2*f + 3. Let s be l(3). Let g(h) = -2*h**3 - 4*h**2 - 4*h - 2. Is 4 a factor of g(s)?
True
Let z(p) = -18*p - 1. Let a be z(-1). Let d be (a/3)/((-3)/(-18)). Is 13 a factor of (d + -3 + 1)/1?
False
Let i(o) = -10*o - 29. Let v be i(-7). Let a = v + -35. Is 3 a factor of a?
True
Let o = 58 + -38. Is 5 a factor of 30/o - 34/(-4)?
True
Let w be 60/(-18)*-1*3. Let f(r) = 5 + 4 + r**2 + 0*r + 3 - w*r. Is 4 a factor of f(10)?
True
Let z = -91 + 469. Is z a multiple of 24?
False
Suppose 53*k - 47*k - 810 = 0. Is k a multiple of 5?
True
Let q be (-2 - -1)/(4/152). Let x = 61 - q. Is x a multiple of 33?
True
Let b(h) = 22*h**2 - 7*h - 6. Let x(p) = 44*p**2 - 13*p - 11. Let l(k) = -11*b(k) + 6*x(k). Let z be 8/(-12) - (-14)/(-42). Is l(z) a multiple of 23?
True
Let o(p) = p**3 - 8*p**2 + 7*p. Let s be o(7). Suppose 0 = -s*a + 3*a + 9. Does 18 divide a/6*(-54 - 0)?
False
Let i = -2 + 8. Suppose -4*f = 2*v - 4, 4*v - v = -2*f - i. Let r(p) = -p**3 - 3*p**2 - 3*p - 4. Is 5 a factor of r(v)?
False
Let f(u) = 66*u - 32. Suppose 119*b = 118*b + 6. Is f(b) a multiple of 43?
False
Let q = 19 - 10. Suppose 4*u - q = 3*d, -4*d = -4*u + d + 7. Suppose 2*g + 10 = 0, 5*b = u*g + g + 100. Is 8 a factor of b?
True
Let r = 448 - 441. Is r a multiple of 2?
False
Let u be 0 - ((-8)/10)/(10/25). Is u - 15/5 - -31 a multiple of 5?
True
Suppose 13*k - 5*z + 98 = 14*k, -5*z - 88 = -k. Is k a mult