se
Let g(f) = -f**2 + 4*f + 2. Let z be g(4). Suppose -3*i - 21 = -3*w, -z*w = -i - 3*i - 24. Suppose -w*v + 96 = 2*v. Is 21 a factor of v?
False
Let y = 61 + -34. Let g = y - 16. Does 11 divide g?
True
Suppose -3*i + 8*x - 23 = 3*x, -5*x + 5 = 0. Let b = -1 - i. Is b a multiple of 2?
False
Let h be (2 - (-1 - -2)) + 1. Let w be (-195)/(-9) - h/3. Suppose -i - 2*t + 21 = -6*t, 4*i + 5*t = w. Does 9 divide i?
True
Suppose -2*d + 2*j = -6 - 10, 5*d + 4*j = 76. Let n = d - -6. Is 8 a factor of n?
False
Is 128 + (2/(2 - 0) - 3) a multiple of 12?
False
Let b = 92 - 47. Does 21 divide b?
False
Suppose -2*r = -2*g - 20, 0 = -r - 2*r + g + 22. Does 6 divide r?
True
Suppose 7*g = 4*g + 90. Is 12 a factor of g?
False
Let q be (81/(-1) + -2)/(-1). Let x = -48 + q. Is x a multiple of 16?
False
Let d = -10 + 18. Is d a multiple of 8?
True
Let o(p) = -2*p - 7. Let r be o(-5). Let g = 4 - r. Is 11 a factor of -11*(-1 - g - -1)?
True
Suppose 0 = 2*t - c + 4, -t + 10 = -3*t + 4*c. Let r = t + 6. Does 3 divide r?
False
Does 13 divide (1*12 - 2)/((-6)/(-39))?
True
Let v(z) = -z**2. Let a(h) = 8*h - 6. Let q(y) = a(y) - v(y). Is q(-9) a multiple of 3?
True
Let v(w) = w**2 - 7*w - 2. Let c be v(5). Let l be (40/c)/((-1)/(-21)). Is l/21*63/(-5) a multiple of 18?
False
Suppose 0 = -2*w + 5*w - 12. Suppose -n = -w, 3*n - 21 - 71 = 5*r. Let c = -9 - r. Does 7 divide c?
True
Let u = 7 + -3. Suppose 5*m - 92 - 23 = -5*d, 0 = -u*d + 2*m + 86. Is 7 a factor of d?
False
Suppose -3*f - 8 = -5*f. Suppose 38 = j - 8*z + f*z, -2*z - 226 = -5*j. Does 21 divide j?
False
Let s = -1 - -5. Suppose 3*r - 2*b = -16, -s*b + 8 = -0. Does 15 divide 342/24 - 3/r?
True
Let n(w) = 4*w**2 + 33*w + 5. Does 3 divide n(-9)?
False
Let i be ((-16)/10)/(2/(-5)). Suppose 5*o = -5, i*g = 2*o + 1 + 1. Suppose 0 = -g*l - 3*l + 48. Does 12 divide l?
False
Let s(v) = v**2 + 5*v + 6. Is 12 a factor of s(-10)?
False
Let j(l) = -6*l. Let g be j(1). Let i be (57/g)/(2/(-4)). Let x = 45 - i. Is x a multiple of 13?
True
Let z = -46 + 109. Let g = 95 - z. Does 16 divide g?
True
Suppose 4*v = 2*v + 208. Is 29 a factor of v?
False
Let p(d) = 3*d**2 + 4*d - 14. Does 15 divide p(-7)?
True
Let l(u) = -16*u + 1. Let a be l(-2). Suppose -a = -d - 13. Does 11 divide d?
False
Suppose -4*q + 12 = -q, -2*d - q = 8. Let n = 8 + d. Is 2 a factor of n?
True
Does 8 divide 4/((-8)/(-43)) - 7/(-14)?
False
Is 112/6*(7 + -4) a multiple of 16?
False
Suppose m - 2*z + 6 = 0, -2*m + 7 = 4*z - 5. Suppose 2*n = -4*d + 120, -2*n = -3*d - m*n + 90. Is 10 a factor of d?
True
Let n = 3 + -18. Let c = n + 23. Is 8 a factor of c?
True
Let m(t) = -3*t + 2. Let k be m(4). Let h be ((-12)/k)/(1/5). Is 14 a factor of 27 + 2/h*3?
True
Let g(a) = a**2 - 7*a + 3. Let w be g(7). Suppose 48 = n - 5*z - 0*z, w*n + 5*z - 64 = 0. Suppose h = -h + n. Does 8 divide h?
False
Suppose 0 = 2*a + f - 179, -5*f + 37 = a - 30. Is a a multiple of 6?
False
Suppose 3*a - 3*o = 147, 2*a + 38 = o + 133. Does 15 divide a?
False
Let u(o) = -o**3 + 15. Let a be u(0). Let y(x) = a + x - x - x. Does 6 divide y(9)?
True
Let l(z) = -29*z - 2. Is l(-1) a multiple of 9?
True
Let l = -26 - -48. Is 2 a factor of (-2)/10 + l/10?
True
Let d = 3 - -1. Suppose d*t + 3*r = -r + 12, 2*t = -5*r + 15. Let u(a) = a + 28. Is 14 a factor of u(t)?
True
Let d(k) = -5*k**2 + 5. Let h be d(-4). Is 13 a factor of (-8)/12*h/2?
False
Let a(l) = l**3 + 17*l**2 + 11*l + 21. Is 18 a factor of a(-16)?
False
Let d(p) = -p**2 - 8*p - 1. Let m(l) = l + 8. Let q be m(-6). Let w = -8 + q. Is d(w) a multiple of 11?
True
Suppose -4*x + 3*s - 15 = -92, -5*x = s - 101. Suppose -3*r + 0*r - 20 = -y, y + r = x. Let n = -14 + y. Does 6 divide n?
True
Does 7 divide (-1)/(((-2)/40)/1)?
False
Let l(y) = -3*y - 6. Let v be l(-6). Let o be 2/(-4)*7*-2. Let b = v + o. Is 8 a factor of b?
False
Suppose 13 + 22 = 5*v. Let w(j) = -2*j + 10. Let b be w(v). Is (b/6)/((-4)/132) a multiple of 11?
True
Let g(u) = 39*u**2 - 5*u + 5. Is 11 a factor of g(1)?
False
Let r = 65 - 126. Let q = r + 90. Does 13 divide q?
False
Let c(x) = 3*x - 3. Is c(8) a multiple of 6?
False
Suppose 3*u = 64 - 7. Suppose w - 2*w + u = 0. Does 8 divide w?
False
Let k(y) be the first derivative of 3*y**2/2 - 7*y - 1. Let s = 11 - 6. Is 3 a factor of k(s)?
False
Suppose 2*o - 4*j = 54, 0*o - 3*j = o - 17. Does 3 divide o?
False
Suppose -2*q + 80 = 3*q. Let i(b) = b**2 + b - 2. Let y be i(-2). Suppose n - 5*k = -n + q, 5*n + 2*k - 11 = y. Is n a multiple of 3?
True
Let j(x) = x**2 - x + 11. Let f = -1 + 1. Is j(f) a multiple of 11?
True
Let y(j) = j**3 + 10*j**2 + 5*j - 9. Is y(-9) a multiple of 14?
False
Let m = -4 + 8. Let v(f) = f**2 - 5*f - 1. Let h be v(m). Let l(q) = -6*q - 4. Is 12 a factor of l(h)?
False
Suppose -4*r - 45 = -5*v + 62, -4 = 4*v. Let a = r + 102. Does 37 divide a?
True
Let f(h) = h + 69. Let u be f(0). Let a = u + -38. Is 7 a factor of a?
False
Let u(y) = -2 - 1 + 5 - y + 3. Let w be u(4). Suppose p = 5*s - 2 + w, 3*p - 3*s - 9 = 0. Is p a multiple of 4?
True
Is 28 a factor of (-56)/6*(-4 + 1)?
True
Is ((-15)/6)/(3/(-73 + 1)) a multiple of 20?
True
Let h(g) = g**3 - 7*g**2 - 7*g - 11. Let b be h(8). Let r be -4 - (b - 0) - -6. Let z(o) = -o**2 + 5*o + 2. Is 2 a factor of z(r)?
True
Let s = 45 + -22. Suppose 0*b - s = -b. Suppose 4*k = x - 3, -x + b = 5*k - 7. Is x a multiple of 10?
False
Let s = -77 - -94. Does 6 divide s?
False
Let w be (-1)/(79/(-26) + 3). Suppose -4*y - f + w = 0, 2*y + 7*f - 4*f = 18. Let g = 0 + y. Is g a multiple of 3?
True
Let p = 3 - 1. Suppose -q - p*q - 2*z = -46, 3*z + 50 = 4*q. Is q a multiple of 7?
True
Let t(h) = 0*h**3 - 5*h**3 - 1 - h + 0*h. Let j be t(-1). Suppose -6*w - i + 225 = -w, -j*i = 3*w - 113. Does 24 divide w?
False
Let z(a) = a**3 - a**2 + a - 1. Let q(c) = 7*c**3 - 9*c**2 + 4*c - 2. Let d(p) = -q(p) + 6*z(p). Let m be d(3). Suppose -u - m + 9 = 0. Does 4 divide u?
False
Suppose 0 = 4*i - 3*i - 2. Suppose -12 = i*l - 3*l. Is 6 a factor of l?
True
Let q be (-1)/((-2)/(-2 - -4)). Let s be (-6)/(-2)*(q + 0). Let z = 6 - s. Is 2 a factor of z?
False
Let f(i) = -2*i**3 + 2*i + 4. Let x be f(3). Let q(z) = z**2 + z + 1. Let c(b) = -26*b**2 - 22*b - 22. Let u(w) = x*q(w) - 2*c(w). Does 16 divide u(2)?
True
Let f(o) = 3*o**3 - o**2 + o - 1. Let w be f(1). Is w/4*-4 - -12 a multiple of 4?
False
Does 7 divide (4/(-5))/(1/(30/(-3)))?
False
Let u = 3 - -1. Suppose 5*t + 11 = -2*y + 49, -16 = -u*t. Is 4 a factor of y?
False
Let t be (2 + 0 - -1)*1. Suppose -t*r = 5*a - 410, a + r - 82 = -r. Is 11 a factor of a/4 + 3/2?
True
Suppose -3*u - 5*z + 55 + 111 = 0, 0 = 3*u - z - 172. Is u a multiple of 14?
False
Let z be (-2)/7 - 38/14. Let d = 29 + z. Is 13 a factor of d?
True
Let v(b) = b - 2. Let k be v(5). Is 12 a factor of (-1 + 3)*18/k?
True
Let g(i) = -8*i + 6. Suppose 2*k + 0*f - 8 = 5*f, 3*k + 14 = f. Does 22 divide g(k)?
False
Suppose u + 0*u = 0. Suppose u = -q - q + 120. Suppose -6*i = -2*i - q. Is i a multiple of 15?
True
Suppose -5*w = i - 278, 4*i + 15 = w - 49. Is w a multiple of 14?
True
Let g(j) = 2*j - 6. Let q be g(4). Let h(t) = 4*t**3 - t**2 - t - 2. Does 8 divide h(q)?
True
Let d(u) = 98*u**2 + 3*u - 2. Let l be d(1). Let o = l + -63. Does 10 divide o?
False
Suppose 8*m = 9*m - 182. Is 19 a factor of m?
False
Let s(u) = 10*u**2 - 12*u - 7 - u**3 - 7 + 29*u. Is 26 a factor of s(11)?
True
Is 13 a factor of ((-6)/5 - -3)*10?
False
Let q(h) = 4*h**2 - 5*h + 21. Is 16 a factor of q(5)?
True
Let p(n) = n - 3. Let u be p(5). Suppose -34 = -u*x - 0. Is x a multiple of 13?
False
Let c(y) = -17*y**3 + y**2 + y - 1. Is c(-1) a multiple of 8?
True
Suppose -l - 12 = -3*m - 3, l = 5*m - 17. Suppose 17 = l*n - n + w, -5*w + 8 = -n. Suppose -5 = -3*i + n. Does 4 divide i?
True
Is 4344/156 + (-4)/(-26) a multiple of 7?
True
Let r = -10 - -9. Is 12/(-12)*(r - 66) a multiple of 33?
False
Let q(b) = 18*b. Let i be q(1). Suppose -4*w = 2*t - 32, 4*t - 82 + i = 3*w. Is t a multiple of 15?
False
Let k be -1 + 2 + 1/(-1). Suppose -2*h + 57 - 17 = k. Is 10 a factor of h?
True
Let d be (1 - 3) + 3 + -1. Suppose -5*i + d*i = -95. Let w = i - -4. Is w a multiple of 8?
False
Let y(k) = 3*k - 9. Let g(c) = c**3 + 8*c**2 + 5*c - 6. Let h be g(-7). Is 15 a factor of y(h)?
True
Let s = 727 + -375. Is 53 a f