 = -3*t. Is 2 a factor of t?
True
Let h(b) = -b**2 - 11*b - 12. Let d be h(-8). Suppose d = 4*z - 40. Suppose s - 3 - z = 0. Is s a multiple of 8?
True
Suppose 3 = -2*b + 11. Suppose 25 + 3 = b*r. Let n = r - -18. Is n a multiple of 18?
False
Let n(d) = -2*d - 1. Let w be n(-3). Suppose w*u - 20 = u. Does 5 divide u?
True
Suppose -119 - 65 = -2*l. Is 23 a factor of l?
True
Let q = -12 + 8. Let j = 8 + q. Does 17 divide -52*1*(-3)/j?
False
Suppose -1064 = -6*y - 278. Does 32 divide y?
False
Suppose -5*j - 3*b + 12 - 37 = 0, 5*j = -5*b - 35. Is 17 a factor of (j - 0)*34/(-4)?
True
Let x(b) = 3*b + 3. Let y be x(6). Let z = -5 + y. Is z a multiple of 8?
True
Let v = 27 - -75. Suppose v = 2*o + 42. Is 15 a factor of o?
True
Suppose -6 = -6*a + 4*a. Suppose a*y - 59 = 22. Does 10 divide y + (-1 - (-1 + -3))?
True
Let l = 132 - 55. Is l a multiple of 11?
True
Suppose -509 = -6*o + 55. Is 5 a factor of o?
False
Let y(x) = x + 5. Let o be y(0). Let s be (2/6)/(o/75). Suppose -2*v + 9 = -s. Is 3 a factor of v?
False
Let q = 106 + -170. Let p = -42 - q. Is p a multiple of 14?
False
Suppose -179 = -3*d + 283. Suppose 0 = 2*r, -5*m + 9 = -5*r + d. Let t = m - -51. Is t a multiple of 10?
False
Suppose -x + 145 = 4*x. Let m be (3/4)/((-1)/(-24)). Let o = x - m. Is 4 a factor of o?
False
Let n = 588 - 336. Suppose 0 = 5*x - 63 - n. Suppose -2*s + x = -m, m + 8 = -s + 41. Is 16 a factor of s?
True
Suppose 128 = 5*w - 3*w. Suppose 0 = -4*h + w + 12. Let z = h - 11. Is 8 a factor of z?
True
Let f = 458 - 302. Is 13 a factor of f?
True
Suppose 3*b - 72 = 24. Is b a multiple of 26?
False
Suppose 0 = -2*p + p + 5. Let k(t) = -2*t - 2. Let f be k(-3). Suppose 5*x = -f*o + 60 + 20, -3*o + p = x. Does 10 divide x?
True
Suppose 102 = 3*j + 18. Does 7 divide j?
True
Suppose 0*m - m = 5*j - 15, -2*j + 4*m = 16. Suppose j*t = r - 5, r + t - 1 = 1. Is 3 a factor of r?
True
Let c be 1/2 - (-3)/(-2). Let q(s) = 13*s**2 - s - 1. Is q(c) a multiple of 8?
False
Suppose -3*p = v - 139, 5*p + 2*v - 215 = -3*v. Is p a multiple of 16?
True
Suppose -46 = 5*b - j + 41, -b - 2*j - 13 = 0. Let u = 0 + 39. Let q = u + b. Is 11 a factor of q?
True
Suppose i + i = 72. Is i a multiple of 12?
True
Let z = -3 - -13. Suppose 0 = -b, b - 4*b - z = -5*v. Does 16 divide (26 + v)/2 + 3?
False
Is ((-264)/55)/((-2)/25) a multiple of 10?
True
Let c = 0 - -4. Suppose 75 = -c*g + 11. Let u = 29 + g. Is u a multiple of 13?
True
Let p be 1880/(-15)*(-6)/4. Suppose 4*u + p = 4*q, 3*u - 149 = -3*q + 4*u. Is q a multiple of 17?
True
Suppose -741 = 5*s - 291. Let u be (-4)/14 - s/21. Suppose 3*v = -2*v + 2*d + 30, 3*v - u*d = 32. Is v a multiple of 4?
True
Let w(g) = g**2 + 6*g + 5. Suppose -2*u = 5 + 7. Does 3 divide w(u)?
False
Suppose -14*f = -11*f + 99. Let l = 69 + f. Does 12 divide l?
True
Suppose 4*v = 2 + 6. Suppose 3*j = -v*j. Is 6 a factor of 48/4 - j/2?
True
Let c = 5 - -19. Is c a multiple of 6?
True
Suppose -3*u + 72 = 30. Suppose j - u + 2 = 0. Is 3/j - 94/(-8) a multiple of 11?
False
Let j = -10 + 11. Suppose 0 = b - j, -3*s - 3*b = 2*b - 14. Does 3 divide s?
True
Let t = 55 + 65. Does 24 divide t?
True
Let t(z) = 8*z**3 - 4*z**2 + z + 2. Is t(2) a multiple of 13?
True
Let v(z) = -2*z. Let w be v(-4). Suppose b - 4*b = 2*o + w, -26 = -5*o + 4*b. Suppose -3*j = j - 20, -o*q - 2*j = -36. Is 7 a factor of q?
False
Suppose 3*j = -4*t + 17, j + 3*j + 3*t - 25 = 0. Is 3 a factor of j?
False
Suppose 0 = 5*p - 5*f + 125, -5*p - 3*f = -0*f + 165. Suppose s = -s + 92. Let c = s + p. Does 16 divide c?
True
Suppose g = -0*g + 4. Does 3 divide g?
False
Does 11 divide 95 - (0 + -4 + 0)?
True
Let u = -11 - -20. Is u a multiple of 9?
True
Let y be (4 - 6)/(-1 - 0). Suppose 27 = 5*p + y. Is 1 - (1 + p/(-1)) a multiple of 5?
True
Let s(o) = o + 17. Does 2 divide s(-7)?
True
Let g be 136/(-12)*6/(-4). Let u = 16 + g. Is u a multiple of 11?
True
Suppose p - 5*v = 60, p - v = 3*v + 61. Is 13 a factor of p?
True
Let s(y) = -y - 4. Suppose l - 2*l - 3 = 0. Let b = -10 - l. Is s(b) a multiple of 2?
False
Let y = 8 - -101. Is 27 a factor of y?
False
Let q = 8 - 6. Let o(y) = 6*y**2 - 2*y**2 + 4*y**q + y - 1 + 0*y**2. Is 3 a factor of o(1)?
False
Is 20 a factor of (43 + -2 - 1)*50/20?
True
Let q(u) = -7*u - 3. Let j(p) = -7*p - 3. Let g(n) = 4*j(n) - 3*q(n). Does 13 divide g(-4)?
False
Let i be (38/3)/((-2)/9). Let c = i + 106. Is 19 a factor of c?
False
Let r be ((-20)/16)/(1/(-4)). Let m = r + 3. Let x(k) = -k**2 + 10*k - 8. Is 8 a factor of x(m)?
True
Let o = 3194 - 4804. Is 20 a factor of o/(-22) + (-2)/11?
False
Let d be (1/(-1))/((-1)/(-3)). Let b be 4/2 - (0 + d). Suppose -b*t - 26 = -106. Does 13 divide t?
False
Suppose -15 = 91*l - 92*l. Is l a multiple of 2?
False
Suppose -2*h = -5*l + 92, h + 26 = -5*l - 50. Is 14 a factor of (h/6)/(1/(-6))?
True
Let y be 7/2 - 1/2. Suppose -3*k + 6 = -y. Is (0 - 4)*(-12)/k a multiple of 7?
False
Does 28 divide (672/20)/((-6)/(-20))?
True
Suppose -56 = -3*u + 2*u. Suppose 0 = -4*v + 5*v - u. Does 28 divide v?
True
Let m(d) = -d**2 + 14*d - 20. Is m(8) a multiple of 7?
True
Let p(r) = 2*r**3 + 5*r**2 + 4*r. Let f be p(-3). Let u = f - -46. Is u a multiple of 13?
False
Suppose 0 = -3*n - 0*n. Suppose -a + 50 + 38 = n. Does 24 divide a?
False
Is 27 a factor of ((-49)/28)/((-2)/216)?
True
Let d(x) = -x**3 + 7*x**2 - x + 6. Is d(6) a multiple of 9?
True
Let r(d) = -d - 3. Let u be r(-5). Suppose 3*q - u*q - 5 = 0. Suppose -2*k + q = 1. Is k a multiple of 2?
True
Is -21*(120/(-28) + 4) a multiple of 2?
True
Let y be 2/3 - (-20)/(-12). Is ((-12)/(-6))/(y/(-13)) a multiple of 13?
True
Suppose 0 = 5*y - 25, -5*b + 2*b - 2*y = -22. Does 4 divide b?
True
Suppose 11 = -k - 4*d, d = k + 2 - 1. Is 7 a factor of ((-26)/3 - -4)*k?
True
Let p(v) = -v**2 - 5*v. Let g be p(-4). Suppose -2*s + 0*c + 3*c = -20, 3*s + g*c = 13. Is 3 a factor of s?
False
Let v(q) = -7*q - 4. Let g(c) = 12*c + 3. Let i(f) = 13*f + 3. Let t(l) = 5*g(l) - 4*i(l). Let u(m) = 4*t(m) + 5*v(m). Is u(-6) a multiple of 4?
False
Let p(k) = -15*k - 24. Is 11 a factor of p(-6)?
True
Suppose 2*g + 21 - 3 = -2*d, -5*d - 4*g - 46 = 0. Let v = d - -14. Suppose 0 = s + v*s - 20. Does 2 divide s?
True
Suppose -4 = -4*u, 5*j + 5*u + 0*u = 555. Does 12 divide j?
False
Let f(j) = 3*j - 3. Let g be (-6)/27 - 92/(-9). Is f(g) a multiple of 12?
False
Let j = 7 + 17. Does 4 divide j?
True
Let p = 19 - 33. Let d = p + 22. Is 3 a factor of d?
False
Let r(m) = 14*m - 7. Does 21 divide r(5)?
True
Suppose w - 5*f - 9 = 0, -f + 22 + 23 = 5*w. Let j(q) be the third derivative of q**4/6 - 13*q**3/6 + q**2. Is 13 a factor of j(w)?
False
Let c = 436 - 116. Does 28 divide c?
False
Let g(v) be the second derivative of v**4/6 - v**2 + v. Let i be g(3). Suppose 3*t - i - 50 = 0. Is 8 a factor of t?
False
Let d(z) = -z - 4. Let x be d(-7). Suppose 0*h + 23 = 3*h - 5*o, -3*h + 33 = -x*o. Does 16 divide h?
True
Let v(d) = d**3 - 7*d**2 - 6*d - 11. Suppose -22 = -2*n - 2*o, 0*o + 2*o + 10 = 2*n. Let u be v(n). Suppose -21 = -4*h - u. Is 2 a factor of h?
True
Let l(t) = -2*t**2 + 0*t**2 - 10*t + 0 + 3. Let u be l(-8). Let i = u + 67. Is 8 a factor of i?
False
Suppose -1 = 2*l - 5*x - 5, 5*l + 2*x = 10. Let r be 172/2 - (0 + l). Suppose 89 = 3*y - 5*q, -3*q + r = 4*y - q. Does 23 divide y?
True
Suppose -5*v = -4*r - 8, -4*v + 1 + 12 = -r. Does 25 divide (r + -36)*8/(-6)?
False
Let l be 16/7 + 10/(-35). Suppose -120 = -l*q - 3*q. Does 12 divide q?
True
Let b = 0 - 6. Let k(r) = -r**2 - 9*r - 9. Is k(b) a multiple of 7?
False
Suppose -3*m + 37 = 3*i - i, -2*i = -4*m - 44. Let h = i + 5. Is h a multiple of 20?
False
Let o(w) = -3*w - 1. Suppose 2*f = l + 3*l + 6, 0 = 5*f - 5*l - 5. Let a be o(f). Is 10 a factor of 18 - 1*(a + 1)?
False
Let c be -3*1/(-6)*6. Let t(p) = p**2 - p - 2. Let n be t(c). Suppose 3*f + o - 105 = 0, -150 = -n*f + 5*o - 29. Does 15 divide f?
False
Suppose -2*u + 8 = 0, -4*u + 5 + 5 = -j. Is 4 a factor of j?
False
Suppose 4 = x - 2. Is x a multiple of 3?
True
Suppose 5*i + r = -0*i - 45, 0 = -2*i - 4*r - 18. Suppose z - 33 = 4*h, 2*h - 6*h = 4*z - 92. Let t = i + z. Is 16 a factor of t?
True
Suppose -3*y - y = -3*q - 10, -10 = -5*q. Suppose 0 = y*k - 157 + 29. Suppose 3*v = 40 + k. Is 13 a factor of v?
False
Suppose -2*h - 125 = -7*