be q(3). Does 28 divide 1 - -3*(d + w)?
False
Suppose 4*s + 2 = 122. Does 13 divide 119/3 - 20/s?
True
Does 4 divide 6/8 - ((-1125)/36 + 8)?
True
Let h = 123 - 83. Does 6 divide (h/(-3))/((-2)/6)?
False
Let x(j) = j - 2. Let s be x(7). Suppose 2*z - s*z - h + 28 = 0, h - 10 = -z. Does 16 divide 55*z/((-135)/(-6))?
False
Let x(q) be the third derivative of q**6/60 - 7*q**5/60 + q**4/4 - 3*q**3/2 + 4*q**2. Does 16 divide x(5)?
True
Suppose 4 = -f, 17 = o + f - 4*f. Suppose -2*v - 3*x = x - 474, -5*x + 1210 = o*v. Does 12 divide v?
False
Suppose 5*b - 20 = -k, k + 4*k - 2*b - 19 = 0. Suppose -4*c = k*x - 8*x - 35, 4*x + 10 = -2*c. Is 2 a factor of c?
False
Let f be (-133)/(-3) + (-20)/(-30). Suppose -f = 10*k - 215. Is k a multiple of 2?
False
Is 3 a factor of (-2)/(-8*(-1)/(-2940))?
True
Is 11307/18 - 42/252 a multiple of 2?
True
Let r(p) be the first derivative of -p**2/2 + 13*p - 2. Suppose 28 = -4*a - v, -a - 2*v + 10 = -6*v. Does 13 divide r(a)?
False
Let q = -337 - -616. Is 31 a factor of q?
True
Let a = -10 - -12. Suppose 3*l = 2*j - 124, -j - a*j + 3*l = -180. Does 8 divide j?
True
Let a = 162 - -38. Does 20 divide a?
True
Suppose 5*h + 4*h + 1170 = 0. Is 22 a factor of (-1 + -3 + 3)*h?
False
Suppose -7*b + 16 = -3*b. Suppose 591 = 5*o - b*j, -5*o - 3*j + 4*j = -579. Is o a multiple of 20?
False
Suppose -3*g = g - 28. Let p(q) = 10 - 15*q + 4*q**2 - 3*q**3 + 0*q + 5*q**2 + 2*q**3. Is p(g) a multiple of 2?
False
Let s(t) = 14*t - 85. Let c be s(7). Let f = 5 + -1. Suppose f - c = -n. Does 9 divide n?
True
Let i(m) be the third derivative of -5*m**4/12 - 10*m**3/3 + 5*m**2. Does 18 divide i(-11)?
True
Suppose 6*k - 2*k = 36. Is 3 a factor of 5 + k/((-36)/8)?
True
Let c be (-1)/(-4) - (-78)/8. Let t(n) be the second derivative of -n**3/6 + 6*n**2 - 83*n + 1. Is t(c) a multiple of 2?
True
Suppose -3*v - 42 - 13 = 5*k, 4*v = -k - 62. Let y = v + 20. Is 3 a factor of 2/y + (-272)/(-20)?
False
Let i = 36 + -20. Suppose -2*l = -80 + i. Suppose -2*f = -0*f - l. Is 7 a factor of f?
False
Let j = -41 - -20. Is (0 - 20/12)*j a multiple of 11?
False
Let r(g) = 2*g**2 + 3*g. Let q = 10 + -20. Let n(x) = x**2 + 10*x + 4. Let v be n(q). Is 11 a factor of r(v)?
True
Let w(x) = -x**3 - 12*x**2 + x + 15. Let n be w(-12). Suppose -n*f = -55 - 98. Does 17 divide f?
True
Let m(d) = 466*d**2 + 4*d - 2. Does 18 divide m(1)?
True
Suppose -127*z = 4*p - 125*z - 7210, 2*z - 1804 = -p. Does 34 divide p?
True
Suppose 3*k - 20 = 4*k. Let g be (-3)/6 + k/(-8). Suppose -6 = g*f, 2*a + f - 3 = 6. Does 6 divide a?
True
Let c(v) = -v**3 + 6*v**2 + 3*v + 4. Let q be c(3). Let u = q + 34. Is 31 a factor of u?
False
Suppose -41 = -d - 4*n, 7*d + 4*n + 124 = 11*d. Does 3 divide d?
True
Suppose -18 = -2*v - 6. Suppose -4*b - 60 = -k - k, 2*b = -v. Does 8 divide k?
True
Suppose 3 + 3 = 3*p, -4*p = -5*l + 12. Suppose 0 = 2*g - u - 4, -u = g + l*g - 10. Is 5 a factor of 1 - (-1 + g)*-4?
True
Let j = -10 + 12. Suppose -j*t + 1 = -47. Is 8 a factor of t?
True
Suppose -234*a = -225*a - 1620. Is 8 a factor of a?
False
Suppose -5*j + 10*j - 455 = 0. Suppose -41*p = -36*p - 15. Suppose -j + 31 = -p*f. Does 10 divide f?
True
Suppose -8*q + 11*q = 5*i - 1855, -3*i - 5*q = -1079. Is i a multiple of 23?
True
Let c(v) = -3*v - 9*v + 0*v - v**3 + 5 - 8*v**2 + 3*v. Let p(r) = -2*r**2 + r - 1. Let g be p(2). Is c(g) a multiple of 13?
False
Is 15 a factor of (-7176)/207*(-219)/4?
False
Suppose -2*a = 3*a + 2*k - 4, 5 = a - k. Let c be a/(4 + (-488)/124). Suppose r - c + 4 = 0. Is 7 a factor of r?
False
Let x = 1136 + -693. Is 62 a factor of x?
False
Is ((-14644)/(-18))/7 + (-6)/27 a multiple of 29?
True
Let o(a) = 71*a**2 + 33*a - 8. Does 38 divide o(-8)?
False
Is (-378)/78 - -5 - (-101154)/78 a multiple of 54?
False
Let o(y) = -2*y - 2. Let u be o(-2). Suppose -3*d = -k - 35, -u*d + 3*k = -1 - 13. Suppose -j + d = 2. Is 6 a factor of j?
False
Suppose 12*n - 336 = 5*n. Is 4 a factor of n?
True
Suppose -b = 4*h + 116, 0 = 5*h - b - 27 + 163. Let j = -26 - h. Does 2 divide j?
True
Let y be ((-2)/2)/(-3) - 32637/(-99). Suppose 9*m + y = 15*m. Is m a multiple of 5?
True
Let d = -24 + 57. Let p = -24 + 9. Let t = d - p. Is t a multiple of 22?
False
Suppose 13 = 4*u + 33. Suppose 0 = -4*v + 4, -3*v = -3*j - 0*v. Let i = j - u. Does 2 divide i?
True
Let o(f) = -f**3 + 14*f**2 + 15*f + 7. Let a be o(15). Does 10 divide (-3 - 1674/(-21)) + 2/a?
False
Let y(b) = -340*b + 65. Does 6 divide y(-3)?
False
Suppose 0 = -2*i - 0*i - 5*p + 1, -33 = -3*i + 3*p. Let k = 0 - i. Is 13 a factor of ((-93)/2)/(6/k)?
False
Suppose 2*s - 716 - 29 = 3*h, -751 = -2*s - 3*h. Suppose 0 = 2*k + 14 - s. Does 20 divide k?
True
Suppose y = -5*j + 4079, -5*j + 3*y = -4*j - 803. Does 11 divide j?
False
Suppose 0 = 8*y - 6*y - 3*v - 2163, -3*y + 3277 = 2*v. Is y a multiple of 7?
False
Suppose 9*g - 65 = 4*g. Let w = g + 29. Is 5 a factor of w?
False
Let j be 85 - (-10)/(-5) - -1. Suppose 3*y - 24 = -4*a + 292, -a - 2*y + j = 0. Is a a multiple of 19?
True
Let g = 26 + -52. Let y = g + 32. Does 6 divide (-188)/(-12) + 2/y?
False
Let z(y) = -y**3 + 22*y**2 + 6*y + 100. Does 97 divide z(17)?
False
Suppose 3*t = 4*t - 1, 5*g = -5*t + 335. Let x = g - -146. Is 50 a factor of x?
False
Suppose 17388 = -267*i + 276*i. Is i a multiple of 23?
True
Let s = 2951 - 1945. Does 39 divide s?
False
Suppose 4*d - 553 = 47. Is d a multiple of 38?
False
Suppose -7*x - 16 = x. Let z(u) = 9*u**2 + u + 2. Is 12 a factor of z(x)?
True
Suppose 83 + 62 = 3*a + 4*i, 0 = 3*a - 2*i - 157. Suppose y - 335 = -a. Is y a multiple of 12?
False
Is 59*(36/6 - (-10)/(-2)) a multiple of 2?
False
Is 17040/27 - 3/27 a multiple of 21?
False
Let z(n) = 6*n**3 - 6*n**3 + 4*n**3 - n - 3*n**2 + 2. Let u = 11 - 9. Does 5 divide z(u)?
True
Let m(a) = 3*a**3. Let p be m(1). Let k(f) = 24*f**2 - 3*f + 2. Let j be k(p). Let d = -147 + j. Is 31 a factor of d?
True
Let x(p) = -2*p - 54. Let v be (-18)/(-63) - (-2)/(-7). Let s be x(v). Let y = 82 + s. Is 7 a factor of y?
True
Suppose 146*x + 30303 = 155*x. Does 34 divide x?
False
Let i be (-34)/(-4)*(-6)/(-3). Let w = i - 21. Let y(c) = -2*c**3 - 4*c**2 - c. Does 17 divide y(w)?
True
Suppose -c + k = -3*c + 1631, 3267 = 4*c - 3*k. Does 21 divide c?
False
Suppose -3*l = -r + 2, r + 4*r - 10 = -5*l. Suppose -2*s = -l*s - 8. Suppose -3*v = s*p - 0*v - 407, -4*p + 3*v + 401 = 0. Is p a multiple of 27?
False
Suppose 0 = o - 5*y + 3, 4*o + 2*y - 4 = 3*o. Suppose -o*u = -3 - 11. Suppose 0 = -u*w - 2 + 128. Is 9 a factor of w?
True
Let r = 3367 - 1653. Is r a multiple of 11?
False
Let i be (-1)/2 + 270/36. Is 7 a factor of ((-180)/(-84))/(1/i)?
False
Let p(b) = 1023*b**3 + 2*b**2 - 11*b + 10. Is p(1) a multiple of 29?
False
Suppose r + 0*r = 2*u + 230, -2 = -2*u. Is r a multiple of 6?
False
Suppose -10*r = -7*r. Suppose -7*f + 2*f = 4*w - 309, 2*w - 3*f - 149 = r. Suppose 5*c + 5*b - 265 = 0, 2*c = 2*b + 2*b + w. Does 19 divide c?
False
Let j(g) = 4*g**3 + g**2 + 10*g - 3. Let q be ((-3)/2)/((-4)/8). Is 13 a factor of j(q)?
False
Suppose -41*c + 38*c + 1552 = 4*d, 0 = -4*d + c + 1568. Does 23 divide d?
True
Does 8 divide 176/(-24)*(-12 + 0)?
True
Let l = 976 - 310. Suppose l + 774 = 12*r. Does 20 divide r?
True
Suppose 5*y + 159 = -256. Let l = -59 - y. Is 12 a factor of l?
True
Let g(y) = y**3 - 8*y**2 + 9*y - 10. Let j be g(7). Suppose -s - 2 = 3, -j*u - s = -91. Is u a multiple of 12?
True
Does 11 divide (41*1)/(24/264)?
True
Suppose 0 = 2*h - 1 - 1. Let v be (0/(-1 - -2))/h. Suppose -p - 2*p + 2*x + 148 = v, 3*x = -p + 31. Is p a multiple of 15?
False
Let n = 24 + -16. Let z(h) = 2. Let v(s) = -2*s - 14. Let x(k) = -2*v(k) - 22*z(k). Does 5 divide x(n)?
False
Suppose -4*w - 5*q + 5 = 0, -1 = -w + 3*q - 4*q. Let d be 10 - ((-2)/(-1) - w). Does 10 divide d/36 + (-277)/(-9)?
False
Let t(m) = m**2 - 9*m - 4. Let p be t(10). Let j(i) = -7*i**2 + 0*i + 6*i**2 + 7 - p*i - 4*i. Does 12 divide j(-5)?
False
Suppose 0 = 4*p - 16. Let s = -12 + 12. Suppose s = p*y - 211 + 19. Is 13 a factor of y?
False
Suppose 0 = 12*j - 8772 - 72. Does 14 divide j?
False
Let q(f) = -7*f + 206. Is q(-7) a multiple of 55?
False
Does 9 divide 393 - (2/3)/(10/(-15))?
False
Let u(t) = t**2 - 2*t - 11. Let l be u(5). Suppose 0 = -r - 2*r + h + 185, -5*h - 265 = -l*r.