 - q. Suppose 35 = 2*p + 3*l - 19, -2*p + 3*l = -i. Is 10 a factor of p?
True
Let z be 3/(-1 - 2) - -5. Suppose -5*x + 119 = 2*q, -2*q + z*x + 17 = -93. Is q a multiple of 20?
False
Let o = 56 - 37. Does 19 divide o?
True
Suppose z = -1, 3*z = -4*n - 0*z + 77. Is n a multiple of 5?
True
Let c(s) be the second derivative of -s**4/12 - 7*s**3/3 - 7*s**2/2 - 2*s. Is c(-10) a multiple of 11?
True
Is (-122)/(-5) - (-4)/(-10) a multiple of 8?
True
Suppose 29 = 5*q - 2*n, 0 = -4*q - n - 0*n + 18. Is 2 a factor of q?
False
Let l(r) = 2*r - 5. Let t be l(7). Is ((-10)/(-3))/(6/t) a multiple of 2?
False
Suppose -4*u - 2*s = -820, 4*s = 3*u - 284 - 320. Does 12 divide u?
True
Let i(l) = -l**3 - 3*l**2 + 4*l + 6. Let q be 1 - 8 - (-4 + 1). Is i(q) a multiple of 2?
True
Let x = 21 + 64. Suppose 4*d - 15 = x. Let q = -7 + d. Is q a multiple of 10?
False
Let k = -124 - -62. Let q = -6 - k. Is 14 a factor of q?
True
Suppose 6*q - 327 = -81. Is 8 a factor of q?
False
Let p be ((-6)/(-10))/((-1)/(-5)). Suppose -p*v = v + 28. Let h(i) = i**3 + 6*i**2 - 7*i + 8. Is h(v) a multiple of 5?
False
Let m = -11 + 8. Is ((-4)/2)/(m/24) a multiple of 4?
True
Is (0 - (-3 + -1))/(2/12) a multiple of 4?
True
Suppose 0 = -k - 4*n + 5 - 3, 0 = -2*k + 5*n + 4. Suppose -k*r = -3 - 3. Suppose r*x - 2*q + 23 = 6*x, -3*x + 2*q = -7. Is x a multiple of 5?
True
Suppose -8*b + 383 + 9 = 0. Is 11 a factor of b?
False
Suppose -376 - 292 = -4*v. Is v a multiple of 8?
False
Let i = 17 + -10. Suppose 3*x + 56 = -2*c, 5*c = 4*x - i*x - 68. Let g = 0 - x. Does 8 divide g?
True
Let c = 249 - 172. Does 9 divide c?
False
Let z = 24 + -17. Let m = z + 20. Is m a multiple of 21?
False
Let b be -2 + -1*12/(-3). Suppose -4*v + 6 + 10 = 0. Suppose 3*r + v*q - b = 0, r - 2 = q - 2*q. Does 4 divide r?
False
Let i(j) be the second derivative of 0*j**2 + 0*j**2 + j + 6*j**4 - 5*j**4. Is 8 a factor of i(-1)?
False
Let t(x) be the third derivative of x**5/15 + x**4/6 - 3*x**2. Is t(-3) a multiple of 8?
True
Suppose 0 = 4*m - 0*m. Suppose m = -4*s + 3*s + 4*o - 17, 5*s + 1 = -o. Does 9 divide 2 - 7*2*s?
False
Let n = 91 + 35. Is 21 a factor of n?
True
Suppose 57 - 5 = -2*s + m, 0 = 2*s + 2*m + 52. Let n = -9 + 1. Let q = n - s. Is q a multiple of 9?
True
Let w be 483/(-28)*(-16)/6. Let h be w/3 - (-2)/(-6). Is 6 a factor of 12*(h/4 - 3)?
False
Is 5 a factor of 87/3*1 + 0?
False
Let f(b) be the first derivative of 25*b**4/12 - b**3/6 - b**2/2 + b - 2. Let u(z) be the first derivative of f(z). Does 11 divide u(-1)?
False
Suppose 0 = m + 4*m + 3*z - 1020, -4*z - 408 = -2*m. Does 15 divide m?
False
Let d = -12 + 17. Let j = -255 + 368. Suppose -3*h + 100 = h + 4*c, -d*h = 2*c - j. Does 13 divide h?
False
Let u(k) = -k**3 + 5*k**2 - k. Let s be u(5). Let o = s + 8. Suppose 0*r + 30 = o*r. Is r a multiple of 10?
True
Is 9 a factor of ((-1)/(-3))/(10/270)?
True
Suppose -5*m = -7*m + 4. Suppose 0 = 5*t - m*c - 128, -4*t - 3*c + 62 + 45 = 0. Is t a multiple of 13?
True
Does 11 divide (-16)/24 + 478/6?
False
Suppose -3*j - 12 = -6*j. Suppose j*b = -b - 30. Let r = 20 + b. Is r a multiple of 14?
True
Suppose -g + 10 = -0*g. Suppose -o = -3*j + 2*j + g, 4 = -o. Does 5 divide j?
False
Let u = 8 - 17. Let z(h) = h**2 + 9*h + 3. Let j be z(u). Suppose a - 10 = j. Is 13 a factor of a?
True
Suppose -4*u + 4*b = -56, 3*u + 12 - 62 = -5*b. Let p = 7 - u. Does 8 divide (7 + -1)/((-6)/p)?
True
Let n be (-2)/3 + (-4)/(-6). Suppose -g + 6*g - 60 = n. Does 11 divide g?
False
Let i be -3 + -6*3/(-3). Let f(p) = 2*p**2 + i*p**2 - 3*p - 3*p**2. Is f(3) a multiple of 9?
True
Suppose -3*b - 12 = 0, -12 = -6*s + 2*s - 5*b. Suppose -c - 3*c + s = 0. Suppose -4*h - c*j - 27 + 101 = 0, h - 2*j = 21. Is 13 a factor of h?
False
Let v(l) = l**3 - 4*l**2 + 6. Let f(b) = -b. Let n(j) = 5*f(j) + v(j). Let d be n(5). Suppose -h = -d*h + 30. Is h a multiple of 4?
False
Let d = 94 - 50. Let x = d - 26. Does 9 divide x?
True
Let n(c) = c**3 - 6*c**2 + 2*c + 2. Let z be n(5). Let y = 9 - z. Is y a multiple of 14?
False
Let w(l) = -l**3 - 3*l**2 - 2*l - 21. Is w(-7) a multiple of 21?
True
Suppose 0 = 16*o - 9*o - 322. Is o a multiple of 23?
True
Is (0 - (-1794)/(-24))*-4 a multiple of 13?
True
Let j = -10 - -8. Is -1*(-1 - j) + 4 a multiple of 3?
True
Suppose -2*a = -2 - 0. Let x(v) = 13*v**2 - v + 18*v**2 - 6*v**2. Does 12 divide x(a)?
True
Let m(n) = 5*n - 36. Does 14 divide m(10)?
True
Is ((-20)/(-45))/2 + 194/18 a multiple of 4?
False
Let k be 105/20 - (-2)/(-8). Suppose -k*n - 8 = -4*a + 7, 0 = -5*a + n + 24. Is 2 a factor of a?
False
Let r(o) = -2*o + 0*o**3 + 2*o + 8*o**3. Is 8 a factor of r(1)?
True
Is (-536)/(-44) + 4/(-22) a multiple of 3?
True
Suppose 0 = 5*m + 4*o - 29, 0 = 2*m - 5*m + o + 14. Suppose -m*l + 71 = -4. Is 11 a factor of l?
False
Is (-9)/(-45) + 388/10 a multiple of 6?
False
Suppose -2*b = -o + 2, -3*o + 2*b + 16 = 6*b. Suppose -k = 2 - o. Is 3 a factor of (2 - k) + 5 + -2?
True
Let g(x) = 2*x - 2. Let k be g(4). Suppose 3*m - k = 6. Is 4 a factor of m?
True
Let y(u) = -u**3 - 5*u**2 + 8*u + 7. Let v be y(-6). Let b be 158/18 + (-2)/(-9). Let z = v + b. Does 3 divide z?
False
Let b(y) = -7*y - 46. Is b(-22) a multiple of 36?
True
Suppose a = -3*w + 54, 9*a = 4*a + 4*w + 308. Is 25 a factor of a?
False
Let s be (9/3)/3 + -9. Is 11 a factor of (-4*2)/(2/s)?
False
Suppose -5*u + 3*u + 6 = 0. Suppose u*m - 11 - 28 = 0. Is 2 a factor of m?
False
Suppose -4*d - 5*v + 369 = 0, 3*d - 5*v - 207 = d. Does 16 divide d?
True
Let l(y) = -y**3 - 6*y**2 + 5*y + 8. Let c(b) = -3*b**3 - 17*b**2 + 14*b + 23. Let f(m) = 4*c(m) - 11*l(m). Does 9 divide f(-3)?
False
Suppose -2*t = -5 + 1. Suppose 3*r - 25 = -5*i, -3*i + 3*r + 25 = t*i. Suppose 0 = -5*m + i*x + 125, -m + 3*x = -13 - 10. Does 11 divide m?
False
Let h be 44/3*(-4 + 7). Suppose 3*y + 79 = 4*x + 2*y, -4*y = 2*x - h. Does 10 divide x?
True
Let a(l) = -5*l**2 - 5*l + 16. Let n(v) = 3*v**2 + 2*v - 8. Let h(x) = 4*a(x) + 7*n(x). Is 7 a factor of h(7)?
False
Let h(a) = -a**3 - 8*a**2 - a - 1. Let z be h(-8). Suppose 4*m = z + 21. Let t = 11 + m. Is t a multiple of 9?
True
Let i(w) be the first derivative of 7*w**3/3 + 3*w**2/2 - w + 5. Does 20 divide i(-3)?
False
Suppose 2*c = -0*c + 4*t, 0 = 2*c - 5*t + 2. Suppose -c*j = -3*j - 5, -o + 4*j = 44. Is 10 a factor of (-4)/o + (-119)/(-6)?
True
Suppose -16 = 3*b + 2*k, 0 = -3*k + k - 10. Let j be 0 + b - (-54)/3. Let l = j + -3. Is 7 a factor of l?
False
Let t be 104 - 2*1/(-2). Let m = -55 + t. Is 12 a factor of m?
False
Let l = 11 - 16. Let j = -1 + l. Let s = 2 - j. Does 4 divide s?
True
Let o(n) = -1 + 4 + n - 5. Let z = -3 + 9. Is o(z) a multiple of 4?
True
Suppose -2*m + 132 = 5*b, -4*b - 330 = -6*m + m. Does 22 divide m?
True
Let q(m) = -m**3 - m**2 + m + 5. Let x = 11 - 8. Suppose x = 5*w - 3*a, w + w - 4*a = 4. Is q(w) a multiple of 5?
True
Let k be 3/2 - (-5)/10. Suppose k - 1 = -f. Does 11 divide 12 - (-3)/(-2 + f)?
True
Let f = -30 - -44. Let p = f - 2. Is p a multiple of 4?
True
Let k = -62 - -29. Does 8 divide k/(-2) - 5/10?
True
Let q(d) = 8*d - 1. Let k be q(-3). Does 11 divide 114/10 + 10/k?
True
Let u(h) = 2*h**3 - 2*h**2 + 3*h + 3. Is 24 a factor of u(3)?
True
Suppose -3*a + 1 = -5. Suppose a*r + 188 = 4*r. Does 19 divide r?
False
Let z(b) = 3*b**2 - 1. Let w = 8 - 6. Suppose w*x = -2*x + 4. Is z(x) a multiple of 2?
True
Let o(f) = -4*f**3 + 2*f**2 + f + 1. Let w = 5 - 3. Let b be o(w). Is 10 a factor of b/(-3) + 6/2?
True
Let d be (-15)/20 + (-1)/4. Let r be d + 4 + -4 + 1. Is (r + 2)/(4/94) a multiple of 12?
False
Let y = -4 + -4. Let w = y + 11. Is 17 a factor of (-228)/9*w/(-2)?
False
Suppose u + 3 = -0*u. Does 5 divide (u/(-2))/(27/90)?
True
Let d(k) = -3*k + 6*k + 3*k + 1. Let h = -10 + 14. Does 10 divide d(h)?
False
Let j be 1/(6/(-9) + 1). Suppose 26 = -u + j*u. Is u a multiple of 4?
False
Suppose 0 = 2*h - 4*h + 50. Is h a multiple of 17?
False
Does 13 divide (4/2)/(28/182)?
True
Let q = -5 + 2. Is 8 a factor of -1 + 8 - 3/q?
True
Suppose 4*y - 3*y = 65. Let q(v) = 2*v**2 + 7*v + 5. Let h be q(-6). Suppose h = 5*p - y. Does 10 divide p?
True
Suppose -4*y - 3*m = -696, -2*y - 5*m - 348 = -4*y. Is y a multiple of 34?
False
Suppose 5*z - y = -0*y - 71, -4*y = 5*z + 91. Let c = 36 + z. Is 21 a factor of c?
True
Le