 x(z). Suppose 3*q - 45 - s = 0. Is q a multiple of 6?
False
Let s = -2 - -6. Let a be 6 - (2 + -3 + s). Suppose -v + a*v = 74. Is v a multiple of 10?
False
Let h be (-1 + 2)/(3/(-81)). Let z be ((-18)/h)/(2/339). Suppose z = 5*j - 172. Is 19 a factor of j?
True
Let q(u) = 11*u - 91. Let a be q(9). Let p(d) = -d**3 - 4*d**2 + 5*d + 3. Let c be p(-5). Suppose -c*x + 5 = -a*x, i - 31 = -3*x. Does 17 divide i?
True
Let n(q) be the second derivative of 0 + 8*q + 11/6*q**3 + 1/12*q**4 - 1/2*q**2. Is n(-12) a multiple of 4?
False
Suppose 0 = 4*u + 91 + 29. Let v = -47 - u. Let y = v - -23. Is y a multiple of 6?
True
Let z be (-887)/(-3) - (-3)/9. Let n = -188 + z. Does 36 divide n?
True
Let p(y) = -30*y + 25. Let t(j) = -j + 1. Suppose 4*q - 3 = 1. Let c(z) = q*p(z) - 25*t(z). Is c(-2) a multiple of 5?
True
Let c be (-6)/15 + 12/(-20). Does 20 divide (0 - 2 - c)/(3/(-180))?
True
Is 52 a factor of -1*1 - (-4053 + -74)?
False
Let d = -308 + 929. Is 23 a factor of d?
True
Let n = 4578 - 2674. Is 34 a factor of n?
True
Suppose -14*c + 10*c + l + 537 = 0, 0 = -5*c + 4*l + 663. Is 13 a factor of c?
False
Let l(t) = -19*t + 2. Let j be l(-3). Does 7 divide j/2 - 3/6?
False
Let c(m) = m**2 + 7*m - 7. Let g = -11 + 3. Let b be c(g). Let j = 20 + b. Is j a multiple of 8?
False
Let s = -72 + 80. Is s a multiple of 5?
False
Let t be (-20)/7*49/(-14). Let v = -23 - -11. Let y = t - v. Does 22 divide y?
True
Suppose -11*c + 6*c = -490. Let f = c + 61. Is f a multiple of 23?
False
Let o = 195 + -29. Let c = o - 47. Is 13 a factor of c?
False
Let q(c) = c**3 - 30*c**2 - 27*c + 16. Does 10 divide q(31)?
True
Suppose 4*y - 2202 = -3*i, y - 4*i = -3*y + 2216. Suppose 4*c = 4*z - 0*z + y, 4 = 2*z. Is 10 a factor of c?
True
Let p(r) be the first derivative of 7*r**2 + 16*r - 25. Does 25 divide p(6)?
True
Let u be (2 + -3)*(-3 - -1). Let r(y) be the first derivative of y**3 + 3*y**2/2 + 2*y - 2. Does 7 divide r(u)?
False
Let k(r) = -2*r. Let j be k(-10). Is j/(-30) + (-89)/(-3) a multiple of 5?
False
Suppose 1660 = 5*l + 3*a, 2*a + 1734 - 74 = 5*l. Is l a multiple of 24?
False
Let q(s) = 0*s - 6*s**3 - 13 + 5*s**3 + 6 - 9*s**2 - 9*s. Let g be q(-8). Is 41 + 1*(g + 1) a multiple of 22?
False
Let p be 32/6*(-15)/10. Let t = p - -40. Is t a multiple of 9?
False
Let y(j) = -j**2 + 20*j - 12. Let m = -21 - -31. Let v = 28 - m. Does 7 divide y(v)?
False
Suppose 0*w = 5*l - 2*w - 215, -2*l = -w - 85. Is 9 a factor of l?
True
Suppose 6*x = 5*x + 90. Is x a multiple of 5?
True
Let s(a) = 3*a**2 - 41*a + 34. Let q be s(13). Suppose -4*l = -7*l - 27. Is 2 a factor of 3 - l*q/12?
False
Let r(x) = -1 + 4 + x - 2*x. Suppose -5*i = -3*j + 5, -4*i + 3 + 1 = -4*j. Is 7 a factor of r(i)?
True
Suppose 0 = a - 2*a + 118. Suppose -5*k + a = -37. Is k a multiple of 4?
False
Let w(b) = b**3 - 50*b**2 - 76*b - 70. Is w(52) a multiple of 12?
False
Suppose 32*v - 13*v - 13129 = 0. Is 23 a factor of v?
False
Let d = 243 - 143. Suppose d*t = 101*t - 88. Is 9 a factor of t?
False
Suppose -74*w + 86*w = 21888. Is 32 a factor of w?
True
Let d = 32 + -28. Suppose -5*a - 26 + 379 = 4*r, 268 = 4*a - d*r. Is a a multiple of 23?
True
Suppose -5*i = 15, 3*a - 4*i = 2*a + 318. Does 51 divide a?
True
Let t = -14 + 15. Does 11 divide -183*(t + (-16)/12)?
False
Is 40 a factor of (2 - 1) + (13 - -1468)?
False
Let x(k) = 20*k + 1. Let i be (2 - -3) + -1*4. Does 20 divide x(i)?
False
Does 22 divide (32/(-20))/((-42)/3465)?
True
Let v(b) = -b**3 - 2*b**2 + 2. Let i be v(-2). Let o be (i - -103) + (-9)/(-9). Suppose -o = -2*a - 0*a. Is 17 a factor of a?
False
Suppose -29 = 2*z + 3*g, -z + 6 - 4 = -4*g. Let s = z - -13. Suppose s*a - 65 = -5*c, 0 = -a + 5*c - 3*c + 18. Is a a multiple of 10?
True
Suppose 9*u + 39 = 12*u. Let p = -10 + u. Suppose -p*b - 108 = -6*b. Is 10 a factor of b?
False
Let w(i) = 24*i + 5. Let k(r) = -23*r - 4. Let v(g) = g**3 + 5*g**2 - 2*g - 7. Let m be v(-5). Let s(h) = m*w(h) + 4*k(h). Is s(-1) a multiple of 4?
False
Let z(j) = 3*j**2 + 15*j + 147. Is z(28) a multiple of 21?
True
Let l(u) = 4*u - 4. Suppose y = -2*y - 9, 4*q - 2*y = 14. Let h = q + 1. Is 4 a factor of l(h)?
True
Let l(a) = -5 + 13 + a**3 - 7*a + 7*a**2 + 2. Let x be l(-7). Suppose -5*u - x = -3*k, -4*k - 2*u = -5*u - 97. Does 11 divide k?
False
Let n(w) = -2*w - 10. Let d be n(-6). Suppose -k = -m - 22, d*k + 0*m = 4*m + 40. Is 12 a factor of k?
True
Let p(c) = -c**2 - 6*c - 25. Let q be p(-5). Is -4 + (-95)/q - (-357)/4 a multiple of 9?
True
Suppose -1617 = -29*k - 486. Is k a multiple of 8?
False
Suppose -5*c - 5*r + 105 = 0, -3*c + 57 = -3*r + 8*r. Let t = c - -22. Does 8 divide t?
False
Let v be -9*(-5)/((-45)/(-12)). Let k be 2/(-13) - v/(-78). Suppose 2*h - 22 = -k. Is 11 a factor of h?
True
Let t(p) = p**3 + p**2 + p + 8. Let u be t(0). Let x be (-30)/4*u/(-12). Suppose -b = 3, -2*h - x*b + 48 = -h. Does 9 divide h?
True
Let l be 1 + (-10)/(-3) + 5/(-15). Suppose -5*j + 5*g = -585, l*g - 9 = 3. Is j a multiple of 15?
True
Let g = -3945 - -6155. Does 15 divide g?
False
Let p be -3*(-2 + (-4)/(-3)). Suppose -p*z = 3*z - 200. Suppose 2*m + 3*m = z. Does 3 divide m?
False
Suppose -49 = 5*i + 66. Suppose -39*u + 41*u = -212. Let o = i - u. Is o a multiple of 15?
False
Let s(h) be the first derivative of 2*h**3/3 + h**2 + 22*h + 16. Is 9 a factor of s(6)?
False
Let w = -17 + 20. Suppose 5*i = w*i + 6. Suppose i*j - j = x - 14, 0 = 3*x + 3*j - 6. Is x a multiple of 4?
False
Let h = 1 - 2. Let v = h + 27. Does 4 divide v?
False
Let s(c) = -5*c + 201. Is s(13) a multiple of 5?
False
Is 9 a factor of 126/5*(1116/24 + -14)?
True
Let a(l) = 15*l - 19. Is a(6) a multiple of 9?
False
Let d(o) = -o**2 + o + 2. Let u be d(2). Suppose 3*m + 2*m - 260 = u. Does 14 divide m?
False
Suppose 5*h + 858 = q, -4*h + 0*h - 1734 = -2*q. Is q a multiple of 13?
False
Let y be (-39)/12 - 4/(4*-4). Let d(i) = -2*i**3 - i**2 - 6*i - 1. Is d(y) a multiple of 31?
True
Suppose -4 - 52 = -4*g. Suppose -g + 71 = 2*i + 5*z, -5*i = -4*z - 60. Is i even?
True
Let b(l) = 88*l - 77. Does 73 divide b(10)?
True
Let y be 11 + -4 + -2 + 1. Suppose y*u = -0*u + 30. Suppose 3*s = u*g - 127, -108 + 35 = -3*g + 5*s. Does 26 divide g?
True
Suppose -567 = i + 30. Let g = -317 - i. Suppose 7*v = 2*v + g. Is v a multiple of 14?
True
Let o(j) = 5*j**2 - j - 4. Suppose -7*x + 2*x = 15. Is 11 a factor of o(x)?
True
Let j = -14 - -15. Let p be (5 + -2 - 2)*j. Does 25 divide (-6 - -5)/(p/(-25))?
True
Let j(u) be the third derivative of u**4 - 3*u**3 + 13*u**2. Let d be j(10). Let k = d + -150. Does 8 divide k?
True
Is 0 + 762 - 0/(-5) a multiple of 6?
True
Let j(d) be the second derivative of -d**5/20 + d**4 - 3*d**3/2 + 9*d**2/2 + 6*d. Let s be j(11). Suppose -s = -3*y + 41. Is y a multiple of 23?
False
Let q be (2/(-5))/((-6)/60). Suppose -2 = 2*n + 4*p - 6, -32 = q*n - 2*p. Does 4 divide 8/n*30/(-4)?
False
Let i(x) = -3*x + 15. Let t(g) = g - 8. Let l(u) = -2*i(u) - 5*t(u). Let f be l(-7). Suppose f*a = 2*s + 81, -4*a + 5*s + 90 = -a. Does 7 divide a?
False
Suppose 0 = -4*a + 4*k + 16384, -2046 = -3*a + 2*k + 10239. Let l = a + -1408. Does 15 divide (-3)/24 + l/40?
False
Let g = -52 - -246. Let n be (-1303)/(-9) - (-4)/18. Suppose -n = -4*y - 3*r + g, 0 = 3*y + 3*r - 258. Does 27 divide y?
True
Let u = -95 + 97. Suppose 5*g + u*f - 94 = 0, -6*f + 71 = 4*g - 3*f. Does 4 divide g?
True
Let s = 4 + 1. Suppose -4 = s*b - 24. Is (-26)/((5 - b)*-2) a multiple of 5?
False
Let t(d) = 30*d - 31. Let o be t(14). Let u = o + -209. Does 30 divide u?
True
Let a be (-3 - (-40)/12)/(3/9). Is 47 a factor of a*(-1)/2*-338?
False
Suppose z - 504 = -4*a - z, 0 = 3*a - 4*z - 400. Let h be (-6)/(-7) + 752/658. Suppose 0*w + 140 = 5*w - 5*o, 0 = 5*w - h*o - a. Does 4 divide w?
True
Suppose -3*h + 4 + 5 = 0. Suppose 485 = 5*i + 3*b - b, -h*i = -b - 280. Does 8 divide (i/20)/(2/8)?
False
Suppose -r - 5*o + 285 = 0, 0 = 3*r + 2*o - 774 - 146. Does 10 divide r?
True
Suppose 5*t + 911 = 4*c - 114, -c - 3*t = -269. Does 52 divide c?
True
Let t(x) = -1 - x + 2*x - 1. Let k be t(7). Suppose k*b - b = 88. Is b a multiple of 9?
False
Suppose -2*m + 4*c - 192 = 0, 4*c = -6*m + m - 438. Does 7 divide (42/(-4))/(9/m)?
True
Let k = -49 - -70. Let j = k - 17. Is j a multiple of 4?
True
Let v be (-1 + -5)