e of 3?
False
Let p(v) = -v**2 + 5*v - 3. Let o be p(4). Suppose -11 = 2*z - 4*j + o, 2*j = 4*z. Suppose 0 = -z*t + 19 - 7. Does 2 divide t?
True
Is (-13)/13*(1 + -9) even?
True
Let k = -26 - -41. Is k a multiple of 5?
True
Let d = 8 + -5. Suppose -d*j + 6*j + 66 = -2*i, 3*i + 111 = -5*j. Is (j/5)/(2/(-10)) a multiple of 12?
True
Let f(w) = w**2 + 4*w - 3. Let j be f(-5). Is 30 + (0 - j) - 1 a multiple of 15?
False
Suppose 2*r - 23 - 43 = 0. Is 11 a factor of r?
True
Let s = -2 - 0. Let o be -2 - (-2)/(s/3). Let x(t) = -2*t + 2. Is x(o) a multiple of 6?
True
Let d(i) = -i - 7. Let k be d(-8). Let b(r) = 6*r - 1. Is b(k) a multiple of 5?
True
Let s be (-4)/(-26) - (-316)/(-26). Let q = 3 - s. Does 5 divide q?
True
Let p(n) = n**2 + 4*n - 6. Is 7 a factor of p(-8)?
False
Let z(v) = -v**2 + 14*v - 14. Does 2 divide z(12)?
True
Let g = 96 - 53. Is g a multiple of 10?
False
Suppose 0 = 4*p - p + 9. Let t be (9/3)/p - -24. Let u = 40 - t. Is u a multiple of 8?
False
Suppose -4*l + 36 = -32. Let k = l + -9. Is k a multiple of 4?
True
Let w be 3/(-1) + 20 - 1. Let f = w + -8. Suppose 0 = -2*u + f + 26. Does 17 divide u?
True
Suppose -10 = 5*c + 5*r, -2*c - 5 = -r - 16. Let j = 25 - c. Is j a multiple of 10?
False
Suppose 2*j + 23 = -4*q + 5, 5*q = 5*j - 30. Is 99/15 - 2/q a multiple of 7?
True
Let w be 161/4 + 5/(-20). Suppose -5*j + 2*z = -z - 66, 3*j = 2*z + w. Let k = -5 + j. Is 5 a factor of k?
False
Let k be 0/10 - (-203)/(-1). Let r = -131 - k. Is 18 a factor of r?
True
Suppose 3*o - 3*w = w + 13, -2*w + 39 = 5*o. Let q(i) = 2*i. Does 9 divide q(o)?
False
Let x be ((-24)/(-30))/(2/5). Suppose 3 + 37 = x*z. Is 10 a factor of z?
True
Let m(x) = x**2 + x + 1. Let l be m(-2). Suppose g - 2*s - 2*s - 9 = 0, 4*g + l*s - 17 = 0. Suppose -k + 5*n = g, 1 - 11 = -2*n. Is 9 a factor of k?
False
Suppose 4*n + 293 - 1249 = 0. Is 28 a factor of n?
False
Let r = 9 - 6. Let z(q) be the first derivative of q**4/4 + q**3/3 - q**2 - 3*q - 2. Does 11 divide z(r)?
False
Let d(f) = f**2 - 5*f - 3. Suppose -3*x - 2*c = -4*c + 9, 2*x + c = -6. Does 9 divide d(x)?
False
Let p be 1/3 + 141/9. Suppose -3*i = -11 - p. Does 9 divide i?
True
Let g(x) = -3*x + 9. Let l be g(6). Let i = l - -15. Does 13 divide (4/i)/(4/282)?
False
Suppose -36 - 132 = -3*z. Let c = z - 38. Suppose x = -2*r + c + 32, 2*x = 0. Does 10 divide r?
False
Let s = -22 + 27. Suppose -s*r - 98 = -4*a + 3*a, 0 = -4*r. Is a a multiple of 17?
False
Suppose 10 = -p + 6*p. Suppose 0 = -p*x - 3*x + 10, -2*x = 3*y - 76. Does 8 divide y?
True
Let m(u) = u**2 - 4*u + 4. Let o be m(4). Let t be (-15)/(-1) - o/2. Suppose 5*k - t - 47 = 0. Does 12 divide k?
True
Suppose z = 3*p - 146, -p + 3*z - 150 = -4*p. Is p - 3/2*-2 a multiple of 13?
True
Let w = 51 + -15. Is w a multiple of 9?
True
Let o = -61 + 232. Is o a multiple of 28?
False
Let z(j) = -j**2 + 8*j + 4. Let o be z(8). Is ((-1)/o)/1*-44 a multiple of 3?
False
Is 10 a factor of 350/(-28)*(49/(-5) - -1)?
True
Let m be (-6 - 4)*(-18 - 3). Suppose -3*i - m = -6*i. Is i a multiple of 20?
False
Let v = -54 + 76. Let x = v + 6. Let o = x + -4. Is o a multiple of 10?
False
Suppose 3*l = 6*l - 36. Does 12 divide l?
True
Let q(p) be the first derivative of 13*p**2 - 3*p + 2. Is q(2) a multiple of 18?
False
Does 12 divide 1 + 4*37 + (1 - 3)?
False
Suppose 4*n - 2 = -10. Let l be (6/(-2))/(n + 1). Suppose -b + 48 = l*b. Is b a multiple of 11?
False
Let w(m) = -2*m + 9. Let t be w(6). Let a(o) = -o**2 - 6*o + 4. Does 13 divide a(t)?
True
Let h = -37 - -53. Is h a multiple of 16?
True
Suppose 215 = 5*z - 5*m - 0*m, -5*m + 215 = 5*z. Let l be ((-2)/(-2))/(2/6). Suppose -l*a + 44 = 5*t - 17, -2*a - t + z = 0. Is a a multiple of 22?
True
Is 4 a factor of 3/18 + 284/24?
True
Suppose -23 = -2*t + 41. Suppose -4 = -l - 3*u, 3*l = 7*l + 3*u - 16. Let p = l + t. Is 16 a factor of p?
False
Let g(k) = -4*k - 4. Suppose 2*i + 13 = -3*l, -5*l + 4*i - 22 = 7. Does 5 divide g(l)?
False
Let j(h) = -h**3 - 4. Let c be j(0). Let o = c + 14. Suppose -3*r + 2*r + o = 0. Is r a multiple of 7?
False
Suppose 10*a - 470 = -0*a. Does 15 divide a?
False
Let d be (140/42)/((-4)/198). Does 7 divide ((-40)/25)/(6/d)?
False
Let k be 1/((-3)/6 + 1). Suppose 0 = k*a + 5*j + 5, 0*j + 3*j + 3 = 0. Suppose -2*m = -0*f - 2*f - 18, a = 5*m - f - 41. Does 8 divide m?
True
Does 21 divide (-24)/9*(-36)/2?
False
Let z(y) = -4 + y**2 + y**2 + 3*y**2 - 3*y + 1. Is 18 a factor of z(-3)?
False
Let u(b) = -b + 3. Let v be u(0). Suppose 2*r - 3*r = -72. Suppose -48 = -2*k - s, v*k - s - s = r. Does 10 divide k?
False
Let d be 2/(-7) - (-69)/21. Suppose -r = -t + 48, t + 2*t + d*r - 174 = 0. Let z = t - 26. Is 9 a factor of z?
True
Let p = 5 - 3. Suppose -p*n + 6 + 15 = 3*u, 35 = 4*u + 5*n. Suppose -4*x + 7 + u = 0, 4*m + 4*x = 48. Is 4 a factor of m?
False
Let h(y) = 2*y**2 - 10*y - 8. Does 13 divide h(8)?
False
Let q(r) = -r**3 - 3*r**2 - 2*r. Let y be q(-2). Let a(p) be the third derivative of p**5/60 + p**4/24 + 11*p**3/3 + p**2. Is 8 a factor of a(y)?
False
Let z = 10 - 2. Suppose -3*q = -z*q + 70. Is 14 a factor of q?
True
Suppose b + 4*x - 2 - 80 = 0, 3*x + 75 = b. Does 26 divide b?
True
Let x(c) = -c**3 + 5*c**2 + 5*c + 6. Let p be x(6). Suppose 5*k - 210 = -p*k. Is 12 a factor of k?
False
Let c(o) = 0 + 5*o + 8*o**2 - 12 + o**3 + 3. Is c(-7) even?
False
Let c(f) = -3*f**3 + 2*f**3 + 0*f**2 + 7 - 3 - 3*f**2. Is 4 a factor of c(-3)?
True
Suppose 5*a - a - 464 = 0. Is a a multiple of 45?
False
Let a(p) = 5*p**2 - 3*p - 3. Let q be a(5). Suppose q = 2*g + f, -97 = -3*g + 2*f + 67. Does 9 divide g?
True
Is (-4)/(-8)*32 - -1 a multiple of 6?
False
Suppose j + 22 = 2*h - 66, j = h - 44. Is h a multiple of 11?
True
Let t(f) = f - 3. Let k be t(0). Let n(s) = -s - 3. Let p be n(k). Suppose p = -i - 0 + 14. Is 14 a factor of i?
True
Suppose -4*y = 5*v - 30, -2*v = -3*v - 4*y + 22. Let b(n) = 25 - 25 + 17*n. Is b(v) a multiple of 14?
False
Let b be ((-8)/12)/(4/(-18)). Suppose -b*m + 23 = -4. Suppose -m = -v + 13. Is 11 a factor of v?
True
Suppose 6*j - 99 = c + j, 4*j = -5*c - 437. Is 6 a factor of (-7)/28 - c/4?
False
Let s(a) = 11*a - 1. Let c be s(4). Suppose 4*d - 3*d + c = 2*f, 3*f + 4*d = 70. Is 11 a factor of f?
True
Let l = 18 - 1. Let g be (-1 - -1)/(-3) + l. Let r = 24 - g. Is 7 a factor of r?
True
Let d = -84 + 210. Does 7 divide d?
True
Let m(c) = c**2 + 7*c + 13. Does 7 divide m(-6)?
True
Let h(j) = -j + 8. Let u be h(7). Let y(z) = 3*z**3 + 2*z**2 - 2*z + 1. Let p be y(u). Suppose -4*x - p*r = -52, 4*r + 0*r = 4*x - 28. Is x a multiple of 5?
True
Let a(c) = -c**3 + 12*c**2 + 14*c - 1. Does 4 divide a(13)?
True
Suppose 3*z = -z + 4. Let j be 0 - (2 + (z - 4)). Does 17 divide (j - (-15)/2)*2?
True
Let j(t) = t**3 + 3*t**2 - 2*t + 2. Let g be j(-4). Suppose -9*h = -7*h - 30. Is 12 a factor of (-224)/(-10) + g/h?
False
Suppose -5*f + 65 = -3*f - h, 3*h + 3 = 0. Is 14 a factor of f?
False
Suppose -7*w = -2*w - 20. Suppose -w*h + 412 = -0*h. Suppose -3*a = -256 + h. Is 17 a factor of a?
True
Let m = -3 + 4. Let i(o) = o**3 + o**2 + o + 1. Let z(r) = -6*r**3 - 3*r**2 - 2*r - 5. Let d(y) = m*z(y) + 4*i(y). Is d(-2) a multiple of 6?
False
Suppose -f + w = -4, 6*f - f = -2*w + 48. Suppose -f = n + 4. Let a = 50 + n. Is 20 a factor of a?
False
Let q = -23 - -60. Is 7 a factor of q?
False
Let f(c) = -c**3 - 13*c**2 - 5*c - 6. Does 12 divide f(-13)?
False
Let j be (-97)/3 + 6/(-9). Does 18 divide 27/(j/(-12) - 2)?
True
Let r(j) = -j**3 - 3*j**2 + 3*j + 7. Let l be r(-3). Let k = 12 - -9. Let z = k + l. Does 9 divide z?
False
Let k(p) = 14*p**2 - 3*p - 2. Let b be k(-2). Let x = b + -17. Suppose -11 + 49 = 4*m + d, 5*m = d + x. Is m a multiple of 9?
True
Let k be (-68)/18 - (-10)/(-45). Let q = 20 - k. Is 6 a factor of q?
True
Suppose 7*k - 4*m = 3*k + 4, m = -2*k + 17. Let x = 21 - k. Does 14 divide x?
False
Let f = -84 + 122. Is f a multiple of 19?
True
Let n = 17 - 19. Does 10 divide 208/24*(-3)/n?
False
Suppose 4*j - 3*t + 6*t - 6 = 0, 5*t + 4 = -2*j. Let w be (-15)/(-12) + -1 - (-19)/4. Suppose 3*x = 4*v - 24, 7*v = j*v + w*x + 24. Does 5 divide v?
False
Let l = -6 + 3. Let s = l + 10. Is 3 a factor of s?
False
Let t(v) be the first derivative of 2*v + 17/2*v**2 + 2. Does 12 divide t(2)?
True
Let h = -6 - -9.