b**2 - 33*b - 18. Is 11 a factor of v(19)?
True
Let w = -5 + 12. Is w a multiple of 3?
False
Does 36 divide -10*(1 + -6 + -17)?
False
Let h(k) = -3*k**2 + 3*k - 4. Let q be h(4). Let v = q + 63. Is 13 a factor of v?
False
Let i(j) = -2*j - 5. Let y be i(-5). Suppose y*w + 3*r - 219 = 0, -2*r + 6 + 0 = 0. Is w a multiple of 19?
False
Let i(l) = -l**3 + 8*l**2 + l - 3. Let m be i(8). Let z = -27 + m. Let t = -2 - z. Is t a multiple of 11?
False
Suppose -4*w = 12 - 0, i + 2*w + 1 = 0. Is 11 a factor of (-291)/(-15) - 2/i?
False
Suppose -n - 5*d = -0*d + 15, -4*n + 5*d = -65. Suppose n*p - 5*p = 10. Suppose -5*q - 61 = -p*v, 0 = 3*v + v - 2*q - 130. Does 12 divide v?
False
Let p(a) be the third derivative of a**5/60 + 5*a**4/24 + a**3/3 - 2*a**2. Is 5 a factor of p(-6)?
False
Let o = -84 + 133. Is o a multiple of 7?
True
Is 21/(-48)*-770 - 14/(-112) a multiple of 41?
False
Suppose -a - a = 2. Let m(j) = -14*j**3 + j. Does 6 divide m(a)?
False
Let o(t) = t**2 + 8*t. Let u(w) = w**3 - 4*w**2 + w + 3. Let y be u(3). Let m(c) = c**2 + 4*c. Let d(f) = y*o(f) + 5*m(f). Is d(3) a multiple of 6?
True
Let a = 11 - 16. Let d(s) = s**3 + 5*s**2 + 5. Is 3 a factor of d(a)?
False
Let v(a) = 10*a - 17. Let p be v(9). Suppose 4*z + 9 - p = 0. Is 8 a factor of z?
True
Suppose -5*z + 3*z = 0. Suppose 0*m + 3*m - 156 = z. Does 13 divide m?
True
Suppose 2*t = -t - 6. Let w be 2*2*(-4)/(-16). Is (-37)/t + w/(-2) a multiple of 11?
False
Suppose 5*w - 4 = d, -3*d + 21 = -0*d - 4*w. Let l = 4 + d. Is l a multiple of 3?
True
Is 3 + (30/25)/((-4)/(-730)) a multiple of 12?
False
Suppose -16 = 4*w + 4*k, 2 = -2*w + 2*k - 7*k. Suppose -2*b - 3*b - 5 = -m, 57 = 3*m - b. Let d = w + m. Is 5 a factor of d?
False
Is 9 a factor of 11/11 - 2*-39?
False
Let b = 197 + -112. Does 16 divide b?
False
Suppose 15 = -5*f, 3*u + 2*f - 21 = 3. Suppose x + u = 3*x. Is 5 a factor of x?
True
Let o = 14 - 9. Let i(k) = 5*k**2 + 4*k + 10. Let x be i(-4). Suppose 3*h = -5*f + x, o*h - 49 = -4*f + 5. Is f a multiple of 8?
True
Let p be 5/2 + (-10)/(-20). Suppose 6*o - p*o = 63. Is o a multiple of 8?
False
Suppose 25 - 508 = -3*b - 5*l, -l = -b + 153. Is b a multiple of 26?
True
Let w(v) = -7*v + 11. Let c(d) = 3*d - 5. Let a(j) = -9*c(j) - 4*w(j). Let o be a(0). Does 10 divide 0 - -2*6/o?
False
Suppose 0 = 3*a - 748 + 307. Is 21 a factor of a?
True
Let v = 124 - 38. Is v a multiple of 24?
False
Let d = -25 - -38. Suppose -3*s + d = -i, -10 = -5*s - 2*i + 19. Suppose t + 29 = 5*j - 26, -s*j = 4*t - 30. Does 5 divide j?
True
Let l be 22 + 0/(-3) + -3. Let w = -4 + l. Does 4 divide w?
False
Let o(b) = b + 19. Does 6 divide o(14)?
False
Let h be (-5 - (0 - 2))*3. Let j = 13 + h. Is (1 - 3)/(j/(-22)) a multiple of 4?
False
Suppose -4 = p + p. Let c = p - -8. Does 3 divide c?
True
Suppose -r - r = 0. Suppose -5 = -m - r. Let p = m - -1. Is p a multiple of 4?
False
Let s(z) = -170*z - 4. Does 13 divide s(-1)?
False
Let q = 6 + 108. Suppose -87 = -2*h - 5*f, -2*h - h - 2*f = -q. Does 14 divide h?
False
Let t(r) = -2*r**2 + 4*r + 3. Let d be t(-5). Let v = d + 207. Suppose -2*w + 7*w - v = 0. Does 14 divide w?
True
Suppose 0 = 4*q + 8*q - 3888. Does 42 divide q?
False
Let t be 60/(-8)*20/(-3). Suppose 2*z = -3*z + t. Does 3 divide z?
False
Suppose -3*v + 18 = -0*v. Suppose 0 = -3*o - 3*a + 54, o + 3*a = -v + 18. Is 11 a factor of o?
False
Suppose 2*n = h - 2*n + 9, 0 = 5*h - 5*n. Suppose -h*m + 12 = -m. Is m a multiple of 3?
True
Let g(u) = -10*u + 4. Is 17 a factor of g(-3)?
True
Let d = 136 - 203. Let w = d - -99. Suppose -h - w = -3*h. Does 8 divide h?
True
Suppose 4*a + 133 = 4*x + 13, 0 = -3*a. Is x a multiple of 17?
False
Let p be (-1 - 2) + 1 - -5. Let s = p - -1. Suppose 3*b + 5 = -2*b, 5*b + 33 = s*q. Is 4 a factor of q?
False
Suppose -14 = -3*k - 8. Suppose -k*t + 33 + 57 = 0. Is 15 a factor of t?
True
Suppose 0 = -2*w + 6, 0*w - 377 = 2*n - 3*w. Let z be (n/3)/((-7)/21). Suppose 4*p = 5*m - 196, 3*m - p - z = -2*m. Is m a multiple of 18?
True
Let x(r) = -30*r - 2. Does 14 divide x(-1)?
True
Let z = -7 - -12. Let t(n) = n - 4. Let y be t(4). Suppose y = z*u - 42 - 13. Does 9 divide u?
False
Suppose 0 = v + 5*g + 14 + 12, 0 = 3*v - 5*g - 22. Let a = v + 10. Suppose -a = -2*n - n. Does 3 divide n?
True
Suppose -5*j + 3*j + 16 = 0. Suppose 4*x + 3*f + 63 = j*x, 4*x + 5*f - 23 = 0. Does 12 divide x?
True
Let f = -84 + 251. Suppose -3*w = -0*i - 2*i - 248, 2*w - i - f = 0. Does 23 divide w?
False
Is 28 a factor of (-1 + 1 - -58) + -2?
True
Let r = 0 + 23. Is 7 a factor of r?
False
Suppose -4*w - 3*d = -8, 0 = -0*d - d. Suppose w*p = 4 + 4. Suppose p*k = -n + 8, 0 = -3*n + 3*k + 62 + 22. Is n a multiple of 11?
False
Does 19 divide (104/(-6))/(20/(-150))?
False
Let q(x) = -x**2 - 9*x - 9. Let r = -6 - 1. Is 2 a factor of q(r)?
False
Let b be 2*(-2)/(-12)*0. Let v = 2 - b. Is v even?
True
Suppose -2*f + 0*f - 2*z - 24 = 0, 0 = 3*f - 5*z + 4. Does 10 divide (f/20)/((-1)/25)?
True
Suppose -2*m = 3*m - 20. Is m even?
True
Let d be 1831/(-4) - (-4)/(-16). Let g = d + 648. Suppose 0 = -5*z + g + 15. Is z a multiple of 17?
False
Let x(w) = 5*w**3 - w**2 + w + 1. Let m(b) = b - 6. Let h be m(8). Is x(h) a multiple of 10?
False
Suppose t - 84 = -2*t. Suppose -5*x + 67 = -t. Is 19 a factor of x?
True
Suppose 10 = -v - v, 21 = -2*h - 5*v. Suppose 4*x - 14 = -5*y, 3*y + h*x + 0*x - 10 = 0. Does 5 divide y?
False
Does 22 divide 4 + 86 + -2 + 0?
True
Suppose -5*f + 582 - 192 = 0. Is f a multiple of 26?
True
Let l(m) = m**3 + 1. Let b be l(-3). Let u = -1 - b. Is 5 a factor of u?
True
Suppose -b + 3*b + 8 = 0, -5*b = -5*r + 245. Does 2 divide r?
False
Suppose -2*c + 4*r - 32 = 0, 5*r - 2*r - 54 = 4*c. Let o = -8 - c. Is 4 a factor of o?
True
Let a(f) = 3*f - 25. Let o be a(10). Suppose o*q - 36 = 2*q. Does 12 divide q?
True
Suppose 3*k = -k + 12. Suppose -2*p = 5*y - 5, -y + 32 = k*y - 4*p. Suppose y*g - 43 = 11. Is 9 a factor of g?
True
Let s = -8 - -10. Suppose -5*j + s*h + 47 = 0, 14 = j + 5*h - 17. Does 9 divide j?
False
Suppose -11*g - 244 + 1366 = 0. Is g a multiple of 10?
False
Let l(a) = -10*a**2 - 14*a - 7. Let w(r) = 3*r**2 + 5*r + 2. Let s(d) = -2*l(d) - 7*w(d). Let g be s(-6). Let p(b) = 3*b - 8. Is 10 a factor of p(g)?
True
Let y(z) = z - 5. Let h be y(5). Suppose -4*l + 48 + 48 = h. Does 10 divide l?
False
Let v(x) = -2*x - 4. Let j(d) = -d**2 - 3*d + 3. Let z be j(-5). Is 4 a factor of v(z)?
False
Suppose -6*f - 21 = -3*v - f, -2*v - 5 = 3*f. Suppose j - 92 = 4*b, 0 = v*b + 5 - 1. Is j a multiple of 19?
False
Let s(y) = y + 13. Let m be s(-10). Suppose 5 + m = 4*l, 94 = 4*b - 5*l. Is b a multiple of 4?
False
Suppose 0 = 2*g + 3 - 59. Suppose 3*b = -b + g. Is b a multiple of 5?
False
Let h = 339 + -212. Does 26 divide h?
False
Let m(n) = 5*n**2 - 13*n + 27. Does 37 divide m(8)?
False
Let s(a) = a + 36. Is s(0) a multiple of 12?
True
Let c = -14 + 18. Is c a multiple of 4?
True
Let c = 2 + -8. Let l(b) = b**3 - 8*b**2 + 9*b - 10. Let w be l(7). Is 5 a factor of (w/c)/(2/(-39))?
False
Is 17 a factor of (1 + 1)/(2/68)?
True
Let q(s) = -12*s**3 - s**2 + 1. Suppose 5*z + 120 = -0*z. Let k be 20/z + (-1)/6. Does 10 divide q(k)?
False
Suppose -1 - 4 = -f - z, -2*f = -z - 1. Suppose 0*m - f*m + 5*b + 12 = 0, 0 = 2*b. Is m a multiple of 3?
True
Is (-3 - -1)*62/(-12)*3 a multiple of 31?
True
Let c = 344 - 194. Does 16 divide c?
False
Suppose -4*r = 4*y - 444, 3*y - 4*r = r + 325. Is y a multiple of 17?
False
Suppose v + 5*q = 5 - 23, -5*q - 10 = 5*v. Let h(w) = 2*w - 10. Let g be h(11). Suppose v = z - g. Is z a multiple of 5?
False
Suppose 3*j = -317 + 1307. Is 51 a factor of j?
False
Let v(y) = -y**2 + 6*y. Let p be v(6). Let t(x) = -x**2 + x. Let h be t(p). Suppose -3 = -3*k, h*q + 115 = 5*q - 5*k. Is q a multiple of 12?
True
Let k be 700/21 + (-4)/(-6). Let n = 1 + k. Does 14 divide n?
False
Let h = -16 - -23. Let s(i) = h + 9*i - 10 - 37*i. Is s(-2) a multiple of 12?
False
Does 21 divide -1*(-244)/4 - 2/(-1)?
True
Let c(l) = -2*l**2 + 2 - 3 - 1 - l + l**3. Let q be c(3). Suppose q*z = 15 + 37. Is z a multiple of 12?
False
Let s = -42 + 65. Is s a multiple of 5?
False
Let m(v) = 7*v**2 - 6*v + 7. Is m(5) a multiple of 20?
False
Let h = 4 + 8. Let x be (-6)/(-4)*16/h. Suppose -t = -5*t + 12, 2*y + x*t - 30