se z - 2*z = 0. Suppose 0*s + 16 = -3*s + l, -4*s + l - 21 = z. Let m = s + 8. Is 3 a factor of m?
True
Let y(j) = -j + 5. Is 4 a factor of y(1)?
True
Let h(c) = c**3 + 7*c**2 - 4*c + 1. Let z be h(-6). Suppose -5*o + z = -44. Is 5 a factor of o?
False
Let n(u) = -7*u**3 + 11*u**2 - u + 7. Let g(o) = 13*o**3 - 21*o**2 + 2*o - 13. Let k(j) = 6*g(j) + 11*n(j). Let r be k(5). Is 2 a factor of ((-5)/4)/((-1)/r)?
False
Suppose i + 1 - 5 = 0. Suppose 3*j + i*u = -j + 16, -2*u = -2. Let c(f) = 2*f**2 - 3*f + 2. Is c(j) a multiple of 4?
False
Suppose -3*y = 2*y - 20. Suppose z = -y, i + 2*z + z = -5. Does 5 divide i?
False
Let b(m) = -17*m + 24. Is b(-8) a multiple of 32?
True
Let o(f) = f**2 - 6*f + 7. Let t be o(5). Let y = 2 - t. Let i(j) = -j + 24. Is 12 a factor of i(y)?
True
Suppose 4*j + 2*z = 200, -5*j + 255 = 5*z - 0*z. Is 7 a factor of j?
True
Suppose 79 = 5*v + 14. Let m be (5/(-4))/(1/(-4)). Let f = v - m. Is f a multiple of 4?
True
Let y(u) = u**3 + 7*u**2 + u + 3. Let c be (1/(-2))/((-3)/(-18)). Let b be y(c). Suppose -i + b = 2*i. Does 11 divide i?
False
Suppose 0 = -5*t + 58 + 32. Suppose 2*i - 34 + 11 = b, -i = 4*b + 11. Let k = t - i. Is k a multiple of 3?
True
Let l(c) = -3*c**2 - 7*c - 6. Let f be l(-4). Let x = f + 44. Is 11 a factor of x?
False
Suppose -4*k + 16 + 20 = 0. Does 5 divide k?
False
Let p(n) be the second derivative of -17*n**3/6 + n**2 - 4*n. Is 12 a factor of p(-2)?
True
Let k = 22 + -9. Is 13 a factor of k?
True
Let w(d) be the first derivative of 2*d**2 - 4*d - 7. Is w(6) a multiple of 5?
True
Let m = -7 + 1. Does 19 divide 665/(-7)*m/10?
True
Let y(o) = o**2 - 1. Let n(h) = -5*h**2 + 3*h + 2. Let a(b) = -n(b) - 3*y(b). Does 7 divide a(4)?
True
Suppose -2*o = -u + 12, 5*u - 8*o = -3*o + 35. Suppose u*t + 5*z = 7, -2*z = -0*t + 3*t - 16. Is 5 a factor of t?
False
Let z(y) = -3*y**3 + 13*y**2 + 4*y + 1. Let p(b) = -b**3 + 6*b**2 + 2*b. Let u(m) = -5*p(m) + 2*z(m). Is u(-6) a multiple of 28?
False
Let k be (3 + 2)/(3/9). Let i be (-30)/4*12/k. Let j(c) = 2*c**2 + 9*c + 2. Is j(i) a multiple of 7?
False
Suppose 5*p = 3*p - t + 68, -5*p + 4*t = -144. Let k = -2 - -2. Is 12 a factor of p + (-1)/(k - 1)?
False
Let j(i) be the first derivative of i**4/2 + 2*i**3/3 - i**2/2 - 6*i - 1. Let r(b) = -b**3 - b**2. Let m(o) = -j(o) - 3*r(o). Does 4 divide m(0)?
False
Let l(q) = 2*q - 5. Let i be l(5). Suppose -4*t + 7 = -3*t. Let o = t - i. Is 2 a factor of o?
True
Let h = 0 + 0. Let u(k) = -k - 7 + 10 + 33. Is 18 a factor of u(h)?
True
Suppose 9*u + 392 = 17*u. Is 5 a factor of u?
False
Suppose -5*v = 4*s - s, s - 3*v = 0. Let o be 0/(0 + 2 + s). Suppose -2*k + 5*x + 14 = o, 21 = 3*k + 4*x - 0. Does 7 divide k?
True
Suppose -4*t = -19 - 5. Suppose -j + 17 = 3*a, -a + t*a = 4*j. Is 4 a factor of j?
False
Let b(d) = -2*d**3 - 4*d**3 + d**3 + 2 - 3*d**2 - 4 - 4*d. Let r = 3 + -5. Does 17 divide b(r)?
True
Let o = 62 + -43. Does 8 divide 2 + o + 0 + 0?
False
Suppose -3*n - n = -372. Let g(x) = x - 6. Let r be g(10). Suppose n + 51 = r*d. Does 19 divide d?
False
Let n(t) = 42*t**2 + 4*t + 3. Does 32 divide n(-1)?
False
Suppose 4014 = 12*x + 1194. Is 13 a factor of x?
False
Let u(c) = -c**2 + 4*c + 2. Suppose -4*m + 14 = i, i = -2*m + 14 - 6. Is u(m) a multiple of 5?
True
Let p(o) = -3*o**3 + 2*o**2 + 2. Let z be p(2). Does 7 divide (-175)/z + (-2)/4?
False
Let f(c) = -10*c + 1. Is 11 a factor of f(-1)?
True
Suppose -5*i - 61 - 104 = 0. Let r = i + 58. Is 7 a factor of r?
False
Let g = -17 + 12. Is (10/(-6))/g*39 a multiple of 13?
True
Let b = 29 + -17. Suppose 8 = 4*f, -3*y + 12 = 2*y - 4*f. Suppose 5*r - 2*r - b = 0, -72 = -y*h - 2*r. Is 8 a factor of h?
True
Let h(s) = 27*s - 5. Let n be h(3). Suppose 5*j - n = 39. Does 11 divide j?
False
Let k(q) = 10*q**2 - 1. Does 7 divide k(-1)?
False
Let n be 0/(-2)*7/14. Suppose n = -j - 6*w + 3*w - 9, 0 = 2*w + 6. Suppose -3*x + j*x + 108 = 0. Does 18 divide x?
True
Suppose 4*r + 10 = 2. Let o be 2 - 6 - (-2)/1. Is 10 a factor of (-2 - o) + r + 12?
True
Suppose -2*f + 2 = -6. Suppose -f*j + 137 = 21. Is 11 a factor of j?
False
Suppose 3*p = p + 10. Suppose -p*i + 163 = -82. Does 16 divide i?
False
Suppose 6*m - 11*m + 600 = 0. Is 36 a factor of m?
False
Suppose -2*l = -3*l + 3. Let y(o) = l*o + 0*o - 4 - 5. Is y(6) a multiple of 9?
True
Let k = -28 - -48. Is k a multiple of 10?
True
Let r be (-1)/(-3) - 92/(-3). Suppose 2*w = 10, f = -f - 3*w + r. Is 8 a factor of f?
True
Suppose 0 = -5*a - 4*o + 650, -15 = -5*o + 10. Does 21 divide a?
True
Suppose -j = 4*q - 58, -4*q = -3*j - 2*j + 266. Is 20 a factor of j?
False
Let b = 33 - -43. Is b a multiple of 38?
True
Let f(j) = j**2 - j - 12. Is 36 a factor of f(-12)?
True
Let i(r) = -2*r + 2. Let c = -2 + -4. Let a be i(c). Suppose 2*o = o + a. Is o a multiple of 7?
True
Suppose 0 = -0*o - 4*o - 16. Let v be (o/5 + 2)*50. Suppose 3*l = l - 4, -5*l - v = -2*h. Is h a multiple of 10?
False
Let n(m) = m**3 - 3*m**2 - 6*m. Let z be (-5)/(0 - 1)*1. Does 4 divide n(z)?
True
Let y(a) = a**3 + 8*a**2 + 3*a - 6. Suppose 5*f = 3*h - 0*f - 4, -2*f = -3*h - 11. Let b be y(h). Suppose -t + 2 = -m + b, 5*t - 84 = -3*m. Does 8 divide m?
False
Does 11 divide (8/(-20))/(1/(-100))?
False
Let l(w) = w**2 - w - 4. Does 4 divide l(5)?
True
Let j(l) = -l**3 + 7*l**2 - 6*l + 3. Let q be j(6). Suppose -y + 8 = y + 4*n, y = q*n + 24. Is y a multiple of 12?
True
Let o be ((-2)/5)/((-6)/(-30)). Suppose 0 = -5*m + 2*i - 0*i + 36, 4*i = 5*m - 32. Is 10 a factor of (m + -2)/o - -13?
True
Let w(s) = -13*s**3 + 2*s**2 - 1. Let d be w(1). Is 3/(-6) + (-606)/d a multiple of 11?
False
Suppose 6*m - 4*m - 16 = 0. Let g = m + 10. Is 9 a factor of g?
True
Let v = 56 + -32. Is 24 a factor of v?
True
Suppose -5*i + 4*z + 53 = 0, 6*z = -4*i + 3*z + 30. Is i a multiple of 2?
False
Let s(z) = -2*z + 6. Let m be s(3). Suppose -54 = -n - 2*t, -5*t + m*t = n - 54. Is n a multiple of 18?
True
Let v(i) = -i - 6. Let o be v(-6). Suppose 0 = -4*n + 4*f - 140, 5*f = -4*n - o*n - 122. Let b = 60 + n. Is 8 a factor of b?
False
Suppose 4*x + 13 = v, -3*x = -4*v - 15 + 54. Suppose v*l = 6*l + 78. Is 11 a factor of l?
False
Suppose 351 = 3*n - 3. Is n a multiple of 20?
False
Let q be ((1 - 0)*0/3)/1. Let x be 242/5 - 4/10. Suppose q = 3*c - 5*c + x. Does 12 divide c?
True
Suppose 2*k - 6*k = -100. Is k a multiple of 14?
False
Is -4 + (11 - (1 + 2)) a multiple of 3?
False
Let t = 9 - 4. Suppose 5*x + 8 = 23. Suppose -q + 3*g + 30 = -2*g, -x*q = -t*g - 50. Does 10 divide q?
True
Let r(x) = 16*x + 2. Suppose -n - 21 = -0*n. Let t be 2/7 - 36/n. Is r(t) a multiple of 16?
False
Let a(q) = -q**3 + 9*q**2 + 4*q - 1. Is a(9) a multiple of 12?
False
Suppose l - 1 = -5*x + 37, -4*x - 5*l = -22. Is 14 a factor of 338/x - (-5)/(-20)?
True
Let s(a) = 2*a + 6. Let m be s(-2). Suppose 0 = m*p - 161 + 17. Does 12 divide p?
True
Suppose 5*o = 3*n - 5 + 35, -5*n = 3*o + 16. Let z(f) = 2*f - f - 4*f + 1 + 2*f. Is 6 a factor of z(n)?
True
Suppose m + 39 = 4*m. Let q = m + -9. Suppose -4*a + 316 = -4*f, -q*a = -2*f - 60 - 246. Does 26 divide a?
False
Let i(z) = -z**3 - 14*z**2 - 14*z - 9. Let s be i(-13). Suppose 3 = 2*c + 1. Is 7 a factor of (0 + c)/(s/52)?
False
Suppose -14 = -3*q + 7. Is q even?
False
Suppose -2*w + 2 = -2. Suppose 0 = -3*k - 2*l + 54, w*k = 3*l - l + 26. Suppose -8 - k = -2*n. Is n a multiple of 6?
True
Suppose 12 = 5*s - 5*j - 18, 3*j = 5*s - 30. Let u(c) = c**3 - 5*c**2 - 4*c - 8. Is u(s) a multiple of 4?
True
Is (-29 - 7)*10/(-8) a multiple of 9?
True
Let t = 10 + -3. Suppose -24 = -t*y + 3*y. Is 6 a factor of y?
True
Let i(h) = 68*h + 2. Let o be i(2). Suppose -3*v - 2*a = v - o, 5*a = -5. Is 15 a factor of v?
False
Let g = 207 + -120. Does 29 divide g?
True
Let s(d) = -3*d**3 + d**2 + d - 4. Let i be s(-3). Suppose -15 + i = r. Is 2 a factor of 4/18 + r/18?
True
Suppose 0 = 4*n - 5*y - 12, -3*n + 3*y + 7 = -2. Suppose 0*g = -m - 4*g - 8, n*g - 9 = -2*m. Is 4 a factor of ((-3)/2)/((-3)/m)?
False
Let j = 35 - 1. Does 17 divide j?
True
Let y(u) = -u**3 - 6*u**2 - 8*u - 6. Suppose -s + 6 - 11 = 0. Let r be y(s). Suppose -2*m + 3*h = r, 5*m - 35 = -6*h + 2*h. Does 3 divide m?
True
Is 105/6*2/5 even?
False
Suppose -2*r = -5*x - 94 + 1, -59 = -r + 5*x. Does 10 divide r/2 - (-4 + 1)?
True
Let t(a) = 