Is q(w) a multiple of 28?
True
Suppose -t + 24*v - 22*v + 26 = 0, 2*v = -2*t + 28. Is 6 a factor of t?
True
Is 28 a factor of (-488 + -2)*(-144)/40?
True
Suppose 8*m - 5*m = 54. Let r = m - 44. Does 11 divide -1*(-1 - -2)*r?
False
Let c be (-2 + 4/4)*-6. Is 13 a factor of 4/(-6) + 394/c?
True
Suppose u - 68 = -4*a + 138, 2*u + a = 384. Let o = u + -89. Suppose -3*c - v = -o, 5*c - 169 = -v - v. Is c a multiple of 12?
False
Suppose 4*i + 0*a - 4*a = 36, 0 = 3*i + 5*a + 13. Suppose 2*k - 5 - 1 = 0, 0 = -i*p + 4*k + 24. Suppose -p*y = -5*y - 40. Does 2 divide y?
True
Suppose 0 = 5*n - 608 + 173. Suppose -275 = 4*z - 107. Let b = z + n. Is b a multiple of 15?
True
Let g(u) = -3*u - 9. Let j(h) = h**3 + h**2 + 7*h + 11. Let x(y) = -y**3 - 8*y - 12. Let f(o) = 6*j(o) + 5*x(o). Let i be f(-6). Does 2 divide g(i)?
False
Suppose 13 = 3*m + 2*y + 73, 2*m + y = -41. Let n = m - -27. Is 5 a factor of n?
True
Is (75/4 + -5)/((-2)/(-216)) a multiple of 44?
False
Let a(y) = 5 + 1 + 1 - y - 3. Is a(-5) a multiple of 2?
False
Let x(n) = n**3 + 1. Let w(o) = -3*o**2 - 5*o + 2. Let j(m) = w(m) + x(m). Suppose -c = 2*c - 15. Is 7 a factor of j(c)?
True
Let c(x) = x + x**2 - x**2 - 3*x**2 + 4*x**2 + 1. Let m be c(-8). Suppose 2*z + v = 68, 3*z - m = 2*v + 38. Is z a multiple of 11?
True
Let y(a) = a**2 - 8*a + 9. Let i be y(12). Suppose 3*o + 5*f + i = 317, 0 = -4*o - 5*f + 345. Is 17 a factor of o?
True
Let d(n) = 5*n + 1. Let y(b) = -5*b - 1. Let z(o) = 6*d(o) + 7*y(o). Let q = -102 + 101. Is 4 a factor of z(q)?
True
Let y = -11 + 13. Is 5 a factor of (-2)/(-4) - (-1)/y*109?
True
Let l = -220 - -354. Suppose 15*z = 25*z - 50. Suppose -86 = -2*a + 5*x, 0 = -0*a + 3*a - z*x - l. Does 12 divide a?
True
Suppose 2*l - 76 = -2*l + 4*a, a = -4*l + 101. Suppose 4*s + l = 6*s. Let x = s + -7. Does 5 divide x?
True
Let b(x) = -12*x + 612. Does 7 divide b(0)?
False
Suppose -11*k = -10*k + 323. Let u = k - -455. Is u a multiple of 33?
True
Let m(b) = 7*b + 68. Does 26 divide m(44)?
False
Let r(a) be the second derivative of a**5/20 + a**4/3 + a**3/2 + 2*a**2 + 5*a. Let m be r(-3). Suppose 0 = -v - m*v + 120. Does 8 divide v?
True
Let c(p) = -p**2 - 5*p - 3. Let v be c(-5). Let l(w) = 10*w**2 - 4*w - 3. Is 33 a factor of l(v)?
True
Let g(q) = -q**2 - 3*q + 4. Let i be g(-3). Suppose 4*k + 5*p = 122 + 208, -5*k + 433 = -i*p. Is 12 a factor of k?
False
Suppose 3*u = 100 + 122. Let s = u + 11. Does 10 divide s?
False
Let f = 856 + -370. Is f a multiple of 54?
True
Let x(r) be the third derivative of r**6/60 - r**5/15 + r**4/24 - 2*r**2. Is x(3) a multiple of 5?
False
Let v(m) = -m**2 - m + 6. Let f be v(-3). Suppose f = -5*g + 10. Suppose x - 273 = -5*b, -249 - 15 = -5*b + g*x. Does 18 divide b?
True
Let y = -20 - -47. Suppose 0 = 5*r - y - 73. Suppose -2*b + r - 4 = 0. Is 3 a factor of b?
False
Let i(o) be the third derivative of -5*o**4/24 + o**3/2 + 2*o**2. Let g(v) = -v**2 - 18*v + 8. Let s be g(-19). Is 15 a factor of i(s)?
False
Suppose 1 = -4*r - 3, -r = b - 14. Does 31 divide ((-30)/100)/(3/(-124))*b?
True
Let y = 58 - 34. Suppose y = 7*d - 116. Does 4 divide d?
True
Let d = -431 - -704. Is d a multiple of 39?
True
Let j(n) be the third derivative of n**5/20 - n**4/24 - 2*n**2. Let g be j(1). Suppose 3*q - 4*f - 47 = 0, -g*q - 5*f = -q - 41. Is q a multiple of 21?
True
Let q = 410 + -233. Is q + (-5)/(-10)*4 a multiple of 12?
False
Suppose 0 = -3*i - 6, 23 + 12 = 3*d + 5*i. Suppose -d*v + 14*v = -170. Does 17 divide v?
True
Suppose -2*i - a + 6 = 3*a, 0 = -4*a + 16. Let o = i + 8. Is 3 a factor of o?
True
Let k be (-402)/(-4)*(-24)/(-36). Let r = -31 + k. Does 17 divide r?
False
Let x(r) = -2*r**2 + 12*r - 9. Let z be x(5). Suppose -4*l + a - 14 = 2*a, 0 = 3*l - a + 7. Is (-196)/(-21) + z/l a multiple of 2?
False
Let t = 12 + -12. Let w(j) = j + 26. Let f be w(t). Is 3 a factor of (6/(-5))/(f/(-65))?
True
Let x(k) = 2*k + 10. Let l(c) = -c**3 - c**2 + 2*c + 10. Let w be l(0). Is x(w) a multiple of 22?
False
Let y = -31 + 35. Suppose -121 - 55 = -y*i. Is i a multiple of 9?
False
Suppose 15*i + 144 = 23*i. Is 9 a factor of i?
True
Let g(m) = m**3 - 12*m**2 + 4. Suppose t - 30 = -5*n + 34, -n - 2*t + 20 = 0. Is g(n) a multiple of 2?
True
Let r(w) = 24*w - 3. Let t(m) = -2*m**2 + 3*m - 2. Let c be t(4). Let f(g) = 2*g. Let u(v) = c*f(v) + 2*r(v). Is u(4) a multiple of 10?
True
Let r(p) = -4*p + 2. Suppose -6*t + 45 = -t. Let z be r(t). Let q = z - -48. Is 12 a factor of q?
False
Suppose -n + 6 + 1 = 0. Let j = n - 23. Is 18 a factor of -6*(-24)/(j/(-4))?
True
Let m(q) = -q**3 - 3*q**2 + 7*q + 3. Let s be m(-5). Suppose -o + 61 = -5*d, s = 3*o - d - 179. Is o a multiple of 6?
True
Suppose -52 = 4*c - 20. Suppose -3*o - a - 33 = -376, 5*o - 565 = 5*a. Does 7 divide (4/c)/((-3)/o)?
False
Suppose -f + 2*h = 2*f - 387, 2*h = 0. Let m = f + -75. Is m a multiple of 18?
True
Let d be 336/182 - (-2)/13. Suppose 9*m - 231 = -d*m. Is 13 a factor of m?
False
Let u(p) = 204*p - 364. Is u(10) a multiple of 10?
False
Suppose 33*s - 7442 = 106936. Is s a multiple of 67?
False
Suppose 0 = 5*c + 2*o - 265, -151 - 8 = -3*c + 4*o. Let x = -43 + c. Is 10 a factor of x?
True
Is -5 + 232 + -4 + -1 a multiple of 15?
False
Let z = -216 - -360. Suppose -2*u + z = -0*q + 2*q, 360 = 5*u + q. Does 12 divide u?
True
Suppose -306 = -15*m + 10764. Does 123 divide m?
True
Let b(v) = v**2 - v - 6. Let o be b(4). Suppose 915 = -u + o*u. Is u a multiple of 29?
False
Let w = 3 + 6. Suppose 4*f = w*f - 55. Is f a multiple of 7?
False
Let m = 72 - 70. Is (-3 + 5/m)*-198 a multiple of 33?
True
Suppose 5*o + 19 = l, 0*o - 3*o - 12 = 0. Does 14 divide (l - -122) + (15 - 13)?
False
Suppose 5*b = 3 + 17. Suppose -b*j = -16, 4*t + t - 190 = -5*j. Is 8 a factor of t?
False
Suppose 4*i = -0*i - 3*g + 2, -4*i = 4*g. Suppose -2*j + 2 = 0, -i*n = 4*j - 3 + 1. Let t = 12 + n. Is 3 a factor of t?
False
Let i(c) = -c**2 + 10*c - 5. Let s(z) = -z. Let g be 52/(-14) + 22/(-77). Let x be s(g). Is i(x) a multiple of 19?
True
Suppose -206*z + 4434 = -203*z. Is 18 a factor of z?
False
Suppose 52*o + 12775 = 59*o. Is o a multiple of 73?
True
Let b = 13 + -12. Let k be -8*(-3)/6 + b. Suppose k*d = -29 + 204. Does 15 divide d?
False
Let x = 2 + 16. Suppose 0 = 5*z + 43 - x, 3*w = -3*z - 21. Let l(r) = -4*r + 3. Is l(w) a multiple of 3?
False
Let u(p) = -12*p - 15 + p**2 - 2*p**2 - 4*p. Let s be (-4)/(80/268) + (-12)/20. Does 10 divide u(s)?
False
Let u(d) be the third derivative of d**8/6720 - d**7/504 + d**5/30 + 7*d**4/24 + 5*d**2. Let a(m) be the second derivative of u(m). Is a(5) a multiple of 2?
True
Let l(r) = r**2 - 14*r + 19. Let m be l(13). Suppose 87 = 3*y + d, -d - 135 = -4*y + 4*d. Suppose 0 = j - y + m. Does 12 divide j?
True
Let k = 17 + -15. Suppose 3*m + k*z - 82 = 0, 4*z - 4 = -20. Suppose 4*w - m = 262. Is w a multiple of 19?
False
Let b = 1699 + 1838. Is b a multiple of 14?
False
Is 21 a factor of 6/117*3 - (-137550)/273?
True
Let x(p) = 10*p**2 - 303*p + 71. Is 37 a factor of x(33)?
True
Suppose 6*a - 6 = 5*a. Let b(r) = -r**2 + 8*r - 8. Let s be b(a). Suppose -212 = -8*f + s*f. Does 8 divide f?
False
Suppose 10*k + 196794 = 97*k. Does 19 divide k?
False
Let z(v) = 0 - 30*v + 23*v + 1 - 4. Is 2 a factor of z(-1)?
True
Let x(q) = -70*q - 282. Is x(-15) a multiple of 36?
False
Let x = 398 + -66. Is 32 a factor of x?
False
Let r(y) = 61*y - 126. Does 10 divide r(6)?
True
Let m(j) = j**3 - 2*j**2 + 3*j - 2. Let r be m(3). Suppose -2*o + r = -0. Does 2 divide o?
True
Suppose -3*r - p = -119, -2*p + 10 + 28 = r. Does 5 divide r?
True
Let f(i) = -20*i**3 + 2*i**2 + 2*i. Is 10 a factor of f(-1)?
True
Suppose 4*d + 156 = -4. Is d/(1*(-6)/9) a multiple of 15?
True
Suppose -5*a = -4*s + 144, 0*s - 2*s - 5*a = -42. Is 0/1 + (s - (3 + -8)) a multiple of 36?
True
Suppose 0 = 5*n - 9*n - 36. Let q = n - -11. Suppose -u + 1 = 0, 2*t - 33 + 1 = -q*u. Is 5 a factor of t?
True
Let q be (-1)/7 + 58/14. Suppose 4*s + q = -0*s, 5*h = -s + 609. Is 13 a factor of h?
False
Suppose -30 = r - 122. Suppose -5*d = -2*i - 88, -4*i + i - r = -5*d. Suppose -52 = -2*p + 4*l, -p - 3*l + 0*l + d = 0. Is 16 a factor of p?
False
Let w = 5369 + -1513. Is w a multiple of 16?
True
Let o(s) = s**2 + 3*s - 7. Let p be o(-5). Suppose -88 = -y - t, -2*y