
Let s(z) = 1037*z - 1205. Does 15 divide s(8)?
False
Let a(p) = 1039*p + 1375. Is a(9) a multiple of 28?
False
Suppose 0 = o - 2*v - 5216, -4*o + 9648 + 11223 = -v. Does 9 divide o?
False
Let q be 1668/8 + 1/2. Suppose 4*x - 4*c - 1044 = -x, x - c - q = 0. Does 5 divide x?
False
Suppose 5*d = 3*b + 46042, -2*d = 170*b - 173*b - 18406. Is 47 a factor of d?
True
Let u(t) = 3*t**2 - 4*t + 1061. Is u(68) a multiple of 9?
True
Let n(y) = 2*y**2 - 6*y - 5. Let o be (32/20)/((-2)/(-10)). Suppose -o = 2*d + 4. Does 17 divide n(d)?
False
Let m(k) = k**2 - 13*k + 21. Let l be m(9). Let p = -10 - l. Is (-1 - p)*32/(-6) a multiple of 5?
False
Suppose 5*o + 890 = o - 2*f, -f = 1. Let t = o + 234. Is 2 a factor of t?
True
Let o(u) = -51*u**2 + 8. Let x be o(-4). Let i = -448 - x. Is i a multiple of 18?
True
Is 85 a factor of 250*31 + -16 + 208/8?
False
Let z = 16690 + -3706. Is z a multiple of 52?
False
Suppose -18*k - 430 = -8*k. Let v = -39 - k. Suppose 146 = 2*f + 2*j, 2*j = v*f - 453 + 185. Does 11 divide f?
False
Let u = 148 - -110. Suppose 3*s - u = 4*m, s = -4*s - 4*m + 462. Suppose 2*o - s = -0. Is 15 a factor of o?
True
Let y(k) = 11*k**3 + 5*k - 37. Let l(t) = t**2 - 8*t - 61. Let f be l(-5). Does 13 divide y(f)?
False
Let s = 103133 - 61440. Is 27 a factor of s?
False
Suppose 17*d = 8729 + 39976. Is 32 a factor of d?
False
Let f(k) = -k**3 - 28*k**2 - 24*k + 20. Let n be f(-27). Let j = 171 + n. Is 32 a factor of (-1408)/j*(-50)/4?
True
Let b = 8094 - 4160. Is 59 a factor of b?
False
Let y(u) = u**2 + 11*u + 3. Let z be y(-11). Let h = 133 + -133. Suppose -4*t - 3 = -23, -z*l + 3*t = h. Is 5 a factor of l?
True
Let o(q) = -55*q**2 - 250*q + 45. Let z(k) = -26*k**2 - 125*k + 22. Let m(r) = 6*o(r) - 13*z(r). Is m(-20) a multiple of 54?
False
Let y = 98 - -56. Is ((y/2)/(2/10))/1 a multiple of 9?
False
Suppose i - 3*g + 6 = 0, 0 = -2*i - 2*g - 10 - 10. Let f = i + 234. Is 33 a factor of f?
False
Suppose 0 = 4*u - g + 1110, -4*g + g = -4*u - 1106. Let d = -150 + 563. Let h = d + u. Is h a multiple of 27?
True
Let c = -23 + 23. Suppose c = 11*q + 516 - 2155. Is q a multiple of 16?
False
Let a(g) = g**3 - 2*g**2 + 4*g - 7. Let q be (3 + -2 + 2)*(-12)/(-9). Suppose -26 = -2*s + 4*n, -q*n + 4 - 9 = 5*s. Is 2 a factor of a(s)?
True
Let y = -253 - -250. Let x(u) = -576*u + 16. Is x(y) a multiple of 16?
True
Let s(t) = 125*t**2 - t + 1. Let x be s(1). Let n = x - -13. Is 23 a factor of n?
True
Let w(b) = 3*b**2 + 11*b + 6. Let i(g) = -g**2 - 6*g - 3. Let j(y) = -5*i(y) - 2*w(y). Let n be j(8). Suppose 268 = n*r - 17. Is r a multiple of 29?
False
Let a(t) = 3*t**3 - 14*t**2 + 32*t - 23. Let q(k) = -4*k**3 + 15*k**2 - 32*k + 24. Let d(s) = 3*a(s) + 2*q(s). Does 4 divide d(9)?
True
Suppose -l + 60 = 5*f - 6*l, -2*l = -3*f + 39. Suppose -2*c = 3*h - 15, -3*h = c - 4 - 11. Suppose 19*k - f*k - 560 = c. Is 28 a factor of k?
True
Suppose -67*u + 275*u - 349440 = 0. Is 3 a factor of u?
True
Suppose o + 5*v - 2873 = 0, 4*o = 3*v + 11387 + 13. Does 92 divide o?
False
Suppose -7*v + 3*u - 31 = -8*v, -4*u + 111 = 5*v. Suppose v = 3*g - 35. Suppose -8*z = -g*z + 690. Is 7 a factor of z?
False
Let c = -1628 + 3302. Suppose -14*r + c = -11*r. Does 93 divide r?
True
Let m(a) = -1424*a - 4416. Is 34 a factor of m(-18)?
True
Suppose -4*f + 10070 + 9866 = -3*g, -2*g = -4*f + 19936. Is f a multiple of 56?
True
Let t(x) = 546*x**2 + 305*x + 80. Is 39 a factor of t(-7)?
False
Let s = 7379 - 6787. Is s a multiple of 4?
True
Is ((-9)/15)/(74/(-338180)) a multiple of 33?
False
Suppose -23 = -6*n + 7. Does 13 divide (1 + -19 + 5)/(n/(-15))?
True
Suppose -22 = -5*d - 0*l - l, -3*l + 6 = 0. Suppose c = -3*a - 3*c + 12, 0 = -d*a - c + 29. Is 8 a factor of a?
True
Let d(o) = o**2 + 2*o - 60. Let t be d(-9). Suppose -5*q + 5*c = 5 - 1765, 0 = -5*q - t*c + 1800. Is q a multiple of 66?
False
Let k = 84 + -282. Let f = 73 - k. Is f a multiple of 5?
False
Let h(c) = c**3 + 9*c**2 - 4*c - 36. Let j be h(-9). Suppose 2*i = j, x + i + 3*i - 175 = 0. Is x a multiple of 4?
False
Let i(d) = d**3 - 3*d**2 - 5*d - 17. Let m(f) = f**3 - 4*f**2 - 6*f - 15. Let u(k) = -5*i(k) + 6*m(k). Let r be -2 - 11*-1 - -2. Is 19 a factor of u(r)?
False
Let i = 346 + -257. Let d = i + 248. Is d a multiple of 33?
False
Let m(q) = 6 - 3*q**2 - 2*q**2 + q**2 + 6*q**2 - 5 - 6*q. Is m(13) a multiple of 87?
True
Suppose 30*v - 35*v + 15 = 0. Suppose v*b = n + 1158, 4*n = -3*b + 3*n + 1152. Does 82 divide b?
False
Let a = -65 + 62. Let z be a/7 + 4996/28. Suppose 0 = -5*w - 2*v + 446, 5*w + z = 5*v + 638. Does 16 divide w?
False
Suppose -28080 = 30*v + 22*v. Let c = 774 + v. Is 13 a factor of c?
True
Suppose 3*v - 1191 = -5*l + 1688, 2*l - 1144 = -5*v. Is 32 a factor of l?
False
Let i(v) = -v**2 - 17*v + 11. Let c be i(-14). Let p = c - 48. Suppose 5*w - p*b = 530, 3*b - 312 = 2*w - 5*w. Does 35 divide w?
True
Suppose 6*o = 41103 - 5553. Suppose -26*n + 41*n - o = 0. Does 31 divide n?
False
Let n be ((-32)/(-5) - 6)/(1/(-125)). Is 770/(-1)*n/125 a multiple of 7?
True
Let z(a) = -335*a + 4917. Is 41 a factor of z(-100)?
True
Let y(f) = -5*f**3 + f - 2*f**2 + 2 - 2*f + 58 + 6*f**3. Let j be y(0). Suppose -35 = -3*b - m, j = 5*b + 3*m - m. Is 10 a factor of b?
True
Let h = -8379 - -35608. Does 75 divide h?
False
Let j(y) = 385*y**2 + 45*y + 80. Does 13 divide j(-3)?
False
Suppose 0*g + 5*g = 50. Suppose 4*v = 5*i - 22 + 5, -2*i + g = 0. Suppose 5*c + 3 = 3*k, -2*k + v*c = -c - 3. Does 4 divide k?
False
Suppose 0 = 3*x - 2*x - 5. Let k(u) = -566*u + 298*u + 288*u. Is k(x) a multiple of 25?
True
Suppose -3 = -3*m, -u - 2 = -0*m - 4*m. Suppose 3*t + 666 = u*v, 4*v - 1665 = -v + 4*t. Is 9 a factor of v?
True
Let g = 715 + 5635. Is g a multiple of 10?
True
Is 25 a factor of ((-27352)/((-286)/(-22)))/(-2*(-2)/(-6))?
False
Let t = -2170 - -3912. Is t a multiple of 67?
True
Let o(i) = 38*i - 429. Is o(30) a multiple of 9?
True
Let o = 1589 + -1056. Is 2 a factor of o?
False
Suppose -76 = -3*n + 4*i, 0 = -3*i - 3 - 9. Let g(p) = 0*p**2 + 18 - 4 - 36*p - 2*p**2 + 3*p**2 + 23*p. Is 14 a factor of g(n)?
True
Suppose 3*j = -8*a + 3*a + 32, -3*j = 2*a - 11. Let y = -3 + a. Suppose 4 = 2*w, 4*z + y*w = 68 + 388. Is 14 a factor of z?
True
Let f(x) = -x**3 - 26*x**2 - 3*x - 81. Let d be f(-26). Is (-8)/16*d*28 a multiple of 6?
True
Is 10 a factor of 8 - (581/4)/((-4)/32)?
True
Let s(j) = -5*j**2 + 23*j + 38. Let h(y) = -2*y**2 + 8*y + 13. Let i(k) = -8*h(k) + 3*s(k). Suppose -3*d - 4*m = 32, 58*d - 3*m - 31 = 62*d. Does 6 divide i(d)?
True
Suppose 0 = t - 63*o + 65*o - 13438, t - 5*o = 13417. Is 66 a factor of t?
False
Suppose -162 = 10*l - 16*l. Suppose 3*v - 143 = 4*s, -v + l*s = 23*s - 61. Is v a multiple of 8?
False
Let m(d) be the third derivative of -7*d**4/8 - 8*d**3/3 - d**2. Let u be m(-7). Suppose -5*b = -3*f - 189, 3*b = -f + u - 26. Does 13 divide b?
False
Suppose 38*k - 7878 = -22774. Is 6 - k/(-63) - (-5368)/18 a multiple of 17?
False
Let c = -2112 - -4500. Does 167 divide c?
False
Let z(x) = 6 + 2*x**2 - x**2 - 5*x + x**2. Suppose -4*w - 11 = -3*g, -5*g + 32 - 2 = 5*w. Does 9 divide z(g)?
False
Let v(r) = -r**3 - 31*r**2 - 273*r - 180. Is v(-19) a multiple of 9?
True
Let h = -3516 - -6690. Is h a multiple of 24?
False
Let n(v) = -413*v - 43. Let l(i) = 4*i**2 - 92*i - 3. Let g be l(23). Does 29 divide n(g)?
False
Suppose 2*t - 5*g = -2, -20 = -4*t + 2*g - 4*g. Suppose -t*w + 225 = -1015. Suppose -w = -22*j + 17*j. Is 10 a factor of j?
False
Is 4 a factor of (4362/(-5089))/((-2*(-6)/(-28))/758)?
True
Let n(l) = 61*l + 38. Let r be n(12). Suppose -4*v - v + r = 0. Does 11 divide 2442/v - 2/(-14)?
False
Let a(o) = -7*o - 1. Let y = 37 + -9. Suppose 3*v - 5 = 4*g - y, 4*g - 15 = -5*v. Does 2 divide a(v)?
True
Let k = -594 + 606. Is 3 a factor of ((-318)/k)/1*-10?
False
Let t(d) = 96*d - 51. Let r be -4 + 3 - -2 - -6. Does 33 divide t(r)?
False
Let n = 7429 + -3325. Is n a multiple of 152?
True
Suppose -151167 = -66*t + 125307. Does 32 divide t?
False
Suppose -5*v + 9447 = -4*g, 31*g + v - 11793 = 36*g. Let f = -1654 - g. Is 32 a factor of f?
True
Let y = 2 + 39. Let b = 3941 + -3960. Let g = b + y. Does 22 divide g?
True
Suppose 0 = -3*n - 5*l + 22, -4*n - 2*l + 18 = -l. Suppose 4*k = 3*k - c + 299, k + n*c = 305. Does 33 di