*2 - 3. Let q be f(-3). Is (q/28 + -2)*7 a multiple of 7?
False
Let v be 91/26*24/14. Is 18 a factor of v/(-8)*(-6 - 18)?
True
Suppose 6*i + 0*i - 834 = 0. Does 9 divide i?
False
Let f(m) = -m**3 + 6*m**2 - 5*m - 7. Let i be f(5). Let s = 21 - i. Is 14 a factor of s?
True
Let g be 2*(-3)/(-6) + 3. Suppose 5*k = -4*z - 0*z + 104, -g*z + 64 = -5*k. Suppose -4*x = -z - 27. Is 6 a factor of x?
True
Let t be (-1 - (-1 + -3)) + 0. Suppose -2*d - t*d + 25 = 0. Is 3 a factor of d?
False
Suppose 2*c - 3*g = 0, -2*c = 3*g - 2*g. Suppose -o = -20 - c. Is 8 a factor of o?
False
Let f be (4/10)/(3/45). Is 13 a factor of ((-9)/f)/(3/(-102))?
False
Let i = -5 + 3. Let x = 2 + i. Let n = x + 3. Does 3 divide n?
True
Let p = -1 + 6. Suppose 64 = p*g - 6*g. Does 8 divide ((-6)/4)/(6/g)?
True
Suppose 4 = 2*p - 5*v + 17, 4*p - 1 = v. Is 14 a factor of (-1)/(((-1)/p)/14)?
True
Suppose 3432 = 5*c + 8*c. Is c a multiple of 12?
True
Suppose 2*d - 3*d = -33. Is d a multiple of 22?
False
Let i be 6/(-5) + 2/10. Let c(x) = -11*x + 1. Is 10 a factor of c(i)?
False
Let c = 5 - 2. Suppose -c*x - 4 - 14 = -5*m, 0 = 4*x + 4. Does 3 divide m?
True
Suppose 4*w + 458 = 7*b - 5*b, 3*b = -5*w + 654. Does 29 divide b?
False
Is 11 a factor of 6*1*44/8?
True
Let q(b) = 2*b**3 - 34*b**2 + 4*b + 4. Does 7 divide q(17)?
False
Let i(g) be the second derivative of g**5/20 + 5*g**4/12 - g**3 + 5*g**2/2 - 2*g. Let a(u) = -u**3 + 7*u**2 - u + 1. Let t be a(7). Does 4 divide i(t)?
False
Let k be (-1)/3*(-6 + 6). Suppose k = 2*u - 148 + 18. Is 14 a factor of u?
False
Let o = 18 - 2. Suppose 3*b + b - o = 0. Suppose -5*g + 13 = q, -b*g - 68 = -2*q - 0*q. Is q a multiple of 28?
True
Let m = 10 + 1. Is m a multiple of 5?
False
Let l = 2 - -13. Is 9 a factor of (5 - -1)*l/5?
True
Let g(j) = 4*j**2 + 2*j + 2. Let m be g(-2). Does 14 divide 2/7 - (-360)/m?
False
Suppose 0 = v + 1 - 3. Suppose 0 = v*o - 30 - 56. Is o a multiple of 16?
False
Suppose 5*t - i = -0*t + 375, -150 = -2*t + 2*i. Does 6 divide t?
False
Suppose 0 = -w + 4 - 0. Suppose 0 = v - w*v + 51. Let k = v - 0. Does 5 divide k?
False
Is ((-18)/(-2))/((-33)/(-242)) a multiple of 22?
True
Let b(g) = g**3 - 3*g**2 + 3. Suppose -4 - 16 = -5*q, 4*a = -3*q + 32. Does 23 divide b(a)?
False
Let g = 8 - 4. Suppose g*c + 162 = 2*j, 2*j + 5*c - 141 = 57. Is j a multiple of 14?
False
Let z(n) = -3*n**3 - n**2 + 2*n - 1. Let k be z(1). Is 7 a factor of (0 - 0)/k - -12?
False
Let x(b) = 6*b**2 + b + 1. Suppose 6 = 2*w + 12. Is x(w) a multiple of 9?
False
Let y(g) = 2 + 2*g - 4*g + 5*g. Let x = 2 + 1. Is 11 a factor of y(x)?
True
Suppose j + 4*s = -6, -2*j - j + 2*s + 10 = 0. Suppose -i = 3*t - 18, j*i + 5*t - 33 + 1 = 0. Is 3 a factor of i?
True
Let x = -63 - -86. Is x a multiple of 23?
True
Let b(n) = n**2 + n + 36. Is 12 a factor of b(0)?
True
Let h(j) = -j**3 + 4*j**2 + 3*j. Let w be h(-2). Does 10 divide (30/w)/(1/18)?
True
Suppose 0 = 9*m - 11*m. Suppose b - 22 - 2 = m. Does 4 divide b?
True
Suppose 0 = 3*h + 5 - 26. Let d(m) = -m**2 + 9*m - 6. Let r be d(h). Suppose -16 - r = -3*g. Is 8 a factor of g?
True
Let s(f) = -7*f - f - 9*f - 3. Let z be s(6). Is z/(-5)*2/3 a multiple of 8?
False
Suppose -4*s - 2*f - 46 = 0, 2*s - f = 5*s + 37. Let a be (-2)/(-1) - 0 - s. Suppose 32 = 4*b - 4*h, -5*h = -2*b + a + 12. Is b a multiple of 2?
True
Let k(o) = 2*o + 6. Let z be k(-6). Let g = -6 - z. Suppose g*r - 4*r = -132. Is r a multiple of 15?
False
Suppose 0*b - 4*b = 52. Let r = -7 - -15. Is (b + 1)*(-6)/r a multiple of 3?
True
Suppose 2*n - 4*y - 53 = 51, 0 = -2*n + 5*y + 104. Is n a multiple of 15?
False
Suppose 0*b + 4*b = 8. Is b a multiple of 2?
True
Suppose -r - 3*r = 0. Let v be 1 + 4 + -2 + r. Suppose 3*j = -3*y + 87, -5*y - v*j + j = -142. Does 14 divide y?
True
Let y = -27 - -45. Is 3 a factor of y?
True
Let t(p) = p**2 + 4*p - 3. Let g be t(-5). Does 8 divide (10/(-3))/(g/(-6))?
False
Let a(k) = 2*k. Let l be a(2). Suppose -l*h + 180 = -0*h. Is 20 a factor of h?
False
Let x = 67 - 55. Is x a multiple of 8?
False
Suppose 2*s + h - 14 = 0, -4*s + 2*h - 4 + 16 = 0. Suppose -s*q + 10 = 0, -4*q + 26 = -0*p + p. Does 10 divide p?
False
Let n(r) = r**3 - 1. Let x(h) = -9*h**3 + 2*h**2 + 1. Let g(f) = -2*n(f) - x(f). Suppose 0 = 3*o - y + 4*y, 6 = 3*o - 3*y. Is 3 a factor of g(o)?
True
Let y(v) = v**2 - 9*v + 2. Let s be y(8). Let z = 23 + s. Is z a multiple of 7?
False
Suppose -3*p = -3*t - 63, 4*p - 3*p = 4*t + 21. Suppose 5*u = -g + p, -4*g + 48 = -3*g - 4*u. Is 10 a factor of g?
False
Let v(x) = 11*x**2 + 2*x - 2. Let c be v(-2). Suppose -4*r + c = -2*r. Let p = r + -9. Is 3 a factor of p?
False
Let h be (-26)/(-22) + (-2)/11. Let m = 2 + h. Suppose -2*i = i - m*p - 42, 0 = -i + 3*p + 20. Does 9 divide i?
False
Suppose -f + 4*f + i = 23, -2*f = -5*i - 4. Let a = f + 8. Is a a multiple of 7?
False
Suppose -3*q - 2*q + 80 = 0. Is q a multiple of 4?
True
Let o(f) = -68*f + 5. Let i be o(4). Let z be i/2 + (-2)/4. Is 7 a factor of z/(-8) + (-2)/(-8)?
False
Suppose -m - 8 = -3*m - 4*s, 0 = -4*s. Suppose 4*u - 256 = 2*a, -u - 5*a = -m*a - 70. Is 21 a factor of u?
False
Let h = -1 + -9. Let f be -2 + (-3)/(6/h). Suppose -77 = -5*y + 4*u, -f*y + 54 = -5*u - 0. Does 13 divide y?
True
Let f = 2 - -6. Suppose -4*b + 2*r + f = 3*r, r = b - 2. Does 2 divide b?
True
Let p = -169 + 117. Let o = -13 - p. Suppose 2*a + a = o. Is 4 a factor of a?
False
Suppose w - 10 = 2*w. Let p(o) = -6*o - 11. Is 17 a factor of p(w)?
False
Let g be (-4)/(-6) + (-365)/(-15). Let z = g - -15. Is z a multiple of 20?
True
Let b = 166 - 121. Does 9 divide b?
True
Is 6/33 - (-192)/33 a multiple of 5?
False
Suppose r - 166 - 30 = 0. Is r a multiple of 34?
False
Suppose f + 0*f - 18 = 4*l, -12 = 4*l + 2*f. Let z be (l - (2 - 3)) + -19. Let v = z + 47. Is 14 a factor of v?
False
Let z = -2 - -5. Suppose z*r - 43 - 83 = 0. Does 12 divide r?
False
Suppose 5*b + 2*q = 10, -4*b - 5*q + 25 = b. Suppose 33 = 4*j - 5*k, 19 = 2*j - b*k - 5*k. Does 6 divide j?
False
Suppose -3*x + 8 = -4. Suppose 0 = -2*s - 0*s - 4*j + 26, 4*j = 4*s - x. Suppose -2*n - h = -1, n + 1 = 4*h - s*h. Does 2 divide n?
True
Suppose -7*f - 28 + 98 = 0. Does 5 divide f?
True
Let k(q) = q**2 + 6*q - 1. Does 4 divide k(2)?
False
Let w(r) = 2*r + 61. Let f be w(0). Suppose -b = 4*m + 1, 3*b - m - f = 3*m. Is b a multiple of 10?
False
Suppose -t - t = 0. Is -15*(-1 - t/(-3)) a multiple of 15?
True
Let z(v) be the third derivative of v**5/60 - v**4/12 - v**3/2 - v**2. Let n be z(-2). Suppose 0*t - 10 = -5*t, -2*d + 42 = n*t. Is 16 a factor of d?
True
Let j = 82 + -52. Is 17 a factor of j?
False
Let i = -126 - -77. Let f = i + 83. Is 9 a factor of f?
False
Let u(i) = 2*i**2 - 3*i - 18. Is u(9) a multiple of 12?
False
Suppose 332 = 4*y - 4*t, -3*y + 89 = -2*y + 5*t. Does 21 divide y?
True
Suppose 3*w - 104 = -w. Suppose -4 = 4*x - 2*z - w, -3*z = -3*x + 24. Suppose 5*y = -l + 15, -x = -y + 3*l - 8*l. Is y a multiple of 3?
True
Suppose 14 = 5*f - h, h + 1 + 1 = -f. Suppose f*k - 3*m + 1 = 0, -4*m = 2*k - 5*k + 1. Let p = 36 + k. Does 15 divide p?
False
Suppose 2*f + 5*k - 31 = 6*f, -4*k = 4*f + 4. Let i = 18 - 2. Let r = i + f. Is r a multiple of 6?
True
Suppose 0 = -c - 2*d + 16, -2*c = -2*d - 0*d - 26. Is 7 a factor of c?
True
Does 9 divide 10/(-15)*-6*8?
False
Suppose -3 + 9 = 2*r. Suppose 86 = r*o - 13. Is 16 a factor of o?
False
Suppose -v + 2 = 2*c, -3*c + 16 - 2 = -4*v. Is 12 a factor of 3 - -29 - 4/c?
False
Let m(f) = 2*f + 5. Let j be m(-5). Let z = j - -15. Is z a multiple of 8?
False
Suppose 0*p - 2*p = -40. Let t = p - -44. Suppose 8*g - t = 4*g. Does 16 divide g?
True
Let k be -1 + 4 - (8 - 2). Let t = 5 - k. Does 3 divide t?
False
Let p = 151 + -75. Does 4 divide p?
True
Suppose o - 99 + 15 = 0. Let q = -15 + o. Is q a multiple of 19?
False
Let y = 2 - 0. Suppose -y*l + 6*l - 76 = 5*s, -l + 8 = -4*s. Is 11 a factor of l?
False
Let r(x) = -4*x**2 + 4 + 7 + 0*x**3 + 7*x - x**3 - 5. Is 12 a factor of r(-6)?
True
Let q(z) be the first derivative of -75*z**2 - 1. Let h(y) = -y. Let n(k) = -120*h(k) + q(k). Is 15 a factor of n(-1)?
True
Let x = -74 - -42. Let t = 50 + x. Is t a multiple of 9?
True
Let q(u) = -u**3 + u**2 + 3. Let c be q(0). Let l(b) = -b + 3*b**2 + 2*b + c*b - b. Does 3 divide l(-2)?
True
Let a(y) 