 -24. Let o be (-6)/4*(-50)/h. Suppose o = 2*r - 117. Is 27 a factor of r?
False
Suppose 2*d - y - 5 = 2, 2*d = -y + 1. Suppose q - d*q + 50 = 0. Does 25 divide q?
True
Suppose -112*u + 116*u = 3*m - 14511, 0 = -5*u - 15. Is 27 a factor of m?
True
Let z(x) be the second derivative of -x**4/3 + x**3/2 - 5*x. Let t(a) = -7*a**2 + 7*a - 1. Let n(r) = 2*t(r) - 5*z(r). Does 25 divide n(4)?
False
Let b = 34 - 18. Let a be (18/4)/(6/(-12)). Let u = a + b. Is 2 a factor of u?
False
Let a be (1/3)/((-9)/1107). Suppose -2*r + 0*r - 5*v = -15, -2*v = -5*r - 35. Let z = r - a. Is 10 a factor of z?
False
Suppose 2*q - 235 = -t, 0*t + 699 = 3*t + 3*q. Does 7 divide t?
True
Is 32 a factor of ((-3)/9)/(-1*1/822)?
False
Let w = -115 + 91. Is 11 a factor of (-99)/(-6)*w/(-18)?
True
Suppose -3*g - 4*v = -2684, 1330 - 432 = g + 2*v. Is g a multiple of 65?
False
Suppose 0*x = -5*f - 2*x + 281, 3*f - 3*x - 156 = 0. Let w = f + -14. Does 8 divide w?
False
Let u be (-66)/(-154) - 1/(7/(-2349)). Let r(v) = 2*v - 4. Let z be r(3). Suppose z*p - 6*p = -u. Does 28 divide p?
True
Let i(w) = -9*w**3 + 41*w**2 + 5*w + 19. Let c(j) = -4*j**3 + 20*j**2 + 2*j + 9. Let a(k) = -7*c(k) + 3*i(k). Is a(17) a multiple of 2?
False
Let f = -19 + 24. Suppose b + 224 = -0*n + 4*n, 224 = 4*n - f*b. Does 4 divide n?
True
Suppose y - 2*h = 3*y + 16, -24 = 4*y - 4*h. Let k(n) = -n**3 - 7*n**2 - 4*n - 4. Does 6 divide k(y)?
True
Let f = 1211 + -650. Is f a multiple of 11?
True
Suppose -110*v + 119*v - 6102 = 0. Is v a multiple of 21?
False
Is 3331 + -12 + 44/4 a multiple of 74?
True
Let y(v) = v + 2 + 28 - 14. Does 6 divide y(-4)?
True
Let l = 18 - -4. Suppose 5*s + 23 + 11 = 3*d, 2*s + 3*d + l = 0. Let k(a) = -a**2 - 9*a + 3. Is k(s) a multiple of 8?
False
Let y(z) = 11*z**3 + 95*z**2 + 54*z. Let o(h) = 4*h**3 + 32*h**2 + 18*h. Let n(w) = -8*o(w) + 3*y(w). Is 10 a factor of n(-28)?
True
Let t = 715 - 601. Is 57 a factor of t?
True
Suppose -3 = -3*a + 6. Is 25 a factor of ((-3)/a)/((-3)/309)?
False
Suppose 7*x - 49 = -0*x. Let j = 12 - x. Suppose -4*y + j*v + 358 = 0, v = -4*y + 91 + 255. Is 10 a factor of y?
False
Suppose -4*o - 3*r + 6688 = 0, 4*o - 4*r = -2*r + 6688. Does 76 divide o?
True
Suppose -80*c = -82*c - 2. Does 9 divide (3 - (c + 2))*(-4 - -20)?
False
Let l = 77 + -139. Let y = -3 - l. Is y a multiple of 21?
False
Let d = -10 + -5. Let v = -9 - d. Does 9 divide v/12 - (-35)/2?
True
Suppose -3*q = -2*q - 9. Suppose 498 = -q*v + 1380. Does 11 divide v?
False
Suppose l = 63 - 61. Suppose -3*h + 6*h - l*r = 116, -3*h + 5*r + 101 = 0. Is h a multiple of 7?
True
Suppose -353*y + 342*y + 13662 = 0. Is y a multiple of 23?
True
Suppose -5*n = 11*o - 6*o - 5610, 0 = -5*n - 25. Is 2 a factor of o?
False
Let s = -24 - -18. Let c be (-125)/15 - (-4)/s. Is (258/(-9))/(6/c) a multiple of 13?
False
Let s = 21 - 15. Suppose 3*p + 0*p = s. Suppose 0 = 5*c - p*c - 105. Is c a multiple of 12?
False
Let d(f) = -f**2 - 8*f - 4. Let m be d(-6). Let q = -5 + 20. Suppose -m*w + q = -7*w. Is 14 a factor of w?
False
Let t be ((-1)/(-3))/((-2)/30). Let a = t + 3. Is 10 a factor of (4/10)/(a/(-100))?
True
Let j(x) = -10*x + 14. Is j(-4) a multiple of 6?
True
Suppose 464 = t - 4*y, -21 + 2358 = 5*t - 3*y. Is 23 a factor of t?
False
Let q = 10 + -10. Let i be q - (2 - -24) - 1. Is 4 a factor of (-264)/i - (-2)/9?
False
Let f be 28 - 4/(-8)*6. Suppose f = -i + 4*s, -4*i - 2*s + 0*s = 214. Let r = -24 - i. Is r a multiple of 9?
True
Suppose 0*g + 30 = g. Is 8 a factor of -40*(-5)/g*48/10?
True
Let y(m) = 2802*m**2 - 39*m + 40. Is y(1) a multiple of 34?
False
Suppose 4*u - 62 = 6*u. Let q = 33 - u. Is 8 a factor of q?
True
Let f(u) = u**2 + 4*u + 3. Let k be f(-4). Suppose k*p - 7 = 2. Let v = 25 + p. Is 14 a factor of v?
True
Let a(j) = -4*j - 2. Let g(i) = -9*i - 3. Suppose 0 = 2*k + 12 + 2. Let p(m) = k*a(m) + 4*g(m). Is p(-1) a multiple of 2?
True
Let h(z) = -5*z + 19. Let d be h(0). Suppose -20 = -3*f + d. Does 13 divide f?
True
Suppose -5*a + 3*c + 351 = 0, 3*a + 2*c - 150 = a. Let f = -24 + a. Is 12 a factor of f?
True
Let r = -127 + 117. Is 6 a factor of (2 + 204/(-5))*25/r?
False
Let b(v) = 0*v**2 - 33*v + 38*v - 1 + 7 - v**2. Let w be b(6). Suppose 4*q - 312 = -w*q. Is 16 a factor of q?
False
Suppose -4*q = -6*q + 4. Let m be 1*-26 + -2 - q. Is 3 a factor of 1/(-5) + (-366)/m?
True
Suppose -s - 1 = 1, -i = 4*s + 12. Does 4 divide (-144)/i*10/15?
True
Suppose 5*r = 2*b - 4 + 19, 5*r - 5*b - 15 = 0. Let a be (r/(-4))/(3/(-12)). Suppose -a*h = -q + 8, 0 = 3*h - 5*h + 2. Does 10 divide q?
False
Does 138 divide (3881 - 0) + 756/108?
False
Let s(r) = r**3 + 55*r**2 + 8*r - 2. Does 6 divide s(-4)?
False
Does 43 divide 90/(-35)*(-185 - 4)?
False
Suppose -10*a + 4*a = -648. Is 9 a factor of a?
True
Suppose 63*s - 64*s = 2*l - 226, 3*s = 3*l + 669. Is s a multiple of 16?
True
Let o = -2668 + 2864. Is o a multiple of 6?
False
Suppose -2*v + 2205 = -3*a, -5*v - 2*a + 1831 + 3710 = 0. Is v a multiple of 9?
True
Let b = 703 + -312. Is 28 a factor of b?
False
Let d = -121 + 179. Suppose 2*u = -8, 4*y + 2*u - 42 = d. Is 27 a factor of y?
True
Suppose -5 = 4*n + 7. Let y be (1 - -2) + -5 - n. Is ((-4 + y)*-5)/1 a multiple of 3?
True
Suppose 4*v + 20 = -2*p - 0*v, -20 = -3*p + 4*v. Let s(o) = 75 - 11*o**2 - o**3 + 6*o**2 + o + 4*o**2. Is 25 a factor of s(p)?
True
Let t = 449 + -104. Does 4 divide 1 - (t/(-5) + -2 + 0)?
True
Suppose t + 2*m + 16 = 3*t, -3*t - 5*m = 16. Suppose d - 2 - 7 = -t*r, 4*d = -4*r + 12. Let p = 12 + r. Does 12 divide p?
False
Let u = -57 + 81. Let j be -4 + (-12)/(-4) - -37. Let g = j - u. Does 5 divide g?
False
Let h = -24 - -81. Let a = h + -29. Suppose 0 = -3*l + 7*l - a. Is 7 a factor of l?
True
Let y = 12 - 17. Let h = y + 43. Is 18 a factor of h?
False
Let h be 0/(-3) + (9 - -1). Let b = h + -6. Suppose -l - l = v - 54, b*l - 252 = -5*v. Does 14 divide v?
False
Let l be (7 - 8)*(-3 + -1). Suppose u = t + 2, -l*t + 1 = -u - 0*u. Suppose -3*r - z + 132 = 0, u*r + 5*z + 60 = 4*r. Is r a multiple of 15?
True
Suppose 7*a = 3*a + 12. Let y(g) = -g**3 + 2*g**2 + 4*g - 3. Let j be y(a). Suppose 13 + 29 = x + 3*b, 2*b - 8 = j. Is x a multiple of 13?
False
Let w(s) = -14*s**3 - 13*s - 30. Is w(-4) a multiple of 17?
True
Let s(i) be the second derivative of i**5/20 + i**4/3 - 4*i**3/3 + 5*i**2/2 + 7*i. Let q be s(-5). Suppose 0 = 3*m - 4*m + q. Does 5 divide m?
True
Suppose 4*j = 2*w - 112, 2*j + 156 = 6*w - 3*w. Is w a multiple of 45?
False
Suppose 2*u - u - 2 = 0. Let w(p) = 68*p - 1. Does 27 divide w(u)?
True
Let l(b) = -2*b**3 - 4*b**2 - 10*b - 19. Does 47 divide l(-6)?
True
Suppose 0 = -0*y + 2*y - 190. Is y a multiple of 4?
False
Suppose -o = -4*c + 29, -35*o = -40*o - 25. Suppose 0*m - 24 = -3*m. Is 9 a factor of (-2 - (-28)/m)*c?
True
Suppose -4*m + 2*m = -6. Does 4 divide 6/(-9) + 44/m?
False
Let w be (-22)/(-6) - 2/3. Suppose 0 = 4*c + 5*h - 52, w*c - 4*c = 2*h - 13. Let v = 17 + c. Does 6 divide v?
True
Let h(z) = 4*z. Suppose 11 = -3*y - 5*l, -7*y - 1 = -2*y + 4*l. Is h(y) a multiple of 12?
True
Suppose 0 = -2*v - 3*v + 10. Let m = -3 + v. Is (m - 1) + (18 - 10) a multiple of 6?
True
Let b = 105 + 177. Is 6 a factor of b?
True
Suppose 17*w - 16*w = 130. Let h = w - 53. Is h a multiple of 7?
True
Let r(z) = 3*z**3 + 2*z**2 - z - 107. Let a(q) = -4*q**3 - 3*q**2 + q + 160. Let h(y) = 5*a(y) + 7*r(y). Is h(0) a multiple of 9?
False
Let u(v) = 5*v**2 + 2*v + 3. Let w be u(-3). Let c = w + -24. Does 15 divide (c/2)/(9/81)?
False
Let s be 3/((-2)/((-32)/12)). Suppose -3*z + u + 13 = 0, s*z - 24 = 3*u - 0. Let t = z - -11. Is t a multiple of 10?
False
Suppose -b = 4*b - 15. Suppose 0 = 2*k - b*k. Suppose -3*d + 7*d - 11 = q, q - 3*d + 6 = k. Does 7 divide q?
False
Let h = 289 - -159. Is 56 a factor of h?
True
Let o = -198 - -288. Suppose 3*p - 6*p = -o. Is p a multiple of 15?
True
Does 7 divide (1 - (-3)/(-4)) + 468837/1356?
False
Let q(z) = z + 14 - 4*z + 2 + 2*z. Is q(-12) a multiple of 21?
False
Let a(v) = 7*v. Let f be a(1). Suppose -9*o + f*o = 0. Suppose o*b + 44 = b. Is b a multiple of 11?
True
Suppose 0 = -46*y + 51*y - 230. Is y a multiple of 3?
False
Suppose 11 = -v + 5. Is (-27)/v*(-120)/(-9) a multiple of 15?
True
Let u be 890/(-15)*9/(-6). Suppose -5*g - l + 165 = 0, -l - u = -5