 - 21. Suppose 0 = d - 5*z - 164, s*d = -2*z + 4*z + 746. Suppose 9*y = 12*y - d. Is y a multiple of 21?
True
Suppose 3*a - a = 3*s + 2148, -4*s + 2134 = 2*a. Is a a multiple of 8?
False
Let a(d) = -d**3 - 9*d**2 - 7*d + 7. Let m(r) = -r**2 + r - 5. Let x be m(-3). Let f = x + 8. Is 14 a factor of a(f)?
True
Suppose 0 = 12*c - 9198 + 3918. Does 30 divide c?
False
Suppose 2266 = -9*x + 7090. Is x a multiple of 67?
True
Let t = 15 + -15. Is 3 a factor of (6 + 1)/((t - 2)/(-2))?
False
Is 7 a factor of 11320/70 + 4/14?
False
Suppose 0*s = 4*s. Let n be 4/2 + s - -1. Suppose n = -5*c + 118. Does 4 divide c?
False
Suppose -5*w + 25 = 0, 7*t = 3*t - 4*w + 72. Suppose -380 = -17*j + t*j. Does 18 divide j?
False
Suppose -26 + 28 = -4*z - 2*f, 2*f + 4 = -3*z. Suppose 2*m - 24 = 4*m. Is 6 a factor of 1/((-2)/m)*z?
True
Suppose -4*m + 448 = -11*m. Let h = m + 94. Is h a multiple of 6?
True
Suppose 702 = 49*c - 46*c. Is 39 a factor of c?
True
Suppose 8*a = 10*a + 66. Let o = -6 - a. Suppose -2*z + 45 = -3*s, -z - 3*s + o = z. Does 8 divide z?
False
Suppose 0 = 3*p + 2*a + 1 + 1, 4*p - 5*a = 28. Suppose p*l + 2*l = 4*x - 4, 4*l - 4 = 0. Suppose 0 = x*g - 4 - 28. Is 16 a factor of g?
True
Let r = 35 - 30. Suppose 0 = 5*g - r - 20. Suppose -24 = 3*p + y - 95, 0 = -g*p - 4*y + 109. Is p a multiple of 5?
True
Let h(x) = x**2 + 13*x - 25. Let c be h(-13). Let l = c + 67. Is 21 a factor of l?
True
Let s(x) = 80*x + 16. Does 16 divide s(8)?
True
Let q = 0 - -2. Let k(y) = y + 24. Let t be k(-10). Suppose -q*v = -t - 6. Is 10 a factor of v?
True
Suppose -2*k - k + 279 = 0. Suppose 0 = 3*s - 2*d + 6*d - 156, d + k = 2*s. Suppose -5*l + 37 = -s. Is 8 a factor of l?
False
Let r be (-9)/12 - (-8031)/(-12). Is (-21)/28 + r/(-8) a multiple of 13?
False
Suppose 2*q - c - 51 = 2*c, 2*c + 10 = 0. Suppose -12*p - q = -14*p. Is p a multiple of 9?
True
Suppose 4*b - 3*b = -2*z - 11, 0 = z + 2*b + 13. Let p be -81*(z + 8/3). Let r = 45 - p. Does 7 divide r?
False
Let z = -105 + 635. Is 12 a factor of z?
False
Suppose 2*p - 20 = 3*o, 0 = -9*o + 5*o - 2*p - 8. Is 60 a factor of o/(-4*6/(-32))*-45?
True
Let l = 66 - 65. Is (120/8)/(l/6) a multiple of 11?
False
Is ((-236)/(-20))/(4/20) a multiple of 18?
False
Let a(z) = 2*z**2 + 12*z - 6. Is a(6) a multiple of 45?
False
Let p = -6 + 19. Let k(m) = m**2 - 12*m - 10. Let d be k(p). Suppose -d*h + 26 = -2*h. Does 10 divide h?
False
Let z = -84 + 101. Does 9 divide z?
False
Suppose -104 = p - 9*p. Suppose p*x = 15*x - 50. Is x a multiple of 25?
True
Let m(g) = -8*g**3 + 3*g + 12. Is m(-2) a multiple of 35?
True
Let x be (-38)/(-3) + 1/3. Let u(c) = 2*c**3 - 6*c**2 + c + 2. Let g be u(4). Let q = g - x. Is 24 a factor of q?
False
Let m be 3*(-1)/(-12)*0. Suppose 3*s - 4*n = 2*s + 14, -s - n - 1 = m. Suppose -s*z + 158 = 38. Does 12 divide z?
True
Let d(p) = 2*p**2 + 91*p - 53. Does 56 divide d(17)?
True
Let j(o) be the third derivative of -o**4/6 + o**3/3 - o**2. Let q be (7 - 3)/((-12)/18). Is 7 a factor of j(q)?
False
Suppose 0 = 4*r + 4*y + 20, 2*r - 6 = 5*y + 5. Let b(h) = -h**2 - 1. Let j(l) = 20*l**2 - l + 5. Let s(a) = 6*b(a) + j(a). Does 19 divide s(r)?
True
Let q(c) = 3*c**2 + c**2 + 6*c**2 + 15 + 2*c + c**2. Let i be q(5). Suppose -8*s + i = -3*s. Is 11 a factor of s?
False
Suppose 0*j + 6 = j. Let i(o) = -o**3 + 9*o**2 - 7*o + 6. Let n be i(j). Suppose -n + 3 = -w. Is w a multiple of 28?
False
Suppose 3*q - 15 = -3*f, 0 = -4*f - 5*q + 2*q + 21. Suppose f*d = 2*d + 20. Suppose 3*l = -3*g + 24 + 24, 4*l + 116 = d*g. Is g a multiple of 10?
True
Suppose -6*p = -2370 - 1374. Is p a multiple of 16?
True
Let m = 87 + -50. Suppose m + 21 = 2*q. Does 15 divide q?
False
Let y = -11 + 38. Let z = y + -27. Suppose 5*i - 3*r - 185 = z, -5*i - 4*r = -290 + 70. Is 8 a factor of i?
True
Let q = 50 + -10. Suppose -q = -4*s - 0. Suppose -f + 2*f = s. Is 5 a factor of f?
True
Let c be 56/(-14) + 12 + -1. Let f(k) = -3*k + 33. Does 3 divide f(c)?
True
Suppose 3*c - 2*c - 5*h = -20, 3*h - 15 = 0. Suppose c*x - n = 100, 0 = -x + 3*x + 2*n - 52. Is 7 a factor of x?
True
Suppose 5*w - 30 = -5*b, 0 = 5*b + 3*w - 22 - 2. Suppose 3*k = k - 8, 4*o - 520 = b*k. Does 17 divide o?
False
Let h be 2 - (-8 + -1)/(-3). Let r = 4 - h. Suppose -2*f - 302 = -7*f + 3*o, -r*o + 249 = 4*f. Is 13 a factor of f?
False
Suppose 3 = 2*k + 2*l - 7, -3*l = 4*k - 18. Suppose q = k*q - 470. Does 28 divide q?
False
Suppose 0 = -6*k + 7*k - 2. Is 15 a factor of ((-1290)/50)/(k/20*-2)?
False
Suppose 0 = -33*p - 1859 + 35684. Is p a multiple of 41?
True
Suppose 0*i + i - 26 = 2*s, 0 = i + 2*s - 26. Let f(a) = 2*a + 1. Let g be f(5). Let c = i - g. Is c a multiple of 9?
False
Does 21 divide (-9009)/22*(1 + -3)?
True
Let s = 623 + -116. Is s a multiple of 23?
False
Let m(q) = -q - 4. Let c be m(-9). Suppose -v = -h - 7, -5*v + 11 = -c*h + 3*h. Does 6 divide 18/(h/4 + 4)?
False
Suppose 5*q = -2*c + 1049, 0 = 3*c - 2*c - 3*q - 541. Does 76 divide c?
True
Suppose 729 = 3*a - 5*s, a - 213 - 19 = -2*s. Let i = a - 105. Is 19 a factor of i?
True
Let f = -1540 + 2217. Is 33 a factor of f?
False
Suppose -5 = 9*n - 10*n. Let j(t) = -t + 12. Let u be j(n). Suppose 2*l - u = 21. Is l a multiple of 11?
False
Let l be 16/4 + 1 - 2. Suppose k + l*u = -5, 5*k - u - 23 = -0*u. Suppose -k*c - 3*m + 91 = 0, m = 2*c + 2*m - 43. Does 8 divide c?
False
Let t = -11 - -23. Suppose -5*y + 178 = -0*y - 2*p, -3*p - 69 = -2*y. Suppose -10*n = -t*n + y. Is 8 a factor of n?
False
Let m(h) = h**2 - 3*h - 1. Suppose 0 = 5*a + 12 - 2. Is 2 a factor of m(a)?
False
Suppose -91 = -2*s + s. Suppose -5*u = -2*y - 350, 3*u + 4*y - 93 - s = 0. Let w = u - 37. Is w a multiple of 31?
True
Let k(x) = 0*x**2 + x**3 + 4*x + 3*x**2 - 4*x**2 + 7*x**2 - 1. Let g be k(-5). Suppose 171 = g*o + 15. Is o a multiple of 11?
False
Suppose r = 2*r - 5. Suppose -5*j - a = -402, 2*a - 199 = -r*j + 200. Suppose 3*h = -9, 0*h = -3*g + h + j. Is g a multiple of 6?
False
Suppose -5*w + w + 8 = 0. Suppose -14 = -t - t + 2*o, -2*t = w*o + 6. Suppose 5*i - t*i + 135 = 3*n, 3*n - 132 = 4*i. Is 12 a factor of n?
True
Let a(l) = -6*l - 14. Let w be a(-3). Suppose g = w + 47. Is g a multiple of 24?
False
Let h(z) be the first derivative of -6*z**2 + 24*z + 13. Does 19 divide h(-9)?
False
Let a be (437/2)/((-17)/(-34)). Let o = -238 + a. Is o a multiple of 21?
False
Let n(w) = w**3 + 10*w**2 + 3*w. Let s be n(-9). Suppose 8*v + 146 = -s. Let d = v + 28. Is d a multiple of 2?
False
Let g = -78 + 129. Suppose -50*m = -g*m + 90. Is m a multiple of 5?
True
Let x = 83 - 24. Is x a multiple of 30?
False
Let y be -5 - (-1 + (3 - 9)). Suppose y*f - 8*x + 6*x - 358 = 0, -741 = -4*f - x. Is 14 a factor of f?
False
Let a(r) = -107*r + 1. Let v be a(-1). Let f = -7 + v. Does 15 divide f?
False
Let t(b) = 15*b - 5. Let y be t(11). Let w = -94 + y. Is w a multiple of 11?
True
Let p(s) = 14*s**2 - 37*s + 12. Is 33 a factor of p(-4)?
False
Suppose 19*d - 5231 - 28760 = 0. Does 26 divide d?
False
Let r(w) = -3*w + 71. Let n(b) = b**2 + 10*b - 13. Let s be n(-10). Does 10 divide r(s)?
True
Let x = 19 - 18. Let z be 20/5*x/2. Suppose -z*p + 0 = -16. Is p a multiple of 4?
True
Suppose 6*s - 1026 = -234. Let p = 232 - s. Does 9 divide p?
False
Let s(l) = -52*l + 763. Is 43 a factor of s(-78)?
False
Let l = -71 + 15. Let y be (0 - -3)*1640/30. Let c = y + l. Does 12 divide c?
True
Let y(r) = r + 8. Let a(u) = 1. Let m(p) = -2*a(p) - y(p). Let s be m(-10). Suppose 4*n = -s*n + 104. Is n a multiple of 13?
True
Suppose 3*k - 276 = 4*p, 0 = -5*k - 3*p + 8*p + 455. Is 18 a factor of k?
False
Suppose -2*o - 2*o = 0. Suppose -g + 3 = -o. Let h(r) = 16*r. Does 20 divide h(g)?
False
Let i(t) be the second derivative of 3*t**3 + 7*t**2/2 - t. Let z(x) = -x**3 + 5*x**2 - 9*x + 51. Let c be z(5). Is i(c) a multiple of 32?
False
Let n(h) = h**3 - 8*h**2 - 2*h + 24. Let d be n(8). Suppose -5*j - d*x = -10*x - 220, 4*j - 178 = 2*x. Is j a multiple of 8?
False
Is (-564)/((4/(-18))/((-10)/(-30))) a multiple of 9?
True
Suppose -5*t = -3*c + 178, 2*t - 3 = -1. Suppose 5*o + x - 329 = 0, -o - 2*x + 3*x = -c. Is o a multiple of 5?
True
Let c be 6 + ((-4)/((-16)/12) - 4). Suppose c*n = -92 + 357. Is 11 a factor of n?
False
Let q(n) = -n**3 + 13*n**2 + 24*n - 32. Does 9 divide q(14)?
Tru