). Suppose -27 = -2*p + l. Is p a multiple of 11?
True
Suppose -3*z = -10*z - 14. Does 2 divide (-2 + z - -9) + -3?
True
Suppose 6*o + 562 = 1834. Is o a multiple of 53?
True
Let a = 7 - 17. Let j(v) = v**3 + 10*v**2 - 7*v - 3. Does 25 divide j(a)?
False
Let z(h) = -13*h - 10*h**2 - 2*h**3 + h**3 + 0*h**2 - 14 - h**2. Is 8 a factor of z(-10)?
True
Let f(z) = 46*z. Let c be f(6). Suppose 3*k - c = 3*b, 2*k + 7*b - 205 = 2*b. Suppose 5*u + k = 4*v, -2*v + 120 = 3*v - 5*u. Is v a multiple of 15?
False
Let p(w) = -w - 2 - 1 + 7*w - 2*w. Let h be (-9 + 1)*9/(-12). Does 17 divide p(h)?
False
Suppose -4*p = -18 - 6. Suppose -o - 2*q = -4, -o + p = -3*q - 3. Suppose g + 15 = o*g. Does 3 divide g?
True
Let j = 28 + 35. Is j a multiple of 21?
True
Let k(y) = 3*y**2 - 5*y - 5. Is 9 a factor of k(5)?
True
Suppose -x - 5*j = -3 + 15, -4*x - 5*j = 48. Let u(o) = o**2 + 10*o - 12. Does 4 divide u(x)?
True
Let z(y) be the third derivative of -y**6/30 - y**5/30 + y**4/12 + 2*y**2. Let l be z(-2). Suppose 1 + l = 3*a. Is a a multiple of 7?
True
Suppose 2*q = 2*w + 10 + 10, 4*q + 2*w - 34 = 0. Does 9 divide q?
True
Suppose m + 5 - 179 = -3*a, -3*m + 582 = -3*a. Is 12 a factor of m?
False
Let s = -1 - -5. Suppose 2 = 3*h - s. Suppose 3*w - 15 = -h*w. Does 3 divide w?
True
Let v be (-34)/(-1) + -1 + -1. Suppose 3*f - 3*x = 2*x + v, -23 = -2*f + 3*x. Does 4 divide f?
False
Let o = 28 + -53. Let g = 81 + -86. Is 2/g - 660/o a multiple of 13?
True
Suppose -a = -3*g + 2*a, 2*g - 2 = a. Is 2 a factor of g?
True
Suppose 13 = 4*w - 47. Is 6 a factor of w?
False
Let j(h) = 11*h**2 + 2*h + 22. Does 38 divide j(-4)?
True
Let i(h) = -h**3 + 4*h**2 - 5*h + 4. Let l be i(3). Let n be l/(((-1)/(-30))/(-1)). Suppose -3*f = -n + 9. Is 5 a factor of f?
False
Suppose -r = 1 - 7. Let w = r - -18. Does 12 divide w?
True
Let a(o) = 2*o**2 + o + 3. Let r be a(-3). Suppose -5*z = -r - 52. Is z a multiple of 5?
False
Let l be (-1 - (-70)/(-2))*1. Let g be 1/(-2)*(49 - 1). Let v = g - l. Is 6 a factor of v?
True
Suppose -4*p - 69 = -289. Does 6 divide p?
False
Let f(b) = b**2 - 9*b - 12. Let t be f(10). Let j(u) = -4*u - 3. Is j(t) a multiple of 3?
False
Suppose -5*q - 11 = -2*y, -5*y + 8*y + 2*q = -12. Is 10 a factor of y/(-3) + (-138)/(-9)?
False
Let w(b) = b**2 + 3*b + 7. Does 13 divide w(-5)?
False
Let b = 62 + -25. Is 37 a factor of b?
True
Let d be 1/3 - (-52)/6. Let f be 4/(-6) - (-159)/d. Let a = f + 15. Is 17 a factor of a?
False
Let n be (1 + -1)/((-14)/(-7)). Suppose d - 19 - 27 = n. Is 11 a factor of d?
False
Let a = 130 + -79. Does 13 divide a?
False
Suppose -4*p = -5*p + 20. Does 2 divide p?
True
Suppose 30 = -4*j - r, 2*r + 2*r = 3*j + 13. Let s(x) = x**3 + 9*x**2 + 6*x - 7. Is s(j) a multiple of 13?
False
Let r(h) = h**3 + 6*h**2 + 3 - 1 - 2*h**3 - 4 - 4*h. Is 9 a factor of r(4)?
False
Suppose 3*f - 29 = -5. Is 8 a factor of f?
True
Let p = 11 + -11. Let r = 24 - p. Is r a multiple of 16?
False
Let a(p) = -7*p - 17. Is a(-6) even?
False
Suppose -4*x + 8 = -3*o, 2*x - x - 2 = -o. Suppose -70 = -5*u - 2*c + 3*c, 65 = 5*u - x*c. Suppose u = f - w, 0 = -f - 5*w - 2 - 1. Is f a multiple of 7?
False
Suppose t - 6*t + 330 = 0. Is t a multiple of 10?
False
Let k be (4/2)/(-3 - -1). Let b be k/3 - (-114)/18. Suppose -25 = o - b*o. Is 2 a factor of o?
False
Let r(j) = -3*j**3 + 3*j**2 + 3*j + 3. Let a be r(-2). Let t = a + -9. Is t a multiple of 8?
True
Let s = 21 + -17. Suppose -2*w + s*w = 28. Is w a multiple of 7?
True
Let s be 30/8 - 5/(-20). Let b(t) = 11*t - 1. Is b(s) a multiple of 15?
False
Let s(f) = 20*f + 8. Is s(5) a multiple of 18?
True
Let r be (-1)/(-1*1/2). Suppose -14 = -t + r. Is 16 a factor of t?
True
Suppose -47 = 5*k + 3*z, 2 = -k - 5*z - 25. Suppose 0 = 2*j + 2*j. Is 13 a factor of j/k + 13*1?
True
Suppose 5*u - 3 = -5*f + 182, f + 2*u = 32. Does 21 divide f?
True
Let c = 67 + -44. Let j(t) = -t**3 - 6*t**2 - 3*t + 4. Let a be j(-4). Let p = a + c. Is p a multiple of 5?
False
Let g(n) = -n**3 - 5*n**2 - n - 4. Suppose -7 = -2*j - 19. Is 19 a factor of g(j)?
True
Let k(j) = 2 - j**2 - 5*j - 6*j + 4. Is k(-10) a multiple of 8?
True
Suppose -4*t + 3*t = -201. Is t a multiple of 19?
False
Let t = 45 - 33. Is 9 a factor of t?
False
Let y = 16 - 9. Let j = -1 + y. Suppose j*x - 140 = x. Is 14 a factor of x?
True
Let q(c) = -88*c**2. Let i be q(-1). Let b = -60 - i. Suppose k - b - 25 = 0. Is 11 a factor of k?
False
Let f(o) = 2*o**3 - 2*o**2 + 3*o - 1. Let c(l) = 3*l - 2. Let n be c(2). Suppose 2*p = -n*s + 26, 0 = -3*p - 5*s + 13 + 21. Does 18 divide f(p)?
False
Let i = 16 - 12. Does 4 divide i?
True
Let v = 14 + -8. Let s(y) = y**3 - 7*y**2 + 6*y. Let m be s(v). Is (m + (2 - -9))/1 a multiple of 7?
False
Let w(b) be the first derivative of -b**3/3 - b**2/2 + 2*b + 2. Let c be w(-2). Let a = c - -17. Does 17 divide a?
True
Let k(s) = -7 + 1 + 2*s - 7*s**2 + 2*s**3 - s**3 - 2. Is k(7) a multiple of 3?
True
Let p(s) = -2*s - 6. Let h = -7 - -12. Let t(o) = -1. Let k(c) = h*t(c) - p(c). Is k(5) a multiple of 11?
True
Let d = -24 + 72. Does 12 divide d?
True
Suppose -2*z + 0*z + 46 = 4*i, -2*z = -2*i - 34. Is z a multiple of 16?
False
Suppose 5*z + 92 = 3*d, 4*d - 80 = 6*z - 2*z. Let q = -5 - z. Suppose 2*c - p - 19 = 0, q - 43 = -4*c - 4*p. Does 5 divide c?
False
Let q = -3 + 33. Does 30 divide q?
True
Let y(l) = 3*l - 4. Let q be ((-6)/(-4))/((-1)/(-2)). Let r be y(q). Suppose p = 3*u + 19, 22 = r*p - 2*u - 73. Does 9 divide p?
False
Let z(b) = -b - 4. Let y be z(-6). Let q(o) = 9*o - 2 + y + o**3 - 5 + 12*o**2. Is q(-11) a multiple of 17?
True
Suppose -15 = -2*a + 17. Let w be -6 + (1 - 0)*-2. Let y = a - w. Is y a multiple of 9?
False
Suppose -j + 64 = j. Suppose 2*d + 4 - j = 0. Is 7 a factor of d?
True
Let c be -1 + (1 - (0 + 0)). Suppose -5*u - 10 = c, -4*u - 24 = -2*b - 3*u. Does 4 divide b?
False
Let w be (-4)/(-14) + (-164)/(-14). Suppose -2*m = 2*m - w. Suppose 5*y - m*c = 127, 141 - 32 = 4*y + 5*c. Is y a multiple of 13?
True
Let r(x) = -x**2 - 11*x + 6. Let v be r(-9). Suppose -2*h + 5*h = v. Is 5 a factor of h?
False
Is 4 a factor of -1 - 2 - (-15 - -5)?
False
Does 49 divide 198 + -20 + 0/(-1)?
False
Let c(k) = -2*k**2 - 13*k + 2. Let y(l) = 3*l**2 + 25*l - 5. Let x(u) = 5*c(u) + 3*y(u). Is 9 a factor of x(8)?
False
Let d be 9/(-2)*14/(-7). Let b = d + 16. Does 10 divide b?
False
Does 18 divide 5/(3/(-108)*-2)?
True
Suppose i - 24 = -2*i. Is 2 a factor of i?
True
Let h = 3 - -9. Is 3/2*40/h a multiple of 3?
False
Is ((-22)/(-2 - -4))/(7/(-28)) a multiple of 4?
True
Suppose -2*h + 28 = 3*x, 0 - 8 = 2*h. Suppose y = 13 + x. Is y a multiple of 21?
False
Is 1/(8/(-52))*-2 a multiple of 6?
False
Let p = 30 + -18. Suppose d + 2*d = p. Does 2 divide d?
True
Let r(w) = -69*w + 25. Does 11 divide r(-3)?
False
Let x = 76 - 42. Is x a multiple of 25?
False
Suppose -10 = -t - 4*t. Suppose t*b - 38 = 68. Is b a multiple of 14?
False
Suppose -2*f - 3*f = -50. Let c(a) = 4*a + 9. Is c(f) a multiple of 14?
False
Suppose -31 = -3*r + h + 154, 2*r - 115 = -h. Does 12 divide r?
True
Is 6 a factor of ((-9)/5)/(117/(-6825))?
False
Let d(m) = -18*m + 10. Let v be d(-7). Suppose 2*h - v = -5*i, -3*i + 74 = 2*h + 3*h. Does 7 divide i?
True
Suppose 0 = -5*d - 3*q - q + 51, 0 = -4*d + q + 45. Let t = 0 + d. Is t a multiple of 3?
False
Let u(n) = n**3 - 5*n**2 + 4*n + 6. Is 22 a factor of u(7)?
True
Let k be -4 + 4 - (-2 - -1). Suppose 2*v - 9 + k = 0. Does 4 divide v?
True
Does 36 divide ((-2)/2)/(16/(-1152))?
True
Let d = -21 - -12. Let i = -8 + 14. Is (6/d)/(i/(-477)) a multiple of 15?
False
Suppose p = -2*i - 2*i + 237, -5*i + 309 = -3*p. Is 6 a factor of i?
True
Let l = 39 - 23. Is 3 a factor of l?
False
Let s(g) = -9*g - 12*g + 4 - 3*g + 22*g. Let y be 80/(-14) - (-2)/(-7). Is 7 a factor of s(y)?
False
Let v(f) = 8*f + 12. Suppose 4*a = 38 - 14. Is 23 a factor of v(a)?
False
Suppose 3*z - 94 - 293 = 0. Is 66 a factor of z?
False
Let r = 15 - 45. Let a = 2 + -3. Is 11 a factor of 1 + (r/3)/a?
True
Let x = -25 - -13. Is 24 a factor of 2*x/(-1)*1?
True
Let w(f) = -4*f**2 - 4*f - 2. Let y be w(-2). Let r = -7 - y. Is 50/r*(-12)/(-10) a multiple of 16?
False
Suppose -8*v + 1368 = -5*v. Is 4/6 - v/(-18) a multiple of 13?
True
Suppose -438 - 99 = -3*i. Does 43 divide i?
False
Le