be w(0). Suppose -j = b + 2*x + 21, 3*b = -3*x - 234. Let y = 111 + b. Does 19 divide y?
False
Suppose -5*g + 3*f + 2 = -6, -3*g = -4*f + 4. Suppose g*r = 2*r. Suppose r = -5*l + 4*x + 156, -2*l - 2*x + 14 = -52. Is l a multiple of 14?
False
Let j = 2 + 0. Let d(x) = 1 + 5 + 3*x**2 - 2*x**j - 5*x. Is d(6) a multiple of 10?
False
Suppose -m = -10 + 1. Suppose 6*o + m = 3*o. Let n = o + 7. Is 4 a factor of n?
True
Suppose r - 6*r = -d - 652, -r + 2*d + 134 = 0. Does 10 divide r?
True
Let l = 16 + -23. Does 19 divide 5/(1 - (-6)/l)?
False
Suppose 3*w - 292 - 38 = 0. Does 22 divide w?
True
Suppose 5*d - 5*j + 3 + 7 = 0, 4*d + 13 = 3*j. Let l(i) = -i**2 - 8*i + 10. Is 16 a factor of l(d)?
False
Let h(o) be the first derivative of 2*o**2 + 2*o - 4. Is h(7) a multiple of 15?
True
Suppose 0*h - 45 = -3*h. Does 3 divide h?
True
Let u(g) = -22*g**2 - g. Let k = -2 - -4. Let d be u(k). Let b = -60 - d. Is b a multiple of 15?
True
Is 25 a factor of 0 + 0 + -2 - -53?
False
Suppose -4*f = -5*c - 18, -3*c + 2 = 4*f - 0. Let k be (1 + (2 - c))*1. Suppose 4*z - 72 = k*u, -2*z = 4*u - u - 58. Is 10 a factor of z?
False
Let k be (0 + 0)/(-1 + 2). Suppose k = -v, 46 = x - 5*v + 10. Is x a multiple of 14?
False
Let p(r) = 2*r**3 - 5*r**2 + 4*r + 1. Let x be p(4). Suppose q = 3*k + 65, 3*q - 223 = k - 6*k. Suppose -q = -4*j + x. Is j a multiple of 17?
True
Suppose 0 = 2*b - 8, 2*j - 3*b + 8 + 8 = 0. Let n = 2 - j. Suppose 3 = -4*g - 5*f, -8*f + n*f + 3 = 5*g. Is g a multiple of 3?
True
Let a be 94/18 - (-6)/(-27). Suppose 0 = -p + 2*p + 2*v - 52, 4*v + 190 = a*p. Does 21 divide p?
True
Let q(y) = y**2 + 7*y + 4. Let m be q(-3). Let w(z) be the first derivative of -2*z**2 - 12*z - 14. Is 10 a factor of w(m)?
True
Let a(o) = -o**2 - 3*o + 1. Let y be a(-2). Is (-112)/(-40)*(2 + y) a multiple of 7?
True
Let b = 72 + -31. Does 41 divide b?
True
Let f be (-2 - 0) + 1 + 1. Suppose f = u + 2 - 0. Is (63/(-14))/(u/4) a multiple of 9?
True
Let d(v) = 5*v**2 - 1. Let p be d(-1). Suppose p*r - 5 = 259. Does 25 divide r?
False
Suppose 2*k = -3*g + 108, -5*k - 3*g + 7 + 281 = 0. Does 9 divide 3/4*(k + 0)?
True
Suppose 4*c + j + 6 = 298, -3*c = 4*j - 232. Let m be (363/9)/(2/6). Let g = m - c. Is 19 a factor of g?
False
Suppose -18 + 0 = -3*n. Is 7 a factor of 123/n - (-2)/4?
True
Suppose 3*r + 0*r + 102 = 0. Let f = r + 48. Is 7 a factor of f?
True
Suppose -3*s + 2*g = -6*s + 4, -4*g = -3*s + 10. Suppose -3*f = s*f - 145. Is f a multiple of 18?
False
Let k(f) = -9*f - 1. Let z be k(-1). Let g(r) = -r**3 + 7*r**2 + 8*r. Let m be g(z). Let u = 10 + m. Does 8 divide u?
False
Suppose 2*a - u - 103 = 4*u, -3*a + 107 = 2*u. Suppose t + 6 = i, -5*i + 4*t + 20 = -2*i. Suppose -a = -3*q - s + 12, 0 = i*q + 4*s - 68. Is q a multiple of 8?
False
Let f = 18 - -2. Suppose d = -9 + f. Does 11 divide d?
True
Let o = -2 - -5. Let f(w) = 26 - 24 + 3*w**2 + 2*w - w**3 + 0*w**3. Does 8 divide f(o)?
True
Suppose 136 = 5*n - n. Does 18 divide n?
False
Let u(h) = h**2 + 12*h + 27. Does 6 divide u(-12)?
False
Let c(g) = g**2 + 3*g - 2. Does 4 divide c(-5)?
True
Let c(q) = -83*q**2 + 3*q + 5. Let x(o) = -41*o**2 + o + 2. Let j(k) = 2*c(k) - 5*x(k). Does 10 divide j(-1)?
False
Let g(s) = -5*s - 2*s + 2 + 2*s + 2*s. Is g(-2) a multiple of 3?
False
Suppose 6*d - 1648 = -2*d. Does 19 divide d?
False
Let y(j) = -j**3 + 6*j**2 + 5*j + 6. Suppose -5*b + 15 + 15 = 0. Is 12 a factor of y(b)?
True
Is 12 a factor of -4 + (2 - -5*10)?
True
Let g(i) = -2*i**2 + 1. Let l(x) = -4*x**2 - x + 1. Let a = -16 + 11. Let t(d) = a*g(d) + 2*l(d). Is t(3) a multiple of 9?
True
Suppose -3*w - 3*f - 25 = 2*f, 2*w = 4*f + 20. Let s = w + 0. Suppose q = i - s*q - 39, 3*q - 163 = -5*i. Is i a multiple of 12?
False
Let v be 18/15*2*-5. Let d = 4 - v. Is d a multiple of 7?
False
Let o = -28 + 82. Suppose 5*d = -3*m + o, 5*d - 11 = -2*m + 45. Is 6 a factor of d?
True
Let n(u) = 2*u + 1. Let k be n(2). Suppose k*f - 159 - 36 = 0. Does 13 divide f?
True
Suppose 55 = 6*g - 5. Is 3 a factor of g?
False
Let w be (-8)/(-8)*(1 + -2). Does 5 divide 8 + 4 - (1 + w)?
False
Let n(b) = b - 1. Let y(j) = 3*j**2 - j + 5. Let p(r) = 4*n(r) + y(r). Let w be p(-4). Let o = w - 11. Does 14 divide o?
False
Suppose 5*b = s + 799 + 512, 2636 = -2*s - 4*b. Does 15 divide (-4)/(-22) - s/22?
True
Let n(u) = -u**2 + 6*u + 33. Let h(y) = y**2 - 7*y - 32. Let l(b) = 5*h(b) + 6*n(b). Let p be l(0). Suppose g = -7 + p. Is 12 a factor of g?
False
Let h(m) = m**3 + 3*m**2 - m + 1. Let x be h(-3). Let r = -2 + x. Is 11 a factor of 15 - (r + 0) - 2?
True
Let i = 6 + -26. Let s be i/(-15) + 4/6. Does 15 divide 0 + 0 + s + 28?
True
Let z(u) = u**2 - u - 3. Let a be z(3). Suppose 0 = a*w + 2*w. Suppose -k - 2*k + 54 = w. Does 9 divide k?
True
Let h(x) = 32*x**2 + x. Does 7 divide h(-1)?
False
Suppose -8*b - 6*b = -238. Is 15 a factor of b?
False
Suppose 3*g - 2*g - 5*u = 92, 310 = 3*g + 2*u. Let z = 191 - g. Suppose 3*p - 2*p - 4*w - 38 = 0, 4*p - z = -5*w. Does 13 divide p?
True
Suppose -6*c = 88 - 256. Is c a multiple of 28?
True
Suppose -74*i - 270 = -79*i. Is i a multiple of 12?
False
Suppose 0 = -m + 3*g + 4 - 7, 0 = m - 2*g. Let n be ((-2)/3)/(m/(-63)). Suppose 0*j + j - 35 = -2*i, i + 4*j = n. Does 7 divide i?
False
Suppose 2*s + 5*x = 16, s - 4*x - 12 = 22. Let w be s/30 - (-364)/10. Let n = -20 + w. Is 11 a factor of n?
False
Let p = -11 + 38. Is 9 a factor of p?
True
Let k be -3*-3*(-254)/6. Let l = 19 - 31. Is k/l - (-1)/4 a multiple of 16?
True
Let h = 5 + -11. Let g(c) = c**3 + 7*c**2 + 4*c + 4. Is g(h) a multiple of 8?
True
Suppose -4*h - c = -9*h + 56, 32 = h + 5*c. Is h a multiple of 12?
True
Let o = 9 - 13. Let x be -3 + 9/(-6)*o. Is (40/6 + 3)*x a multiple of 16?
False
Suppose 5*f - 8 = 2*r, -4*f - 5*r = 29 - 9. Let h = 2 + f. Is h a multiple of 2?
True
Suppose -33 = -2*a - a. Let r = a + 21. Does 16 divide r?
True
Let s = 28 - -11. Does 6 divide s?
False
Let k(i) = i**3 - 19*i**2 + 23. Let r be k(19). Let n = -4 + r. Is n a multiple of 4?
False
Let n(r) = -2 - 4*r + 3*r + 3. Let p be n(-1). Suppose 2 - 10 = -2*j + 4*l, -p*j + 1 = 3*l. Is j a multiple of 2?
True
Let k(o) = o**2 + 9*o - 11. Is 7 a factor of k(-12)?
False
Let u(p) = -p. Let c be u(-3). Suppose 0 = y - 0*y - c. Suppose 2*h + 8 = y*x - 16, -4*x + 3*h = -31. Is x a multiple of 4?
False
Is 29 a factor of (52/(-65))/(2/(-435))?
True
Let b = 59 - 20. Is b a multiple of 13?
True
Let z be 76/(-6) + (-4)/(-6). Let u = -24 - z. Let v = u + 28. Is v a multiple of 16?
True
Let m be 1 + 4/(4 + -2). Does 3 divide 5/(m/6*2)?
False
Let c be ((-6)/(-9))/(6/63). Let s be 16/(-7) + 2/c. Does 6 divide (s + 6/2)*6?
True
Let n = 123 + -76. Is 10 a factor of n?
False
Let u be -1 + 2*2 + -1. Let w(g) = -g**3 - 4*g**2 - g - 1. Let l be w(-4). Suppose f + l*f = u*t - 6, -5*t - f = -26. Does 3 divide t?
False
Suppose 0 = -j - 2*j + 396. Is j a multiple of 33?
True
Let u(n) = 24*n - 54. Does 19 divide u(13)?
False
Let t be 0/(-6 - (3 - 7)). Suppose 7*w - 10*w + 75 = t. Is w a multiple of 25?
True
Let w(b) be the first derivative of b**2 + 4*b - 5. Let o(c) = c**2 - c + 5. Let h be o(0). Does 7 divide w(h)?
True
Let h be (-9)/(-6)*80/3. Suppose 83 = 5*k - 2*s, -4*k = 4*s - h - 4. Suppose -5*t + 5*l + k = 0, -2*l = 5*t + l - 23. Is 2 a factor of t?
True
Suppose 0*z + 4*c + 10 = 3*z, c + 4 = 0. Does 16 divide z + (1 - 1) - -50?
True
Let o(y) = y + 6. Let j be o(-8). Let k(w) = -2*w - 2*w**3 + w**2 - 5*w**2 + 0*w**2. Does 3 divide k(j)?
False
Let s(y) be the second derivative of -y**4/12 - 7*y**3/6 + y**2 + 3*y. Is 12 a factor of s(-5)?
True
Let y = -26 + 63. Suppose -4*q + y = m, m + 3*m - 58 = 2*q. Does 5 divide m?
False
Is (-232)/(-2) + 30/(-10) a multiple of 29?
False
Let c(n) = 23*n**2 - n - 2. Is 44 a factor of c(2)?
True
Suppose 8*i = 9*i - 180. Is i a multiple of 45?
True
Let r(y) = y + 2. Let x be r(3). Suppose x*o + 12 = -3*q, 0*q - 4 = q. Let w(h) = h**2 + 13. Does 6 divide w(o)?
False
Suppose 0 = 2*i - 2 - 6. Let g be (2*1)/(2/i). Does 2 divide (1 - 0/2)*g?
True
Let o be ((-2)/3)/((-2)/(-24)). Let s(l) = l**2 + 4*l - 4. Is s(o) a multiple of 14?
True
Let n(k) = -k**2 + 4*k + 7. Let o be 92/20 - (-4)/10. Let g be n(o). Let i = 18 - g. Is 8 a factor of i?
True
Let i(r) = -r**2 + 12*r - 3. Is i(9) a mul