e of v**4/24 + 13*v**3/6 + 2*v**2. Let d = -5 + 16. Is 12 a factor of r(d)?
True
Suppose m = 2*m - 9. Is 2 a factor of m?
False
Let n = 17 + 31. Is n a multiple of 8?
True
Suppose 98 = -t - 3*d + 251, -4*d = 4*t - 644. Suppose -4*m + 143 + t = 0. Is 23 a factor of m?
False
Let q(h) = -15*h + 2. Let y = -2 + 0. Does 16 divide q(y)?
True
Let m = -5 + 10. Suppose -3*b - 4*i + 44 = -m*i, -2*i = -3*b + 49. Is b a multiple of 5?
False
Suppose -154 - 326 = -5*a. Does 13 divide a?
False
Let g(i) = i - 1. Let v be g(1). Let h(b) = -b + 48. Let m be h(v). Let y = m - 20. Is 14 a factor of y?
True
Let p be 4/(-10) + (-43)/5. Let k = -7 - p. Is 15 a factor of 15*k + 0/(-5)?
True
Suppose -u - 3 + 0 = g, 5 = -5*u - 3*g. Is 3 a factor of u + -1 + 3 + -1?
True
Suppose -3*l + 4*h = -135, 3*l + 5*h = 4*h + 120. Does 14 divide l?
False
Let i(x) = -17*x - 2. Is 5 a factor of i(-1)?
True
Suppose -73 = -4*p + 6*x - x, 3*x - 9 = -2*p. Suppose w = -3*w + p. Is (0 - (-4 + w)) + 7 a multiple of 3?
False
Suppose c - 108 = -44. Suppose -2*w + c = -8. Suppose -4*p - 2*z + w = 0, 2*z + z = -12. Does 11 divide p?
True
Suppose 0*p + 3*p - 1 = -t, 4*p = 2*t + 18. Let c = 2 - p. Suppose c*v - 6 = -2*v. Is 3 a factor of v?
True
Let x(w) = 2*w**3 + w**2 - w + 1. Let c be x(1). Suppose -5*n + 33 = -4*h + 140, 4*n = c*h - 81. Does 6 divide h?
False
Let d be ((-6)/(-4))/((-18)/(-420)). Suppose 3*g + 5 = -2*g. Let u = d + g. Does 18 divide u?
False
Suppose 0 = b + s - 28, 2*b = -2*s - s + 54. Is b a multiple of 10?
True
Suppose 0 = -z + 5*z + 72. Suppose 0 = 5*f - h + 6, f + 2*f - 2*h + 5 = 0. Does 5 divide 1/(z/20 - f)?
True
Let v(q) = q**2 - 3*q - 2. Let k be v(4). Let d(t) = t + 7. Let s be d(-6). Is k/((-2)/(-13)) - s a multiple of 11?
False
Let d(r) = -r**3 + r + 2. Does 2 divide d(0)?
True
Does 8 divide (-3)/12 + 159/12?
False
Let f(g) = g**3 - 5*g**2 - g + 7. Let m be f(5). Does 12 divide ((-28)/35)/(m/(-30))?
True
Let q(a) = a**3 + 3*a**2 - 5*a + 3. Let f be q(-4). Suppose -4*u + 71 = f. Does 16 divide u?
True
Suppose -5*t + 2*b - 141 + 681 = 0, b - 5 = 0. Suppose 83 = 5*c - y - 27, 0 = -5*c - 5*y + t. Is c a multiple of 11?
True
Suppose 0*n - 935 = -5*n. Suppose 4*a + 61 - n = -5*q, 0 = -5*a - 5. Is q a multiple of 11?
False
Let u(b) = b**3 - b**2 + 7. Suppose 3*q + 0*q = 0. Let l be u(q). Does 4 divide l + (2 + 1)/(-3)?
False
Let v(a) = a + 9. Let r be v(-6). Let g be (-1 - -15)/(r/9). Is (g/(-8))/((-3)/8) a multiple of 10?
False
Let m(f) = 3*f + 89. Is 6 a factor of m(-23)?
False
Let m be (-9)/(-6)*8/6. Suppose -m*g + 6*g - 43 = 3*x, 5*g - 4*x = 55. Does 5 divide g?
False
Suppose -5*a = -5*u + 575, 136 = 3*u - a - 199. Is 14 a factor of u?
False
Does 11 divide 632/24 - (-2)/(-6)?
False
Let y(h) = h**3 - h**2 + h. Let o be y(0). Suppose 0*u + u + 2 = o. Is 5 a factor of 1/(3*u/(-30))?
True
Let w(m) = m**3 - 6*m**2 + 2*m - 2. Let y be w(5). Let j = -7 - y. Does 4 divide j?
False
Let t = 20 - 11. Suppose -3*k + 5*k = 5*j + t, 5*k = -3*j + 69. Does 6 divide k?
True
Let a be (21/4)/(3/12). Let q = a + -13. Does 4 divide (3 + -2)*(q + 1)?
False
Is 34 a factor of (-2)/(-8) + (-2710)/(-40)?
True
Suppose 4 = -3*k + 1. Let h be 8/(-2)*(k + 0). Suppose h*i - 2*i - 72 = 0. Is 12 a factor of i?
True
Suppose 36 = 4*i - 24. Is (-6)/i + 57/5 a multiple of 3?
False
Does 15 divide (-126 - -1)*72/(-120)?
True
Let r(f) be the first derivative of f**5/20 - f**3/6 + 15*f**2/2 + 3*f + 1. Let s(x) be the first derivative of r(x). Does 15 divide s(0)?
True
Let b = 105 + -52. Is 3 a factor of b?
False
Let z(a) = -a**2 - 30*a - 26. Is 38 a factor of z(-20)?
False
Let c(p) = 18*p - 44. Is c(5) a multiple of 5?
False
Let b(f) = -f**2 - 7*f - 10. Let m(c) = -2*c**2 - 14*c - 19. Let o(l) = 11*b(l) - 6*m(l). Is o(-7) a multiple of 3?
False
Let y = 0 - -2. Suppose 0 = 3*f - y*f - 4, -2*f - 12 = -4*u. Does 16 divide (12 + -1)/(u/15)?
False
Let j = 65 - 62. Is j a multiple of 3?
True
Let b(v) = v**2 + v - 4. Does 15 divide b(7)?
False
Let h be (10 - 2)*(1 + -24). Let t be 6/(-4)*h/6. Suppose -d + t = d. Is 23 a factor of d?
True
Let p be (12/3)/(-2) - -7. Suppose 0*t + p*t = 25. Suppose -t*o = -3*x + 133, 7*x - 2*o = 2*x + 228. Does 23 divide x?
True
Let y(l) = l**3 + 6*l**2 - 2*l - 1. Suppose -5*p = -5*r - 30, 3*r - p + 5 + 11 = 0. Is y(r) a multiple of 17?
True
Let k(l) = 2*l**3 + 11*l**2 + 2*l - 7. Is k(-5) a multiple of 2?
True
Suppose 3*t - 95 = -2*q + 6*t, t - 3 = 0. Is 8 a factor of q?
False
Is 52 - (-2 + (-6*1)/(-3)) a multiple of 20?
False
Suppose 0 = 5*n + 45 - 5. Let a(p) = 9*p**3 + 17*p**2 + 9*p - 2. Let d(o) = 14*o**3 + 26*o**2 + 14*o - 3. Let h(l) = n*a(l) + 5*d(l). Does 11 divide h(-4)?
False
Suppose 2*w - 2*y + 70 = -y, -3*w + 2*y - 105 = 0. Is 15 a factor of (-1099)/w + (-2)/5?
False
Suppose -n = 3 - 51. Does 12 divide n?
True
Let m = 2 + 0. Let c be 3/(m/4 + 1). Suppose -s = c*s - 30. Is 6 a factor of s?
False
Let o be 0 + (-3)/(-2 - -1). Suppose r - 36 = -o*r. Let i = r + 25. Is 17 a factor of i?
True
Let k be (-2)/(-4) - 1/(-2). Suppose 0*q + 3*q - 5 = -b, -4*b + 13 = 5*q. Is 11 a factor of -33*k*b/(-6)?
True
Let k be (2/(-4))/(2/(-84)). Suppose 0 = -4*l + 3*l + k. Is 1/(0 - (-3)/l) a multiple of 4?
False
Let y(g) = 18*g**3 + 38*g**3 + 2 - 1 + 0. Does 13 divide y(1)?
False
Suppose -4*t - 11 = 4*k - t, 0 = 4*t - 12. Let v(i) = -2*i - 6. Let a(m) = 2*m + 6. Let l(o) = -5*a(o) - 4*v(o). Is 4 a factor of l(k)?
True
Let c be 24/108 - 637/(-9). Let r = c - 8. Does 21 divide r?
True
Let m = -91 - -217. Is m a multiple of 18?
True
Let i = -7 + 8. Does 2 divide i - -6 - (1 - 0)?
True
Suppose -2*n = -6*n + 196. Let l = n + -22. Suppose 0 = -s + 2*s - l. Is 9 a factor of s?
True
Let o be (-1 + -9)*(10 + -9). Does 20 divide ((-16)/o)/((-9)/(-180))?
False
Suppose 0 = -m - m - 2, -4*m - 18 = -2*n. Is 6 a factor of n?
False
Is ((-1)/3 - 0)*(-266 + 5) a multiple of 25?
False
Is 7 a factor of 28/(-4)*(-24)/14?
False
Suppose c + 2 + 1 = 0. Let m(t) = -6*t + 1. Does 11 divide m(c)?
False
Let j(z) = -z**3 + 5*z**2 + 2*z + 6. Is 9 a factor of j(5)?
False
Suppose -2*t - 16 = 5*y, 0 = 5*y - 4*t + 4 + 24. Let f = y + 3. Let c(h) = -14*h**3. Is 14 a factor of c(f)?
True
Suppose 0*q + 3*q - 255 = 0. Suppose 0*w + q = 5*w. Is 5 a factor of w?
False
Suppose 4*q - 36 = -4*i, -q = 3*q + 3*i - 32. Suppose -q*d - 12 = -2. Is 5 a factor of (40/(-6))/(d/3)?
True
Let g be 102/2*2/6. Let b = g + -12. Suppose -3*l = -3*h + 48 - 204, -2*h = -b*l + 257. Does 18 divide l?
False
Suppose 3*m + 3*h + h - 18 = 0, 8 = m + 2*h. Suppose m*l = -2*l. Suppose l*d - 20 = -2*d. Is d a multiple of 10?
True
Let x = -183 + -307. Let m be 2/8 + x/8. Let d = m - -88. Is d a multiple of 13?
False
Let l(v) = 6*v - 3. Let c be l(2). Suppose 2*d + 3 = c. Suppose 3*t = 2*f - 74, -d*t - 125 = -3*f - 2*t. Is 22 a factor of f?
False
Is 3 a factor of (-4)/(-6) + 2 + 196/12?
False
Let c(g) = -g**3 + 10*g**2 - 13*g + 10. Is 21 a factor of c(8)?
False
Suppose -5*y = -2*b + 25, 2*y + 1 = -b - 0*y. Suppose -o - i = -4*o + 12, -b*i = 3*o - 12. Suppose -v - 16 = o*u, 8 + 16 = v - 4*u. Is v a multiple of 4?
True
Let p be 4/5*20/8. Let u(d) = 0*d - 9 - 4*d - 6*d**2 - d**3 - d**p. Does 9 divide u(-7)?
False
Suppose -10*g + 700 = -5*g. Is g a multiple of 12?
False
Suppose g + 51 = 177. Let j = -83 + g. Is j a multiple of 13?
False
Does 14 divide (2/4)/(3/252)?
True
Let m(p) = -p**3 - 4*p**2 + 2*p. Let l be m(-6). Suppose -5*t = -b - l, 4*t + 2*b - 4*b = 48. Does 8 divide t?
False
Let b(d) be the third derivative of -3*d**5/40 + d**4/12 - d**3/3 - 2*d**2. Let c(h) be the first derivative of b(h). Is c(-2) a multiple of 14?
False
Does 19 divide 5/(15/123) - 3?
True
Suppose 0 = -3*k - 2*k + 285. Is k a multiple of 19?
True
Suppose 4*n - 2*t = 390, 9*n - 4*t - 489 = 4*n. Suppose -n = -5*g + 133. Is g a multiple of 23?
True
Suppose -5*c + 66 = d, -c - 5*d + 2 = -16. Let u be 32/(-6) + (-2)/(-6). Let x = u + c. Is 4 a factor of x?
True
Let p = 9 + -3. Let q be p/8 - (-1382)/(-8). Is 14 a factor of 4/(-6) - q/6?
True
Let w(f) = 18*f**2 + f. Let v = 7 - 10. Let j be -1 + 1 + 2 + v. Is 6 a factor of w(j)?
False
Suppose 4*u + 32 = -5*t + 378, 2*t - 136 = -u. Is 11 a factor of t?
True
Let u be -3*150/(-9) - 2. Suppose -2*d + 12 = -u. Is 15 a factor of d?
True
Suppose 