Is 3 a factor of y?
False
Does 4 divide -6*12/(-9)*1?
True
Suppose -4*s + 14 = -2*s - 4*w, -5*w = s. Suppose s*l - 55 = 3*p, -2*p + 44 = 4*l + p. Is l a multiple of 3?
False
Let v(l) = -4*l - 1. Suppose 3*x + 4 = -5. Is 7 a factor of v(x)?
False
Let a be 3 - ((-1)/(-1) - 1). Suppose -3*n - n + 2*t = -102, 69 = a*n - 4*t. Is n a multiple of 9?
True
Let u(h) = 2*h. Let o be u(5). Let f = 25 - o. Suppose 3*s = 11 - 2, -3*v + f = -3*s. Does 8 divide v?
True
Let x(t) = -2 + 3 + 7*t + 0. Suppose -4*h + 8 = -4. Is x(h) a multiple of 22?
True
Suppose q = 3*p - 0*q - 26, -2*q + 18 = p. Let k(o) = -o**2 + 10*o + 14. Is 9 a factor of k(p)?
False
Let p(b) = 5*b + 2. Let j(k) = 5*k + 1. Let c(i) = 5*j(i) - 6*p(i). Is 19 a factor of c(-9)?
True
Let r be (-5)/30 - 75/(-18). Suppose r = d - 22. Is d a multiple of 26?
True
Suppose 0*g - 2*g = 2. Is ((-30)/25)/(g/30) a multiple of 14?
False
Let j(r) = 88*r + 21. Does 41 divide j(2)?
False
Let b(o) = 2*o - 9. Let x be b(7). Does 12 divide 1 - (-9 + (3 - x))?
True
Suppose 2*o - n = 1, -o + 7 = o - 3*n. Let p = o + -1. Is 14 a factor of 2*1 - (p - 19)?
False
Let j = 27 + 3. Suppose 0*h - 5*h = -j. Does 15 divide (15/(-2))/((-3)/h)?
True
Suppose -2*k = -0*k + 4*i + 354, i - 503 = 3*k. Let s = -97 - k. Is s a multiple of 14?
False
Let x = 101 - -25. Is x a multiple of 14?
True
Let m be (-3)/2*10/15. Suppose 2 = 4*p - 2. Does 8 divide 0 - (p + m*28)?
False
Let p(c) = -3*c**2 - 8*c - 9. Let f(n) = 4*n**2 + 9*n + 10. Let b(y) = 5*f(y) + 6*p(y). Is 12 a factor of b(5)?
False
Suppose 5*k - 14 = 3*i, -5*i = -0*k + 3*k - 22. Let d(x) = x**3 - 5*x**2 + 2. Let a be d(i). Let q(r) = -r**2 - 13*r + 10. Does 20 divide q(a)?
True
Let x(b) be the first derivative of b**3/3 - b**2 - 4*b - 1. Let s be x(5). Let g = s + 8. Is g a multiple of 14?
False
Suppose -3*u - 7*z = -2*z - 35, 2 = 2*u - 2*z. Suppose 4*d - l - 490 = 0, d = u*l + 110 + 3. Does 26 divide d?
False
Suppose 5*l = 68 + 2. Suppose p = 46 + l. Is 20 a factor of p?
True
Suppose -3*s + 3*l = 7*l - 83, -4*l - 62 = -2*s. Is 7 a factor of s?
False
Is (-2919)/(-49) + 12/(-21) a multiple of 12?
False
Suppose y + 9 = 5*d - 2*d, -d = -5*y - 3. Suppose -2*c + 3 + 3 = 0. Suppose 2*q = -4*u + 22, 2*q + d*q - 120 = c*u. Does 7 divide q?
True
Is 13 a factor of 4/(-18) - (5120/(-18))/2?
False
Suppose 4*w - 168 = -3*a, -2*w - 5*a = 2*w - 176. Is w a multiple of 13?
True
Let x(c) = -3*c - 1. Is x(-10) a multiple of 25?
False
Suppose -2*m - 4*n + 37 = n, -3*n + 51 = 3*m. Is m a multiple of 5?
False
Let z(g) be the second derivative of -g**5/20 + 5*g**4/12 - g**2/2 + g. Is 7 a factor of z(3)?
False
Let a = 10 - 127. Let q = -24 + 14. Is (3 - a)*(-4)/q a multiple of 17?
False
Let c(h) = h**3 + 3*h**2 - 4*h. Is 12 a factor of c(-3)?
True
Suppose 2*u - 5 = 1. Suppose -2*a + 5*j = u*j - 52, a = 5*j + 26. Is 13 a factor of a?
True
Let o = 111 + -71. Is 20 a factor of o?
True
Suppose -204 = 17*m - 19*m. Is 17 a factor of m?
True
Suppose -7*d - 8 = -3*d. Let t be 22/6 + d/3. Suppose 0 = c + t*c - 16. Does 4 divide c?
True
Suppose 0 = 5*d - 0*d - 50. Let z = -5 + d. Is 5 a factor of z?
True
Is ((-6)/9*1)/((-3)/198) a multiple of 22?
True
Let z(r) = -r + 7*r**3 - 21*r**3 - 7*r**3. Is 9 a factor of z(-1)?
False
Let w(h) = 2*h**2 - 11*h + 5. Is w(7) a multiple of 10?
False
Let f = -17 + 17. Suppose f = -b + m + 2 + 4, -b - 2*m - 3 = 0. Is b a multiple of 2?
False
Is ((-3 + 2)*3)/(1/(-21)) a multiple of 18?
False
Is 34 a factor of 207 + -1 - (-3 - -5)?
True
Suppose -33 = -3*a + 6. Let n = a + -8. Suppose -y - y = -3*s - 25, n*y - 4*s - 52 = 0. Is 8 a factor of y?
True
Let i = 8 - -11. Suppose u - i = 44. Is 21 a factor of u?
True
Suppose 0 = -5*u + 13 + 2. Suppose u*t + 16 = -t. Does 17 divide (-193)/(-4) - 3/t?
False
Suppose 6*r = 8*r - 120. Is 15 a factor of r?
True
Let l = -10 - -41. Suppose -1 + 11 = 2*j. Suppose 4*b - 32 = -4*m, l = j*b + 2*m - 3. Is 5 a factor of b?
False
Let k be 8 + -7 + 3 + 12. Suppose -2*y + 3 = z, 3*y = 2*z - 18 - k. Is z a multiple of 11?
True
Suppose -4*u + 130 = 26. Is u a multiple of 3?
False
Let p be 0 + (-8 - -2 - -1). Let w(o) = o**3 + 6*o**2 - 2*o - 3. Does 16 divide w(p)?
True
Let d be 10*6*4/30. Suppose 2 = -0*k + 2*k, 4*q - 5*k - 3 = 0. Let y = d - q. Is y a multiple of 6?
True
Let l be -5 + 6 - (-8)/2. Suppose -k = -3*g - l*k + 34, 2*k - 24 = -2*g. Is g a multiple of 14?
True
Let j = -7 - -12. Suppose -5*m + 318 = -m - 2*b, -b - 399 = -j*m. Suppose -125 - m = -5*u. Is 18 a factor of u?
False
Let a be (2 + -5)*(-5)/3. Let w = a + 19. Is 12 a factor of w?
True
Let v be 2 + -8 - (-2)/1. Let p(w) = w**3 + 4*w**2 + 2*w - 1. Let z be p(v). Does 23 divide z/(-2*(-2)/(-28))?
False
Let k = 176 - 102. Is 40 a factor of k?
False
Let f(m) be the second derivative of 1/2*m**2 + m + 5/6*m**3 + 0. Is f(5) a multiple of 20?
False
Let u = -64 - -106. Suppose 4*z + 0*z = 2*l + 144, -z - l = -u. Does 4 divide 3/(-2 + z/16)?
True
Let l(g) = 15*g + 1. Let b(o) = 16*o + 1. Let a(z) = 7*b(z) - 6*l(z). Let x be a(-1). Let v = x + 36. Is v a multiple of 15?
True
Let k = -77 + 165. Is k a multiple of 44?
True
Let h = 9 - 6. Suppose -8*r + 15 = -h*r. Is r a multiple of 2?
False
Suppose -65*b + 594 = -63*b. Does 23 divide b?
False
Let s(b) = -b**3 - 6*b**2 + 4. Let r be s(-6). Suppose -54 = 2*a - r*a. Let i = a - 8. Is 17 a factor of i?
False
Is 7 a factor of (2/(-4))/(1/(-56))*1?
True
Suppose 3*a - 719 = 256. Is a a multiple of 45?
False
Let c = 109 - 64. Is 11 a factor of c?
False
Let a(g) = 2*g - 1. Let v(u) = 2*u - 1. Let m(c) = 3*a(c) - 2*v(c). Is 8 a factor of m(5)?
False
Let v = 43 - 16. Is 17 a factor of v?
False
Let x(r) = -3*r**3 - 3*r - 1. Suppose 0*s = 5*s + 10. Does 22 divide x(s)?
False
Let d = -3 + 21. Let s = d - 11. Is s a multiple of 2?
False
Let w = 27 + -3. Suppose -129 - w = -3*v. Suppose 2*h - 13 = v. Is h a multiple of 16?
True
Let o be 2 - (1 + 9) - -2. Let u(y) = y**3 + 9*y**2 + 7*y + 9. Let w be u(-7). Is w*-3*2/o a multiple of 22?
False
Suppose -8*j + 6*j + 120 = 0. Is 15 a factor of j?
True
Let m = -31 - -16. Let c = m - -29. Suppose 0*n - c = -2*n. Is n a multiple of 5?
False
Let a be (-69)/(-12)*2*-2. Let w = 35 - a. Does 20 divide w?
False
Let g(l) = 10 - 4*l**2 + 9*l - 5*l**3 + 3*l**3 + l**3. Let k be g(-8). Does 12 divide k/8 + (-1)/4?
True
Let k(z) = -z**2 + 4*z + 2. Let i be k(4). Let o be -1*(-2 - -4) + i. Suppose o*b + 16 = 4*b, t - 4 = 3*b. Is 8 a factor of t?
True
Suppose 11*u - 10*u = 43. Is 8 a factor of u?
False
Let u = 186 - 127. Is u a multiple of 14?
False
Let k(u) = 2*u**2 + 13*u. Let a(s) = s**2 + 7*s. Let f(x) = -11*a(x) + 6*k(x). Is 3 a factor of f(-3)?
True
Let l(i) = 6*i**2 + 4*i + 1. Let r be l(-5). Let d = r - 61. Is d a multiple of 35?
True
Let s = 7 - 5. Suppose 2*j = 3*t + 24, 10 = 3*j - 2*j - s*t. Is j a multiple of 15?
False
Suppose -26 - 30 = -4*q. Is 13 a factor of q?
False
Let f(x) = x**3 - 5*x**2 - 8*x - 3. Is f(9) a multiple of 14?
False
Let u = -219 + 322. Is u a multiple of 10?
False
Let b = 24 - -8. Is 16 a factor of b?
True
Suppose -g + 0*g + 5*t = -8, 4*t = -g - 1. Suppose -5*a - 3*c + 192 = 0, 2*c + g*c - 20 = 0. Does 9 divide a?
True
Suppose 0 = -3*w + 3 - 15. Let r(j) be the second derivative of -3*j**3/2 - 3*j**2/2 + 9*j. Is r(w) a multiple of 15?
False
Suppose -4*t = x - 282, x + 348 = -t + 6*t. Does 27 divide t?
False
Let q = -31 + 54. Suppose -3*n = -2*p - 2*n + q, -2*n - 22 = -2*p. Suppose -3*u = -0*u - p. Is 3 a factor of u?
False
Let m(g) = g**3 + 9*g**2 + 4*g - 9. Suppose 3*s + f = -19, -2*s - 2*f = 3*s + 30. Is m(s) a multiple of 6?
False
Let d(v) = -v**2 - v + 18. Is 3 a factor of d(0)?
True
Let a be 3*(20/(-6))/(-1). Suppose -4*v = -19 - 9. Suppose -f + a = -v. Does 17 divide f?
True
Suppose 107 + 518 = 5*y. Is y a multiple of 27?
False
Let i be (-19 - -4)*2/(-5). Suppose 0*n - 2*n + i = 0. Is n even?
False
Suppose 4*z - 488 = -4*q, 0 = -3*q + 6*z - 4*z + 356. Is q a multiple of 4?
True
Let n(v) = v**3 + v**2 - v + 3. Let o be n(0). Suppose 2 = -o*s + 8. Is 2 a factor of 14*(s/(-4) + 1)?
False
Suppose n = -n. Suppose n = -v - 2*v - 4*z - 83, 2*z - 74 = 4*v. Let d = v + 37. Is 8 a factor of d?
True
Is 19 a factor of (5 - 2)*((-75)/(-9) - -3)?
False
Let f(a) = -2*a**2 + a - 4. Let h be f(-3). Does 7 divi