t z(w) = 2*w**2 - 6*w - 5. Suppose -5*f = o - 29, -2*f + 9 = -0*o + 3*o. Does 8 divide z(f)?
False
Is 16 a factor of -3*(-8)/(-12)*-1678?
False
Suppose 3*s = -4*l + 5, -4*l + 25 + 10 = -3*s. Let w(m) = m**3 + 5*m**2 - 7*m. Let r be w(s). Suppose -5*f = -r - 55. Is 18 a factor of f?
True
Let h = 2476 - 964. Does 63 divide h?
True
Suppose -8*r = -7*r + 14. Suppose 29 = -2*p - 31. Let z = r - p. Is 8 a factor of z?
True
Let r be 12 - (5 + -4 + 1). Suppose -520 = -r*l - 0*l. Does 6 divide l?
False
Does 4 divide 2 - (-17)/(476/(-24))*-91?
True
Let r(j) = -j**3 + 7*j**2 - 3*j - 7. Suppose 2 = o - 0*o, -4*d = o - 26. Is 3 a factor of r(d)?
False
Suppose 0 = 6*z - 9*z - 21. Let d = 0 - z. Does 7 divide d?
True
Let d = -79 + 100. Is d a multiple of 7?
True
Suppose 1026 = 164*u - 162*u. Is 27 a factor of u?
True
Let q be ((-5)/(-4))/(10/40). Suppose r + q*r = -72. Is 20 a factor of ((-5)/(-3))/((-1)/r)?
True
Let y be ((-3)/(-3))/(3/15). Let n(z) = -z**3 + 7*z**2 - 2*z + 3. Is n(y) a multiple of 6?
False
Let t(d) = -d**3 - 8*d**2 + 11*d + 15. Let s be t(-9). Let g be s/9 + 14/6. Suppose g*m + 5*b = -0*b + 95, -4*m = -5*b - 145. Is m a multiple of 10?
True
Suppose 14 = -2*r + 62. Let s(i) = -i**2 - 7*i - 6. Let d be s(-4). Suppose 2*u - d = r. Does 15 divide u?
True
Suppose -249*f + 252*f = -6, -r + 372 = 4*f. Is 5 a factor of r?
True
Suppose -9*u = 221 - 1679. Is u a multiple of 27?
True
Is (-4)/(-16) - 20845/(-44) a multiple of 8?
False
Is 21 a factor of -2 - -229 - (7 - 11)?
True
Let n = -1997 + 2865. Does 7 divide n?
True
Let z = 48 - 47. Let i(j) = 53*j**3 + 2*j**2 - j. Is i(z) a multiple of 18?
True
Suppose 14*p + 1410 = 19*p. Does 6 divide p?
True
Let f = 25 - 28. Suppose q = -5*p + 12, 3*q + 5*p - 36 = -0*p. Does 3 divide (-4)/q - 19/f?
True
Suppose -3*t - 2*i = -16, 2*t + 7*i - 2*i = 18. Suppose 3*d = -d - t, 4*n - 5*d = 73. Let l = -9 + n. Does 4 divide l?
True
Let d(k) = -233*k - 44. Does 63 divide d(-1)?
True
Suppose 0 = -13*h + 2648 - 282. Is 9 a factor of h?
False
Let j(o) = 16*o**3 - 4*o**2 + 2*o - 3. Does 21 divide j(3)?
True
Let w(u) = 2*u**3 - u**2 - 17*u + 55. Is 21 a factor of w(10)?
True
Let r = 191 + -112. Suppose -2*h = -5*c + 392, 2*c - c = h + r. Suppose 0 = -4*w + 7*w - c. Does 13 divide w?
True
Suppose -2*r - v = r - 15, -3*v = 3*r - 9. Let n(h) = h - 3. Let z be n(r). Suppose 0 = -3*p - l + 2*l + 12, 0 = -3*p - 4*l - z. Is 2 a factor of p?
False
Let p = 159 + -102. Suppose -3*x + 0*x + p = -5*i, -x + 49 = -5*i. Does 20 divide (201/i)/(7/(-21))?
False
Does 7 divide ((-2241)/(-332))/(3/244)?
False
Let s(o) = o**3 - 5*o + 755. Is s(0) a multiple of 11?
False
Let g = 51 + -51. Let t(m) = 3*m + 28. Let z(u) = -4*u - 28. Let j(s) = 5*t(s) + 4*z(s). Is j(g) a multiple of 14?
True
Suppose 0 = -i + 2*i + 2*x - 8, -4*x + 28 = 4*i. Let y be (8/i)/((-2)/(-15)). Suppose 0 = -13*b + y*b + 9. Does 2 divide b?
False
Is 14 a factor of 4/56 - (-885475)/350?
False
Suppose 0 = -0*u + 2*u + 6. Let h(q) = -q**3 - 4*q**2 - q + 2. Let o be h(u). Let f = 20 + o. Is 16 a factor of f?
True
Let f = -11 + 17. Suppose -5*b = -15, v - f = -0*b - 2*b. Suppose 0 = -v*y - y + 12. Is y a multiple of 3?
True
Let c(z) = -16*z - 2. Let g(y) = -2*y + 20. Let i(w) = -w + 1. Let s(l) = 2*g(l) - 36*i(l). Let d(x) = -5*c(x) - 3*s(x). Is d(-2) a multiple of 7?
False
Suppose 0 = 5*o - 111 - 104. Suppose 2*z - h = 7*z - 182, z - 2*h = o. Is z a multiple of 4?
False
Suppose 3*j - 2*y = 746, -4*j + 1143 = -3*y + 148. Suppose -2*x - j = -10*x. Is x a multiple of 31?
True
Suppose 3*x + 2*o + 19 = 148, 2*o + 117 = 3*x. Let a = 1 - -2. Suppose -2*m = -5*f - x, -a*m - m + 3*f = -61. Is m a multiple of 9?
False
Let q(x) = -14*x**3 - 3*x**2 - 4*x - 35. Does 14 divide q(-6)?
False
Let v(o) = -2*o + 15. Let g(w) be the third derivative of w**4/24 - w**3 - 5*w**2. Let a be g(6). Is 4 a factor of v(a)?
False
Suppose -4*u + 2*s + 25 = u, -3*u - s = -4. Suppose -u*o + 2*q + 0*q + 367 = 0, 2*q - 601 = -5*o. Does 30 divide o?
False
Suppose 0 = -3*y - 7*y + 30. Does 23 divide 7/(-21) + 109/y?
False
Let h = 18 + -14. Let j be (20/(-35))/(h/(-14)). Is 13 a factor of j/((-9)/(351/(-6)))?
True
Let s(d) = 12 + 2*d - 5*d + 8*d + 0*d. Is 28 a factor of s(20)?
True
Suppose -5*c + c = -28. Let l(u) = u**3 - 13*u**2 + 15*u - 1. Let f be l(c). Let r = -118 - f. Does 15 divide r?
False
Let j(f) = f**3 - 24*f - 1. Let s be j(5). Suppose -s*g + 0*g + 248 = 0. Does 10 divide g?
False
Suppose -15*t + 260064 = 48*t. Does 11 divide t?
False
Let z = -5 + 8. Suppose z*q - 50 = -x, 4*x - 41 = 4*q + 127. Let b = x - 20. Is 14 a factor of b?
False
Suppose 0 = -b + 3 + 1. Let w(t) = -b - 3*t**2 + 5 + 3 - t**3 + 0*t**2. Is w(-3) even?
True
Let y = -136 - -228. Let s = y - 32. Is 10 a factor of s?
True
Suppose 0 = -4*x, 3*n - x = 4*n - 257. Is 12 a factor of n?
False
Is 17 a factor of (-21804)/(-16) - 14/(-56)?
False
Let i(v) = 109*v - 151. Does 8 divide i(7)?
False
Let s = -378 - -1274. Is 14 a factor of s?
True
Suppose 0 = -4*i + 2*q + 1678, 5*i - 2093 = 57*q - 59*q. Does 12 divide i?
False
Does 23 divide 92*((-8)/(-44) - (-42)/11)?
True
Let t(c) be the third derivative of c**6/120 - c**5/15 - c**4/12 + 7*c**3/6 - 3*c**2. Let m be t(5). Is 11 a factor of 12/(-66) - (-1082)/m?
False
Let n = 1021 + -285. Does 32 divide n?
True
Let m = 20 - 15. Suppose 0*n + 320 = m*n - 4*t, -n + 3*t + 64 = 0. Is n a multiple of 20?
False
Suppose -2*a + 2*f = 6, -2*a = -0*a - 5*f + 21. Suppose -a*j + 3*v = -27, -15 = 4*v + 5. Suppose -j*r + 9*r - 15 = 0. Does 4 divide r?
False
Suppose -y + 3*a = -5*y + 729, y - 171 = 3*a. Is y a multiple of 13?
False
Let a(r) = 6*r - 48. Let l be 2 + (1 - 1) - (-25 - -15). Is a(l) a multiple of 3?
True
Is -8 + 16 - 2 - -55 a multiple of 11?
False
Let i = -73 - -73. Suppose i*o + o - 169 = 0. Does 13 divide o?
True
Let a(d) = -d**3 - 14*d**2 - 5*d + 3. Let c(b) = -14*b. Let x be c(1). Let m be a(x). Suppose -2*t + m = -19. Does 23 divide t?
True
Is (27 + (4 - -3))*1 a multiple of 2?
True
Let n be 1*(-4)/12*-6. Suppose 3*c - 12 = 0, g + 0*c - n*c - 7 = 0. Is 15 a factor of g?
True
Suppose 3*z - 4 = 56. Suppose -z = 2*s - 126. Let j = -31 + s. Is 11 a factor of j?
True
Let s be (-583)/(-121) - (-2)/11. Suppose -s*m - 3*t = 754, 3*m = 2*m - 4*t - 144. Does 5 divide (-22)/165 - m/15?
True
Suppose -4*z + 4*x - 29 = 3*x, -26 = z - 4*x. Let k(d) = -d**2 - 11*d - 3. Is k(z) a multiple of 13?
False
Does 6 divide 4205/174 + 2/(-12)?
True
Let i(s) = -s**2 + 45*s + 51. Is 35 a factor of i(21)?
False
Let t(c) = -c + 16. Let x be t(12). Suppose 2*f + f = x*y - 118, -4*f = -2*y + 54. Is y a multiple of 18?
False
Let h(b) = b**2 + 8*b + 15. Let s = 10 + -7. Suppose -11 = s*y - 2*y. Is 15 a factor of h(y)?
False
Suppose -2*a - 5*h = -1443, -2*a + 9*h + 1470 = 5*h. Is a a multiple of 9?
True
Let w be 1/(-4) + 3/(-4). Is 6 a factor of 4 - 1*(-11 + w)?
False
Let l = -13 + 15. Suppose l = -3*g + 5. Is ((-33)/12)/(g/(-4)) a multiple of 9?
False
Suppose -3 = 2*t - 41. Let s = 17 - t. Is (-15 - (-2 - -4))*s a multiple of 10?
False
Suppose -3*t = -w + 2*t + 17, 13 = 2*w - 3*t. Suppose 5*q = 2*h + 61, -w*q + 26 = h - 2. Is 13 a factor of q?
True
Suppose -6*f - 3080 = -20*f. Is 14 a factor of f?
False
Suppose 4*w = -14 + 18. Is 5 + -4 - (-56)/w a multiple of 22?
False
Does 81 divide ((-342)/8)/(5/(-300))?
False
Is 46 a factor of (81/(-18) + 2)*-460?
True
Let v be (0 + (4 - 1))*(40 + -37). Suppose v*w - 900 = 5*w. Does 25 divide w?
True
Suppose -4*t = d - 8568, -d = -t + 784 + 1358. Is t a multiple of 17?
True
Let d be -2*(15/6 - 0). Let y = d + 14. Let n = y - -24. Is n a multiple of 11?
True
Suppose 116*m - 121*m + 3260 = 0. Is m a multiple of 4?
True
Suppose -5*r + 114 = -2*r. Is 7 a factor of -4 + (r - 3/(-3))?
True
Suppose -2*h + 3*x + 5050 = 0, -5*h = -x + 5*x - 12602. Does 119 divide h?
False
Let s = -46 - -46. Suppose 8*a - 3*a = -4*q + 1050, 5*q + 5*a - 1310 = s. Does 47 divide q?
False
Let q be 8/(3 + 104/(-36)). Suppose q = -14*b + 12*b. Let f = -24 - b. Is 6 a factor of f?
True
Suppose 4*j + 2*j - 12 = 0. Suppose 2*i + j*c = -0*c + 6, -3*i = -c - 1. Let v(r) = 37*r**2 + r. Is v(i) a multiple of 19?
True
Suppose -l + 2*l = -5*r + 201, -l + 5*r + 231 = 0. Is 12 a factor of l?
True
Does 13 divide 2*(-1)/(-2) - -77?