 multiple of 9?
True
Suppose -629 = -5*r + 3*n, -r + 242 = r + 2*n. Does 31 divide r?
True
Suppose 2*d + 4*a = 678, 2*d - 678 = -2*a + 7*a. Is 4 a factor of d?
False
Suppose -12 = -3*f - 6. Suppose -5*u + 6 = -f*u. Does 15 divide (-305)/(-10) - 1/u?
True
Let l(u) = -482*u - 26. Let c be l(8). Does 25 divide c/(-24) + (-2)/(-8)?
False
Suppose -4*d - 3*r - 2*r = -126, -2*r = -2*d + 54. Let c = d + -27. Suppose 237 = c*x + 57. Does 30 divide x?
True
Let c(k) = -2*k + 2. Let p be c(0). Suppose t + p*t + 9 = 0. Is 4 a factor of (-22 - (t - -7))/(-2)?
False
Suppose -l + 212 = -4*d, -140 = -3*l + 4*d + 480. Is 17 a factor of l?
True
Let d be -1 - 1*3/3. Is (-42 - 8/d)/(-2) a multiple of 5?
False
Suppose 4*q - 19*g + 15*g = 3840, 4*q = -4*g + 3856. Does 26 divide q?
True
Suppose -k + 3*i + 3790 = 4*k, -2268 = -3*k + 3*i. Is 79 a factor of k?
False
Let o(z) = 51*z**3 - 2*z**2 - 16*z + 67. Is o(3) a multiple of 7?
False
Is 23 a factor of (-15)/(-6)*((-1970)/(-25) + -4)?
False
Let b(z) = -29*z**3 + 4 - 2*z**2 - 33*z**3 + 63*z**3. Let p be b(0). Suppose v - p*u = -4*v + 192, -3*u - 189 = -5*v. Is 9 a factor of v?
True
Let m = -169 + 159. Let d(v) = -14*v - 23. Does 13 divide d(m)?
True
Suppose -3*j - 40 = 2*j. Let w = -5 - j. Let r(i) = i**3 - 2*i**2 + 5*i - 3. Does 6 divide r(w)?
False
Let b = 18 - 20. Let v be -5*b*4/8. Is 21 a factor of (12/(-10))/(v/(-175))?
True
Let l(f) = -2*f**2 + 12*f - 32. Let c(s) = -3*s**2 + 13*s - 33. Let d(k) = -3*c(k) + 4*l(k). Is 7 a factor of d(-15)?
False
Suppose 13*b - 23040 = -11*b. Is 16 a factor of b?
True
Let z = 16 - 8. Let p = z + -6. Suppose -w - 39 = -p*w. Is 11 a factor of w?
False
Let b = 58 + -34. Suppose 0*d - b = -d. Does 12 divide ((-27)/(-12))/(2/d)?
False
Suppose -3*b - 3*y = -2*y + 61, 2*b = -4*y - 44. Suppose -3*j + 392 = 4*j. Let d = b + j. Is d a multiple of 12?
True
Suppose -o + 5*x = -23, 2*x + 0*x + 8 = 0. Let h = o + -19. Is 11 a factor of (h/(-12))/((-2)/(-66))?
True
Let t(q) = q**2 - 11*q + 11. Let w be t(12). Let k = w - 15. Let o = 54 + k. Is 19 a factor of o?
False
Suppose 2*y + p = 279 + 303, -3*y + 873 = 2*p. Is y a multiple of 4?
False
Let d(s) = -s**3 + 6*s**2 - 5*s - 4. Let m be d(5). Let w be (0 - 0)*m/(-4). Suppose -2*p + 8 = w, 428 = -y + 6*y - 3*p. Is 33 a factor of y?
False
Let d(o) = -o - 37 - o**2 + 17*o + 9*o. Is 17 a factor of d(12)?
True
Suppose -4*n + 7*n = 87. Is n a multiple of 3?
False
Let a = -148 - -451. Is 10 a factor of a?
False
Suppose -87*x = -82*x - 2475. Let d = -333 + x. Is d a multiple of 9?
True
Suppose -42446 = -65*v - 14236. Does 4 divide v?
False
Let i be -1 - (3 - 6 - 0). Suppose -i = -0*w + w. Does 4 divide 15 + w - (-4 + 5)?
True
Suppose 5*g + 5 = 4*o, 0 = g - 5*g - 3*o - 4. Let d be (27 + g)*9/(-18). Let v = 33 + d. Does 12 divide v?
False
Suppose -4*g + 2 + 107 = -5*x, 3*x - 5*g = -68. Let r = 4 - x. Is r a multiple of 25?
True
Suppose -34*w = -51*w + 17442. Is 57 a factor of w?
True
Suppose -992 = -4*q + 772. Does 14 divide q?
False
Let p(j) = 540*j**2 - 27*j - 2. Is 14 a factor of p(2)?
False
Suppose 0 = -f - f - 178. Let r = f - -140. Suppose 3*h - 35 = -2*u, 5*h - 6*u + 2*u = r. Is 3 a factor of h?
False
Suppose -i = -2*k - 2*i + 536, 0 = k + 4*i - 261. Is 8 a factor of k?
False
Suppose -u - 3*f + 778 = 0, 4*u - 3*f - 3112 = -4*f. Is 6 a factor of u?
False
Let l be 108/20 + (-2)/5. Let v(k) be the second derivative of -k**3/6 + 27*k**2/2 + 54*k. Is 10 a factor of v(l)?
False
Let t be (-4)/16 - (-699)/12. Let n(d) = -t*d**3 - 12 + 2*d**2 + 59*d**3 + 4*d**2 - 10*d. Is n(-6) a multiple of 16?
True
Suppose -2*l + 304 = 5*q, 8 = -2*q + 4. Let r = 343 - l. Does 12 divide (2/4)/(3/r)?
False
Let h(s) = -5*s - 23. Let t be h(-10). Let u = t + -19. Does 2 divide u?
True
Let h be -25*(20/5)/(-4). Suppose 0 = 3*m + r - 19, 0 = -5*m + 5*r - 0*r + h. Is 31 a factor of 2/m - (-170)/3?
False
Let d(l) = 38*l + 18 - 12 - 11. Is 31 a factor of d(3)?
False
Suppose 9*d - 10*d + 16 = 0. Does 16 divide d?
True
Let h(g) = g**3 - 6*g**2 - 11*g + 9. Let v(k) = -k + 8. Let t(b) = b - 8. Let f(l) = -3*t(l) - 4*v(l). Let z be f(16). Is 14 a factor of h(z)?
False
Suppose 7*i - 10*i = -12. Suppose -3 = -q - i*m - 7, 5*q + 2*m + 20 = 0. Is 9 a factor of 53/2 - q/8?
True
Let f(v) be the first derivative of -v**6/120 - v**5/10 - 7*v**4/24 + v**3/3 + 5*v**2 - 12. Let p(t) be the second derivative of f(t). Does 3 divide p(-5)?
True
Suppose 24*c + 15288 = 73*c. Is 13 a factor of c?
True
Let o(i) = -i**2 - 27*i + 53. Suppose 0 = -6*f + 2*f - 88. Does 39 divide o(f)?
False
Let j = 154 + 78. Does 29 divide j?
True
Is 4 + 0 - -393*(-3)/(-9) a multiple of 15?
True
Suppose 11*v - 6421 - 9793 = 0. Is v a multiple of 11?
True
Suppose 5*m - 264 = -4*y + 5*y, 5*m + 2*y - 252 = 0. Suppose 3*r - 239 = -5*u, 2*r - 119 = -u + m. Is r a multiple of 8?
True
Let k(y) be the first derivative of 7*y**2/2 - 12*y - 12. Is 15 a factor of k(10)?
False
Let f(n) = -n**2 + n. Let i(s) = 3*s**2 - 17*s + 9. Let o(z) = 4*f(z) + i(z). Is 4 a factor of o(-10)?
False
Let b = 2 + 1. Let x = b - 3. Is 19 a factor of 40 - 2 - x/1?
True
Let k(o) = 2*o**2 - 16*o + 6*o**2 + 2 - 7*o**2. Let h be k(16). Suppose h*a = 13 + 33. Is 5 a factor of a?
False
Let f(r) = -9 + 4*r + 3*r**3 - 7*r**2 - 4*r**3 - 2. Is f(-8) a multiple of 4?
False
Suppose 26 = 3*q - 4*f, 0 = q - 4*f + 2*f - 10. Let i(u) = 4*u**2 - 7*u - 3. Let j be i(q). Is -1 + 0 + (j - -1) a multiple of 33?
True
Suppose -3 = -3*l - 0, l = -4*d + 721. Is d a multiple of 8?
False
Suppose 72 = -4*c + 5*c. Does 2 divide (6/(-18))/((-2)/c)?
True
Does 15 divide -2 + 738/4 - 90/36?
True
Let c = 21 - -293. Does 30 divide c?
False
Does 2 divide 1458/30 + ((-24)/15 - -1)?
True
Let w be 3*3/(-3) + 10. Suppose 2*k + 40 = 4*l + w*k, 4*l - k - 16 = 0. Is 2 a factor of l?
False
Let d be (-1)/2*(-7 + -279). Suppose -a - 3*s + 81 = 0, -2*a + d = -5*s - 30. Is 15/2*a/18 a multiple of 10?
False
Let j(h) = -5*h + 9. Let z be j(-7). Let m = z + 18. Is m a multiple of 14?
False
Let y be 946/330 - (-4)/30. Let n = 3 - 1. Suppose -2*x - 2 - n = 0, -d + y*x + 90 = 0. Is d a multiple of 24?
False
Suppose 14*m - 1957 = 2509. Is 16 a factor of m?
False
Suppose -y = 2*m - 1318, 22*m - 652 = 21*m - 4*y. Is m a multiple of 22?
True
Let h(w) = -10*w - 37. Suppose -2*a - 4 = 0, -5*a + 8 + 9 = -3*z. Does 28 divide h(z)?
False
Suppose -5*b - 78 - 7 = 0. Let y(m) = -190 - 2*m + m - 2*m - m + 170. Is 22 a factor of y(b)?
False
Let o = 25 + -16. Let b = -4 + o. Suppose p - b*p = -48. Does 11 divide p?
False
Let r(d) = d**3 - 9*d**2 - 3*d - 22. Let b be r(10). Suppose b = 9*n - 5*n. Is n a multiple of 2?
True
Let s = 534 - 360. Let f be 8/(-28) - s/(-21). Suppose -a = 4*c - 10, -a + c - f = -38. Is 13 a factor of a?
True
Let t(f) = f**2 + 5*f + 3. Let h be t(-5). Let z(v) be the first derivative of 3*v**4/4 - 4*v**3/3 - v**2/2 + v - 92. Does 43 divide z(h)?
True
Let j(r) = -r**2 + 17*r + 19. Let q be j(18). Does 3 divide (3/q)/(6/(-15) - -1)?
False
Suppose 52*g - 56*g - 3*a = -6870, -4*g + 6862 = -a. Is 41 a factor of g?
False
Let v = 14 + 20. Suppose g = 2*g - 3. Suppose -20 = -g*x + v. Does 11 divide x?
False
Let a = 40 - 26. Let d = a - 12. Suppose 4*z - 119 = -2*f - 3*f, -f + d*z + 21 = 0. Is f a multiple of 5?
False
Let w(f) = -f**3 + 3*f**2 + 4. Suppose -3*y = -4 - 5. Let p be w(y). Is 5 a factor of (-1)/p + (-315)/(-28)?
False
Suppose 3*u + 6 = 9. Let s be 0 - (-2)/u - -2. Suppose 2*r = m + 2 + s, 5*m = 4*r - 6. Is 3 a factor of r?
False
Let l be 2 + 0 - (-16 + -10 + 15). Let i be -2 + 1 - (1 + -8). Suppose -3*a + 15 = 0, -2*m - l = a - i*a. Is m a multiple of 2?
True
Suppose -25 = -5*g - 3*r + r, -8 = -g - r. Let x be 53 + (-10 + g - -4). Suppose -2*d + 192 - x = 4*q, -3*d - 15 = 0. Is 29 a factor of q?
False
Suppose -5*y - 5 = 5*o, -2*o + 2*y + 22 = o. Suppose 0 = o*c + 48 - 848. Suppose -4*x + c = x. Is 9 a factor of x?
False
Let i(t) = 101*t**2 - 8*t + 5. Is 13 a factor of i(2)?
False
Let h(j) = -j**3 - 2*j**2 - j + 8. Let q be h(-3). Does 19 divide (0 - (-372)/q) + (-4)/(-10)?
True
Let h be (25 - 19)*(-142)/(-4). Suppose -80*g - h = -83*g. Is 7 a factor of g?
False
Let d = -7 - -11. Suppose -343 + 23 = d*g. Is 6 a factor of (-54)/(-5)*g/(-24)?
True
Let s = 13 + -14. Let a be s*(-62 - (1 - -1))