 -2*g + 5 - 17 = -i. Suppose 4*n + 91 = 5*p - 46, 5*p - 113 = -i*n. Does 5 divide p?
True
Let r(b) = b**3 + 20*b**2 - 23*b + 3. Is 2 a factor of r(-21)?
False
Let c(k) = -7*k - 18. Let w(b) = -b**3 + 6*b**2 - 8. Let l be w(6). Let p be c(l). Let z = -26 + p. Does 4 divide z?
True
Suppose 706 = 8*u - 6*u - 4*m, -4*u = 3*m - 1357. Is u a multiple of 26?
False
Let h = 27 + 53. Suppose h = 6*a - 214. Is 7 a factor of a?
True
Suppose -102*k + 520 = -94*k. Is k a multiple of 4?
False
Suppose -3*s + 356 = 4*n, 100 = 4*n - s - 240. Does 28 divide n?
False
Let x(t) = 38*t**2 - t. Suppose -10 = 3*d - 7. Is 14 a factor of x(d)?
False
Let x = 9 + -4. Suppose -44 = -3*g - x*d, 4*g + 3*d = 72 - 6. Suppose -2*m + 3*s = g - 73, 4*m + 5*s = 55. Does 4 divide m?
True
Let j = -7 - -8. Suppose -s + j = -9. Does 3 divide s?
False
Suppose -2*r = -2*h - 10, -11 = 4*r + h - 51. Suppose -2*q = -r*q + 161. Is q even?
False
Let j(q) = 6*q**2 + q. Let b be j(-1). Suppose b*t = -4*n + 338, 0 = t + 3*n - 29 - 43. Does 9 divide t?
False
Suppose 3*n - 71 = -2*k - 0*k, -136 = -4*k - 4*n. Suppose k = -4*l + 223. Is 10 a factor of l?
False
Suppose 5*a - 5 = 3*w, 2*a - 8 = -0. Suppose n = -3*u + 4*u, w*n - 1 = 4*u. Is 12 a factor of (-3 + u)/((-4)/28)?
False
Let o(t) = 6 - 1 + t - 3 + 3. Is o(1) a multiple of 2?
True
Let a(o) = -o**3 - 73*o**2 - 4*o + 272. Does 47 divide a(-73)?
True
Let n = 2852 - 1318. Does 22 divide 24/56 + n/14?
True
Let z(n) = 29*n**2 - 2*n - 2. Let i be z(2). Suppose -4*m - i = -2*y, -7*y + 280 = -3*y + 4*m. Is 5 a factor of y?
True
Let d(g) be the first derivative of 2*g**3/3 + 3*g**2/2 - 3*g - 3. Let y be d(-5). Does 15 divide 1 + (y - (1 + 2))?
True
Let f = -15 - -18. Suppose -c - 3 + 4 = 0, f*w - 5*c = -5. Suppose k + 0*j = -2*j + 21, 5*k - j - 72 = w. Is 14 a factor of k?
False
Suppose -7020 = -18*i + 9*i. Is i a multiple of 26?
True
Let m = -197 - -337. Is 13 a factor of m?
False
Let a(u) = -48*u - 78. Does 12 divide a(-5)?
False
Let h(d) = 3*d - 5*d**3 - 4*d**3 - 3*d**2 + 12*d**3. Does 21 divide h(3)?
True
Let p(y) = 108*y**2 - 9*y - 29. Does 44 divide p(-4)?
False
Let o(n) = n**3 - 9*n**2 + 2*n + 8. Let z be o(6). Let s = z - -154. Does 19 divide s?
False
Let k be 10*(-7)/(35/(-2)). Suppose -k*q = -18 + 2. Suppose q*t = c + c - 64, 5*c - t = 124. Is 8 a factor of c?
True
Let s(b) be the third derivative of -13*b**4/24 - 5*b**3/2 + 11*b**2. Is 16 a factor of s(-5)?
False
Suppose 3*p + 197 = 752. Is p a multiple of 37?
True
Suppose h - 4*t = 88, -t = 4*t + 5. Does 32 divide h?
False
Suppose 10*j - 9*j + 12 = 0. Let q be (-6)/4*64/j. Suppose q*x - 10*x = -120. Is x a multiple of 9?
False
Let v(y) = y**2 - 10*y - 32. Let c be v(13). Let z be (c - 10)*(1 - -5). Is 11 a factor of (-788)/z + 28/126?
True
Let a(k) = -3*k + 218. Let s be a(0). Let z = 536 - s. Is z a multiple of 53?
True
Let s = -15 + -1. Let f = 28 + s. Does 6 divide f?
True
Let v(s) = 2*s**2 + 2*s - 10. Let q(m) = 4*m - 25. Let l be q(8). Is v(l) a multiple of 17?
True
Suppose -3*r - 4*q - 2 = -40, 4*r = -4*q + 48. Let w(c) = -c**2 + 3*c + 6. Let j be w(3). Let x = r - j. Is 4 a factor of x?
True
Let q(v) = -10*v - 48. Let g = -56 + 48. Does 4 divide q(g)?
True
Let a(s) = 19*s**2 + 17*s + 1. Does 11 divide a(-3)?
True
Let s(y) = y. Let r(a) = a**2 - 16*a - 9. Let f(g) = -r(g) - 5*s(g). Is 11 a factor of f(8)?
True
Let p = 43 - 26. Let s = 17 - p. Suppose w + 2 = s, -w = -5*d - 5*w + 82. Does 8 divide d?
False
Let d be 1 - 10*(-2)/4. Suppose d*y - 220 = -4*y. Is 22 a factor of y?
True
Let d(t) = -10*t + 2. Let r(b) = 4 + 3*b - 12*b - 2. Let z(o) = 4*d(o) - 3*r(o). Does 7 divide z(-2)?
True
Suppose 3*h = -2*p + 3*p - 3, -5*p + 2*h + 67 = 0. Does 9 divide p?
False
Let l(h) = -h**2. Let d(p) = p**3 - 14*p**2 + 13*p + 9. Let f(v) = d(v) - l(v). Let m(j) = -2*j**2 + 22*j + 12. Let g be m(11). Does 21 divide f(g)?
True
Let x = 36 - 27. Let m = x - -21. Does 15 divide m?
True
Does 54 divide ((-90)/8)/(21/8)*-126?
True
Let u(p) = -p**2 + 8*p + 23. Let b be u(10). Suppose 0 = -4*l - 20, -b*l = -w - w + 63. Suppose -22*g + w*g - 48 = 0. Is g a multiple of 6?
True
Let l(i) = -i**3 + 3*i**2 - 28*i - 16*i**2 - 15 + 39*i. Is l(-14) a multiple of 11?
False
Let g = -3862 + 5687. Is g a multiple of 80?
False
Let j = 724 - 166. Is 9 a factor of j?
True
Let n = -70 - -2908. Is n a multiple of 43?
True
Suppose 40 = -3*p + p. Let i = p + 20. Does 11 divide 45/36*(i + 32)?
False
Let s(o) = o - 6. Let y be 10 + (-3 - -6) + -3. Let k be s(y). Suppose 0*j + k*j = 60. Does 15 divide j?
True
Suppose 0*j - j + 3*n = -3, 5*j = -4*n - 4. Suppose j = -3*x + x + 10. Let o(k) = 10*k - 5. Is 9 a factor of o(x)?
True
Suppose 902 = 8*o - 6546. Is o a multiple of 18?
False
Let u(l) = l**2 + l. Let z be u(-1). Suppose 4*p - 2 + z = -5*d, 0 = -2*p + 5*d - 14. Does 4 divide (p - -29)/3 + 3?
True
Suppose -c - 59 - 6 = 0. Suppose 5*v - 48 + 13 = 0. Let b = v - c. Is 18 a factor of b?
True
Let z = 1200 - 424. Does 24 divide z?
False
Suppose 2*z + 1670 = 5*w, 3*w + 697 = -2*z + 1715. Let m = 636 - w. Does 11 divide ((-2)/(-4))/(5/m)?
False
Suppose c = 229 + 12. Suppose 3*x - c - 347 = 0. Is x a multiple of 28?
True
Let k(q) = 10*q**3 - 3*q**2 - 5*q + 13. Is 40 a factor of k(3)?
False
Let q(h) = -3*h - 17*h**3 - 2 - 29*h**3 + h**2 - 2. Is 3 a factor of q(-1)?
False
Suppose -4*y = -b + 176, 0*y + y + 338 = 2*b. Does 14 divide b?
True
Let o(k) = 12*k**2 - 8*k - 27. Is o(-3) a multiple of 21?
True
Suppose -3*g - g - b + 11 = 0, 5*b = -5*g + 25. Suppose -g*v = 3*v. Is (267 + v)*13/39 a multiple of 29?
False
Let t(a) = a**3 - 11*a**2 + a - 10. Let u be t(11). Let w(o) = 33*o**2 + o - 1. Let h be w(u). Suppose c = 4*c - h. Is 11 a factor of c?
True
Suppose -4*q = -5*k + 233, 0 = 3*q - 7*k + 3*k + 174. Let z = -10 - q. Is z a multiple of 13?
True
Let t(u) = 2*u**2 - 3*u + 17. Let m be ((-1)/(-2)*2)/(1/7). Does 9 divide t(m)?
False
Suppose 2*t - t = 151. Let f = 297 - 293. Suppose t + 5 = f*g. Is 10 a factor of g?
False
Let x(c) be the second derivative of c**4/12 + 5*c**3/2 + 9*c**2/2 + 23*c. Does 2 divide x(-15)?
False
Let x be 114*(1 + 0)/1. Let v = x + -74. Suppose -4*a + 4*f = -112, -5*a + 4*a + v = -5*f. Does 9 divide a?
False
Is (1*-4)/(-2 - (-15376)/7696) a multiple of 54?
False
Suppose -26*j = -3433 - 6577. Is 55 a factor of j?
True
Let p(j) = -j**3 + 4*j**2 + 4*j - 9. Let g be p(6). Let t = -30 - g. Does 5 divide t?
False
Suppose -13 = -4*n - 5. Suppose -r - n*r + 54 = 0. Is 18 a factor of r?
True
Let v = 884 + -599. Does 19 divide v?
True
Does 31 divide ((156/16)/(-3) + 3)*-1492?
False
Suppose 19*b - 6268 = -454. Is 4 a factor of b?
False
Does 41 divide ((-1)/4 + (-8303)/(-76))*1?
False
Let s(g) = g**3 + 2*g**2 - 8*g + 3. Let x be s(-4). Suppose x*w = -0*w + 117. Is 25 a factor of w?
False
Let y be 0 - (-8 - -4 - -1). Is y/(1 - 44/56) a multiple of 14?
True
Suppose -6*l = 5*l - 55. Suppose -l*s = -129 - 76. Does 8 divide s?
False
Let j = 59 - 55. Suppose 18 = r - j*w - 77, 4*r = -5*w + 380. Is 11 a factor of r?
False
Suppose 3*j - 4*d = 0, j = -4*d + 15 + 1. Suppose -5*v + 25 = -j*v. Is v a multiple of 25?
True
Let u = -39 + 49. Suppose -225 = -15*d + u*d. Is d a multiple of 12?
False
Suppose -i + 2 = -3. Suppose -3*l - 19 = -2*m, -3*l = -6*m + 3*m + 24. Suppose -k - 291 = -4*k - i*o, -3*o = -m*k + 451. Does 30 divide k?
False
Let w = 351 - -437. Does 70 divide w?
False
Let w be 0/1 + (-16)/(-4). Suppose -w = -15*r + 13*r. Suppose -s = r*s - 141. Does 7 divide s?
False
Let k(f) = 66*f - 40. Does 13 divide k(9)?
False
Let u(q) = q**2 - 11*q + 15. Let c be u(9). Let m be c/6 + (-1075)/(-10). Suppose -4*i - 7 = -m. Is 12 a factor of i?
False
Suppose j + 2*j = 3. Let p(a) = 8*a + 2. Let z be p(j). Let h = 16 - z. Does 6 divide h?
True
Let m(d) = -d**2 + 4*d + 2. Let l be m(4). Let s(h) = -52 - 2*h + 23*h - 5*h + 53. Does 19 divide s(l)?
False
Let n(z) = -z**2 + 2*z + 5. Let i be n(4). Is (-1)/(-3) - 779/i a multiple of 17?
False
Let k = -19 - -30. Suppose -k*z + 198 = -9*z. Does 13 divide z?
False
Suppose 0 = 81*s - 84*s + 2616. Is s a multiple of 99?
False
Suppose 0 = 2*u - 16 - 38. Let o = u - 36. Is -3 - 1 - 396/o a multiple of 20?
True
Let i = -2086 - -3838. Suppose 0 = 2*c + 6*c - i. Is c a multiple of 27?
False
Let q = -110