
Let k = -12 - -5. Let y(o) = -o**2 - 6*o + 7. Let q be y(k). Suppose -l - 40 = -w - 4*l, q = 5*w + 4*l - 222. Is 23 a factor of w?
True
Let c be (-1 + 3)/(2/(-3)). Let y(h) = 19*h. Let j(n) = 56*n. Let x(l) = c*j(l) + 8*y(l). Is x(-2) a multiple of 20?
False
Suppose -5*i = -3*d + d + 9, -5 = -5*i. Is 2 a factor of d?
False
Let o(m) = -3*m + 1. Is 3 a factor of o(-6)?
False
Suppose -2*f - 2*f = -48. Suppose 42 = 2*z + f. Does 14 divide z?
False
Suppose 2*f + 296 = 4*r, -3*r + 6*f + 228 = 3*f. Let i be 386/8 - 8/32. Let t = r - i. Is t a multiple of 12?
True
Does 31 divide (0 + -3 + 4)*62?
True
Let p(q) = q - 8*q - 1 + q**3 - 2*q**2 + 7 + 0*q. Is p(4) a multiple of 4?
False
Suppose -w + k + 5 = -0, 5*k = -25. Suppose 4*q - 14 - 26 = w. Is 10 a factor of q?
True
Let k be ((-42)/(-1))/(-1 + 2). Let i = k + -2. Is i a multiple of 20?
True
Suppose 5*k - 2 = 8. Let m(o) = 3*o + 3*o**2 + 5 + 3*o**k - 5*o**2. Does 13 divide m(-5)?
False
Let a(q) = -3*q - 4 - q + 0*q**2 - 2*q**2 + 3*q**2. Let g be a(5). Does 9 divide ((-3)/((-6)/26))/g?
False
Does 54 divide 6045/78*8/5?
False
Suppose 6 = -a + 4*a, -a = -4*g + 430. Is g a multiple of 27?
True
Let j = -3 - -8. Suppose -j*h = -125 - 145. Is 27 a factor of h?
True
Suppose 5*r - 2*n + 25 = 3*n, 2*r + 2*n = 10. Suppose -4*d + d + 18 = r. Does 15 divide (10/d)/((-1)/(-9))?
True
Suppose -17 = 5*q + 13. Let i = q - -5. Let l = i + 4. Is 3 a factor of l?
True
Suppose -h + 5*h - 8 = 0. Suppose 5*k - 2*y - 20 = 0, 11 = 4*k - y - 5. Suppose -h*m - 183 = -5*x, -2*x + k*x + m - 75 = 0. Is x a multiple of 17?
False
Suppose -5 = -2*x + 3*x. Is ((-164)/(-10))/((-2)/x) a multiple of 15?
False
Suppose 4*s = 3*t + s + 18, -5*s = -15. Let x(r) = 4*r**2 + 2*r - 1. Does 15 divide x(t)?
False
Let g(o) = -3 + 3*o - 4*o + 0*o + 0*o. Let n be g(-4). Is (n/(-2))/(2/(-168)) a multiple of 21?
True
Let b be (-50)/(-18) + (-8)/(-36). Suppose -b*o + 75 = 3. Is o a multiple of 8?
True
Let t(m) = -3*m + 2. Let v = -5 + 0. Is 17 a factor of t(v)?
True
Let k = -42 - 41. Let h = k - -155. Is 24 a factor of h?
True
Does 25 divide (-134 - 0/(-1))*(-2)/2?
False
Suppose -40 = -3*l - a, 5*l + 3*a - 72 = -0*l. Is l a multiple of 3?
True
Suppose z = -3*z + 4*w, -2 = 3*z - 4*w. Let u(c) = -4*c + 2. Let i be u(-3). Let b = i - z. Is 9 a factor of b?
False
Suppose 3*g + o - 465 - 212 = 0, -2*g + o = -453. Does 10 divide g?
False
Let o = -22 - 69. Let m = o + 33. Let a = -40 - m. Does 18 divide a?
True
Let m be (1 - 2) + 0 - 21. Let o(p) = -p**2 + 9*p - 6. Let r be o(8). Let v = r - m. Is v a multiple of 12?
True
Let w(l) = l + 22. Is 8 a factor of w(-6)?
True
Suppose g = 37 + 35. Is 6 a factor of g?
True
Let t be (-1 + 3)/(3/183). Suppose -3*d - 2*w + t = 0, 3*d + w - 126 = -2*w. Is 19 a factor of d?
True
Suppose 12*n - 181 = 35. Is n a multiple of 2?
True
Let h = 5 - 2. Suppose -w + 117 = h*u + 3*w, w = 3*u - 102. Is u a multiple of 14?
False
Let g(k) = k**2 - 4*k - 4. Let h be g(9). Let n = h - 29. Suppose -n + 0 = -4*i. Is i a multiple of 3?
True
Let x = -2 + -1. Let p be ((-2)/x)/((-4)/(-18)). Suppose 0 = p*a - 7*a + 16. Is 4 a factor of a?
True
Let b(n) = -n**2 + 10*n - 1. Let v = 19 - 12. Let i be b(v). Suppose -i = -l - 0. Is l a multiple of 13?
False
Let w(d) be the third derivative of d**5/30 + 7*d**4/24 + d**3 + d**2. Suppose -3 = h, -3*h - 3 = b + 11. Is 10 a factor of w(b)?
False
Suppose 6*u - 6 = 3*u, 2*u + 22 = 2*b. Suppose 10 = 4*n + 2*q, 5*n + 2*q = -q + b. Suppose -n*x - 1 = x - 5*v, -5*x + 60 = 4*v. Is 6 a factor of x?
False
Suppose 62 = 4*x - 5*l, -x = 3*l - 4*l - 15. Is 10 a factor of x?
False
Let j = 77 - 50. Does 27 divide j?
True
Let d(h) = 2*h**2 + 9*h + 2. Does 5 divide d(-6)?
True
Let w(u) = -u**2 - u + 4. Let y = -3 + 0. Let x be w(y). Let z(h) = -2*h**3 + h**2 + 2. Is z(x) a multiple of 11?
True
Let f(c) = 22*c + 13. Is f(5) a multiple of 13?
False
Let r(t) = 29*t**2 + t - 1. Let z(p) = -p**2 + 7*p + 7. Let j be z(6). Suppose -3*k + 5*a + j = -5*k, -5*k - 4 = 3*a. Is 13 a factor of r(k)?
False
Suppose -432 = -4*y + 5*r, 4*r + 214 + 214 = 4*y. Is 16 a factor of y?
False
Let k = 214 - 124. Does 10 divide k?
True
Let d = -64 - -116. Is 26 a factor of d?
True
Let x(a) = 6*a + 1. Let w be x(1). Suppose w = 2*g - 3. Suppose 0 = 4*z - 2*f - 96, 2*z + g*f = -0*z + 72. Is 13 a factor of z?
True
Let y(k) be the first derivative of -7*k**2/2 - 7*k - 2. Is 9 a factor of y(-6)?
False
Suppose -5*h = 13 - 133. Is h a multiple of 12?
True
Suppose 0*a + y = 4*a - 1197, 0 = 2*a - y - 601. Is a a multiple of 14?
False
Suppose 5*m = 9*m - 20. Suppose 24 = m*u + 4. Does 4 divide u?
True
Let r be 87/2*(-6)/(-9). Let c = r - 19. Is 7 a factor of (168/30)/(4/c)?
True
Suppose 3*n = -v + 5*n, 2*n + 8 = 5*v. Let w(c) = 3 - 2*c**v - 5 - c**3 - 7*c + 2*c. Does 11 divide w(-3)?
True
Let o(f) = 3*f + 1. Let v be o(-1). Let c(r) = 3*r**3 + 2*r**2 - 2*r - 1. Let t be c(v). Let s = t + 24. Is s a multiple of 10?
False
Let z = -16 - -11. Let m(b) = -b**2 - 5*b + 6. Let p be m(z). Suppose -3*i = -i - p. Is i even?
False
Let o(a) be the first derivative of -10*a**2 - a - 3. Does 8 divide o(-1)?
False
Suppose -h - 105 - 11 = -3*y, -3*h - 153 = -4*y. Does 16 divide y?
False
Let s(v) = v**3 + 5*v**2 + v + 7. Let o = -8 + 3. Let r be s(o). Suppose -2*m + 3*t - t + 16 = 0, 0 = -r*m + 4*t + 20. Does 6 divide m?
True
Suppose 6*y = 7*y - 17. Is y a multiple of 17?
True
Suppose j + 332 = 5*j. Let q = j + -39. Is 22 a factor of q?
True
Let k be (1 - 2)/(-2)*0. Suppose -x + 2*x = k. Suppose x = -5*c + 24 + 71. Does 19 divide c?
True
Let u(c) = c**3 - c + 20. Let d be -1*(-3 - (2 - 4)). Let v = d - 1. Is 7 a factor of u(v)?
False
Let w(f) = -25*f**2 - 6*f + 7. Let y be -12 + (-2 - 3*-1). Let t(j) = 13*j**2 + 3*j - 4. Let z(n) = y*t(n) - 6*w(n). Is z(-2) a multiple of 10?
False
Let s = -7 + 3. Let l = 13 + s. Let d = l + 3. Is d a multiple of 5?
False
Suppose -5*t + 20 = 0, -6*t = -2*s - t. Let w = 22 - s. Is 4 a factor of w?
True
Suppose -3*s - 4*u + 12 = s, 0 = 5*u + 15. Suppose 147 = s*b + 15. Is b a multiple of 5?
False
Let j(l) = l + 4. Let s be j(-6). Let b = 5 + s. Is b a multiple of 2?
False
Let x(t) = 76*t**2 - 3*t + 2. Does 11 divide x(1)?
False
Let d = -206 - -346. Is d a multiple of 20?
True
Suppose -307 = -7*s - 97. Is s a multiple of 3?
True
Does 30 divide (54/(-8))/((-9)/120)?
True
Suppose -3*m - m = -r + 4, m - 16 = -4*r. Let i = 59 + 31. Suppose 4*t - 2*k - i = 0, 7*k - 4*k + 15 = m. Is t a multiple of 17?
False
Suppose 0 = 6*i - 489 - 51. Is 15 a factor of i?
True
Suppose -3*v + 31 = -41. Suppose 3 + 9 = 4*d. Suppose v = -0*p + d*p. Is 5 a factor of p?
False
Let q(t) = 2*t + 1. Let c be q(10). Is 10 a factor of 30/(-8)*(-56)/c?
True
Let c(n) = -n**2 - 7*n + 2. Is c(-6) a multiple of 4?
True
Let j be 1 - (-1 + 1) - 46. Let l = -70 - j. Does 9 divide (-4)/(-6) + l/(-3)?
True
Let m(u) be the third derivative of -23*u**4/24 - u**3/6 - u**2. Suppose 3*r - 3*k - 3 = 0, 3*r - 5 = -3*k + 7*k. Does 10 divide m(r)?
False
Let k = 0 + 10. Let h(r) = -r**3 + 10*r**2 + r - 6. Is 3 a factor of h(k)?
False
Suppose -126 = -4*g + 226. Is 6 a factor of g?
False
Suppose p = -2*p. Suppose -2*g = -l + 4 + 31, p = -3*l - 3*g + 96. Is l a multiple of 20?
False
Suppose 29*u = 25*u + 544. Does 17 divide u?
True
Let a(y) = -y**2 - 9*y - 2. Is 12 a factor of a(-7)?
True
Let b(h) = 23*h - 6. Does 22 divide b(6)?
True
Let l(u) = -7 + 11*u**2 - 16*u + 4*u + u**3 + 10*u. Is 5 a factor of l(-11)?
True
Let s(y) = 4*y**2 + y. Let u(b) = b**3 + 7*b**2 + 6*b + 5. Let o be u(-6). Suppose 2*g + 5*z = -18, 0 = 3*g - o*g - 2*z - 6. Is 2 a factor of s(g)?
False
Let j = 13 - -8. Is j a multiple of 3?
True
Let z(h) = -h**2 + 2*h - 1. Let f be z(2). Is (2 + f)*(9 + -2) even?
False
Let v = 121 + -180. Let q(x) = 3*x**3 + x**2 + 2. Let a be q(-2). Let s = a - v. Does 11 divide s?
False
Let j(s) = s**3 + 7*s**2 - 8*s + 8. Suppose 4*v = 5*r + 32, -4*r + 0*r - 40 = 4*v. Let k = -16 - r. Is j(k) a multiple of 4?
True
Let h be (-4)/(-18) + 20/(-90). Suppose 5*g = 2*f + f - 148, -2*g - 4 = h. Does 22 divide f?
False
Suppose 0 = -2*q - 3*q. Suppose 0 = -u + 4*p - 3, -4*p = 5*u - q*p - 33. Is u a multiple of 5?
True
Let z(t) = -2*t - 5. Let c be z(-4). Suppose 93 = -5*k + 4*u + 388, -c*k = 2*u - 199. Is