a factor of t(z)?
True
Let c(o) = 67*o**2 + 2*o + 1. Is c(-1) a multiple of 15?
False
Let f be 1*-4 + (3 - 92). Let y = -56 - f. Does 12 divide y?
False
Is 65/7 + 24/(-84) a multiple of 9?
True
Let h(y) be the first derivative of 6*y - 1/3*y**3 + 2 - 7/2*y**2. Does 8 divide h(-5)?
True
Let n(l) = -l**3 - 9*l**2 - 8*l + 3. Let f be n(-8). Let a(v) = -v**3 + 5*v**2 - 3*v - 4. Is a(f) a multiple of 3?
False
Let n be ((-2)/(-5))/(5*(-5)/(-875)). Let d(u) = u**3 + 3*u**2 - 4*u - 3. Let l be d(-4). Let f = n + l. Is f a multiple of 4?
False
Let b(m) = -m**3 + 12*m**2 - 10*m + 8. Let p be b(9). Suppose 14 + p = 5*s. Is s a multiple of 7?
True
Suppose s - 4 = -2*m - 2*m, 0 = -s. Let d(c) = -m - 1 - 6 - 2*c. Is d(-7) a multiple of 5?
False
Let f = -6 - -6. Suppose 4*r + r - 40 = f. Does 11 divide 12/r*(-132)/(-9)?
True
Let c(g) = 3*g - 6 - 2*g + 6*g - g**2. Let q be c(6). Let i(x) = x + 21. Does 10 divide i(q)?
False
Let v be (-99)/(-1) + 2/1. Suppose -4*h - 5*f = -92, 3*h - v = f - 13. Let n = h - -4. Is 13 a factor of n?
False
Let g(m) = m**2 + 6*m + 3. Let c be g(-6). Let a = c - 2. Suppose -33 + a = -2*z - 2*x, 5*z = 5*x + 70. Does 8 divide z?
False
Let m be 0 + (-1 - 125)/(-2). Let r = -3 + m. Is 18 a factor of r?
False
Does 13 divide -1 - 0/(-4) - -40?
True
Let m be (-58)/(-8) + (-3)/12. Let p = m + 7. Is 11 a factor of p?
False
Let d(n) = -n + 8. Let s be d(4). Suppose -56 - s = -5*c. Suppose c - 29 = -h. Does 6 divide h?
False
Let m be (-1 + 0)*(-1 + 1). Let i be (-12)/(-78) - 306/(-39). Let t = i - m. Does 4 divide t?
True
Suppose 0*u - 5*u = 0. Suppose 18 = -u*g + g. Is g a multiple of 15?
False
Let x be 4 + 2/(4/2). Suppose x + 4 = 5*b + 3*g, 2*g = 3*b - 13. Is (1 - b) + 1 + 35 a multiple of 17?
True
Does 9 divide (94/(-6))/((-10)/30)?
False
Let a(r) be the first derivative of r**4/2 + r**3/3 + r**2/2 + 1. Is a(2) a multiple of 11?
True
Suppose 3*x + 0*x + 18 = 0. Is ((-144)/(-60))/(x/(-20)) a multiple of 3?
False
Let n = 51 - 15. Does 12 divide n?
True
Is 171/(-6)*12/(-9) a multiple of 10?
False
Suppose -5*l + 3*y + 306 = 0, -5*l - 2*y = -y - 298. Is l a multiple of 10?
True
Does 14 divide 98 - 0*2/10?
True
Suppose -3*t - 3*g - 12 = 0, 2*t + 13 = -4*g + 1. Let m be (7/(-3))/((-1)/(-24)). Is (1 - t)*m/(-3) a multiple of 20?
False
Let n(b) = -7*b**3 + b. Is 5 a factor of n(-1)?
False
Suppose -580 = -4*s + s + 5*f, f = 5*s - 996. Is s a multiple of 17?
False
Suppose 5*p = 2*z - 189, 4*p + 169 = 2*z - 15. Is 41 a factor of z?
True
Suppose u - 7*r + 2*r - 3 = 0, 3*u - 4*r - 9 = 0. Let p = 1 + u. Is 4 a factor of p?
True
Suppose 4*c + 7*s - 2*s = -37, -4*c + 3*s = 29. Let g = -9 + 5. Let m = g - c. Is m even?
True
Let f(v) = v**3 - 20*v**2 - 34*v + 33. Is 20 a factor of f(22)?
False
Let y(r) = -r**3 + 13*r**2 - 8*r - 9. Let t = -12 + 24. Is y(t) a multiple of 13?
True
Let n(j) = -j**3 + 4*j**2 - 3*j + 4. Let a be n(3). Suppose a*m - 2 = 2*h, 4*m = -h - 2*h + 37. Is 2 a factor of h?
False
Suppose g - 2*g = 5*i, -4 = 4*i. Suppose -g*p + 14 = -3*t, 0*t + 2 = t. Let k = p + 0. Does 2 divide k?
True
Does 2 divide -3 - (-2 + 5 + -17)?
False
Let u(v) = -v + 6*v + 4*v. Is 9 a factor of u(2)?
True
Suppose -4*g + 0*a = -2*a - 40, 2*g - 32 = -5*a. Is 6 a factor of g?
False
Let o(q) = -q**2 - 8*q - 7. Let g be o(-7). Let c(s) = s**2 - 2*s - 5. Let p be c(5). Is 3 a factor of (-8)/p*(g + -5)?
False
Suppose -112 - 388 = -4*j. Suppose -19 - j = -3*d. Does 12 divide d?
True
Let z(p) be the first derivative of 101*p**4/4 + p + 3. Let a be z(-1). Let s = 142 + a. Does 21 divide s?
True
Suppose 4*w = -0*w. Suppose w = -5*l + 19 + 61. Does 9 divide l?
False
Is 13 a factor of (0 + -52)/(-4 + 0 - -3)?
True
Suppose -y + 33 + 17 = 0. Suppose -y = -5*r - 0*r. Does 10 divide r?
True
Suppose 2*k - 14 = 3*i - i, 3*k - 4*i - 24 = 0. Suppose -k*f + p = -82, 3*f - 54 = -p - 2*p. Is f a multiple of 10?
True
Let j(h) = -h**3 - 4*h**2 - 3*h - 4. Let m be j(-3). Let w be (9/2)/(m/(-56)). Suppose w = 5*a + p, -2*p = 2*a - 0*a - 30. Does 12 divide a?
True
Suppose -o = o - 6. Let b be (o - -20)*(-2)/(-1). Suppose -4*n + b = -54. Is n a multiple of 15?
False
Let q(g) = 18*g + 6. Does 12 divide q(3)?
True
Let b = -3 + 1. Let u be -1*1*0/b. Suppose -f + 1 = u, 3*k = 6*k - 4*f - 47. Does 17 divide k?
True
Suppose 5*j - 683 = -178. Does 16 divide j?
False
Let k = 109 + -65. Suppose k = 6*y - 3*y + 2*v, -3*v = y - 17. Let w = -8 + y. Is w a multiple of 6?
True
Suppose 4*k = -3*b + 56, -2*b + b + 44 = -5*k. Suppose -2*l - 2*w = -4, -w - b = -4*l - 1. Is l a multiple of 2?
False
Let s(v) be the second derivative of v**3 + 3*v**2/2 - 2*v. Does 7 divide s(3)?
True
Let a(i) = i**2 - 5*i + 5. Let m be a(9). Is 2/((-1)/m*-2) a multiple of 12?
False
Let x be -1*2 + 0 - -1. Let g = x + 4. Suppose -g*t + 4 = l - 0*t, l - t - 4 = 0. Is l a multiple of 3?
False
Suppose 0 = s + 4. Let w(v) = v**3 + 6*v**2 + 4*v - 3. Does 13 divide w(s)?
True
Let c = -1 - 0. Let w be 2/(-4)*-4 - c. Let h(i) = i**2 + 4. Is h(w) a multiple of 13?
True
Suppose 0 = -4*d + 184 + 8. Is 16 a factor of d?
True
Let m(v) = 2*v**2 + v + 66. Does 22 divide m(0)?
True
Suppose 4*n = -2*c + 4*c + 104, -40 = -2*n - 2*c. Does 12 divide n?
True
Suppose 0 = t + t - 62. Let a = t - 9. Does 6 divide a?
False
Let q = -87 + 154. Let o(t) = q*t + 0*t - 3*t. Does 27 divide o(1)?
False
Suppose 11 = 5*b - 79. Is 6 a factor of b?
True
Let s(g) = g**2 - 7*g - 4. Let j be s(8). Suppose -j*b = -2*y + b + 58, 3*y - 61 = b. Is y a multiple of 8?
False
Let h(y) = y**3 - 3*y**2 - 3*y + 1. Let l be h(3). Let q = l - -32. Is q a multiple of 5?
False
Suppose f + 76 = 5*f. Suppose -11 = -3*n + f. Is 2 a factor of n?
True
Suppose -5*y - g + 39 + 218 = 0, -101 = -2*y - g. Is y a multiple of 13?
True
Suppose 117 = 2*u - 75. Is 16 a factor of u?
True
Let d(v) = v**2 - 3*v + 1. Let g(f) = 2*f**2 - 5*f + 1. Let r(w) = 7*d(w) - 3*g(w). Suppose 3*y - 6 = 15. Is r(y) a multiple of 4?
False
Suppose z = 2*z - 5*i - 25, -2*i + 126 = 3*z. Suppose -2*g - 2*q + 20 = -0*q, -z = -4*g + 3*q. Does 7 divide g?
False
Let d(j) = j**3 + 13*j**2 + 7*j + 9. Let s be 1 - 3/((-6)/(-26)). Does 21 divide d(s)?
False
Let q(r) = r**2 - 3*r + 2. Let h be q(3). Suppose 4*o = h*o + 16. Is 8 a factor of o?
True
Suppose -3*x + x = 68. Does 17 divide 3/(2/(x/(-3)))?
True
Let r(x) = 8*x**2 + 5*x + 3. Let m be r(-3). Let o = 14 - m. Let u = o + 64. Is 18 a factor of u?
True
Suppose 2 = -n, -4*f - 3 = -2*n + 9. Let d = 6 + -12. Is (6/f)/(3/d) a multiple of 2?
False
Let y = 589 + -409. Let h = -124 + y. Does 24 divide h?
False
Suppose -m = 2*y - 79, -5*y + 193 = -0*y + 4*m. Does 8 divide y?
False
Suppose 4*w - 239 - 369 = 0. Is w a multiple of 25?
False
Suppose 0 = v + 9 - 41. Is v a multiple of 8?
True
Let n(u) = u**3 - 5*u**2 + 9*u + 2. Is 16 a factor of n(4)?
False
Suppose -3*x - x = -16. Suppose 2*q - x*q = -22. Is 11 a factor of q?
True
Let m(h) = -h**3 - 2*h**2 + 3*h - 1. Let b be m(2). Suppose -t = -y + 1, -y = -2*y - 2*t - 5. Is 10 a factor of (y/1 - b) + 0?
True
Let t(a) = -3*a - 1. Let c be t(-3). Let d = 20 - c. Is 12 a factor of d?
True
Let p be ((-4)/12)/(2/(-54)). Suppose 0 = -d - p - 3. Is 12 a factor of -1 + (-2 - -3) - d?
True
Let m be 1 - (-52 + (-3)/1). Suppose 2*z - m = -2*k, -z - 26 = -k + 2. Does 11 divide k?
False
Let g(h) = h**3 - 12*h**2 + 12*h - 13. Is g(12) a multiple of 28?
False
Let g be ((-4)/(-2))/(4/(-82)). Let a = 107 + g. Is 24 a factor of a?
False
Let t = -14 + 23. Is 7 a factor of (1 + -2)*(-2 - t)?
False
Let g = 336 - 177. Suppose 3*v - g = -3*z, z - 4*v - 8 = 20. Is 24 a factor of z?
True
Let x(p) = p**2 - p - 4. Let a be x(3). Let b(y) = 5*y**3 - 4*y**3 + 3*y**2 - 3*y**2. Is 3 a factor of b(a)?
False
Let w = -3 - -6. Suppose -69 = -w*y + 57. Is y a multiple of 16?
False
Let x = 245 + -80. Suppose 5*r - x = -5*y, -3*r + 48 + 79 = 4*y. Is y a multiple of 7?
True
Suppose 0 = 5*o, -2*b - o + 12 = 2*b. Suppose b*i + 24 = -3*f, 5*f - f - i = -22. Does 9 divide (1 + 26)/((-9)/f)?
True
Let v(t) = 31*t**2 - 2*t + 1. Let k be ((-7)/(-21))/(1/3). Is v(k) a multiple of 15?
True
Let b be -1 + (-3)/((-6)/8). Suppose b*y - 4 = 86. Does 10 divide y?
True
Let k(v) = -10*v - 2. Let m be k(-8). Let u = m + -42. Is 18 a factor of u?
True
Let l(f) = 13*f + 10. Let a be l(12).