Suppose 23 = 3*j - 37. Suppose 0 = 2*f - f - j. Is 10 a factor of f?
True
Suppose -80*f + 82*f = 364. Is f a multiple of 28?
False
Suppose -2*t - 189 = -t. Let i be t/(-6) - (-3)/6. Does 8 divide i/3*(-3)/(-2)?
True
Is 1/(-6)*4*-12 a multiple of 3?
False
Let n = 0 - -183. Let y = n + -122. Is y a multiple of 11?
False
Let d be -2 + 1*(-1 - -3). Let z be 2/4*d - -16. Does 8 divide 348/z + (-1)/(-4)?
False
Let m be (105/2)/((-1)/10). Does 12 divide 3/(-2) - m/14?
True
Let t(d) be the third derivative of d**4/24 - d**3/2 - d**2. Let x be t(6). Suppose -x*n - 5*a = -78, 0 = -n + 4*n - 3*a - 54. Is n a multiple of 12?
False
Let a(l) = 77*l**2 + 14*l - 3 - 76*l**2 - 6*l. Does 27 divide a(6)?
True
Let i = 254 - 218. Is 12 a factor of i?
True
Let h = -217 + 354. Is 33 a factor of h?
False
Suppose 5*z - 448 = -168. Is 14 a factor of z?
True
Suppose 3*b - 3*p = -b - 2382, 0 = -4*b - 2*p - 2372. Let l be (-4)/(-26) + b/(-26). Suppose -3*f + l = -7. Does 8 divide f?
False
Does 16 divide 768/18*(-6)/(-4)?
True
Suppose 0 = 3*l + 2*l - 25. Suppose -l*h + 9 - 39 = 0. Is 4 a factor of (h/(-3) - -3) + 3?
True
Suppose 4*a + 0*q = -4*q + 560, 718 = 5*a - q. Is 42 a factor of a?
False
Suppose d - 2*q - 161 = 0, 4*q - 805 = -5*d + 8*q. Is 23 a factor of d?
True
Let a(l) = -12*l**2 - 17 - 2*l**2 + 0 + l**3 - 13*l. Is a(15) a multiple of 3?
False
Let z(i) = i**2 - 4*i + 7. Let p be z(8). Suppose -4*b = 2*k - b - 25, 3*b = -3*k + p. Is 3 a factor of k?
False
Suppose 2*j + 2*j = u - 61, 3*u - 132 = -5*j. Suppose t - u = -q, 2*t + 2*t + 112 = 3*q. Does 11 divide q?
True
Let o(i) = -i**2 + 4*i - 3. Let v be o(3). Suppose v = -2*n - x + 103, 2*n - 2*x - 3*x = 85. Does 10 divide n?
True
Suppose 3*u + 0*u - 12 = 0. Suppose -w - u*w = -10. Let x(b) = b. Does 2 divide x(w)?
True
Let c(r) = -r**2 + 9*r + 3. Suppose -5 = -m - 3*n, -n = -5*m - 6*n + 25. Is c(m) a multiple of 12?
False
Is 35 a factor of 1 + (-4)/2 - -43?
False
Suppose 0 = 11*d - 772 + 244. Is d a multiple of 2?
True
Suppose -26*l + 22*l + 8 = 0. Does 2 divide l?
True
Suppose -11 = -3*z - 2*c + c, 2*c + 2 = 2*z. Let l(v) be the first derivative of v**3/3 + v**2/2 - 3*v + 2. Is l(z) a multiple of 9?
True
Let t(x) = x**2 - 7*x - 7. Is 7 a factor of t(-7)?
True
Let y = 5 - 4. Is 7/(27/24 - y) a multiple of 28?
True
Let a = -105 - -545. Is 40 a factor of a?
True
Let y(b) = -b**2 + b + 2. Let a be y(-4). Does 16 divide (-1040)/(-18) + (-4)/a?
False
Suppose 10*o - 31 = 9*o. Is o a multiple of 19?
False
Suppose -i - 92 = -5*i - 4*m, -3*i + 2*m = -59. Is i a multiple of 3?
True
Suppose -2*n + 0 = -4. Suppose -5*g - 5 = 0, 3*y + 2*g - 46 = n*y. Is 18 a factor of y?
False
Let j = -79 + 139. Is 28 a factor of j?
False
Let p(d) = -3*d**3 - d**2 + 2*d - 2. Let g be p(2). Let b = 53 + g. Is 9 a factor of b?
True
Suppose 0*b - 3*b - 5*d = 155, -5*b = 4*d + 241. Let v = -17 - b. Does 13 divide v?
False
Let n be (0 - 1)/((-1)/3). Suppose n*x = 12, g + 4 = -2*x - 13. Let w = -10 - g. Does 15 divide w?
True
Let l(p) = 2*p**3 - 6*p - 3. Is l(3) a multiple of 7?
False
Is 9 a factor of ((-3)/(-9))/(4/(-4656)*-2)?
False
Let c(h) = -90*h**3 + 2*h + 2. Is 10 a factor of c(-1)?
True
Let p(u) be the third derivative of u**5/30 - u**3/2 - 3*u**2. Let k(q) be the first derivative of p(q). Does 8 divide k(3)?
False
Let i(x) = 2*x - 2. Let u be i(3). Suppose u*s = -4*h + 44, 0 = -4*h - h + s + 73. Does 7 divide h?
True
Is 22 a factor of (8/(-6))/(4/(-594))?
True
Let q(s) = s**2 + 6*s + 10. Does 2 divide q(-4)?
True
Is (-8)/(-44) - 324/(-33) a multiple of 9?
False
Let l be 6/(-21) + 128/7. Suppose -3*h - 4*o + l = 0, -h - o + 4 = -2. Is 3 a factor of h?
True
Let w = 109 + -86. Is w a multiple of 7?
False
Let k(t) = -t**2 + 4*t + 5. Let n be k(4). Suppose 5*v + 75 = 5*o, 0*v = o + 4*v + n. Is 11 a factor of o?
True
Let j(h) = -25*h - 3. Let m be j(-5). Suppose -5*x = 7 - m. Is x a multiple of 4?
False
Let w = -1 - -14. Suppose 2*b = w + 9. Does 3 divide b?
False
Let m = 10 + -14. Let a(n) = n + 2. Let i be a(m). Is 6/5*(-15)/i a multiple of 7?
False
Suppose -5*v + 0*v = r + 39, 68 = -4*r + 2*v. Let j = 2 - -39. Let f = r + j. Does 9 divide f?
False
Let z = 16 - 3. Does 13 divide z?
True
Let l be (0/(-2 + 1))/(-2). Suppose -4*c + 56 = -0*c. Suppose -y + c = -l*y. Does 14 divide y?
True
Let z(r) be the first derivative of r**3/3 - 3*r**2/2 - 3*r + 1. Suppose 12 = -3*i - 2*j, -5 = -5*i - 3*j - 24. Is z(i) a multiple of 7?
True
Suppose 4*h = -20, 0*h + 11 = a - 2*h. Suppose 0 = -m + 5 - a. Is m even?
True
Let b(f) = f + 8. Let c be b(-8). Let y(n) = -2*n**2 + 2*n + 33. Let k(t) = -t**2 + t + 16. Let z(l) = 13*k(l) - 6*y(l). Is z(c) a multiple of 5?
True
Let z = 0 + -1. Is 13 a factor of -27*(z - 3/9)?
False
Suppose 0 = -7*g + 6*g + 31. Does 13 divide g?
False
Suppose 4*a = 5*l - l, -3*a + 5*l = 4. Suppose 2*k + k = 3*x, -a*x = 3*k + 5. Does 6 divide 50/4 + k/2?
True
Let u(z) = 4*z**2 + 2*z + 3. Let s be u(-2). Let o be 486/s + 2/(-5). Suppose 5*q = j + o, -j + 10 = -0*q + q. Is 7 a factor of q?
True
Suppose -5*d - 32 = 4*k, k + 4*k + 31 = -4*d. Let u = k - -5. Suppose u*i - q = 55, -3*q + 32 = i + 1. Is i a multiple of 14?
True
Let l(s) = -47*s - 11. Does 26 divide l(-3)?
True
Let u(f) = -f**2 + 54. Let a be u(0). Suppose 0*j + j + 2*c - 18 = 0, a = 3*j + 5*c. Suppose j + 18 = 2*v. Does 9 divide v?
True
Does 6 divide (20/(-3))/((-1)/9)?
True
Is -2 - (-4 + 2) - -396 a multiple of 18?
True
Let h be 20/(-8) - (-1)/(-2). Let m = h + 6. Suppose -5*a - 5*c - 84 + 269 = 0, -m*a = 4*c - 113. Does 19 divide a?
False
Let t(i) = i**3 + 6*i**2 + 5*i. Let m be t(-5). Suppose 4*a + m - 24 = 0. Suppose y - a = 2. Is 4 a factor of y?
True
Suppose 5*d - 454 = a - 4*a, -5*d + 462 = -a. Does 26 divide d?
False
Let m(o) = o + 2. Let f be m(2). Suppose y - 6 + f = 0. Is y even?
True
Suppose -482 - 939 = -7*h. Is h a multiple of 26?
False
Let u = 6 + -8. Does 2 divide 22*((-1)/1)/u?
False
Suppose 4*h - 16 = -4. Suppose h*y - 5*q = 0, -3*q = -3*y - 0*q. Let n(z) = z**3 + z + 30. Is n(y) a multiple of 13?
False
Suppose -4*l - 2*m + 6 - 2 = 0, -3*m = -3*l + 21. Suppose -l*t + 4*z = -0*t - 310, 305 = 3*t + z. Is 34 a factor of t?
True
Suppose -2*l = 2*p - 90, 4*l - 3*p = 127 + 74. Is l a multiple of 11?
False
Let n(o) = o**3 - o**2 + o + 1. Let p(g) = 5*g**3 - 9*g**2 + 4*g + 8. Let s(i) = -4*n(i) + p(i). Does 20 divide s(6)?
True
Is (-12)/(-5)*15/2 a multiple of 9?
True
Let r(p) = p - 5. Let o be r(5). Suppose -2*x + 3*x - 2 = o. Suppose 0 = i - x*j - 28, 0 = -5*j + 2*j + 12. Is i a multiple of 12?
True
Let l(z) = -3*z - 6. Let r be (-66)/9 - (-3)/9. Let y be l(r). Is (1 - 3) + y + -1 a multiple of 6?
True
Suppose -2*c = -4 + 14. Let j = 4 - c. Is 7 a factor of j?
False
Let j = 17 + 38. Suppose 5*t + 0*t = j. Is 5 a factor of t?
False
Let o(i) = 9*i + 3. Is 5 a factor of o(2)?
False
Let f be (5 + 15)/((-2)/(-4)). Is f/(-12)*(2 - 11) a multiple of 15?
True
Is (14 + 6)/((-4)/(-2)) a multiple of 2?
True
Let q(x) = x**3 + 5*x**2 - x - 7. Let b be q(-5). Is 5 a factor of -1*b*(3 - -7)?
True
Suppose 4*r = -2*p - 2*p + 28, 29 = 2*p - r. Does 4 divide p?
True
Let f(s) = -s**2 + 6*s - 6. Let a be f(4). Suppose 0 = 3*x - 7*c + a*c - 45, -4*x + 3*c + 60 = 0. Let o = -6 + x. Does 9 divide o?
True
Let u(t) = 2*t + 9. Suppose 2*n - 12 = -2*p + 4, 3*p = 5*n + 16. Let a be u(p). Suppose a = q + 8. Does 8 divide q?
False
Suppose 0*m = 2*m - 154. Suppose 5*j = m + 88. Does 14 divide 996/j - 4/22?
False
Let j = 3 + 0. Is 5 a factor of (-64)/(-6) + (-2)/j?
True
Does 11 divide 14 - (6 - (3 + 0))?
True
Suppose -2*u - 2 = -4. Let o = u - 1. Suppose o = 4*a + 3*t - 136, -2*a + 5 = 5*t - 63. Is a a multiple of 13?
False
Suppose 5*j = 0, 13 + 15 = -4*l - 5*j. Let u = -2 - l. Suppose 2*r - 88 = -5*w, 40 + 28 = u*w - 3*r. Does 16 divide w?
True
Suppose -26 = -3*i + 34. Is i a multiple of 10?
True
Suppose 0 = -3*m - 2*f + 102, -4*m = 6*f - f - 129. Does 8 divide m?
False
Let j(m) be the second derivative of -m**4/12 + 5*m**3/3 + 2*m**2 - 3*m. Is j(10) even?
True
Let u = 2 + -1. Suppose x + 2 = -u, -2*b - 5*x = 7. Suppose 2*j + 4*y = 16, 2*y + 0*y = -b*j + 26. Is j a multiple of 6?
True
Let z(v) = -37*v. Let w be z(-2). Let k = w - 40. Is k a multiple of 17?
True
Let z be -45*((1 - 1) + -1). Suppose 