
Let t be ((-3)/(-2))/(2/(-4)). Suppose 4*m - 28 = -0*m. Let v = m - t. Is 9 a factor of v?
False
Let h(z) = z**2 - 10*z + 12. Let c be h(9). Suppose -70 = -c*x - 2*x. Suppose -y + 3*y - x = 0. Does 7 divide y?
True
Let r be (-4 - -2) + -1 + 7. Let f be ((-19)/3)/(r/24). Does 15 divide f/4*(4 - 6)?
False
Let s(t) = t**2. Is s(-3) a multiple of 3?
True
Suppose 3*q + n = 35, 2*q = 2*n - n + 20. Is q a multiple of 2?
False
Let o(y) = -y**3 - 5*y**2 - 9*y + 6. Is 14 a factor of o(-5)?
False
Let p(r) = -r**3 - 7*r**2 - 7*r - 3. Let c be p(-6). Suppose -3*k + c*o = -0*k - 72, 0 = -2*o. Let b = k - 10. Does 7 divide b?
True
Suppose -h + 4*l + 8 = 0, 3 - 1 = 3*h - l. Suppose -3*x + 96 - 12 = h. Is 16 a factor of x?
False
Let n(s) be the first derivative of 1/4*s**4 + 3*s**3 + 6*s + 2*s**2 - 1. Does 16 divide n(-8)?
False
Suppose -4*x = x + 4*t + 6, 0 = -5*x - 5*t - 10. Let h be x/(3/(-3) + 2). Suppose s + h*s = 4*d - 104, -5*s = -d + 26. Is d a multiple of 8?
False
Let t(c) = 5*c**2 - 10*c - 12. Let l(y) = -6*y**2 + 11*y + 13. Let z(s) = -6*l(s) - 7*t(s). Is z(-5) a multiple of 9?
False
Let b(d) = -d**3 - 12*d**2 + 3*d + 4. Let v(j) = j**2 - j - 1. Let p(t) = b(t) + 4*v(t). Is p(-8) a multiple of 4?
True
Suppose -5 = -2*y - 1. Suppose 4*t + t - 55 = 0. Suppose 23 = y*r - t. Is r a multiple of 6?
False
Does 11 divide 200/4 + (0 - (-2 - 2))?
False
Let b(i) = i**2 - 1. Is b(5) a multiple of 6?
True
Let t(j) = -j**3 + 11*j**2 - 11*j + 10. Let r(h) = 10*h**2. Let f be r(1). Let q be t(f). Suppose 2*o = -4*n, o - 2*n = -q*o + 8. Does 2 divide o?
True
Let w = 33 + -2. Is 12 a factor of w?
False
Suppose -2*s - 87 = 3*o + 33, 3*s - 3*o + 210 = 0. Let m = -26 - s. Does 20 divide m?
True
Let u(z) = -11*z - 17. Does 7 divide u(-7)?
False
Let j = 220 - 153. Is 22 a factor of j?
False
Suppose i + 305 = 2*a, -a - i - 13 = -173. Is 31 a factor of a?
True
Let p(w) = 3*w - 3. Does 9 divide p(10)?
True
Suppose -15 = -4*n - 4*g + 1, -g = -5. Is 6 a factor of (3/(-1) + -3)*n?
True
Suppose -4*v + 19 = -5*d - v, -d + v - 3 = 0. Let i = d + 10. Does 5 divide i?
True
Suppose -7*d = -1677 - 465. Does 34 divide d?
True
Suppose -36 = c + 3*c. Let u be (1 - 3/5)*-15. Is (-2)/u - 249/c a multiple of 20?
False
Let u be 1/(2/8) - 1. Suppose -3*c - 3*a + 531 = 0, u*c = -a + 634 - 107. Suppose 0 = -2*d - 3*d + c. Is 15 a factor of d?
False
Let q(l) = l**3 - 2*l. Let m(s) = s**2 + 7*s + 2. Let p be (0 + 1)/(2/(-14)). Let k be m(p). Is 2 a factor of q(k)?
True
Suppose 3*z - 4*t = -14, 4*z - t + 0 = 3. Let y be (1/z)/(3/60). Suppose y = -5*x + 30. Does 2 divide x?
True
Suppose -181 = 5*v - 481. Suppose 2*b + 20 = -v. Does 10 divide (6/4)/((-6)/b)?
True
Suppose -156 = -3*m + 3*n, -5*m - n = -4*n - 260. Is m a multiple of 17?
False
Let h(i) = -5*i - 67. Is h(-26) a multiple of 6?
False
Suppose t = 2*x + 29, t - 3*x - 27 = x. Suppose -3*g + t = 4*h, -h = -4*g + 2 + 14. Suppose -c + 0*c = -4*z + 6, 4*c = g*z + 20. Does 10 divide c?
True
Suppose 0 = 3*f + 2*x - 7*x - 236, 151 = 2*f + 3*x. Is f a multiple of 11?
True
Let m(k) = -k**3 + 2*k**3 + 6*k**2 - 2 + 0*k**3 + 5 + 3*k. Is m(-5) a multiple of 13?
True
Suppose -38 - 31 = -3*s. Let y(x) = -x**2 + 9*x - 5. Let c be y(9). Let d = c + s. Is 17 a factor of d?
False
Suppose 0 = 13*d - 17*d + 128. Is d a multiple of 8?
True
Suppose o - 16 = 4*i, -2*o - 1 = 4*i + 3. Is 10 a factor of (-56)/(-2) - (-3)/i?
False
Is (-1)/(-2) + (-92)/(-8) a multiple of 4?
True
Let t = 35 + -17. Does 3 divide t?
True
Suppose -v + 13 = -23. Is 15 a factor of v?
False
Let j(o) = -34*o + 2. Is 24 a factor of j(-7)?
True
Suppose -4*z - 24 = -2*t, 2*z + 11 = -2*t - z. Does 10 divide 24 - -1*-1*t?
False
Let r(l) = -109*l**3 - 2*l**2 - 2*l - 1. Is r(-1) a multiple of 36?
True
Let c be ((-24)/16)/(3/68). Let t = 0 - c. Is 17 a factor of t?
True
Let o(w) = -28*w. Does 8 divide o(-4)?
True
Let j be ((-38)/(-3))/((-1)/3). Suppose 4*a + z = -210, -4*a - 2*z - 204 = 2*z. Let x = j - a. Is x a multiple of 5?
True
Let j be (-2)/7 - (-1833)/21. Suppose 5*v + j = 4*l - 56, 52 = 2*l + 4*v. Is 15 a factor of l?
False
Let q = 1 - 5. Does 15 divide -5*(-1 + 2 + q)?
True
Let y(s) = -s**2 - s + 60. Let u be 2/(-6)*0/5. Is 12 a factor of y(u)?
True
Does 26 divide (-250)/(-7) + 10/35?
False
Let f(c) = 11*c + 1. Let u = 7 - 6. Does 6 divide f(u)?
True
Suppose -4*j = 5*q - 4*q - 24, -3*q = -3*j - 117. Does 2 divide q?
True
Let m(h) = h**2 + 3. Is m(-4) a multiple of 2?
False
Let o(l) = -l**2 - l. Let h be o(0). Suppose k + 3*s = -5, -3*k + 15 = -2*s + s. Let r = k + h. Is 4 a factor of r?
True
Suppose 8 = 5*g + d - 190, 3*d + 46 = g. Is 40 a factor of g?
True
Is 7 a factor of ((-1344)/(-18) - 2/3)/2?
False
Let d = 73 - 42. Is d even?
False
Suppose x - 86 = 182. Let f = x - 169. Is f a multiple of 33?
True
Suppose -4*l - 36 - 136 = 0. Let c = 73 + l. Does 9 divide c?
False
Let b(t) be the first derivative of t**3/3 + 5*t**2 + 17*t + 2. Does 19 divide b(-12)?
False
Is 9 a factor of (8/(-10))/(48/(-4920))?
False
Let i(w) = 4 - w**3 + 2*w**3 - 10*w**2 + 10*w - 2*w**3. Does 5 divide i(-11)?
True
Let g(y) = 7*y - 11. Is g(10) a multiple of 59?
True
Suppose 5*t - 28 = 4*t. Is 14 a factor of t?
True
Let o be (-23)/(-4) - 6/8. Suppose o = 4*v - 91. Is v a multiple of 8?
True
Let s(u) = 3*u**2 + 2*u - 4. Suppose -5*k + c - 9 = 4*c, -c + 8 = -2*k. Let l be s(k). Suppose -5*d + 3 + l = 0. Does 4 divide d?
True
Let v(x) = x**3 + 6*x**2 - 4*x + 4. Does 7 divide v(-6)?
True
Let s = -4 - -7. Let x be (-1 - s)*(-2)/4. Suppose -4*w = -x*w - 64. Is w a multiple of 16?
True
Let n be 1/(3/(-45)*-3). Suppose n*o - 3*a = 8, 0 = 4*o + 5*a - 1 - 35. Does 7 divide (14/o)/(1/2)?
True
Suppose 3*x = -w + 6*x + 258, -3*x - 3 = 0. Is w a multiple of 20?
False
Suppose 0 = 3*f - 0*f - 12. Suppose 4*m - f*u = -0*m - 128, 2*u = -8. Let y = 50 + m. Is y a multiple of 14?
True
Let l(j) = -j**2 - 5*j - 2. Let n be l(-3). Suppose -n*f - 9 = -89. Suppose -4*t + 2*t + f = 0. Is t a multiple of 7?
False
Let o = -1 + 20. Is o a multiple of 19?
True
Suppose -3 = -2*z + 17. Suppose -2*i = l - 9, -i + z = -7*l + 2*l. Is 19 a factor of l/(-5) + 672/15?
False
Let a = -54 + 114. Suppose -a = -6*j + 3*j. Does 12 divide j?
False
Let v(d) = d**2 + 2*d - 4. Let y be v(-3). Let w = 2 + y. Is 82/8 + w/(-4) a multiple of 10?
True
Suppose -9*c = 4*c - 4329. Is c a multiple of 18?
False
Let t(v) = 6*v + v**2 + 0 - 3*v + 0. Let k be t(-6). Suppose -3*s + 5*q + 66 = 2*q, q = -s + k. Is s a multiple of 15?
False
Let r be (-2)/(0 + -1) - 6. Let z(o) = o + 4. Let l be z(r). Let g(s) = -s**3 + s**2 + s + 34. Does 12 divide g(l)?
False
Let z be 69/(-92) + (-50)/8. Let s(l) = -l - 9. Let b(x) = -x - 8. Let j(q) = 5*b(q) - 4*s(q). Is j(z) a multiple of 3?
True
Let t = 12 - 10. Suppose -t*h = -5*h + 60. Does 6 divide h?
False
Suppose -2*w = 2*w - 24. Suppose -2*o = 5*g - 73, 3*o + 12 = w*o. Does 13 divide g?
True
Let l be 1/(-3)*(0 - 0). Suppose -2*t + l*t + c = 17, c - 3 = 0. Let z(x) = -x**2 - 8*x - 4. Is z(t) even?
False
Suppose 3*v + 0*v = 0. Suppose -3*g - n + 7 = v, 3*n = -2 - 13. Is g a multiple of 2?
True
Let f(d) = 12*d**3 + 4*d**2 + 2*d. Let l be f(-2). Does 21 divide l/(-4) - 6/(-3)?
False
Let a = 0 - 0. Suppose -3*f + 3*t = t - 72, -2*f + 2*t + 48 = a. Is f a multiple of 12?
True
Suppose 1 = k - 3*h, 0 = k + h - 3*h - 2. Suppose -k*q + 29 = 3*l, 6*l - l = 3*q. Does 2 divide l?
False
Is (8/6)/(4/(616 - 4)) a multiple of 12?
True
Let u(c) = -c**3 + 7*c**2 - 6*c + 4. Suppose -2*z + 2 + 10 = 0. Let l be u(z). Suppose -20 = -l*v, -5*h + 4*v + 65 = -v. Is 9 a factor of h?
True
Let t(b) = -b**3 + 11*b**2 + 2*b - 2. Let i be t(8). Let k be i/(-4) + (-3)/2. Let c = k + 103. Does 22 divide c?
False
Let q(y) = -2*y - 4. Let s be (3/(-1))/((-6)/(-8)). Let k be q(s). Suppose k*d = d + 24. Does 8 divide d?
True
Suppose -12*i = -7*i - 305. Does 25 divide i?
False
Suppose 0 = -c + 5*c. Suppose h = 3*f + 27, c*h + f + 108 = 4*h. Is h a multiple of 17?
False
Let c(r) = 3*r - 2*r - 7*r + r**2 - 2. Let u be c(-4). Suppose 0 = -4*n + q + 43, 4*n + q - 3*q - u = 0. Is 12 a factor of n?
True
Let z(a) = a**2 + 2. Let r be z(0). Is 6 a factor of 12 - (2 - r)/3?
True
Let z(p) = 2*p**2 - 3*p - 10. Is z(6) a multiple of 2?
True
Let d = 330 + -190. Is d a multiple of 20?
T