ple of 12?
False
Let w(v) = -4*v**3 - 6*v**2 + v - 3. Let z(m) = -m**3 - m**2 + 1. Let t(s) = -w(s) + 5*z(s). Let a = 4 - 4. Does 3 divide t(a)?
False
Let f = 40 - 20. Let k be 664/10 - 2/5. Let y = k - f. Is y a multiple of 18?
False
Let x(v) = v**2 - 3*v - 4. Suppose 4*p - 14 = 6. Let q be x(p). Suppose 12 = j - q. Is 6 a factor of j?
True
Let v = -39 + 67. Is 8 a factor of v?
False
Let q(y) = -8*y + 44. Is q(4) a multiple of 12?
True
Let g(t) = 7*t**2 - 4. Let k(u) = -8*u**2 + 5. Let v(m) = 6*g(m) + 5*k(m). Let f = -4 + 3. Is 3 a factor of v(f)?
True
Let g(t) = t + 3. Let k be g(-12). Does 16 divide (-95)/(-4) + k/12?
False
Let h(m) = m**2 - 4. Let p be h(3). Suppose 0 = 2*r - 4*y - 68, 2*y = -3*r + 137 + p. Is 12 a factor of r?
False
Suppose -x + 0*q - 2*q + 9 = 0, 4*q = 16. Suppose 5*k + x = -14. Let n(h) = -2*h**3 - 2*h**2 + 4*h + 2. Does 13 divide n(k)?
True
Let b = 29 + -1. Does 15 divide b?
False
Suppose 0 = -4*a + 4 + 8. Suppose 4*j + 4*p = -4, 0 = j + 4*j - a*p - 27. Suppose 0 = j*t - 0*t + w - 124, -4*w = t - 23. Is t a multiple of 11?
False
Let n be -1 + (0 - -8) + 1. Let p = n + -5. Suppose 3*z - 63 = z - 3*f, 3*z - 87 = p*f. Is z a multiple of 10?
True
Suppose -4*n = -2*n - 3*m - 12, -4 = 2*n + m. Suppose n = -z - 0*z + 7. Is z a multiple of 3?
False
Let a(c) = -28*c - 1. Let d be a(-1). Does 34 divide (d/(-36))/(2/(-272))?
True
Suppose 2*g - 2*u = 1 + 297, -5*u = -2*g + 286. Is 12 a factor of g?
False
Suppose -4*q = 3*i - 21, 0*i - 5*q + 6 = -3*i. Suppose 2*x = -i*g + 50, -2*g + 80 = 2*g - 4*x. Is g a multiple of 7?
False
Let f(s) = s**2 - 10*s + 9. Is f(-6) a multiple of 15?
True
Suppose 5*h = i - 179, -2*h = 2*i - 6*i + 806. Does 17 divide i?
True
Let l be (-2)/5*(3 - 113). Let k = -23 - -46. Let d = l - k. Is 11 a factor of d?
False
Let b(d) = -d**2 - 9*d + 5. Let l be b(-9). Suppose 40 = l*r - 130. Does 12 divide r?
False
Suppose -5*t + 4*p - 2 = 0, 4*t - 3*p + 3 - 2 = 0. Suppose t*d - 5 = -1. Does 4 divide d/((-5)/((-25)/2))?
False
Let u(z) = z**2 + 3*z + 5. Is u(5) a multiple of 15?
True
Let g = 4 + -4. Suppose 5*c + 4*w + 15 - 61 = 0, g = -2*c - w + 16. Does 3 divide c?
True
Let p(l) = 12*l**2 - 1. Let j(g) = g**2 - g + 8. Let f be j(0). Let a = -9 + f. Does 5 divide p(a)?
False
Let q(s) = s**2 + 3*s - 4. Let t be q(-4). Suppose i = 4*p - 168, 5*p - 3*i = -t*i + 217. Is p a multiple of 9?
False
Is 10 a factor of 1206/22 - 28/(-154)?
False
Let k(l) = 8*l + 106. Is 9 a factor of k(25)?
True
Let g(m) = m + 4. Let z be g(-5). Let i be (-122)/((-7 - z)/3). Let q = i + -43. Is 8 a factor of q?
False
Let l(a) = -a**3 - 4*a**2 - a + 1. Let k be l(-4). Suppose -2*u + k*u = 96. Is 12 a factor of u?
False
Is ((-11)/(-2))/((-2)/(-60)) a multiple of 6?
False
Let m(z) = 1 - 2*z**2 + 8*z**2 + z**3 + 3. Does 2 divide m(-6)?
True
Let z = 9 + -3. Suppose -3*u - 202 - z = -4*x, 52 = x - 3*u. Is 13 a factor of x?
True
Let j(w) = 4*w**2 - 2. Suppose -3*r + q = r - 28, 18 = 5*r + 3*q. Suppose 0 = 2*l + l + r. Does 5 divide j(l)?
False
Let a(b) = 50*b**3 - b**2 + 3*b - 1. Is 17 a factor of a(1)?
True
Is 12 a factor of ((-54)/(-21))/((-3)/(-28))?
True
Suppose 0 = -5*g + 2*g + 12. Suppose -5*c - 2 = -3*w + g*w, -6 = -2*w - 5*c. Let a(v) = -v**3 + 8*v**2 + 6*v - 10. Is a(w) a multiple of 19?
True
Suppose 3*l - t + 6*t - 12 = 0, 2*l + 5*t - 8 = 0. Suppose -3*u + 4*c + 8 = -42, 4*u - l*c = 60. Does 5 divide u?
True
Let z = 14 + -7. Does 4 divide z?
False
Let u(d) = d**3 - 4*d**2 - 3. Let z(f) = -f**3 + 4*f**2 - 2*f + 2. Let m be z(3). Does 22 divide u(m)?
True
Let z = -252 - -354. Is z a multiple of 17?
True
Suppose -2*y = -60 - 2. Let s = 13 + y. Let a = -22 + s. Does 11 divide a?
True
Suppose 4*o = 9*o - 40. Suppose -r + 2 = -8. Let q = o + r. Is q a multiple of 9?
True
Suppose i + 22 = -i. Let x = 1 - i. Is x a multiple of 4?
True
Let k(s) = 24*s**2 + 1. Does 5 divide k(-1)?
True
Let f(g) = -10*g**3 + 2*g**2 + 3*g + 1. Let d be f(-2). Let r = 158 - d. Is 25 a factor of r?
True
Suppose 2*b + 3*m - 27 = 0, -b + 4*m = 3*b - 44. Does 3 divide b?
True
Let t = -16 + 23. Suppose 3*p - 5*a = -6, 2*a = 4*p + t*a - 27. Suppose i = -4*r + 79, -3*i = -0*i + p. Does 15 divide r?
False
Let c(q) = q**3 - 8*q**2 - q + 11. Let u be c(8). Suppose 3*r = u*l + 144, -2*l = -0*l. Suppose -6*g + 2*g + r = 0. Is g a multiple of 11?
False
Let p be 1/(3/9)*-1. Let l = p + 3. Suppose l = -5*s + 3*g + 105, -s - g + 3 = 2*g. Is s a multiple of 9?
True
Let d = -15 - -80. Is 16 a factor of d?
False
Suppose -4*d - d = -20. Suppose 3*y + 372 = d*h, 3*y - 48 = -2*h + 156. Suppose m + 3*m = h. Is 8 a factor of m?
True
Let p = 164 - 84. Suppose d + p = 6*d. Does 10 divide d?
False
Let i = 34 + -10. Is i a multiple of 6?
True
Let j be 2 + (2 - -1) + -2. Suppose -j*y = -1 + 10. Does 7 divide (-14)/y*3/1?
True
Let c(t) = t**3 + 6*t**2 - t - 4. Let m be c(-6). Suppose j + m*k = 6*j - 52, 4*k + 4 = 0. Is j a multiple of 6?
False
Let z = -7 - -10. Suppose -2*k = -17 + z. Is k a multiple of 3?
False
Let z(s) = 2*s + 5. Does 2 divide z(7)?
False
Let g(t) = t**3 + 13*t**2 - 4*t + 19. Does 14 divide g(-13)?
False
Let z = 34 - 63. Let s(q) = -q**3 + 5*q**2 - 5*q. Let u be s(4). Is 3 a factor of z/(-4) + 1/u?
False
Suppose -m - v = 0, 5*m + 0*m + 2 = -3*v. Let o = 5 + m. Suppose 50 = r + o*r. Is r a multiple of 5?
True
Let p = 9 - 5. Suppose -2*k + 3*k - 44 = 2*w, 12 = p*w. Does 18 divide k?
False
Let z = -66 + 70. Does 3 divide z?
False
Let a(z) = -2*z + 46. Is 8 a factor of a(19)?
True
Is 27 a factor of (67 - 3) + (1 - -2)?
False
Is 3/(-4) + 3591/36 a multiple of 11?
True
Suppose -l = 4*l - 25. Let g(b) = b + 17. Let w be g(-7). Suppose 0 = -l*i - 2*r + 41, 4*r + w = 2. Is i a multiple of 4?
False
Does 10 divide (-2 - -1)/((-15)/450)?
True
Let j be (16/(-20))/(2/(-5)). Suppose -u + 0 = j. Does 5 divide -6 + 3 + 6 - u?
True
Suppose 0 = -y - 11 + 41. Suppose -3*b + y = -b + 4*w, -b = 3*w - 17. Is b a multiple of 8?
False
Let x = -182 + 129. Let j = -37 - x. Is j a multiple of 15?
False
Let x be 4 + ((-9)/(-3))/3. Suppose -x*d = -2*d - 9. Is 2 a factor of 3/(((-27)/(-6))/d)?
True
Let h = -174 + 249. Does 6 divide h?
False
Suppose 5*f - 30 = n - 3*n, 0 = -2*f. Is n a multiple of 9?
False
Suppose 2*j + j = 5*x + 39, 5*x + 23 = j. Suppose 3*w - j = -2. Suppose -2*h + 12 = o - 3, w*h + 5*o - 3 = 0. Is 4 a factor of h?
False
Suppose -2*j + 3*j - 226 = 0. Let v = j + -91. Is 2/((-5)/(v/(-2))) a multiple of 9?
True
Suppose 10 = b + 4*b. Suppose 0 = -2*k + 14 - b. Does 6 divide k?
True
Let i = 47 - -1. Suppose 2*r - i + 4 = 0. Suppose -b + r = b. Does 11 divide b?
True
Suppose -2*o = 3 - 13. Suppose -2*q + 73 = o*m, -3*m + q + 31 = -q. Let k = 25 - m. Does 10 divide k?
False
Suppose -282 = 12*i - 15*i. Does 44 divide i?
False
Suppose -4*j + 0*j - 3*w = -31, 0 = -4*j + 5*w + 55. Suppose 3*d = -5*x + 42, -5*d - x + 5*x = -33. Is 8 a factor of j - (d/(-3) + 1)?
False
Suppose 0*s + 2*s = -12. Let l be 4/s*3/2. Let t(g) = -26*g**3 - g. Does 12 divide t(l)?
False
Is (-3)/15 - (-964)/20 a multiple of 14?
False
Let n(h) = -h + 7. Suppose v = c + 6*v - 38, 0 = 2*c - 4*v - 6. Let p = 6 - c. Is 14 a factor of n(p)?
True
Suppose 2*x - 3*x + 84 = 0. Suppose 2*b = 4*b - x. Is b a multiple of 14?
True
Let b(i) = -i**3 + 9*i**2 - 8*i + 4. Let q = 15 + -7. Let v be b(q). Does 9 divide v/((-1)/(5/(-2)))?
False
Suppose f = -5*f + 678. Does 6 divide f?
False
Let z be 5/5*(-2 - -6). Let f = z + 22. Does 13 divide f?
True
Let h(z) = -z + 4. Let r be h(-2). Suppose -w + r = -21. Is 9 a factor of w?
True
Let j be (-2)/6 + 7/21. Let l = 3 + j. Does 2 divide l?
False
Let k(f) = 46*f - 10. Is 52 a factor of k(7)?
True
Does 12 divide (-48)/20*5/(-1)?
True
Let t(r) = r**3 + 4*r**2 - r - 1. Let k be t(-4). Let c(a) be the first derivative of a**4/4 - 2*a**3/3 - a + 1. Is 4 a factor of c(k)?
True
Suppose -5*n = y + 23, y + n + 13 = 5*y. Let c(m) = -m**2 + 1. Let t be c(1). Suppose 0 = -l - t*l - 1, 0 = y*r + 2*l - 16. Does 9 divide r?
True
Suppose 0 = -3*w + 69 - 9. Is 5 a factor of w?
True
Let q = 9 - 6. Suppose 9 = -l + q. Let o = l + 9. Is 3 a factor of o?
True
Let p(j) = 4*j + 6. Suppose -1 = -2*r + 3. Let f be (15/(-6))/((-1)/r). Is 14 a factor of p(f)?
False
Suppose 209 - 727 = -14*n. Is n a multiple of 2?
False
Does 11 