 = -5*f. Suppose 28 = f*o - 0. Is o a multiple of 2?
False
Let b = 196 + 634. Does 83 divide b?
True
Suppose 3*i = -0 + 9. Suppose -2*p - 532 = i*t - 6*t, -5*t + 888 = -3*p. Is 45 a factor of t?
True
Let n(i) = -406*i**3 + i**2 + 12*i + 12. Is 10 a factor of n(-1)?
False
Let v = 855 - -1105. Is 56 a factor of v?
True
Suppose -4*k = k - s - 1098, -4*s + 645 = 3*k. Suppose 4*p = -k - 41. Let m = -5 - p. Does 15 divide m?
True
Let x = -2980 + 4979. Is 78 a factor of x?
False
Let f(p) = 68*p - 12. Suppose -5*b + 16 = 1. Is f(b) a multiple of 24?
True
Let d be (-3)/(-3 - 108/(-32)). Let h(n) = -3*n + 27. Is 14 a factor of h(d)?
False
Suppose 9*c - 2160 = -c. Does 12 divide c?
True
Let y(a) = 20*a**3 + 12*a**2 - 50*a + 12. Does 124 divide y(6)?
True
Let q(u) = -u**3 - 6*u**2 + 9*u - 7. Let i be q(-7). Let z(y) = 29*y - 2. Let f be z(1). Let x = i + f. Is 4 a factor of x?
False
Let d(n) = -n**3 - 11*n**2 + 13*n + 12. Let q be d(-12). Suppose -4*h - 2*h + 504 = q. Is 28 a factor of h?
True
Suppose 47 = -4*o + 1083. Suppose 3*n + 6 = 0, 33*n - 30*n = -z - 175. Let b = o + z. Does 30 divide b?
True
Suppose -3*o + 6 = -9. Suppose o*q = 42 + 238. Is 3 a factor of q?
False
Suppose 3*f = f + 4, -5*w - 5*f = -170. Suppose -32 = -4*x + 8. Let a = w - x. Does 11 divide a?
True
Let m(r) = 8*r**2. Let y = 7 + -8. Is 8 a factor of m(y)?
True
Let g = 15 + -9. Let m(w) = -w + 7. Let h be m(g). Let r = 22 + h. Is r a multiple of 6?
False
Suppose -13 + 29 = 4*h. Does 2 divide h?
True
Let t(f) = 2*f**3 - f + 3. Let s be t(2). Let r = s - 17. Suppose 4*d + 5*u - 55 = r, d = -6*u + u + 25. Is 5 a factor of d?
True
Let r = 532 - 367. Suppose 6*q = q + r. Is 11 a factor of q?
True
Let p be -8 - (3 + (-12)/4). Let m(j) = -j**3 - 6*j**2 + 5*j + 17. Does 21 divide m(p)?
True
Let z be 1 + 156 - (5 + -9). Suppose -u = -2*b + z, 4*u - 2*u - 2 = 0. Suppose 0 = -2*y + y + b. Is y a multiple of 27?
True
Suppose -5*y + 5 = 0, -2*y - 28 = -3*x - 0*y. Suppose -580 = 6*o - x*o. Let w = o - 2. Is 30 a factor of w?
False
Suppose -4*y - 56 = -11*y. Suppose y*c - 114 = 198. Is c a multiple of 13?
True
Let r(h) = h - 2. Let k be r(6). Suppose -k*p = -0*p. Suppose -9*u + 7*u + 104 = p. Is u a multiple of 26?
True
Let w(d) = -10*d + 9. Let c = -3 + 7. Let u be w(c). Let y = -18 - u. Does 13 divide y?
True
Let u = 2729 + -1765. Does 17 divide u?
False
Suppose 0 = 4*h - 243 - 17. Let i = h + -33. Suppose -4*b + i = -24. Is b a multiple of 5?
False
Is 14 a factor of 3 + (-226)/(-2)*(1 - -5)?
False
Let q be 0/(5 + 2 + -5). Suppose 2*u - 8 = q, x - 206 + 34 = 4*u. Suppose -s + x = s. Is 19 a factor of s?
False
Let s = 101 - 108. Let t = 172 - s. Does 65 divide t?
False
Suppose -34 = 4*p + 46. Let m = p + 33. Let v = 44 - m. Is v a multiple of 8?
False
Suppose 5*o + 0*o = 545. Let h = -65 + o. Suppose 0 = -2*k - 3*k - 2*p + 134, -4*p - h = -2*k. Is k a multiple of 26?
True
Let c be (-9)/12 + (-769)/4. Let p = 273 + c. Is p a multiple of 8?
True
Let k = 682 + -646. Does 9 divide k?
True
Let c(z) = 11*z + 13*z**2 - 2*z + z**3 + 13 - 1 - 1. Is 6 a factor of c(-12)?
False
Let r(o) = 105*o. Let k = 21 - 12. Let l(j) = 26*j. Let y(w) = k*l(w) - 2*r(w). Does 12 divide y(1)?
True
Suppose 3*j = -4*q + 436 + 132, 3*j = 3*q + 603. Let x = -108 + j. Is x a multiple of 11?
True
Let q = 138 - 137. Let p(r) = 173*r**3 + r**2 + 1. Is p(q) a multiple of 25?
True
Let k(p) = -45*p**3 + p**2 + 4*p + 2. Is k(-2) a multiple of 45?
False
Let l = -121 + 127. Let c be 1640/25 + 2/5. Suppose c = -3*s + l*s. Is 17 a factor of s?
False
Suppose -183 = -4*r + 5*b, 5*r = 3*r + 4*b + 84. Suppose -r = -3*y - p, y = 3*y - p - 28. Is y a multiple of 4?
True
Suppose 15*i = 11*i + k + 338, 4*i - 344 = -2*k. Does 8 divide i?
False
Suppose 25*w - w = 43848. Does 7 divide w?
True
Let r(n) be the third derivative of 7*n**4/24 - n**3/3 - n**2 + 45. Suppose 5*j = 3*s + 52, 3*s - 9 = -2*j + 16. Is r(j) a multiple of 19?
False
Let i(t) = 9*t**2 + 8*t - 12. Suppose 2*r + 2*q = -5 - 15, 5*q + 32 = -2*r. Is 11 a factor of i(r)?
True
Suppose -7*t + 5*t + 6 = 0. Suppose 3*d + 2*v = -85, d - t*v = -2*d - 105. Let x = 55 + d. Is 24 a factor of x?
True
Let n(v) = -5*v**3 - v**2 - 3*v - 1. Let q be n(4). Let h = -239 - q. Is 22 a factor of h?
True
Let s = 21 - 15. Let q = 16 - s. Does 9 divide 112/q + (-2)/10?
False
Let p = 352 + -210. Does 8 divide p?
False
Suppose -5 = -l + 4. Let u(o) = o**2 - 4*o - 5. Let b be u(l). Suppose -65 - b = -5*j. Is 7 a factor of j?
True
Let r be 1 + (-9)/(-3) + -11. Let u(s) = -s - 5. Let f be u(r). Suppose 4*l = n - 18, -f*n + 27 = n - 3*l. Does 2 divide n?
True
Let l be -1 + 4 - 1/(1 + 0). Is (58/l + 1)*(-40)/(-15) a multiple of 20?
True
Let l = -45 + 41. Is 13 a factor of 3 - 123/6*l?
False
Let y(s) = -33*s + 71. Is 3 a factor of y(-13)?
False
Let u(t) = -22*t - 8. Let b be u(-7). Suppose -3*v + b = -2*v. Suppose -v = -5*f + 3*f. Is f a multiple of 11?
False
Let p be (0 - 1)/(2/44). Let y be 160/(-9) + p/99. Let q = 3 - y. Does 13 divide q?
False
Let r = 468 + 156. Suppose -2*j - u = 778, -3*j - u = r + 542. Let p = -265 - j. Is p a multiple of 41?
True
Let f(s) = 3*s**2 + 9*s - 3. Let w be f(-4). Suppose w*d + 640 = 13*d. Does 40 divide d?
True
Let b(o) = 2*o**2 - 4*o + 122. Is b(12) a multiple of 32?
False
Let t(z) = 3*z + 0*z - 2*z + 3. Let o be t(0). Let q(k) = 13*k + 1. Does 20 divide q(o)?
True
Is 568/5 + (-3)/5 a multiple of 7?
False
Suppose 2*c = 3*h + 20, -3*c = -5*h - c - 40. Let o(d) = -d**2 - 20*d - 14. Is 22 a factor of o(h)?
False
Let m(j) = -j**3 + 17*j**2 + 17*j + 18. Let t be m(18). Suppose t = -2*f + 4*f - 40. Does 4 divide f?
True
Suppose -3*b - 554 + 90 = -5*v, 2*b - 286 = -3*v. Suppose 3*a - v = -13. Is 9 a factor of a?
True
Let s(q) = q - 5. Let d(z) = z + 1. Let r(j) = -3*d(j) + s(j). Let c be r(-5). Suppose 6 = c*t - 4. Does 2 divide t?
False
Suppose -4*i - 16 = 4*c, 3*c + 5*i - 2 + 12 = 0. Let l(d) = d**3 + 8*d**2 + 5*d - 2. Is 12 a factor of l(c)?
True
Suppose -3*s - 2*s - 110 = 0. Let j = -5 - 11. Let f = j - s. Does 6 divide f?
True
Let b = 19 - 9. Suppose -5*h - 4*z - b = 0, 2*h = -h - 5*z - 19. Suppose h*f = -5 + 15. Does 5 divide f?
True
Suppose 26*v = 31*v - 3900. Is 22 a factor of v?
False
Let o be 5/((-5)/(-24)) - -2. Let m = -127 - -111. Let q = m + o. Is q a multiple of 2?
True
Let o(x) = -2*x**3 + 8*x**2 + 8*x - 6. Let i be 4*1 + -5 + 5. Is 6 a factor of o(i)?
False
Let r(d) = -d**3 + 4*d**2 - 5*d + 8. Is 78 a factor of r(-4)?
True
Let p = -696 - -1846. Does 19 divide p?
False
Suppose -49 = -5*a - 5*i - 9, 2*i = 4*a - 14. Suppose -6 = -a*k + 9. Suppose -j + 5 = 0, 4*j = k*b + 2*b. Is b a multiple of 2?
True
Let c(h) = 91*h**3 + 3*h**2 - 3*h + 1. Is 3 a factor of c(1)?
False
Let r = 48 - 23. Let x = 24 - r. Let m(o) = -48*o + 2. Does 25 divide m(x)?
True
Let p(c) = -10*c - 11. Does 7 divide p(-23)?
False
Suppose -173 - 187 = -18*p. Is p a multiple of 10?
True
Let o(s) = s**3 + s**2 - 264. Let z be o(0). Let a be z/(-36) + (-2)/6. Let k = 4 + a. Is k a multiple of 4?
False
Let u = 144 + -107. Suppose -107 - u = -9*n. Does 9 divide n?
False
Let u = 9 + -5. Suppose -2*n - 4*v + 180 = -v, -3*n + 5*v + 232 = 0. Suppose 4 - n = -u*t. Is 8 a factor of t?
False
Let x = 610 + -1510. Is (231/(-2))/3*x/105 a multiple of 11?
True
Suppose -5*b - 20924 = -0*w - 3*w, -2*b - 8 = 0. Is (-1)/6 + w/48 a multiple of 30?
False
Let b(u) = 3*u**3 - 3*u**2 - u - 25. Let g(p) = -2*p**3 + 2*p**2 + p + 24. Let m(y) = 3*b(y) + 4*g(y). Is m(0) a multiple of 3?
True
Suppose 8830 + 12242 = 12*n. Is 27 a factor of n?
False
Let d(b) = 504*b - 44. Does 46 divide d(1)?
True
Suppose -2*z + 6 = 3*f - 38, -53 = -3*z + 2*f. Let h be 4/(-1 - -5) + (-6 - 0). Let u = z - h. Is 12 a factor of u?
True
Let y = 22 - -374. Does 22 divide y?
True
Suppose 3 = -19*x + 16*x, q = -3*x + 1133. Is q a multiple of 11?
False
Let a = 26 - 21. Suppose 0 = 5*x - 3*x - 8, -4*x - 184 = -a*n. Is 10 a factor of n?
True
Suppose -8*g = 21 - 53. Does 6 divide 74 + (-4)/((-8)/4 + g)?
True
Suppose -5*n + n + 40 = 0. Suppose -220 = 80*b - 91*b. Is 916/b - (-2)/n a multiple of 23?
True
Suppose -3 + 0 = -r. Suppose 2*m = 45 + r. Is 24 a factor of m?
True
Let w(p) = 5 + 12*p - 17*p + p**2 - 2*p**2 + 3. Let t be w(-6). Suppose -2 = x - u - t*u, -2