 -4*z, 0 = -4*t - z + 393. Does 13 divide t?
False
Let w(n) = -n**2 - 13*n - 10. Let t = -36 + 25. Let o be w(t). Let p = -4 + o. Does 4 divide p?
True
Let i(c) = 2*c**3 - 3*c**2 + c - 1. Let d be i(2). Suppose 3*a = 4*y - 64, -38 = -2*y + 5*a + 8. Let t = d + y. Does 9 divide t?
True
Let a = -155 + 232. Does 11 divide a?
True
Let v = 18 - 16. Let a = -5 + 8. Suppose a*r = v*r + 13. Does 5 divide r?
False
Let w(i) = i**2 + i + 2. Let s be -1 + 1 - 5*-2. Suppose 2*j + 3 = -5, 2*t - s = 4*j. Does 3 divide w(t)?
False
Let j(h) = h - 1. Let s be j(2). Suppose 21 = 3*m + 6*a - 3*a, -4*a = -5*m + 8. Suppose 0 = 2*w + 3*c - 62, -w + m*c - s = -10. Is 9 a factor of w?
False
Let j(a) = 2*a**2 - 10*a - 3. Is j(7) a multiple of 11?
False
Suppose 0 = -2*k - 3*d + 162, 0*d + 82 = k + d. Is 23 a factor of k?
False
Suppose -4*s = 494 - 194. Does 13 divide 0 - 2 - s/5?
True
Let l be 4/6 - (-24)/18. Suppose -l*c = c. Suppose c = w - 4*w + 120. Is w a multiple of 16?
False
Suppose 4*c - 2*c = 132. Is c a multiple of 26?
False
Suppose u = -2*u + 18. Let y(p) = 2*p**2 - 9*p + 3. Is y(u) a multiple of 21?
True
Suppose 0 = 3*n - n + 2*d - 360, -3*d = -3*n + 552. Is 26 a factor of n?
True
Let x(f) = 9*f - 6. Does 16 divide x(6)?
True
Let a(k) = 47*k**2 - 2*k + 3. Does 19 divide a(2)?
False
Let d(a) = a**3 + 8*a**2 - a - 3. Does 15 divide d(-6)?
True
Suppose -4*x = 5*v - 16, 0 = -3*v - 3*x - 0*x + 12. Suppose v = -5*p + 4*z + 281, 5*p + 2*z - 37 = 220. Does 18 divide p?
False
Does 2 divide (-107)/(-4) - (-25)/100?
False
Let w = 2 + -2. Suppose 2*j - 158 + 54 = w. Suppose -6*f + 4*a = -3*f - 71, -2*a + j = 2*f. Is f a multiple of 12?
False
Is 9 a factor of 8/(-2) + 1 - -92?
False
Let v be -14 + (0/(-2) - 2). Let w be (v/20)/(2/(-5)). Is w/((-6)/111)*-1 a multiple of 10?
False
Suppose 2*i + 968 = 6*f - 2*f, 5*f = 5*i + 1210. Is f a multiple of 22?
True
Suppose -5*f + 9 = -1. Suppose f*z - 24 = -0*z. Is 4 a factor of z?
True
Suppose -v - v = 4. Is 18 a factor of (v/4)/((-2)/132)?
False
Is ((-33)/(-2))/(18/120) a multiple of 14?
False
Let m = 14 + -10. Suppose -m*t + 5*t = 23. Is 8 a factor of t?
False
Let r = 24 + -15. Suppose q - r = 7. Does 16 divide q?
True
Suppose -893 = -7*p + 1298. Does 31 divide p?
False
Let w = -8 + -2. Let q(u) = -2*u + 9. Let d be q(w). Let l = -5 + d. Does 14 divide l?
False
Let b(k) = -2*k - 5. Suppose 4 = -2*h + 14. Suppose -l + 6*n - 8 = 3*n, h*n - 5 = 0. Is b(l) a multiple of 3?
False
Let t be 4/6 - 70/15. Let z(f) = 2*f**2 + 4*f + 6. Is 20 a factor of z(t)?
False
Let c(q) = -q**3 + 6*q**2 + 7*q + 3. Let y be c(7). Let h be y/2 - 24/(-16). Does 17 divide 25 + (0 - 0/h)?
False
Let m be -2*(-99)/(-6) + 2. Let n = m + 45. Is 14 a factor of n?
True
Let o(g) = 239*g**2 - 3*g - 2. Let i be o(-2). Is 12 a factor of i/54 - 2/(-9)?
False
Let r = 2 + 1. Suppose r*f + 2*t - 6 = 0, -2*t - 3*t = -15. Is 21 a factor of 2*((-35)/(-2) - f)?
False
Let j(z) = 2*z**2 + z - 1. Let n be j(-2). Suppose -7*m = -2*m - n. Is 4 a factor of 10/(6/(m - -2))?
False
Suppose 4*x + 0*x - 12 = 0. Suppose -4*b - 3*k = -68 + 19, -x*b - k = -33. Is 10 a factor of b?
True
Suppose 0 = -l - 3*o + 8, -2*l + 4*o = l - 63. Does 12 divide l?
False
Let l(o) = -2*o**2 - 9*o. Let a be l(-5). Does 19 divide 1/a + 192/10?
True
Let u(s) = 7*s**2 - 2*s + 3. Let c be u(-3). Let v = -33 + c. Let r = v - 25. Is r a multiple of 14?
True
Let z(q) = q**2 - 5*q - 11. Let y be z(8). Is 1 + -4 - (-4 - y) a multiple of 13?
False
Is -3*(30/(2 - 4) + -3) a multiple of 18?
True
Let c(i) = -i**2 + 14*i - 14. Suppose -5*t + 22 + 33 = 0. Is c(t) a multiple of 14?
False
Suppose 0 = 5*j - 0*j + 10. Let c = j + 6. Suppose 54 = -b + c*b. Is b a multiple of 5?
False
Does 15 divide (9*(5 - -3))/1?
False
Suppose 17 = 3*m + 2. Let u(b) = -b**2 + 7*b - 7. Let s be u(5). Suppose 0 = -2*c + m*r + 68, 88 = s*c - 3*r - r. Is 12 a factor of c?
True
Suppose -68 = -2*x - 4*u, -5*x = -x - 2*u - 96. Is x a multiple of 9?
False
Suppose 4*d - 13 - 287 = 0. Does 15 divide d?
True
Let t(g) = 11*g**2. Let p(b) = 10*b**2 - 1. Let u(n) = 3*p(n) - 2*t(n). Let s be u(-3). Let f = -37 + s. Is f a multiple of 16?
True
Suppose 125 = -m + 6*m - 5*y, 4*y - 152 = -5*m. Is -1 - (-7)/(m/376) a multiple of 31?
True
Let k = -53 + 111. Suppose 3*g - 230 = k. Suppose -g = -4*u + u. Is 16 a factor of u?
True
Let i = -3 + 5. Suppose y - 15 = -i*y. Suppose 70 = y*s + 4*o, -4*o + 2*o = -10. Is 10 a factor of s?
True
Let s be 2*3 + (-4)/2. Suppose -s*f + 22 = 2*i, -2 = -i - 5*f + 3. Is i a multiple of 15?
True
Suppose -3*f - 16 = -4*f. Suppose -i = 3*i - f. Suppose -3*u + i*u - 14 = 0. Is 13 a factor of u?
False
Suppose 4*z + z = 120. Is 12 a factor of z?
True
Let u = 20 - -52. Is u a multiple of 15?
False
Let v be 4/(-14) + (-32)/(-14). Let i(q) = q**3 - 21*q**2 + 23*q - 29. Let j be i(20). Suppose -b - j = -v*b. Does 14 divide b?
False
Let k be 5/(10/(-4))*45. Let s be ((-40)/8)/(2/k). Does 6 divide (-2)/8 + s/36?
True
Suppose 4*p - y + 0*y - 836 = 0, 0 = y. Is p a multiple of 11?
True
Let u = 44 + 3. Is u a multiple of 14?
False
Let o = 7 - -13. Is 4 a factor of o?
True
Let f = -26 + 37. Suppose 10*n - f*n + 5 = 0. Is n a multiple of 3?
False
Let q = -101 + 143. Is q a multiple of 6?
True
Suppose 0 = -b - 5*b + 378. Does 9 divide b?
True
Let f = 18 - 19. Does 20 divide f/(-3 - 119/(-40))?
True
Suppose 19 = z + 2*t, 0 = -0*z + z - 3*t + 6. Suppose 14*w = z*w + 160. Is 10 a factor of w?
False
Let k(q) = -10*q - 102. Let f(s) = 3*s + 34. Let y(r) = 7*f(r) + 2*k(r). Does 12 divide y(-10)?
True
Is ((-12)/36)/(2/(-36)) a multiple of 6?
True
Let y(u) = -u**3 + 11*u**2 - 5*u + 4. Let x be y(10). Let g = x + -30. Does 12 divide g?
True
Let w(a) = a**2 + 2*a - 4. Let r be w(-3). Let f(u) = u**3 + 7*u**2 + u + 8. Let o be f(-6). Does 14 divide (0 + r)/((-2)/o)?
False
Let g(r) = 5*r - 10. Let z(t) = -36*t + 69. Let y(x) = -27*g(x) - 4*z(x). Let h be y(5). Suppose c + 2*c = h. Is c a multiple of 13?
True
Suppose 4*b = i - 2, -5*i - 2*b + 4*b = -64. Suppose o = i + 43. Is o a multiple of 14?
False
Suppose 1 = 2*z - 3*y - 2*y, 16 = 4*z + 4*y. Suppose 2*s = 4*j - 3 - 11, j - 17 = 5*s. Is 9 a factor of (2/z)/(j/57)?
False
Let t(x) = -9*x - 13. Let y(b) = b - 1. Let l(v) = t(v) - 6*y(v). Is 20 a factor of l(-5)?
False
Let u be (10 + 0)*(-4 - -3). Let j(l) = l + 15. Let s be j(u). Suppose -n - 104 = -s*n. Is n a multiple of 8?
False
Let y(f) = f**2 - 5*f + 2. Let c be y(5). Suppose -g - p + c = -2, 0 = -4*g - p + 22. Is g a multiple of 6?
True
Let h be 1/(-5) + (-22)/(-10). Suppose -4 = -g - h. Suppose -22 = -4*p - g*y, 5*p - 50 = y + y. Is 4 a factor of p?
True
Suppose 0 = 5*o + 194 - 794. Is 21 a factor of o?
False
Suppose 3*x = -2*x + 15. Suppose 25 = 5*a, x*t = t - 4*a + 138. Is 17 a factor of t?
False
Let z(x) = -2*x**3 + 14*x**2 - 2*x + 1. Let j be z(6). Let l = -20 + j. Is l a multiple of 14?
False
Suppose -a + 4*d = -250, 3 = -4*d - 13. Is 28 a factor of a?
False
Let d be 4 - (2 + -4 - -3). Let r = d + -2. Is 9 a factor of r*2 + (18 - -3)?
False
Let i = 17 + -7. Let b = 15 + i. Is b a multiple of 10?
False
Suppose 7*g = 3*g + 80. Does 20 divide g?
True
Let n = 4 + -1. Suppose -n = -2*h + 51. Is 9 a factor of h?
True
Let u be (-2 + 1)*(0 + 2). Let j(x) = -2*x**3 + 3*x + 1. Does 4 divide j(u)?
False
Let p be 2/(-8) - 34/(-8). Suppose -p*m + 0*m = -48. Is 12 a factor of m?
True
Let w = -7 + 9. Let x = 11 - w. Does 3 divide x?
True
Let t(u) = 2*u + 2. Let d be -8 - (-3 - -1 - -1). Let n = -5 - d. Is 5 a factor of t(n)?
False
Suppose 394 + 601 = 5*s. Let v(p) = p - 4. Let o be v(6). Suppose -32 + s = 5*w - o*z, 5*z + 71 = 2*w. Is w a multiple of 11?
True
Let m(z) = 64*z**3 - 2*z**2 + z. Is m(1) a multiple of 7?
True
Suppose 7*a - 9*a + 24 = 0. Is 6 a factor of a?
True
Suppose 4*o - 36 = -0*o. Suppose 3*s + 4*d - o = 0, 0*d - 3*d + 19 = 4*s. Is s a multiple of 2?
False
Let i = 83 - 53. Is 10 a factor of i?
True
Suppose 0 + 12 = 4*b. Suppose -b*x + 6*x - 30 = 0. Does 4 divide x?
False
Does 13 divide 1*0*(-5)/10 - -26?
True
Suppose -3*k + 0*k + l = 71, -5*k = -5*l + 125. Let q = 7 + -16. Let a = q - k. Is 5 a factor of a?
False
Let n(x) = x**2 + 2*x - 7. Does 4 divide n(6)?
False
Is (-100)/8*16/(-5) a multiple of 5?
True
Let a be 6/(-4)*20/(-6). Let p = 6 +