. Does 32 divide q?
True
Let c = -11 - -16. Suppose -g = 6*f - 5*f - c, 5*g = -3*f + 19. Suppose 0*z - g*z = -20. Does 3 divide z?
False
Let c(d) = -5*d**3 - 12*d**2 + 5*d + 12. Let u(q) = -6*q**3 - 13*q**2 + 5*q + 12. Let r(v) = -5*c(v) + 4*u(v). Let a = -18 + 10. Is r(a) a multiple of 14?
True
Suppose 2 + 18 = -2*y. Let l be ((-6)/(-4))/((-5)/y). Suppose l*m = 3*s + 9, -5*m + 2*s = -0*s - 30. Does 4 divide m?
True
Let o(q) = 29*q**2 + 4*q + 24. Is 26 a factor of o(-3)?
False
Suppose -4*i + 1082 = -782. Is i a multiple of 58?
False
Let h(j) be the third derivative of -j**4/24 - j**3 + 3*j**2. Let a be h(-11). Suppose 4*o - a = 27. Does 3 divide o?
False
Suppose 32 = 5*g + 4*w, 2*g - 2*w - 3*w = -7. Let a = 3 - -1. Suppose -g = a*o - 36. Does 5 divide o?
False
Suppose 21011 = 10*y - 399. Is 19 a factor of y?
False
Let b(j) be the third derivative of j**5/15 - 5*j**4/12 + j**3/6 - 18*j**2. Is b(9) a multiple of 41?
False
Let q(m) = m + 125. Let c be q(0). Suppose 3*s + s - 5*j - 1167 = 0, 4*j = 4. Suppose c = -4*t + s. Is t a multiple of 21?
True
Is 18/(-135) + (-1502)/(-15) a multiple of 4?
True
Let g(a) = a + 11. Suppose -5*f + 44 - 9 = 0. Suppose -18*t + 17*t = -f. Is g(t) a multiple of 9?
True
Let a = -13 + -438. Let l = a + 637. Does 31 divide l?
True
Let l(s) = -s**3 - 7*s**2 - 9*s - 13. Let h be l(-6). Suppose -h*t + 348 = -3*w, -3*w = t - 47 - 37. Does 8 divide t?
True
Let i(f) = -f**3 - 16*f**2 - 40*f + 30. Is i(-17) a multiple of 28?
False
Suppose -6*j - t + 28 = -2*j, 4*j - 3*t - 12 = 0. Let h be j/(-21) - (-2)/7. Suppose w + h*w = 4*z - 85, -3*z = 2*w - 61. Does 5 divide z?
False
Let a(i) = i**3 - 12*i**2 + 86*i + 2. Is 7 a factor of a(8)?
True
Suppose 32*i - 856 = 28*i. Does 13 divide i?
False
Suppose -5*j + 4 = 4*r, -r + 2*j + 6 = -8. Is (-372)/(-11) + r/33 a multiple of 8?
False
Let f(r) = -r**2 + 2*r + 3. Let u be f(0). Suppose 0 = 2*d + 5*h - h - 168, -228 = -u*d + 2*h. Is d a multiple of 21?
False
Let g = 798 + -462. Does 63 divide g?
False
Suppose -i + 136 = 29. Is 6 a factor of i?
False
Let h be -4 + 86 - (-2)/((-6)/9). Let a = -11 + h. Is a a multiple of 34?
True
Let p(g) = g**3 + 2*g**2 - 86*g - 1. Let q be p(-10). Suppose 0 = -o + 6*o - 460. Let k = o - q. Is 11 a factor of k?
True
Let u(q) = -25*q - 6. Let w be u(2). Let t = 19 - w. Does 25 divide t?
True
Is 7 a factor of (-4)/(-16) - (-2826)/24?
False
Suppose -2*a = -5*a + 3*s - 9, 5*s - 15 = -5*a. Suppose 0*r - 5*r + 130 = a. Is r a multiple of 5?
False
Let l(z) be the first derivative of z**4/4 - 3*z**3 - 7*z**2/2 + 10*z + 10. Does 5 divide l(10)?
True
Let q be 2*(3 + 3/(-2)). Suppose q*k = k + 104. Is 13 a factor of k?
True
Suppose 50 = -x + 392. Is x a multiple of 47?
False
Let o = 441 + 14. Does 10 divide o?
False
Let j be (-4 - 2/(-1))*1. Let l be 43 - j - 0 - 3. Suppose -93 = -3*n - 3*s, 3*n - 134 = -2*s - l. Is n a multiple of 10?
True
Suppose -11*x - 5359 = -21980. Does 39 divide x?
False
Is 105 a factor of 45552/48 + -3 + -1?
True
Let b(d) = 2*d**3 - 11*d**2 - 140*d - 42. Is 79 a factor of b(15)?
True
Let f(o) = 2*o**3 + o**2 - 3*o - 3. Suppose 0 = -3*c + 16 - 4. Is 43 a factor of f(c)?
True
Let b = -668 + 1161. Is 29 a factor of b?
True
Let l = -3 + 632. Is l a multiple of 10?
False
Suppose -47 = -r + q, r + 4*q - 45 = 7. Is 24 a factor of r?
True
Suppose -p - 5*d = 2*p - 463, -149 = -p - 3*d. Suppose 3*m + 2*m + 4*h = p, -95 = -3*m - 4*h. Does 6 divide m?
False
Let s = 177 + 31. Does 31 divide s?
False
Let t(r) = 2*r**2 - 72*r - 90. Does 10 divide t(40)?
True
Let o(i) = -59*i - 3. Let f(a) = a**2 + 9*a + 8. Let h be f(-7). Let y be o(h). Suppose w - 9 = 5*m + 52, 0 = 5*w - 2*m - y. Is w a multiple of 28?
False
Suppose -22*q + 14154 + 102 = 0. Is 10 a factor of q?
False
Suppose 0 = -3*d - 2*m + 160, 2 = d - 3*m - 66. Suppose 2*k - 4*r + 16 + 0 = 0, 2*r = 5*k + d. Does 7 divide (-9)/k + 159/12?
True
Let x(v) = -v**2 - 9*v + 8. Let a be x(-11). Let g = -16 + a. Is 17 a factor of 6*1*g/(-9)?
False
Let s(b) = -b**2 + 9*b - 10. Let x(j) = 7*j**2. Let d be x(1). Let z be s(d). Suppose 3*k = -4*n + n + 81, -z*n = -k - 113. Is 14 a factor of n?
True
Suppose -2*f + 70 + 396 = 0. Is 18 a factor of f?
False
Let b be 45/(-5)*(0 - 1). Let v(x) = -x + 10. Let i be v(b). Suppose -g + 19 = -i. Is 6 a factor of g?
False
Suppose -15*s = -21*s + 5976. Does 83 divide s?
True
Let s = 128 + -124. Suppose 29 = -s*l - 2*j + 347, 3*j = -l + 92. Does 9 divide l?
False
Suppose 9*k - 2869 - 20 = 0. Is k a multiple of 69?
False
Let u(r) = -r**3 - 4*r**2 + 9*r - 28. Is 52 a factor of u(-13)?
False
Suppose 181 = 2*t - 2*h - 135, 2*t - 307 = -h. Does 4 divide t?
False
Let o(s) = 8*s + 14. Let v be o(-7). Let p be 17/(-3) - (-2)/(-6). Is 4 a factor of 3/p + v/(-4)?
False
Let y = -9 - -14. Let w(b) = 43*b - 92*b + 3 + 53*b. Is 14 a factor of w(y)?
False
Let b(p) = p - 25. Let w be b(-8). Let r = w - -93. Is r a multiple of 30?
True
Suppose 5*q = k - 185, 5*q = -0*k - 4*k + 615. Is 13 a factor of k?
False
Is 66/2 + (-25 - -7)/6 a multiple of 30?
True
Let p(z) = 2*z**2 + 72*z + 54. Is 9 a factor of p(-36)?
True
Let v = 3 + -7. Let p be (-1 - v)/((-18)/132). Let h = 35 + p. Is h a multiple of 13?
True
Let h(x) = -112*x + 465. Does 85 divide h(-30)?
True
Let o be (68/10)/((-18)/(-45)). Let p = o - 15. Is 276/(-12)*p/(-2) a multiple of 13?
False
Let a(k) = k**3 - 2*k**2 + k. Let d be 230/20 + 1/(-2). Let c = d + -8. Does 3 divide a(c)?
True
Suppose 8 = 4*v - 0. Let t be (0 + 8)*v/4. Suppose -40 = -4*y + t*u, -y - 3*u = -10 - 16. Does 4 divide y?
False
Let f be (-1)/(-4) + (-69)/(-12). Suppose 4*l = t - f*t + 48, 4*l = -4*t + 48. Is l even?
True
Let z(v) = v**2 + 4*v - 4. Suppose -3*s - 19 = -4. Let w be z(s). Does 7 divide (w + 3 + 7)/1?
False
Suppose -2*l = 3*l + 50. Let h(x) = x**2 + x. Let v(g) = -g**3 - 15*g**2 - 6*g - 4. Let f(r) = 5*h(r) + v(r). Is 5 a factor of f(l)?
False
Suppose 6049 = 11*v - 6623. Is 48 a factor of v?
True
Suppose 0*m + 6 = 2*m. Suppose 5*n + 0*p - 1115 = m*p, -5*p = 2*n - 415. Is 10 a factor of n?
True
Let f(q) = q - 8. Let x be f(9). Let p be ((-416)/48)/(x/3). Let d = p + 46. Is d a multiple of 5?
True
Suppose -34*d + 39*d = -4*m + 126, 4*m + 3*d = 122. Is 7 a factor of m?
False
Suppose -16*r + 2512 = -20*r. Is r/(-20) - -2 - 2/5 a multiple of 11?
True
Let p = 13 + -9. Suppose 3*a + 27 = p*a. Is 27 a factor of a?
True
Suppose 0 = -4*s - 0*s - 52. Let l = 26 + s. Let q(f) = f**2 - 10*f - 5. Is 9 a factor of q(l)?
False
Suppose 0*v + 3*v = -6258. Let f be v/(-9) - (-22)/99. Suppose -5*r + f = -198. Does 13 divide r?
False
Let s = 168 - 97. Suppose -3*i + 4*y + s = -2*i, -3*y = i - 36. Suppose -15 = -5*q + 3*p - 8*p, 5*q = 4*p + i. Is q a multiple of 2?
False
Suppose 2*d + 371 = v - 3*d, 3*v = 3*d + 1065. Suppose -5*k - z = -3*k - 179, v = 4*k - 5*z. Does 40 divide k?
False
Let f(r) = -3*r**2 - 39*r - 14. Let n be f(-11). Suppose n = 3*q - 128. Is q a multiple of 5?
True
Suppose 5*w + 4*w = 513. Let p = w + 113. Is 33 a factor of p?
False
Let f(s) = 5*s - 151. Let d(z) = 70 + 22 - 16 - 3*z. Let q(y) = -7*d(y) - 4*f(y). Does 18 divide q(0)?
True
Suppose -j = 4*j + 10, -4*w + 3050 = -5*j. Suppose 0 = -4*q - 4*u + w, 3*u + 189 = 4*q - 543. Is 31 a factor of q?
True
Let r(g) = -g**2 + 5*g - 2. Let j be r(3). Suppose 5*l + v = -2*v - 3, 28 = -j*l + 4*v. Is 3*((-35)/l + 2) a multiple of 41?
True
Let d = 113 - 31. Let j be ((-6)/(-12))/((-1)/d). Let o = j + 73. Is o a multiple of 5?
False
Suppose -5*n + 5*t + 476 = -369, n - 173 = 5*t. Let s = n + 192. Is s a multiple of 30?
True
Let k(w) = -w**3 + 3*w**2 + 5*w - 2. Let p(c) = c - 5. Let l be p(9). Let b be k(l). Is 33 - (-3 + b + -2) a multiple of 9?
True
Does 45 divide (1/2)/(18/16200)?
True
Suppose 9*j - 8453 = 2266. Does 19 divide j?
False
Let c(h) = -4*h + 20. Let y be c(5). Suppose 3*n = d + 11, y*n - 4*n + d = -16. Suppose q - n*a + 3*a - 88 = 0, 5*a = -2*q + 194. Is q a multiple of 23?
True
Is (-12 - -11)/(9/(-1287)) a multiple of 11?
True
Let a = -10 - -18. Suppose -6*j = -2*j - a. Suppose -j = 3*m - 176. Is 18 a factor of m?
False
Let z = 32 + -23. Let k = 13 - z. Suppose -3*b + 126 = 4*w, 5*w = -0*w + k*b + 142. Is 11 a factor of w?
False
Suppose -3*i - 2*p + 4 = -5, 0 = p. Suppose 3*v - 2*a - 30 = 2*a, -i*v + a