et z(c) = -c**2 + 8*c - 9. Let p be z(6). Does 6 divide r(p)?
True
Suppose 2*o = 5*c + 2593 - 48, -o - 3*c = -1278. Is o a multiple of 7?
False
Let s(t) = 13*t + 23. Let n(k) = -5*k - 24 + 3*k - 12*k. Let w(o) = -6*n(o) - 7*s(o). Is 4 a factor of w(-5)?
False
Let q = 48 + 42. Does 5 divide q?
True
Does 12 divide (-417)/(-3) - (280/7)/(-8)?
True
Is (-2)/(-4)*19/(19/484) a multiple of 2?
True
Let y be 177*(2 + (-18)/6). Let d = -73 - y. Does 13 divide d?
True
Suppose 0 = 2*j - 2 - 4. Suppose -j*b = 3, 4*r + r = -2*b + 63. Suppose 2*p + r = 115. Does 17 divide p?
True
Let l be (-2 + -8)*6/(-10). Let f be 0/(l/(-3) + 4). Suppose f = -2*y + 32 + 4. Does 11 divide y?
False
Let l(x) = 9*x - 14. Let t(r) = r**3 - 11*r**2 - 13*r + 18. Let z be t(12). Let n be l(z). Let f = n - 26. Is f a multiple of 14?
True
Let v(n) = 7*n - 10 - 17 - 18 + 39. Suppose 0 = -4*u + 9 + 15. Is v(u) a multiple of 12?
True
Is -2 - -1 - (-9 - (-1006)/(-2)) a multiple of 69?
False
Let a(n) = 3*n**3 + 12*n**2 - 5*n - 1. Is a(4) a multiple of 27?
False
Suppose 47*j - 60*j = -23790. Is j a multiple of 21?
False
Suppose 0*o = -2*o + 6. Let x(c) = c**2 - 3*c + 2 - 4 - o*c + 3. Is 7 a factor of x(9)?
True
Let j(v) = -38*v + 44. Does 14 divide j(-11)?
True
Suppose -8*v + 2*v - 42 = 0. Let s be -4 - (-7)/(v/(-8)). Suppose -3*a = -2*t - 2*a + 76, -160 = -s*t - 2*a. Does 24 divide t?
False
Suppose 5*c = 2*d - 4666, 0 = -d + c + 1048 + 1279. Is 5 a factor of d?
False
Suppose -2*p - 185 = 5*w - 0*p, 0 = 5*w - 2*p + 185. Let u be -4*(-110)/(-8)*-1. Let v = u + w. Is v a multiple of 6?
True
Let f(d) = -1 + 2*d**3 + 10*d**2 + 4*d - 3*d**3 - 16. Is 18 a factor of f(9)?
False
Let z = 13 - 7. Let c be 6/(-6*(-2)/z). Is c/(-9) - 400/(-12) a multiple of 11?
True
Suppose 3*r + 6 = 15. Is 1309/(-51)*(0 - r)*1 a multiple of 16?
False
Suppose 0 = -8*p - 0*p + 24. Suppose p*q + 435 = 8*q. Is q a multiple of 22?
False
Suppose 0 = -3*a + 246 - 204. Does 14 divide a?
True
Let b = -22 - -21. Is (b/(-1) - -5) + 3 a multiple of 5?
False
Let b = 1922 + -1203. Is 6 a factor of b?
False
Suppose 43*l = 45*l - 1134. Does 9 divide l?
True
Let f(w) = w**3 + 2*w**2 + 2*w + 108. Does 4 divide f(0)?
True
Let g(b) be the second derivative of 4*b + 5/6*b**3 - 1/6*b**4 + 3*b**2 + 0 - 1/20*b**5. Does 19 divide g(-5)?
False
Is 25 a factor of 605 + -5*(-6 - -7 - 0)?
True
Let n be 374/(-154) + 3/7. Let g(i) = 6*i**2 + 2*i + 6. Does 26 divide g(n)?
True
Let q(t) = 6*t**3 - 2*t**2 - t + 3. Let u be q(-3). Let c be u/4 + (-3)/(-6). Let i = -25 - c. Is 6 a factor of i?
True
Let s(u) = -5*u**3 + 12*u**2 - 10*u**3 - 16*u + 16*u**3. Does 24 divide s(-12)?
True
Let u = -359 + 187. Let p be 2/(-12) + u/(-24). Let h = 10 - p. Is h a multiple of 3?
True
Let h = -146 - -3834. Is h a multiple of 54?
False
Let c(v) = 11*v**3 - 4*v**2 + 4*v + 4. Let i be c(4). Suppose 8*k - i = 3*k. Is 22 a factor of k?
True
Suppose k + 18 = 4*c + 1, -4*c + 15 = k. Let u(q) be the second derivative of 7*q**3/2 - 4*q. Does 22 divide u(c)?
False
Let v(n) = 13*n + 5. Suppose -y - 3*l = 3*y - 41, 4*l = 5*y - 90. Is v(y) a multiple of 17?
True
Let t(i) = -9*i + 6. Let s be t(14). Let a = s + 186. Does 7 divide a?
False
Let k(m) = -28*m**3 - 11*m**2 - 7*m + 59. Does 13 divide k(-4)?
True
Suppose 3*h + 81 = 3*k, -k + 19 = 4*h - 28. Let y = k - -16. Is y a multiple of 12?
False
Suppose 3*f = 3*v, -5*f = -f - v - 3. Does 21 divide -2 + f - (0 + -122)?
False
Suppose -c - 45 = -567. Is 29 a factor of c?
True
Let j(o) = -48*o - 40. Let u(z) = -z - 1. Let a(k) = 3*j(k) - 120*u(k). Let f = -22 + 21. Does 12 divide a(f)?
True
Let p = -34 - -23. Let v = -7 - p. Suppose 2*b = 3*b - v*t - 6, -5*b + 53 = 3*t. Is b a multiple of 7?
False
Let h be 0*(-4)/(3 + 5). Suppose a + 5 = 0, -4*y + h*a + 496 = 4*a. Suppose 0 = -4*l + 5*n + y, 4*l + 5*n + 0*n = 79. Does 13 divide l?
True
Let y = -6 + 6. Suppose 32*w - 28*w - 128 = y. Is w a multiple of 16?
True
Let q(n) = 6*n + 82. Does 13 divide q(-5)?
True
Suppose -3*d = -8*d - 5*s + 5, -d + 7 = -2*s. Suppose -h = h - 14. Suppose -j + d*k = h*k + 3, -j = 3*k. Is j a multiple of 6?
False
Suppose 2*n = 13 + 89. Suppose 41 + n = 4*m. Suppose p + 4 = m. Does 15 divide p?
False
Let h = -16 + 19. Suppose 4*m = -3*i + 49, 2*m - h*m + 3*i = -31. Suppose 18*c - 156 = m*c. Does 13 divide c?
True
Let x = -189 - -277. Is x a multiple of 11?
True
Let m(j) = 2*j**2 + 5*j + 12. Let r(c) = -2*c**2 - 5*c - 13. Let i(k) = -5*m(k) - 6*r(k). Is i(-7) a multiple of 24?
False
Let k = 31 - 31. Let d be (21 - k)*36/14. Let f = d + -37. Is f a multiple of 7?
False
Suppose 4*x = -2*s + 76, 4*x - 10 = -6. Is 33 a factor of s?
False
Let i be (12/(-18))/(2/(-3)). Is (i + -4)/1 + (-2 - -67) a multiple of 29?
False
Suppose 0 = v + 1 + 9. Let i be 234/v + (-6)/(-15). Let l = i + 32. Does 9 divide l?
True
Suppose b + 5*c - 40 = 0, -b - 4*c + 15 + 26 = 0. Does 9 divide b?
True
Let r be 0/(-2) + (-9)/1. Suppose -3*w + 322 = 265. Let f = r + w. Is 9 a factor of f?
False
Suppose -37 = -3*k - 5*r, -3 = 3*k - 2*r - 5. Suppose -f = -k*q + 56, 3*q - 3*f - 59 = -8. Is 4 a factor of q?
False
Let u be (0 - -3)*6/(-9). Let t be u*(-3)/(-12)*-8. Suppose 2*y = 4*r - 2*r + 54, 93 = t*y + r. Is 8 a factor of y?
True
Suppose 11*w + 30 = 17*w. Suppose -5*y + 40 = 3*k - 22, -4*k + 141 = -w*y. Is k a multiple of 12?
False
Suppose -8 + 64 = 4*p. Let k be (-6)/(-21) - (-234)/p. Let w = k + -11. Is 2 a factor of w?
True
Let g(j) = 7*j**2 + 46*j + 79. Is 12 a factor of g(-17)?
True
Let u(p) = 37*p + 3. Let t(m) = -9*m - 1. Let s(k) = 26*t(k) + 6*u(k). Let y(r) = -13*r - 7. Let i(l) = 3*s(l) - 4*y(l). Is 10 a factor of i(3)?
False
Let c(s) = -10*s**3 - 12*s**2 - 17*s - 12. Does 19 divide c(-5)?
False
Suppose 0 = u - 0 - 3. Suppose 5*n - 1 = -5*t + 14, -3*t = -u*n + 27. Suppose -n*x + x + 70 = 0. Is 3 a factor of x?
False
Let k(i) = -i**3 + 5*i**2 + 3*i - 6. Let t be k(7). Let h = -49 - t. Is 17 a factor of h?
True
Let b(x) = -6*x - 9. Let z be b(-2). Suppose 3*r + z*j - 261 = 0, 2*j + 1 = j. Is 11 a factor of r?
True
Let f(a) = 2*a**3 + 3*a**2 + 4*a + 3. Let t(j) = j**2 - 11*j - 2. Let g be t(11). Let d be f(g). Is 6 a factor of (-69)/d + (-12)/18?
False
Suppose -4*b = 4*y - 148, -2*y + 12 = -5*y. Suppose -27*u = 4*u - 124. Suppose b = 2*l + x, u*x - 3 = 3*x. Does 19 divide l?
True
Suppose -2*g - 1524 - 2505 = -3*y, 0 = 3*y + 5*g - 4050. Is y a multiple of 7?
False
Suppose -y + 41 = 2*g, 3*y + g = 9 + 104. Let i = -7 + y. Does 15 divide i?
True
Let b(n) = 4*n**2 - 55*n + 70. Is b(-14) a multiple of 14?
True
Let z be (-402)/(-3)*(-1 - -2). Let g = -32 + z. Suppose -a = -2*a + g. Does 27 divide a?
False
Let j(s) = s**2 - 395 + 4*s + 409 + 4*s. Does 2 divide j(-6)?
True
Suppose 6*t = 3437 + 1027. Does 9 divide t?
False
Suppose 1964 = 2*o + 4*c, -2*o = 2*c - 474 - 1500. Is 62 a factor of o?
True
Let v(z) = 19*z**2 - 10*z + 3. Is 51 a factor of v(-2)?
False
Let o(d) = d**2 + 3*d - 4. Let a be o(-5). Let t(s) = -s**3 + 7*s**2 - 6*s + 4. Let i be t(a). Suppose 2 = 2*m + 6, 32 = i*p + 4*m. Is p a multiple of 5?
True
Suppose -341 + 8 = -v. Let q = v - 204. Is 14 a factor of q?
False
Let n = 36 + 1. Let v be 4 + -3 + 1*n. Suppose -4*t = -5*t + v. Is 19 a factor of t?
True
Suppose 4*n = 3*u - 33 - 101, 0 = -4*n - 20. Suppose 0 = k - 5*g - 11, 102 = -5*k - 5*g + 7. Let p = k + u. Is p a multiple of 9?
False
Let g(w) = 2*w**2 - 2*w. Let u be g(0). Suppose 3*b - 3*h + 0*h - 345 = u, -h = b - 109. Does 31 divide b?
False
Suppose -63 = 3*v - 213. Suppose -54*h + 308 = -v*h. Is 20 a factor of h?
False
Suppose -5*i - 4*s - 6 = -3*i, 4*i - 5*s = 27. Suppose 4*q = -b + 4 + 14, 14 = b + i*q. Suppose -r + 0*g = -2*g - 11, b*r - 5*g - 20 = 0. Does 9 divide r?
False
Let z be 2*(1 - -1*30). Let r be 5 + z - (2 - 2). Suppose -2*o + r = -87. Is 16 a factor of o?
False
Let j(x) = -x**2 + 7*x - 5. Let p be j(6). Suppose s - 5 = -p. Suppose -i + 118 = 4*i - 4*v, 3*i - 66 = s*v. Is i a multiple of 5?
False
Let x(v) = 159*v - 89. Does 30 divide x(17)?
False
Suppose 0 = 20*d + 3*d - 3036. Is 6 a factor of d?
True
Is (-2 + -2)*(55/(-5) + 1) a multiple of 6?
False
Suppose 5*z - 1212 = -y, -3*y - 4*z - 579 = -4182. Is 9 a factor of y?
True
Let t be (-58)/(32/(-14) - -2). Let f be 2*((-10)/8)/((-10)/12). Suppose 4*y - f*r 