uppose -53 = -f*o + 15. Is 5 a factor of o?
False
Let w = 1 + 4. Suppose f = 3*z + z + 12, -5*f - w*z = -10. Suppose 90 = f*o + o. Is 6 a factor of o?
True
Suppose 234 = -3*v + 3*j - 0*j, -2*v + 5*j = 171. Let d = v + 157. Suppose 74 = 3*g - 2*q, -4*g - 3*q = -2*q - d. Is g a multiple of 11?
True
Suppose -2*t = 3*o - o - 56, 2*o - 2*t - 56 = 0. Is 28 a factor of o?
True
Let g(s) = s**3 + 2*s + 2. Does 6 divide g(3)?
False
Suppose z = 20 + 1. Suppose -4*v - z = -3*g - 2*v, -4*v = -3*g + 21. Does 7 divide g?
True
Let d = -85 - -133. Is 19 a factor of d?
False
Suppose 6*r - r - 26 = p, -2*p = 5*r - 23. Suppose -r*x + 61 = -64. Is x a multiple of 9?
False
Let d(x) = 2*x**2 - x - 1. Let h be d(-1). Let f(g) = 3*g**3 + 12 - 6*g**3 + h*g**3. Is 4 a factor of f(0)?
True
Let u(z) = -z**3 + 4*z**2 + 6*z - 5. Suppose 5*y - 20 = 5. Let t be u(y). Let n(w) = w**3 + 3. Is n(t) a multiple of 3?
True
Let m(o) = -8*o. Let i be m(-4). Suppose -i = z - 3*z. Suppose -3*k = z - 61. Is k a multiple of 15?
True
Let v(j) = 43*j + 2. Is v(2) a multiple of 23?
False
Suppose 4*k = -0*k + 12, 3*k = -3*i + 90. Is 4 a factor of i?
False
Suppose 0 = -3*u - 22 + 157. Is 15 a factor of u?
True
Let d = 24 - 8. Does 4 divide d?
True
Let s(b) = 11*b**3 - 8*b**2 + 12*b + 11. Let g(m) = -4*m**3 + 3*m**2 - 4*m - 4. Let n(l) = -17*g(l) - 6*s(l). Is n(3) a multiple of 15?
False
Suppose -5*a + 195 = 4*v, 4*a - 156 = -0*a - 5*v. Is a a multiple of 13?
True
Let y = -11 + 12. Does 5 divide (-1)/(y/(-12) + 0)?
False
Let l be -2 + -1 + 4 + -1. Suppose -3*x + 8*x - 10 = l. Suppose 35 - 9 = x*i. Is 12 a factor of i?
False
Suppose 0*o + 27 = o. Let w = o - 8. Is 13 a factor of w?
False
Suppose 9*w - 2*w = 378. Is 18 a factor of w?
True
Suppose -g = -2 - 1. Let p(j) = -6*j + 4 + 2*j**3 - 1 + j + j**2. Is p(g) a multiple of 20?
False
Let i(z) = -z**2 - 6*z - 9. Let s be i(-5). Is 17 a factor of 3/(-4) - 155/s?
False
Let q(b) be the first derivative of b**4/4 + 4*b**3/3 - b**2 + 3*b - 2. Does 6 divide q(-4)?
False
Let w be 16/12*6/(-4). Is (-1)/(26/14 + w) a multiple of 5?
False
Let b = -16 + 42. Suppose b = -3*i + 194. Is i a multiple of 19?
False
Suppose -b = -64 - 43. Let l = b - 76. Does 10 divide l?
False
Suppose -n = -j + 2*n + 372, 4*n + 746 = 2*j. Is j a multiple of 75?
True
Does 16 divide (25 + -1)*(-10)/(-5)?
True
Let j = 10 - -54. Is 8 a factor of j?
True
Let r = -71 + 163. Is 23 a factor of r?
True
Let w be 86*(3 - 21/6). Let o = -22 - w. Is 7 a factor of o?
True
Let w = -32 + 45. Is w a multiple of 4?
False
Let w(b) = b**3 + 7*b**2 + 5*b + 4. Let m = -5 - -2. Is 10 a factor of w(m)?
False
Let o(u) = -u**3 - 6*u**2 + 4*u + 3. Is o(-7) a multiple of 22?
False
Let h = -60 - -93. Does 20 divide h?
False
Let h be 3768/30 + (-4)/(-10). Let x = h + -76. Is x a multiple of 23?
False
Let c(r) = 3*r + 13. Let m be c(-12). Let y = 40 + m. Is 17 a factor of y?
True
Let d(r) = 12*r + 14. Is 6 a factor of d(1)?
False
Let t(m) = -60 + 2*m + 2*m + 56. Let l = 11 - 6. Does 8 divide t(l)?
True
Suppose 2*s + 94 = 6*s + 5*p, 0 = 4*s - 3*p - 110. Is 5 a factor of s?
False
Let k = -18 - -23. Let r be 4/1 + (-2 - 0). Suppose -k*l = -r*l - 63. Does 10 divide l?
False
Suppose -2*d - 90 = 3*d. Let z = d - -44. Is z a multiple of 13?
True
Let b(c) = -c**3 + 13*c**2 + 15*c - 4. Is 9 a factor of b(14)?
False
Let v be (-2 - (-1 - 2))*5. Suppose -44 = -v*p + 51. Is p a multiple of 19?
True
Suppose -w = -t - 23, 2*w - 2*t + 115 = 7*w. Is w a multiple of 13?
False
Let f = 104 + -30. Is 29 a factor of f?
False
Let u = -11 + 32. Let d be (-4)/(-14) + 1002/u. Is d*2/8*2 a multiple of 12?
True
Let l = 107 - 67. Is 3 a factor of l?
False
Let h be (-66)/(-11) - (1 - 1). Suppose 0 = -h*z + 3*z + 171. Is 19 a factor of z?
True
Let i(a) = a - 2. Let o be i(-5). Let n = o + 7. Let l = n + 24. Is 8 a factor of l?
True
Let x(o) = o**2 + 2*o - 4. Let l be x(-4). Suppose 5*h = l*h + 19. Suppose -2*m - 2*i = -38, h = m + 8*i - 4*i. Is m a multiple of 7?
False
Let q(d) = 2*d**2 - 2*d + 3. Let l be q(5). Does 3 divide l/4 - (-3)/12?
False
Let i(q) be the third derivative of -2/3*q**3 + 0 + 0*q - 3*q**2 + 1/30*q**5 + 1/12*q**4. Is 11 a factor of i(-5)?
False
Suppose 0 = 3*v - 4*y + 16, -2*v + y + 3 - 22 = 0. Is (2 + 0)*(-42)/v a multiple of 7?
True
Suppose 2*u = 2*w + 98, -5*w = 4*u - 4*w - 176. Is 15 a factor of u?
True
Suppose -8*s + 16 = -4*s. Let k(g) = 5*g + 3*g + 2*g**2 - 4 - 2*g - s*g. Is 6 a factor of k(-3)?
False
Let p = -35 - -61. Is 12 a factor of p?
False
Let o = -12 - -22. Does 6 divide o?
False
Let t = 365 - 99. Does 19 divide t?
True
Let h be 117/18 - 6/4. Suppose h*c + 6*v = 5*v + 132, 10 = 5*v. Is 8 a factor of c?
False
Suppose -6*v + 3*p + 82 = -v, 46 = 3*v - p. Does 14 divide v?
True
Let g be 1 + (1 - -1) + 5. Suppose 0 = 2*z - 6*z - g. Is 16 a factor of ((-42)/3 + -2)*z?
True
Let c(p) = -p**3 - p**2 - p + 16. Let n be c(0). Let d = n + 2. Does 7 divide d?
False
Suppose 905 = 4*o - 5*t, -4*o - 2*t = -0*o - 898. Does 45 divide o?
True
Suppose 4*v + 10 = -2. Is 1/(((-9)/165)/v) a multiple of 19?
False
Let f(l) = l**3 + 11*l**2 - 15*l - 15. Let x = -3 - 9. Is f(x) a multiple of 5?
False
Let j = -6 - -4. Let n be 0 + 6 - (-1 - j). Let b = 20 - n. Does 4 divide b?
False
Let c = 83 + -27. Suppose -3*f - c = -7*f. Is f a multiple of 14?
True
Let g = 70 + -20. Does 4 divide g?
False
Let d(p) = p**3 + 7*p**2 + 7*p + 4. Suppose -2*a + 0*a = -10. Let c be 1/a - (-21)/(-5). Is d(c) a multiple of 8?
True
Does 21 divide (1*(-15)/5)/(1/(-14))?
True
Let t = -74 - -118. Is t a multiple of 10?
False
Let d = -13 - -35. Suppose -4*a + d = -2*a. Is 6 a factor of a?
False
Let o = -50 - -73. Let t = 38 - o. Is t a multiple of 5?
True
Let v = -11 - -15. Suppose 2*b - d - 8 = 0, -4*b + 8 = -2*d + v*d. Is b a multiple of 3?
True
Does 3 divide (-6)/(-15) + 144/15?
False
Let k(g) = g**3 - 9*g**2 + 7*g + 9. Let j be k(8). Let n(f) = 12*f**3 - f**2 + f. Let h be n(j). Suppose r - h = 2. Is 7 a factor of r?
True
Let t(k) = -k + 1. Let s be t(-5). Is (-110)/(-6) + (-2)/s a multiple of 7?
False
Let h = 5 - 5. Suppose 2*t - 7*t + 215 = h. Does 14 divide t?
False
Let h be 3/6 + 14/(-4). Is 18 a factor of 1*-87*h/9?
False
Suppose x + 4*x = 275. Let v = -36 + x. Is v a multiple of 8?
False
Suppose 9*g = 14*g - 255. Let h = -36 - -9. Let y = h + g. Is 8 a factor of y?
True
Let u be 48/(10/(-14) + 1). Let i = 40 + -38. Suppose i*x + u = 4*f, -2*x - 59 = -f - 23. Does 22 divide f?
True
Let l = 8 - 14. Does 12 divide 3/l - 134/(-4)?
False
Is 1/(-4) + (-225)/(-20) a multiple of 2?
False
Let y(t) = t**2 + 9*t - 4. Is 19 a factor of y(7)?
False
Suppose 0 = -l + 2*l - 4. Suppose -3*r + 4*s = -4*r + 12, -l*r = -5*s - 111. Is 24 a factor of r?
True
Let q = 54 + -31. Is q a multiple of 14?
False
Suppose 0 = -x + 5*p - 18, -3*p - 12 = -6*p. Let r(z) = 3*z**x - 4 - 4*z**2 + 3 + 9 + 11*z. Is 4 a factor of r(11)?
True
Suppose -4 = 4*v - 0*v. Suppose 5 = 2*h + 5*o - 4, 0 = -5*h - 5*o + 15. Does 5 divide 18/v*h/(-4)?
False
Let b = 528 - 360. Is 8 a factor of b?
True
Let q(w) = 2*w**2 + 14*w + 12. Does 17 divide q(-9)?
False
Let d(g) = -g**3 + 6*g**2 + 9*g - 2. Let v be d(6). Suppose 52 = 2*w - n - n, v = 2*w + 4*n. Does 13 divide w?
True
Suppose -154 = -3*m + k + 4*k, -m - k = -46. Does 22 divide m?
False
Let l = 16 + -9. Is 7 a factor of 24 - (l + -3 - 2)?
False
Let s be (-2 - (-14)/4)*-2. Is 1 + s + 41 + 0 a multiple of 16?
False
Suppose -556 = -11*j - 116. Is 13 a factor of j?
False
Let h(w) = w**2 + 5*w - 5. Let c be h(-6). Suppose 5*v - 3*x = -2, -2*v + 0*v + x - c = 0. Is (-25 - v)*(-3)/4 a multiple of 11?
False
Let i(l) = -l + 10. Let t be i(9). Is 0 + 15/t - -1 a multiple of 16?
True
Suppose -2*w + 144 + 924 = 5*h, -1052 = -5*h + 2*w. Suppose -5*r + p = -p - h, -r + 60 = 4*p. Does 22 divide r?
True
Let k(z) = -2*z**2 + z. Let f be k(-1). Does 15 divide (-6)/4*(-43 + f)?
False
Suppose 2*z + 8 - 2 = -2*i, -4*i + 3*z = -23. Let l(x) = 5*x**3 + x**2 - 4*x + 11. Let w(p) = -3*p**3 + 2*p - 6. Let y(j) = 4*l(j) + 7*w(j). Does 6 divide y(i)?
True
Let l(s) = -s**2 + 9*s + 3. Let d be l(9). Is 7 a factor of 28/d*12/8?
True
Let g be ((-2)/2)/((-4)/308). Suppose -a = -5*f - g, 4*a = 3*f - f + 344. Does 29 divide a?
True
Suppose 16 = 4*g - 0. Let u be (-12)/(2 - g)*-