3*j + r*o + 15, 0 = 2*o + o. Is j a multiple of 3?
False
Let z(q) = 2*q**2 - 2*q - 1. Let n be z(2). Let p be (n/2)/((-3)/(-44)). Let b = -12 + p. Is b a multiple of 6?
False
Suppose 5*y - 38 = 2. Let m be y/6*-3 - -1. Does 3 divide -2 + 0 - -2 - m?
True
Let u be 15 - (-5)/((-5)/3). Suppose -2*w = -2 - u. Is 5 a factor of w?
False
Suppose -2*z + 16 = -0. Let q = -7 + z. Is 9 a factor of (-2 + q + 22)/1?
False
Suppose 0*p + 14 = 2*p. Suppose 2*v - 8 = -s + p, 4*v - 12 = 4*s. Is v even?
True
Suppose -3*j = -2*j + 18. Is 12 a factor of (-4)/j + (-696)/(-27)?
False
Suppose 2*h + 5 = c, -5*c - 2*h + 3 = -10. Suppose c*m - 5 = 2*m. Suppose 2*g = -s + m*s - 40, -4*g = 0. Is s a multiple of 3?
False
Let h = -79 + 149. Does 20 divide h?
False
Is (-33)/(-6) - (-3)/(-6) even?
False
Let i(u) = -4*u - 11. Is i(-6) a multiple of 4?
False
Let n be 8/4 + 1 + -2. Let g be 2 - (0/(-3) + n). Does 15 divide 2/((-4)/(-30)*g)?
True
Let m be (2 - (-2)/(-2))*1. Let b = m + -13. Is 8 a factor of 14/b*-2*9?
False
Is 10 a factor of (1 + (-7)/(-2))*80/4?
True
Suppose 5*o - 25 = 20. Suppose -4*k + 11 + o = 0, 4*n + 5*k = -31. Let y = n + 27. Is 10 a factor of y?
False
Suppose -3*q + 40 = 5*t, 10 = 5*q - 3*t - 0*t. Suppose 0 = -2*k - q*h + 23, -5*k - 5*h + 29 = -21. Is 9 a factor of k?
True
Let y = 97 + -55. Does 14 divide y?
True
Let a(p) = 2*p**2 + 18*p - 10. Let k be a(-8). Let c(i) = 63*i**2 - 1. Let z be c(-1). Let n = z + k. Does 12 divide n?
True
Suppose -18 = -i + 4. Is 11 a factor of i?
True
Let i(c) = -3*c - 11. Suppose f + 2 + 4 = 0. Is 4 a factor of i(f)?
False
Let m(c) = -c**2 + 3*c - 4. Let k be (9/(-6))/((-1)/2). Let l be m(k). Is l*(-51)/6 + 2 a multiple of 18?
True
Suppose 12 = -l + 8. Let y(k) = -k**3 - 3*k**2 - 3*k - 1. Does 8 divide y(l)?
False
Let p(l) = -8*l**3 + l**2 + l. Let y be p(-1). Let o = 1 + y. Let n(b) = -b**3 + 10*b**2 - 9*b + 6. Is n(o) a multiple of 3?
True
Suppose 4*c - 655 = -c. Does 14 divide c?
False
Suppose -3*t + 3 = 0, -v + 2*t - 32 = -2*v. Suppose 3*x - 5*x = -v. Is x a multiple of 12?
False
Let l = 0 - -2. Suppose -l*d + 5*d = 48. Does 5 divide d?
False
Suppose -7 = 5*l - 4*l. Let j = l - -16. Does 3 divide j?
True
Let t(y) = -y**3 + 4*y**2 + 5*y. Let f be t(5). Suppose 24 = 4*g - f*g. Suppose -5*z - 3*l + 78 = -g*l, 8 = 2*l. Is 9 a factor of z?
True
Suppose g + 50 = 260. Is 12 a factor of g?
False
Suppose g - 16 = -3*y, 4*g + y - 9 = -0*y. Suppose 0 = -0*t + t. Is 4/g - (0 - t) a multiple of 3?
False
Is 16 a factor of 4 - -98 - (2 - 2)?
False
Let r be 2 + 0 + 20*1. Suppose 0 = -3*c + 73 + 68. Suppose -r = -a - 2*g, 5*a - 3*g - 37 - c = 0. Is 9 a factor of a?
True
Let n = -7 + 12. Suppose -n*r - 1 - 4 = 0. Is 11 a factor of 38/(-1 + -1)*r?
False
Suppose -3*x + 0 = 6. Let f be (0 - 5)*(1 + x). Suppose 3*l = f*l + 2*c - 22, 0 = 5*l + 2*c - 70. Does 8 divide l?
True
Suppose 7*n + t = 4*n + 19, 2*n + 2 = 3*t. Suppose 0 = -2*u - 4*y + 62, n*y = u - 3 - 28. Is u a multiple of 13?
False
Let k(h) = h + 10. Let n be k(-7). Suppose -5*b + 7 - n = -3*m, 5*b - 2 = 4*m. Let u(l) = 5*l**2 - 2*l - 2. Is 12 a factor of u(b)?
False
Let g(d) = 2*d**3 + 2*d**2 - d. Let f be g(1). Let x = f - -2. Is x a multiple of 2?
False
Let n be -4 + 0*(-2)/6. Is 4/8 + (-98)/n a multiple of 12?
False
Let b(k) = -3*k**3 + k - 2. Let h be b(2). Let d = h + 36. Is d a multiple of 8?
False
Is 18 a factor of 28/32*134 - (-2)/(-8)?
False
Suppose 2*v - 24 - 15 = 5*z, 0 = z - 5*v + 17. Let m(g) = -4 + 0*g**2 - g**2 + 6*g - 15*g. Is m(z) a multiple of 10?
True
Let b(w) be the third derivative of w**6/120 - w**5/12 - w**4/12 - w**3 + w**2. Let i = 6 + 0. Is b(i) a multiple of 11?
False
Suppose -4*k - 90 + 4 = 5*j, 12 = -2*j + 4*k. Let y = -6 - j. Does 5 divide y?
False
Let p be 2/5 - (-26)/10. Suppose 18 = 4*t - p*t. Let c = t + -12. Does 3 divide c?
True
Suppose -3*u - 17 = -50. Let x = u + -1. Is x a multiple of 5?
True
Let x(f) be the second derivative of -f**5/20 + 5*f**4/4 - 2*f**3 - 4*f**2 + 4*f. Does 5 divide x(14)?
True
Suppose -6*q - 5*z + 187 = -2*q, 0 = -5*z + 15. Let g = q - -9. Is g a multiple of 18?
False
Let z(u) = u**3 - u**2 - u. Let o(s) = -s**3 + 4*s + 2. Let y(n) = -o(n) - 2*z(n). Let q be y(2). Is 7 a factor of 6/9 + (-80)/q?
True
Let q(b) = b**2 + 2*b - 1. Let s be q(-3). Suppose 2*h - 229 + 899 = 4*f, 4*f + s*h = 690. Suppose -5*j - l = -0*l - f, 2*j = -l + 68. Is j a multiple of 20?
False
Suppose -4*l = -2*h - 5*l, -4*h + 8 = -2*l. Let u(s) = 11*s**3 - s**2 - s + 1. Does 10 divide u(h)?
True
Let q = 32 - -20. Suppose l + p - 4 = -1, 4*l - 4*p = q. Let i(d) = -d**2 + 9*d + 8. Does 6 divide i(l)?
False
Let v(r) = 8*r - 16. Suppose 0 = f + 3*f - 48. Is 32 a factor of v(f)?
False
Let s = 6 + -4. Suppose 5*r - d + 161 = 0, 2*d - 4*d = -s. Let p = -3 - r. Does 12 divide p?
False
Let j(r) = -r**2 - 11*r - 9. Suppose -6*u - 35 = -u. Let k = u - 0. Does 19 divide j(k)?
True
Suppose -5*y - l + 23 = 2*l, -3*y + 3*l = -33. Let z = 14 - y. Does 2 divide z?
False
Does 45 divide (-2*(-125)/(-2))/(-1)?
False
Suppose x = -2*x - 3, -d - 5 = -4*x. Does 12 divide 2 + -1 - d - -2?
True
Suppose -4*n - 3*b - 145 = 0, -n - 60 = -0*n - 4*b. Is 350/11 - n/220 a multiple of 8?
True
Does 11 divide (8/(-6))/(-4*(-2)/(-132))?
True
Suppose -4*k = -0*k + 8. Does 17 divide k/(-1)*357/14?
True
Let j = 0 + -2. Let m be (j + 48)*1 + 2. Suppose -5*o + 2*o = -m. Does 14 divide o?
False
Let z(i) = 2*i**2 + 30*i + 31. Is 3 a factor of z(-14)?
True
Let j(v) = -v**2 - 4*v + 8. Let b be j(-6). Let d be (-10 - 0)/(b/8). Suppose -3*q + 14 = o, -2*o + 7*o + d = 0. Is q a multiple of 4?
False
Let b = -7 - -22. Let l(z) = z**3 - 14*z**2 - 15*z + 9. Is 9 a factor of l(b)?
True
Let a(b) = -b**3 + 7*b**2 - 5*b - 5. Is 20 a factor of a(5)?
True
Suppose -2*b - 4*y = -3*b - 2, -4 = -b - 2*y. Is 22*(0/b - -1) a multiple of 19?
False
Let w(x) = -x**2 + 1. Let q(l) = l**2 + 11*l - 14. Let j(c) = q(c) + 2*w(c). Let g be 152/20 + 4/10. Is j(g) a multiple of 12?
True
Let b = 2 + -8. Let w be ((-3)/(-6))/(3/b). Does 2 divide w/(2/(-4)) - -3?
False
Suppose 4*t = -5*k - t + 30, 4*k - 4*t = -8. Suppose k*a = a + 43. Does 13 divide a?
False
Let s(x) = 3*x**2 + 3*x - 3. Let h be s(-3). Suppose -3*l + 0*l = h. Does 14 divide ((-2)/l)/((-1)/(-55))?
False
Suppose -1 + 13 = 2*x. Let y(p) = -p**2 + 8*p - 6. Let v be y(x). Is 1/3 - (-94)/v a multiple of 5?
False
Let o(u) be the first derivative of -5*u**2 - 3. Does 10 divide o(-1)?
True
Suppose -5*w = -0*w. Suppose w*l - 12 = -3*l. Suppose -l = -4*i + 28. Is i a multiple of 8?
True
Let v be -6 + 3 + (9 - 6). Suppose 5*l - 5*t - 525 = v, 4*l + 5*t - 402 = 3*t. Is l a multiple of 17?
True
Suppose 2*b = -2*b - 5*g - 42, 0 = -3*b + 2*g - 43. Let a = -5 - b. Does 4 divide a?
True
Let m(i) = -i**2 + 16*i - 3. Let q = -5 - -11. Let j(y) = -y**3 + 6*y**2 + 2*y - 5. Let u be j(q). Does 22 divide m(u)?
False
Let a = -117 - -66. Let s = 87 + a. Does 12 divide s?
True
Let z(x) = -3*x - 1. Let m(l) = l - 3. Let d be m(-5). Let v be z(d). Let b = v - 13. Is 5 a factor of b?
True
Let c(h) be the third derivative of -17/24*h**4 + 0*h - 2*h**2 + 0 + 0*h**3. Is 11 a factor of c(-1)?
False
Suppose -5*v = -3*z + 15, 4*v = 5*z + 4 - 29. Suppose v = h - a - 10, h - 4*a - 11 = 2. Let x(j) = j**3 - 10*j**2 + 10*j + 5. Is 8 a factor of x(h)?
False
Suppose 245 = 10*u - 195. Is u a multiple of 22?
True
Let p be 2*(1/2 + 0). Let i be p/5 + 48/10. Suppose v + 3*q = 14, 89 - 5 = 3*v - i*q. Is 16 a factor of v?
False
Suppose 19 = 4*f - 5. Suppose 3*c = -3 - f. Does 6 divide (-1 - c) + 1 - -3?
True
Let g(x) = x**3 - 13*x**2 + 14*x - 18. Suppose -5*h = k - 6, 4*k - 3*h = -0*h - 45. Let m be k*(8/(-6) - 0). Does 6 divide g(m)?
True
Let f = -56 + 134. Does 26 divide f?
True
Let q = -21 - -55. Is q a multiple of 17?
True
Let k = 8 + -11. Let g = 21 - k. Does 6 divide g?
True
Is 12 a factor of (-12)/(-10)*(56 - 6)?
True
Suppose 2*n = -4*r - 1 + 21, 2*r - 10 = -5*n. Let g = r - -34. Does 13 divide g?
True
Suppose -5*g - 40 = -3*g. Let i be ((-6)/8)/((-5)/g). Does 5 divide 52/(-6)*i/2?
False
Suppose 1 + 4 = -5*a. Let n = a - -17. Is n a multiple of 16?
True
Suppose 0*g = -5*g. Is 11 a factor of 450/15 + g/1?
False
Let f(q) = -q**2 + 3*q. Let a be f(3). Suppose 0 = m - 4*n + 2, -4*m + a*m - 5*n = 29. Is