 -m*d - 44. Is i a multiple of 11?
False
Is 7/(7/312) - (-7 - -11) a multiple of 7?
True
Suppose 7*y - 3*y - 2171 = 5*q, 0 = y + 3*q - 530. Let z = y - 317. Suppose -5*n = -2*n - z. Is 23 a factor of n?
False
Let h be (-98)/(-4) - (-18)/12. Suppose 2*i + 22 = -2*a, 5*a - a + 52 = -2*i. Let v = a + h. Does 5 divide v?
False
Let g be 6/24 - (-13)/(-4). Let q(x) = 8*x**3 - 3*x**2 + 2*x - 1. Let r be q(2). Let s = r - g. Does 19 divide s?
False
Is 12 a factor of -37 - -36 - (-879 + 2)?
True
Let s = 1128 + -312. Does 71 divide s?
False
Suppose -4*x - 4*i = -3*i - 495, i - 245 = -2*x. Suppose -4*w + x = 3*o, 6*o - o + w = 197. Is 7 a factor of o?
False
Let u = -52 + 55. Suppose 6 = 3*p - m - 6, 0 = -u*p - 4*m + 12. Does 4 divide p?
True
Let a(b) = -3*b**3 + 11*b**2 + 40*b + 8. Is 47 a factor of a(-9)?
True
Let s(y) = 4*y**2 - 4*y + 1. Let i be s(3). Suppose 2*h + 23 = -i. Is 12 a factor of 1/(-4) - 1422/h?
False
Is 25 a factor of 6 - (-54 + 4 + 3)?
False
Suppose 11 = 4*h - 1. Let l(n) = 4*n**3 - 3*n**2 + 7*n - 1. Is 16 a factor of l(h)?
False
Let g = -2602 + 4427. Does 20 divide g?
False
Suppose 4*h - 20 = 0, 4*y - 49*h = -47*h + 4974. Is y a multiple of 11?
False
Let m be (-10)/(-3)*(-6)/(-2). Let d(w) = w + m + 4 + 3 - 5. Is 7 a factor of d(0)?
False
Let b(h) = -3*h**3 + 5*h - 2. Let j be b(3). Let s = j + 140. Does 24 divide s?
True
Suppose -u = -109 - 27. Let t = -77 + u. Does 11 divide t?
False
Let x = 6 + -4. Let l = 312 + -309. Suppose -5*j + l*k + 168 - 12 = 0, 5*j + x*k - 146 = 0. Does 6 divide j?
True
Let n(v) be the third derivative of 0*v**3 - 9*v**2 + 16/15*v**5 + 0*v**4 + 0*v + 0. Does 22 divide n(1)?
False
Let b(m) = m**3 + 2*m**2 - 4*m. Let w be b(-3). Suppose 2*h + 180 = w*f, 53 = f - 0*h - 3*h. Is 19 a factor of f?
False
Let l(g) = -g**3 - 12*g**2 + 13*g - 3. Let v be l(-13). Let a be (1/3 + -2)*v. Suppose a*y - 120 = y. Does 10 divide y?
True
Suppose -16 - 5 = 4*g - o, 2*o - 10 = 0. Let y be 1/(-2)*24/g. Suppose -y*c + 45 = -3*i, 0*c + 27 = c - 5*i. Is 12 a factor of c?
True
Suppose -f = 7 + 4. Let u = f - -14. Suppose -u*x = -15, 5*w + 2*x - 365 = x. Does 18 divide w?
True
Let m = -4 + 6. Suppose -2*i + 8 = 2*c + 2*c, -2*i + m*c = -38. Is 5 a factor of i?
False
Let p(j) be the first derivative of j - 7/3*j**3 + 5 - 1/2*j**2 - 1/4*j**4. Does 4 divide p(-7)?
True
Let d = 14 - 12. Suppose -m - d = -10. Does 10 divide (-3)/12 + 338/m?
False
Let q be -13 + 4 - -1 - 3. Let z = 59 + q. Does 16 divide z?
True
Suppose -2*f + 2*x + 95 = 3*f, 3*f = -x + 57. Let n = -17 + f. Suppose 70 = 2*k + n*q, -4*k - 2*q + 130 = -0*q. Is k a multiple of 12?
False
Suppose 3*o = -3*a - 159, o = 4*a - 90 + 312. Suppose 2*j + 6 = -4*h, -5*j + 2*h = 3*h + 24. Is 22 a factor of (-328)/j + (-22)/a?
True
Suppose 68 = u + 3*u. Suppose -t = 5*l + u + 1, l = -5*t - 42. Is 8 a factor of (-130)/t + (-2)/8?
True
Let y = 19 - 17. Suppose -315 = -3*f - 3*j, y*j = -f + 4*f - 315. Is f a multiple of 35?
True
Suppose -3*b + 215 = 5*u - 2*b, 43 = u + 2*b. Suppose -3*w = -u - 152. Is w a multiple of 10?
False
Let j(s) = -s**2 - 17*s + 4. Let i(z) = z**3 + 11*z**2 + 13*z + 13. Let f be i(-10). Is j(f) a multiple of 3?
False
Let a = 90 - 76. Let s(u) be the second derivative of u**4/12 - 2*u**3 - 9*u**2 - u. Does 10 divide s(a)?
True
Suppose -8*p = -642 - 54. Suppose -85*q = -p*q + 56. Does 28 divide q?
True
Is 76 a factor of (-497)/(-6 - 1) + 5?
True
Suppose -1400*g + 7536 = -1392*g. Does 8 divide g?
False
Suppose 0 = -3*c + 181 + 3599. Does 28 divide c?
True
Let b(k) = -k**3 - 2*k**2 - 2*k - 5. Let a be b(-3). Suppose 5*q + 5*f = 185, 0 = -q + 5*f - a + 59. Does 22 divide 11*-6*(-52)/q?
True
Let h(k) = k**2 + 9. Let i(t) = -2*t**2 - 3*t + 1. Let f be i(1). Let s be h(f). Is -125*(-4 - (-85)/s) a multiple of 17?
False
Is (3627/(-65))/((5/(-1))/25) a multiple of 6?
False
Suppose 4*p = -12, -p + 2*p - 231 = -2*d. Suppose 2*i - d = 135. Does 14 divide i?
True
Let o be 12/28 + 150/42. Suppose 4*d - 76 = -3*u, -89 = -o*u + 2*d + 49. Does 16 divide u?
True
Let i(c) = 17*c**2 + 2*c + 17. Let z(m) = 2*m**2 + m + 1. Let l(d) = -2*i(d) + 18*z(d). Is 7 a factor of l(-9)?
False
Suppose -n - n = 2*d - 58, d - 23 = 2*n. Suppose -q + 78 = 4*l, -l = 6*q - 2*q - d. Let t = l + 3. Is t a multiple of 12?
False
Suppose 5*k = 5 + 20. Suppose 0 = -0*w + k*w - 5, -y - 2*w = 3. Let u(x) = -11*x + 1. Does 14 divide u(y)?
True
Let g be (1 - 1) + -57*1. Suppose 0 = -0*t + 15*t - 1695. Let f = g + t. Is f a multiple of 28?
True
Let b = 18 + -18. Suppose -4*g - 16 = b, -92 = -o - 6*g + 3*g. Is o a multiple of 8?
True
Let n = -953 - -1007. Is 18 a factor of n?
True
Let z(p) = 5*p - 40. Let d(o) = -o**2 - 7*o + 16. Let a be d(-6). Does 5 divide z(a)?
True
Let o(t) = 3*t - 10. Let i be o(4). Suppose -i*h - 2*h = -68. Suppose -3*g + h = -79. Is g a multiple of 9?
False
Is 23 a factor of (-6)/(-39) - -1*140823/39?
True
Let p(m) = 6*m**2 + 18*m - 12. Is 51 a factor of p(7)?
True
Let z = 813 + -581. Does 29 divide z?
True
Does 12 divide 54/5*(-36 + 56)?
True
Suppose 3*g + 2*b - 5205 = 0, -6*g + 4*b - 8675 = -11*g. Is 46 a factor of g?
False
Let t(k) = -k**2 - 4*k - 2. Let a be t(-4). Does 16 divide ((-432)/45)/(a/10)?
True
Let i be -1 + (-4 - (2 - 5)). Let r = i + 6. Is 2/4 - (-46)/r a multiple of 5?
False
Let c be 202 + (56/(-70))/(2/(-5)). Suppose -5*a - 37 = -4*l - 571, -2*a + c = -4*l. Is a a multiple of 18?
False
Let h = -93 + 579. Suppose h = 7*i - 284. Is 10 a factor of i?
True
Let v(w) = -33*w + 44. Does 52 divide v(-16)?
True
Suppose 0 = -4*n + j + 2, -n + 5*j + 10 = -0. Suppose n = -3*d + 2*d. Is d + (2 - 68/(-2)) a multiple of 18?
True
Suppose 4021 + 781 = 2*x. Is 11 a factor of x?
False
Suppose -281 = -2*d - 701. Let l = d + 312. Does 16 divide l?
False
Let w(m) = m**3 + 8*m**2 + 7*m + 3. Let b be w(-6). Suppose 6*c - 21 = b. Is 9 a factor of c?
True
Suppose -4*h + 12 = 0, -3*h = 4*v - 5*h + 26. Let m(a) = -3*a - 14. Let z be m(v). Let g(n) = 24*n**3 - n**2 + 1. Is g(z) a multiple of 8?
True
Suppose -5*a - 226 = 4*o, 46 = -4*a - 5*o - 142. Is 2 a factor of -1 - -3 - a/3?
True
Let c(a) = -a**3 + 21*a**2 + 20*a - 60. Is 45 a factor of c(21)?
True
Let y = 52 - 46. Is 13 a factor of (7*-7)/(y/(-24))?
False
Let j = 31 - 33. Let o(u) = 64*u**2 + 2*u - 2. Is 50 a factor of o(j)?
True
Let p be 4/(-12) - 58/6. Let c = p + 19. Let l(g) = g**3 - 10*g**2 + 9*g + 6. Does 6 divide l(c)?
True
Let q(k) = 178*k + 383. Is 60 a factor of q(4)?
False
Is 90 a factor of (4371/6 - -2) + 5/(-10)?
False
Let t(v) = 3*v + 7 - 14 - 5. Let x be t(8). Let u(c) = c**2 - 9*c - 12. Does 12 divide u(x)?
True
Suppose 1025 = 3*z + 257. Suppose 7*p - 3*p = z. Suppose x + p = 5*x. Is 16 a factor of x?
True
Suppose 7*d - 19 = 4*d + 5*l, 0 = -5*d - 3*l + 43. Suppose 30 = -2*r + d*r. Suppose -92 = -4*g + 2*a, 6*g = 2*g - r*a + 106. Is 12 a factor of g?
True
Let d(h) = 73*h + 132. Is d(8) a multiple of 6?
False
Suppose -4*z - 10 = 14. Let h be 32/z*-1*6. Suppose 0 = -3*s + h + 19. Is s a multiple of 5?
False
Let x = -683 - -2312. Is 9 a factor of x?
True
Does 11 divide (10 - 4)*(693/(-6))/(-3)?
True
Let n(t) = -t**3 - 6*t**2 - t - 3. Let d be n(-6). Suppose j = 2*v - 92, 4*v + 4*j = d*v + 37. Is (-10)/1*(-297)/v a multiple of 22?
True
Let k(t) = -25*t**2 + 6*t + 10. Suppose 5*n - 23 = m + 15, 4*n = 3*m + 37. Let x(l) = -17*l**2 + 4*l + 7. Let s(w) = n*x(w) - 5*k(w). Is s(2) a multiple of 4?
False
Is 116/3*24/16 + -2 a multiple of 8?
True
Let c be (7 - -135)/(-1 + -1). Let v = 120 + c. Does 10 divide v?
False
Let f(r) = -r**3 - 7*r**2 + 3*r + 15. Let i be f(-7). Does 22 divide 152 - 2/(i - -5)?
True
Let m(x) be the third derivative of -1/6*x**4 - x**3 + 0*x + 0 - 8*x**2. Does 2 divide m(-3)?
True
Let m(i) = -338*i - 18. Is 58 a factor of m(-4)?
True
Let v(k) = 2*k + 15. Let c be v(-6). Suppose 5 = o - 2*r, -2*o + 2*r + 13 - c = 0. Is 3 a factor of o?
False
Is 19 a factor of (24*32/120)/(4/190)?
True
Let w(l) = l**2 + 3*l + 8. Let y be (8 - (5 - 1) - 4)/1. Is w(y) a multiple of 4?
True
Suppose -46*j + 745 = 193. Is 12 a factor of j?
True
Is 35 a factor of -3*(-3585)/9 - 5?
True
Let t be (-10)/(-3) + 6/9. Suppose -5*f = -6 - t. Suppose 3*m + f*m = 330. Is m a multiple of 20?
False
Let a = -94 + 286. Is 16 a factor of a?
True
Let j be (-4