True
Let u(j) = j**3 - 3*j**2 - 4*j + 3. Let l be u(4). Let r = 19 - l. Is r a multiple of 13?
False
Suppose -2*f - 2*k + 8 = 0, -5*k = -6*f + 4*f + 1. Let o be 2/7 - 824/(-56). Let z = f + o. Is 8 a factor of z?
False
Suppose -2*b - 293 = 25. Let o = b - -299. Suppose 6*w - o = w. Does 14 divide w?
True
Suppose 5*y - 4*y = 46. Is 13 a factor of y?
False
Let r(n) be the second derivative of 7*n**4/12 + n**3/6 - n**2 + 2*n. Does 12 divide r(-2)?
True
Let x(t) = t**2 - 11*t + 40. Does 24 divide x(16)?
True
Suppose -4*b = -12, 3 = x + 4*b - 3*b. Let p(a) = -5*a**2 + x*a**2 + 2 - 2*a**3 + 2*a + 0*a**3. Is p(-4) a multiple of 15?
False
Is 17 a factor of 3*1*-238*(-2)/12?
True
Is 1 + -1 + -10 + 32 a multiple of 11?
True
Suppose 2*o - 12 = o. Does 7 divide o?
False
Let a(o) = -o**2 + 8*o + 12. Let w be a(9). Let g be w*(-2 + 30/9). Suppose -3*i - 2 = 1, g*i = -5*c + 11. Is c a multiple of 3?
True
Let j(q) = q**3 + 9*q**2 - 4*q - 12. Is j(-8) a multiple of 28?
True
Let t(n) = 1 + n**2 - 4 - 29*n + 27*n. Let h be t(7). Let x = 48 - h. Is x a multiple of 5?
False
Let r(t) = t**3 + 7*t**2 + 6*t + 10. Is 5 a factor of r(-5)?
True
Let c(a) = 3*a + 2. Let j(u) = -2*u - 3. Let g(v) = 4*c(v) + 5*j(v). Let l be g(5). Suppose 5*n - 45 = 5*x, n + 4*n + l*x = 85. Is n a multiple of 14?
True
Suppose -x + 9 = -19. Does 4 divide x?
True
Let s(v) = -8 + 49*v + 7 + 2. Does 14 divide s(1)?
False
Let k = 460 - 180. Does 40 divide k?
True
Let c(u) = u**2 + u + 1. Does 8 divide c(3)?
False
Suppose -g = -3*g. Suppose g = -4*x + 2*x + 22. Suppose -2*i - x = -51. Is 10 a factor of i?
True
Let q(h) be the first derivative of h**3/3 - 4*h**2 - 19*h + 7. Does 11 divide q(14)?
False
Suppose 4*y - 166 = -i - 5, 0 = -5*y - 4*i + 193. Does 9 divide y?
False
Let d(h) = -h - 4. Let t be d(-8). Suppose -t*a - 8 = 0, 0*f - a + 40 = 2*f. Suppose 2*j + 2*z - 10 = 0, -f = -4*j - 5*z - 0. Does 4 divide j?
True
Suppose -56 - 184 = -5*h. Is 6 a factor of h?
True
Suppose -p = -1 - 21. Does 7 divide 6/1*p/6?
False
Does 11 divide -2 + 24/(4/4)?
True
Suppose 3*u = -2*a + 31, -7*u + 3*a = -3*u - 47. Is u a multiple of 11?
True
Let f(l) = -l**3 + l + 2. Let j be f(0). Suppose j*a = -2 + 10. Suppose 4 = -i + 3*w, -4*i + 13 = i - a*w. Is i a multiple of 3?
False
Let m = 347 - 132. Is m a multiple of 27?
False
Let y(b) = b**3 + 9. Let h be y(0). Does 5 divide (3 - h)/(4/(-10))?
True
Does 11 divide 30 + (6/(-3))/(-1 - -2)?
False
Suppose 7 + 5 = 3*b. Suppose 0 = 3*w + b*l - 39, -4*w = 4*l + 6 - 54. Is w a multiple of 8?
False
Let k = -20 + 44. Does 8 divide k?
True
Let j(p) = 2*p - 5*p**2 + 3*p**2 + 12*p + 6*p**2. Is 20 a factor of j(-6)?
True
Suppose 0 = -3*k + 69 - 27. Let z = k + -8. Does 3 divide z?
True
Suppose 4*n + 5*x = 303, x + 2 = -x. Does 11 divide n?
True
Let q = -7 - -18. Suppose 41 = 3*a - 4*i - 0*i, -2*i = 3*a - q. Suppose -a*x + 3*x = -24. Does 4 divide x?
False
Is 165*((-8)/(-3))/4 a multiple of 21?
False
Does 8 divide 4/24 + (-3 - (-365)/6)?
False
Suppose -5*j = -26 + 1. Does 2 divide j?
False
Let c = -9 - -3. Let x(l) = -l**2 - 15*l - 9. Does 13 divide x(c)?
False
Let a(l) be the second derivative of -7*l**5/20 - l**4/6 - l**3/2 - 3*l**2/2 - 4*l. Does 17 divide a(-2)?
True
Let z(t) = 2*t + 3. Is z(6) a multiple of 8?
False
Let y(h) = 87*h**3 + 2*h**2 - h. Let o be y(1). Let a = o - 58. Does 11 divide a?
False
Suppose -19 = -2*j - 3*y + 36, 25 = 5*y. Suppose 4*r = -j, 45 = q + q + r. Let v = q - 15. Does 10 divide v?
True
Is (-5 - -99)/1 + -3 a multiple of 12?
False
Let q = 214 - 97. Does 39 divide q?
True
Suppose -4*y - 2*o = o + 1, 2*y - o = 7. Let v be (2 - 1)*2 + 23. Suppose 7*c = y*c + v. Is c a multiple of 2?
False
Let b(p) = p**2 + p + 1. Let i be b(-2). Suppose 5*k = -i*g + 156, 5*k + 1 = -4*g + 154. Is k a multiple of 13?
False
Suppose -46 = -3*n - 5*x + 4*x, -n - 5*x = -20. Suppose -4*p - n = -7*p. Is p a multiple of 2?
False
Let x(f) = -8*f**3 + 2*f**2 + f - 3. Does 19 divide x(-2)?
False
Suppose 3*h = 0, -2*h - 2*h + 86 = w. Is 23 a factor of (w/4)/((-6)/(-12))?
False
Let o be (2 + -1)*(-2 - -4). Suppose 3*f - 13 = -o*y + 17, 0 = -f + 3*y + 21. Does 4 divide f?
True
Let h(p) = -5*p. Let y be h(-1). Suppose 5*q - 5 = y. Suppose -5*u + 5*v + 75 = 0, 3*u - q*v - 2*v - 42 = 0. Does 10 divide u?
False
Suppose -5*x + 49 = 3*y, 0 = 3*x + 2*x + 5*y - 55. Does 2 divide x?
True
Let a(v) = -3*v + 1. Let o be a(-3). Suppose 3*p + w = 17 + 53, o = -5*w. Is p a multiple of 8?
True
Let v be (-6)/(-1)*7/14. Let a = 1 + 0. Let c = v + a. Is c a multiple of 4?
True
Suppose 636 = 6*t + 210. Is t a multiple of 9?
False
Is (-2)/6*(-70 - 23) a multiple of 15?
False
Suppose 2*g = 2*y + 2*y, 2*y = 0. Suppose 2*n - 57 - 9 = g. Does 11 divide n?
True
Let m(k) = k**3 - 2*k + 4. Is m(3) a multiple of 5?
True
Suppose -d - 5 = 4*q, 9 = 4*d - 5*d - 5*q. Is 11 a factor of d?
True
Let c(r) = -r**2 - r + 2. Let g be c(-4). Let s = -5 - g. Does 5 divide s?
True
Let p be (-1 - 1)/(2/(-17)). Let f = p + -4. Does 11 divide f?
False
Let v = 138 - 69. Is 5 a factor of v?
False
Suppose 0 = 4*x - 8*x + 1004. Suppose y + 3 - 8 = 0, -y - x = -4*i. Does 18 divide i?
False
Suppose -26 = -4*m + w + 15, -5*w - 15 = -m. Is 10/7*(m + 4) a multiple of 10?
True
Let x be 15/(-2)*(-8)/3. Let g(h) = -h**2 - 7*h + 11. Let n be g(-8). Suppose 0 = -d - n*d + x. Is d even?
False
Let g(f) = 5*f**2 - 5*f + 7. Let t(q) = -14*q**2 + 16*q - 20. Let x(k) = -11*g(k) - 4*t(k). Let o be x(9). Suppose -27 = o*i - 117. Is 8 a factor of i?
False
Let y(o) = 9*o + 12. Is 33 a factor of y(6)?
True
Let z(f) = -f**3 - 7*f**2 - 5*f + 8. Suppose 2*q = -0*q - 12. Let n be z(q). Suppose -m - n*m + 4*t = -57, 0 = 5*m - 3*t - 95. Is 10 a factor of m?
False
Let h be (-5)/(-2)*(-24)/(-20). Suppose -58 = -h*q + q + 2*p, 5*p = 5. Is 10 a factor of q?
True
Let m(x) = 2*x**2 + 2*x - 5. Is 4 a factor of m(3)?
False
Let w = 25 - 1. Suppose 18 = 2*a - 2*z, 5*a + 3*z = z + w. Is 6 a factor of a?
True
Suppose s = 7*s - 546. Does 7 divide s?
True
Suppose 0 = -2*k + 7*k + 10. Let u be ((-37)/k)/(1/2). Suppose -5*j = -u - 33. Is j a multiple of 14?
True
Let w = -2 - -4. Suppose 2 - 4 = w*d. Is d/3 + 91/3 a multiple of 11?
False
Suppose 6*i - 2*i = 0. Suppose 5*l - x - 19 = i, -l = l + 4*x + 10. Suppose 0 = -2*h + l*y + 38, -3*h + 4*y = -h - 40. Does 8 divide h?
True
Let g = -6 + 1. Let y(z) = z - 1. Let p(i) = 6*i - 3. Let u(w) = -p(w) + 4*y(w). Is 9 a factor of u(g)?
True
Let b(z) = z - 5. Let y be b(12). Suppose -3*q + y*q - 52 = 0. Is q a multiple of 4?
False
Let o(c) = -40*c**3 - c**2 + c + 1. Is 16 a factor of o(-1)?
False
Is 3 a factor of (-3 - 0)*(-9 + -2)?
True
Let g be 2 + (0/4)/(-4). Suppose -g*a = -4*a + 20. Does 4 divide a?
False
Let i = 5 + -1. Suppose i*g - 115 = 53. Is g a multiple of 14?
True
Let h(m) = m**2 - 4*m + 1. Let q be h(6). Suppose -q + 3 = -2*a. Is a a multiple of 5?
True
Let n = 15 + 3. Is 9 a factor of n?
True
Is 15 a factor of 2*12/(-8) + 18?
True
Suppose 0 = -2*k + 5 - 1. Suppose -3*r = k*r + 10. Let z(x) = -4*x**3 - 2*x**2 - x - 2. Is z(r) a multiple of 11?
False
Let u = 37 - 19. Suppose -u*q + 34 = -16*q. Is q a multiple of 17?
True
Is (-6 - -4)*16/(-2) a multiple of 8?
True
Suppose 0*n + 135 = 5*n. Does 27 divide n?
True
Let f be (-22 + 15)*1*3. Let x = 4 - 7. Is 8 a factor of 1 + f/9*x?
True
Suppose 1 + 123 = 2*s - 2*b, -s - 4*b = -62. Is s a multiple of 14?
False
Let s = 22 + -23. Suppose -2*r + 14 = -2*y, -5 = -5*r - 2*y - 3*y. Is 5 a factor of 93/12 - s/r?
False
Is (-7 - -1)/(6/(-3)) even?
False
Let k = 158 - 54. Let j = k - 65. Is j a multiple of 10?
False
Let x(p) = -p**3 - p**2 + p - 1. Is x(-4) a multiple of 13?
False
Let h = 29 - -189. Does 22 divide h?
False
Let k(u) = u**2 - 3*u**2 + 0 + 0 + 4*u**3 - 1. Is k(2) a multiple of 23?
True
Is (12/(-8))/(3/(-32)) a multiple of 3?
False
Let k(m) = -m**3 + 6*m**2 + m + 4. Suppose 3*r = -2*y + 6*y - 18, -8 = -3*y + 5*r. Let b be k(y). Suppose 2*i - b = 28. Is i a multiple of 13?
False
Suppose 4*g - 16 = -0. Let v(w) = 11*w**2 + 3*w. Let c be v(-2). Suppose g*m - 34 = c. Is m a multiple of 10?
False
Let r = 44 - 24. Is 14 a factor of r?
False
Is 13 a factor of (-26)/(1/(-2) + 0)?
True
Suppose 3*i = 2*i + 11. Is i a multiple of 4?
False
Suppose v - 8 = 11. Suppose -5*x + 3*g = -g