 of y(2)?
True
Does 11 divide 54/((3/(-10))/(2/(-5)))?
False
Is (-3 + 2)*(20/5 + -148) a multiple of 16?
True
Let n = -174 + 222. Does 28 divide n?
False
Suppose 4*x + 23 = u + 7, x = 4*u - 34. Is u a multiple of 8?
True
Let r be 3 + (-2)/4*4. Let n be r*-1 + (-132)/(-11). Let w = n - 6. Is w a multiple of 5?
True
Is 16 a factor of (-452)/(-8) - 3/2?
False
Let v = 1 - -1. Suppose -u + 132 = u. Suppose u = b + v*b. Is b a multiple of 11?
True
Suppose 5*z - 15 = 0, 5*n - 2*z + 5*z - 49 = 0. Let u(r) = 2*r + 4. Let b(w) = w + 4. Let h(m) = -3*b(m) + 2*u(m). Does 3 divide h(n)?
False
Let j(q) = q**2 - 9*q + 2. Is j(12) a multiple of 19?
True
Suppose 110 = f + 4*v, -v = 4*f + 4*v - 407. Is f a multiple of 14?
True
Suppose -4*z + 3*a = -111, -z + 2*a - 66 = -3*z. Let o = z + -17. Is 13 a factor of o?
True
Let l = -9 - -18. Is 9 a factor of l?
True
Suppose 0 = -31*m + 27*m + 440. Does 32 divide m?
False
Let v(x) = 8*x**3 + 3*x - 1. Is 17 a factor of v(2)?
False
Let k(t) = -t**3 + 16*t**2 + 2. Is k(16) even?
True
Suppose 6 = -c - y, 3*c - 9 = 5*c + 3*y. Is (-39)/c*3*2 a multiple of 9?
False
Suppose s = 5*a - 3*s + 1, 0 = -3*a + 5*s - 11. Suppose a*v - 152 = -v. Is 10 a factor of v?
False
Let w(v) = -1 + 0 - 1 - 6*v + 3*v. Suppose 2*k + 2*k = -20. Is 13 a factor of w(k)?
True
Let a(n) = n - 2. Let y be a(8). Does 13 divide (26/6)/(2/y)?
True
Let t = -12 - -8. Is 10 a factor of 4/(t/(-21)) + -1?
True
Let j = 63 + -3. Let k(n) = -n**2 - 3*n. Let a be k(-2). Suppose a*z = -3*f - 4 + j, f - 4*z = 0. Is f a multiple of 8?
True
Let w(j) be the third derivative of j**5/60 - j**4/12 + 3*j**2. Does 6 divide w(7)?
False
Let v = 6 - 3. Suppose 0 = 2*s - 10, -v*s = -5*h - 8 - 17. Does 7 divide (-1)/(h + (-27)/(-14))?
True
Suppose 1554 = 4*u - 66. Suppose 5*z - u = -5*d, 3*d - d + 6 = 0. Suppose 109 = 2*x - q, 2*x = -4*q + z - 0. Is 26 a factor of x?
True
Suppose 0 = -0*f + 4*f + 28. Let p(y) = -y**3 - 8*y**2 - 7*y + 3. Let o be p(f). Suppose o*r = -4*b + 32, -4*r = -2*r - 4*b + 12. Is 4 a factor of r?
True
Suppose 8 + 26 = 2*s. Suppose -2*h = -z + 2*h + s, z - 14 = h. Is z a multiple of 4?
False
Let y be 6/21 - 121/7. Let f = -10 - y. Suppose -n + 0*n = -f. Does 3 divide n?
False
Does 2 divide 10 + 2 + -2 + -2?
True
Let q(g) = g**2 - 7*g. Is q(12) a multiple of 9?
False
Let d = -18 + 26. Let g(n) = -n**2 + 4 - 9*n - 4 + d. Is g(-9) a multiple of 8?
True
Let v = -4 + 7. Suppose -v*r - 16 = r. Let i = 25 + r. Is i a multiple of 11?
False
Let h = 83 - -95. Is 10 a factor of h?
False
Suppose 2*c + 8 = -0*c + 4*q, -3*c + 12 = 2*q. Suppose -c*o - o + 114 = 0. Is 11 a factor of o?
False
Let o = 431 + -282. Is 15 a factor of o?
False
Suppose -75 - 42 = -3*p. Is p a multiple of 39?
True
Let x = 7 + -7. Suppose x*d = 4*d - 204. Is 13 a factor of d?
False
Let r be 36/(-10) + (-16)/40. Is 11 a factor of r/2 - (0 - 24)?
True
Let p(x) = -x**3 + 8*x**2 - 7*x - 10. Let i be p(7). Does 5 divide 15/i*10/(-3)?
True
Suppose -8*a + 138 + 14 = 0. Does 4 divide a?
False
Suppose t - 3*t + 16 = 0. Let x(r) = r**3 - 9*r**2 + 12*r - 5. Does 9 divide x(t)?
True
Suppose -36 - 24 = 2*k. Let u = -17 - k. Let r = u + -1. Does 5 divide r?
False
Suppose -2*i = 0, -4*m + 81 = -m + 4*i. Suppose 2*h - m = -h. Does 9 divide h?
True
Let y(l) = -3*l**3 + 3*l**2 + 3*l + 4. Let m be y(-6). Let q = 1078 - m. Is (2/(-4))/((-4)/q) a multiple of 14?
True
Let g(a) = a**2 - 4*a - 30. Does 27 divide g(-12)?
True
Suppose o = -2*o + 156. Does 13 divide o?
True
Is (-4 - 38/(-6))*66 a multiple of 22?
True
Let b = -2 + 4. Let i be -50 + b + 0 + -2. Let v = -20 - i. Is v a multiple of 20?
False
Let m(o) = -2*o - 6. Let k be m(-4). Is 33 a factor of (-22)/((k/(-3))/2)?
True
Is 28 a factor of -3 + (2/3 - 700/(-12))?
True
Does 7 divide (2 - 2390/(-25)) + (-2)/(-5)?
True
Let o = 71 + -37. Is o a multiple of 7?
False
Is 30/6*162/15 a multiple of 18?
True
Suppose 0 = -d + 6 - 4. Let x be 54/(-3)*(d - 1). Is 12 a factor of -14*(x/7)/3?
True
Suppose -25 = -0*s - s. Suppose 5*q - s = 85. Suppose 2*k + q - 76 = 0. Does 9 divide k?
True
Suppose 4*i = -2*v + 42, -5*i + 3 = v - 6. Is -1 + 1 + 1 + v a multiple of 15?
True
Is (9/4)/(7/28) a multiple of 4?
False
Let t be 8/(-10)*(-15)/6. Is t/(-3) - (-132)/9 a multiple of 8?
False
Let o(z) = 4*z**2 + 3*z - 1. Suppose 10 = -10*v + 5*v. Let w be (-1)/v*0 - -2. Is o(w) a multiple of 7?
True
Is (-2)/12 + 1324/24 a multiple of 10?
False
Let y(r) = 4 - 3 + 5 - 1 - 7*r - r**2. Is y(-7) a multiple of 2?
False
Let r(i) be the second derivative of -i**3 - 3*i**2 - i. Does 12 divide r(-3)?
True
Suppose 3*f = j - 281, j - 3*f - 269 = -4*f. Is j a multiple of 22?
False
Let q(k) be the third derivative of -k**4/2 + k**3/3 + 6*k**2. Is 9 a factor of q(-2)?
False
Is 8 a factor of (-100)/((-8)/2) - -2?
False
Let f = -39 + 61. Is f a multiple of 11?
True
Suppose -o + 390 = -0*o. Suppose 141 = 3*n + 5*g - 109, -5*n + o = 3*g. Is 17 a factor of n?
False
Suppose -i + 3*i = 32. Suppose -i = -3*q + 17. Suppose 0 = -a + 35 - q. Is 12 a factor of a?
True
Let y = 6 - 11. Let c = 6 + y. Let p(d) = 19*d**2 - 1. Is p(c) a multiple of 9?
True
Suppose -2*g - 2*j - 4 = -4*g, 14 = 5*g - j. Suppose 0 = 4*l + 4*p - 32, 7*l - 7 = g*l + p. Does 14 divide -1*l/(-3) + 38?
False
Let s be 0*(-3)/(-9) + 45. Let w = -30 + s. Does 14 divide w?
False
Let u(f) = -f**3 + 4*f**2 + f + 1. Let s be u(4). Suppose 3*d - 2*o + 3*o = 68, 0 = 5*d + s*o - 100. Does 12 divide d?
True
Let p(t) = t - 6. Let g be p(9). Suppose -56 = -g*c - c. Is c a multiple of 12?
False
Suppose -5*n + 122 + 148 = 0. Is n a multiple of 18?
True
Suppose x = 42 - 11. Suppose 5*z = -130 + 35. Let h = z + x. Is 12 a factor of h?
True
Let b = -7 + -63. Let c = -34 - b. Does 11 divide c?
False
Let h = 24 + -1. Does 8 divide h?
False
Let r(c) = -10 + 2*c**2 - 3*c - c**2 + 3*c. Is 13 a factor of r(-7)?
True
Suppose -3*q = -5*q + 28. Is q a multiple of 10?
False
Suppose -4*k - 283 = -871. Does 17 divide k?
False
Let o(y) = 3*y - 2*y - 3 - 3*y - 4*y. Let x(h) = 13*h + 7. Let b(g) = -5*o(g) - 2*x(g). Is 8 a factor of b(3)?
False
Let y(i) = i**3 + 7*i**2 + 2*i + 13. Does 9 divide y(-6)?
False
Suppose -2*d = -7*d + 695. Is d a multiple of 42?
False
Suppose -2*k + 5 = 1. Let n be (-44)/(-8) - 1/k. Suppose c = -n*r + 12, -34 - 2 = -3*c - 3*r. Does 12 divide c?
True
Suppose 159 = 3*k + 4*r, -r = 5*k + 9 - 291. Is k a multiple of 19?
True
Let w(b) be the first derivative of -b**4/4 + 4*b**3/3 + 4*b**2 + 9*b - 6. Is w(-4) a multiple of 27?
False
Suppose 0 = -4*b + b. Suppose 2*k - 34 - 20 = b. Is 9 a factor of k?
True
Suppose 50 = -5*z + 60. Let b = 8 + -18. Is b*(-3)/6 - z a multiple of 3?
True
Let c(t) = 5*t**3 - 2*t**2 + 4. Let f(i) = -20*i**3 + 9*i**2 - 17. Let s(o) = 9*c(o) + 2*f(o). Does 21 divide s(2)?
True
Suppose 5*i + 2*y - 191 = 5*y, 0 = 5*i + 4*y - 212. Is 16 a factor of i?
False
Let w = 39 + -3. Suppose -u - 20 = -3*k - 3*u, -2*k - 4*u = -24. Suppose -w = -k*s - 0*s. Is 3 a factor of s?
True
Suppose 96 = 2*y - 2*x, -y + 3*x - 20 = -68. Does 16 divide y?
True
Let k be ((-12)/15)/((-4)/(-10)). Let d = 32 + k. Does 15 divide d?
True
Suppose -y - 16 = 3*y. Suppose -h + 2*i - 3 = 0, -2*h - 3*i + 13 + 9 = 0. Let u = h - y. Does 5 divide u?
False
Let b(t) = t**2 + 3*t - 7. Suppose -2*h + g + 75 = 0, 0 = -5*h - 0*g + 2*g + 189. Let o be h/6 - 3/2. Is b(o) a multiple of 16?
False
Is (-2 - 1)*36/(1 + -4) a multiple of 9?
True
Let l = -1 + 2. Suppose 0 = 5*w - 4*c - 66, -1 = w + 3*c + l. Is 10 a factor of w?
True
Let h(s) = -s + 6. Let y be h(6). Suppose c + 6 = -c, y = 2*m + 4*c - 74. Is 12 a factor of m?
False
Suppose p = -2*p + 12, 5*p - 20 = -2*l. Let d be -2 - (-1 - l)*-20. Does 11 divide (3/6)/((-1)/d)?
True
Let p be -5*2/(-4)*-2. Let m = p - -14. Does 4 divide m?
False
Suppose -4*q + 6 + 2 = 0. Suppose 5*b - 27 = -4*x, 0*b + 2*x = -2*b + 12. Suppose 11 = -q*u + b*u. Does 5 divide u?
False
Suppose h - 27 = -3*d + 40, 0 = 5*h - 5. Is d a multiple of 4?
False
Suppose -3*q + 6 = -6. Suppose -j - 28 = -5*b + 3*j, -q*j = 2*b. Suppose 5*r - 122 = b*i - i, 0 = -2*i - 8. Does 6 divide r?
False
Suppose 6*r = -x + 3*r + 2, 0 = 4*x + 5*r - 15. Does 5 divide x?
True
Let b(j) = j**2 - 1. Let w be b(0). Let g be 4/(3 + w) + 60. Suppose -2*s + 4*h - 2*h = -g, -2*s = 3*h - 37. Is