 s(7)?
False
Let f(m) = 2*m**2 - 3*m + 3. Let g be f(2). Suppose 0*c = -g*c + 15. Suppose -2*d = -3*d + c. Is d a multiple of 2?
False
Is (-1)/(646/216 - (-18)/(-6)) a multiple of 29?
False
Suppose 17 = 5*r - 3. Let x be 2/r*(3 + 11). Suppose 4*a = -2*p - x + 31, 3*p = a + 57. Is p a multiple of 18?
True
Let s(j) be the second derivative of -2*j**3/3 + 2*j. Is s(-7) a multiple of 7?
True
Let k(v) = -32*v + 8. Let i(g) = g - 1. Let a(d) = -8*i(d) - k(d). Let t be a(-2). Is 18 a factor of (t/20)/((-2)/15)?
True
Suppose -2*b - 666 = b. Let i = 3 + 0. Is 14 a factor of i/12 - b/8?
True
Suppose 1284 = 3*q + q. Is 16 a factor of q?
False
Is -2*1*430/(-20) a multiple of 18?
False
Let t = -24 + 45. Is 6 a factor of t?
False
Let m(s) = s**3 + 8*s**2 - s - 5. Let t be m(-8). Suppose 205 = 8*f - t*f. Is f a multiple of 17?
False
Suppose 0 = -2*r - 0*r - 24. Let p = -14 - 8. Let z = r - p. Does 8 divide z?
False
Let t be (-4)/(-6) + 1038/9. Let w be 5*(-5)/(50/t). Let s = w - -104. Is 18 a factor of s?
False
Suppose -3*q = q - 368. Is q a multiple of 23?
True
Does 7 divide (1/1)/(10/440)?
False
Let y = 88 - 55. Does 18 divide y?
False
Suppose 4*z - 147 = 21. Does 14 divide z?
True
Let w = -83 + 244. Does 14 divide w?
False
Let r = 1 - -15. Suppose -d + 1 = -4. Is 8 a factor of (r + 1)*(-4 + d)?
False
Suppose j = 2*j + r - 4, 0 = -5*j + 4*r + 29. Suppose j*w = 5 + 125. Does 13 divide w?
True
Let n(r) = 4 + 12*r - 3 - 3. Is n(2) a multiple of 22?
True
Let u(c) = 3*c + 18. Is 9 a factor of u(0)?
True
Let f be (-1)/(8/(-294))*20. Suppose 4*o + o - f = 0. Suppose -3*l - o = -3*w - 0*l, -20 = -5*l. Does 19 divide w?
False
Let c(w) be the first derivative of w**3/3 + 5*w**2/2 - 9*w + 1. Is c(-11) a multiple of 21?
False
Let o(z) = z**2 - 3*z - 1. Is 9 a factor of o(-2)?
True
Let l = 151 - 277. Let p = -47 - l. Does 22 divide p?
False
Let m(o) = -o**2 + 1. Let s(p) = -25*p**3 + p**2 + p + 1. Let y be (-1)/(3/(-3)*1). Let d(w) = y*s(w) - m(w). Does 12 divide d(-1)?
False
Suppose -17 = 2*j - 5*s, j = -2*j + s + 7. Suppose -3*w + 82 = j. Is w a multiple of 12?
False
Suppose -3*f + 27 + 9 = 0. Let m be (-6)/((f/279)/(-2)). Is (-4)/14 - m/(-21) a multiple of 13?
True
Let k(p) = 4*p**2 - 6*p - 1. Does 17 divide k(3)?
True
Suppose 7*d + 3*q = 3*d + 94, 5*d + 4*q - 118 = 0. Let u be d/4 + 1/(-2). Suppose -u*b - 1 = -11. Is b a multiple of 2?
True
Let r(j) = 2*j**2 + 5*j - 3. Is r(-7) a multiple of 12?
True
Suppose 5*g = -5*i - 30, 5*g = i - 1 - 5. Let h be 3/g*(-50)/15. Suppose 0 = h*x - 215 - 5. Is 22 a factor of x?
True
Let s = -21 + 83. Is s a multiple of 15?
False
Suppose -65 = -q + 5*m, 5*m = 2*q - 0*q - 110. Is 15 a factor of q?
True
Let c(p) = -11*p - 10. Let f be c(-14). Suppose -4*x + 8*x = f. Is 9 a factor of x?
True
Let q = -12 + 28. Is q a multiple of 16?
True
Does 9 divide (7 + -6)/(-1 - (-14)/13)?
False
Let h be (-14)/10 - (-6)/15. Is (5/(-3))/(h/6) a multiple of 10?
True
Suppose 2*v + 0*o = -o + 124, -5*v + 2*o = -319. Is 21 a factor of v?
True
Suppose 4*k - 10 + 2 = 0. Does 13 divide (-39)/k*(-4)/6?
True
Let i = -11 - -16. Let b = i - -18. Does 23 divide b?
True
Suppose 0*i + 40 = 5*i. Suppose 3*v = v + i. Suppose 3*l - v = 2*l. Is l a multiple of 2?
True
Suppose -y + 3*r - 88 = -5*y, -2*y + 58 = -2*r. Let m(x) = 34*x**3 + x**2. Let j be m(1). Let f = j - y. Does 10 divide f?
True
Let x = -28 + 14. Let g = x + 26. Is g a multiple of 4?
True
Suppose -14*t = -442 - 258. Is 38 a factor of t?
False
Let g be (3/6)/(2/(-84)). Let y = -9 - g. Is 6 a factor of y?
True
Let k = -216 + 306. Suppose -f = -4*f + k. Does 15 divide f?
True
Let n(h) = -h**2 + 3*h + 4. Let g be n(3). Suppose -g*t = -27 - 5. Is 5 a factor of t?
False
Does 9 divide (-20)/15*-7*3?
False
Suppose l - 100 = -24. Suppose -7*r = -3*r - l. Is r a multiple of 5?
False
Let p = 9 + -9. Suppose p = -2*m - 3*m + 20. Is m a multiple of 4?
True
Let k = -1 - 0. Let l be -3*k/3*1. Does 3 divide (l*2)/(4/6)?
True
Suppose -6*c + 236 = -94. Is c a multiple of 5?
True
Let c(t) = t**3 + 7*t**2 - 5*t - 11. Suppose -2*i = 2*i + 28. Is 6 a factor of c(i)?
True
Let x be (-3)/2 + (-10)/4. Let k = x - -7. Suppose 0 = -2*q - 3*n + 54, 2*q - 7*q + k*n = -93. Does 15 divide q?
False
Suppose -235 = -c - 4*a - 0*a, 4*a = -2*c + 454. Is 22 a factor of c?
False
Suppose -3*q = 9 + 6, q - 4 = -3*b. Let i be 24*-2*1/(-2). Suppose 2*p + i = b*p. Is 12 a factor of p?
True
Let c be 0 + -3 - 7/(-1). Suppose -2*b - 8 = 0, -3*b = -l - c*b - 1. Is l a multiple of 3?
True
Let n be 6/(-9) + (-961)/3. Let k = -223 - n. Let v = k - 26. Is 27 a factor of v?
False
Suppose 5*m + 3*j - 813 = 333, -465 = -2*m + j. Is 11 a factor of m?
True
Let f = -20 - -28. Suppose -f*k + 3*k = -85. Does 15 divide k?
False
Let c = 11 + -10. Suppose -5*h = -v + 11, 4*h + c = v - 7. Let q(g) = -g**2 - 5*g + 3. Is q(h) a multiple of 3?
True
Let h(b) = -b**3 - 3*b**2 - 5. Let j be h(-4). Let q(n) = -n**2 + 14*n - 12. Is q(j) a multiple of 13?
False
Suppose -4*b + 2*v + 25 = -3*v, -5*b - 3*v = 15. Suppose -o - 68 = -3*j, b = -3*j + 4*o + 35 + 48. Does 16 divide j?
False
Let w be (-3 - 1)*(-3)/12. Is (4 - w - 2)*13 a multiple of 12?
False
Suppose -5*t + 2*r = -26, -3*t + 2*t - 3*r + 12 = 0. Let h(j) = -j + 8. Let w be h(t). Let x = 25 + w. Does 14 divide x?
False
Let z(c) = c**3 - 7*c**2 + 7*c - 8. Let i be z(6). Does 14 divide 4/(-5)*35/i?
True
Let z(a) = -a**3 + 15*a**2 - 18*a - 3. Let f(v) = -2*v**3 + 29*v**2 - 35*v - 5. Let b(h) = -4*f(h) + 7*z(h). Does 16 divide b(10)?
False
Let t be ((-93)/12)/(1/(-4)). Let y = -19 + t. Is y a multiple of 7?
False
Suppose -o + 156 = 3*o. Is o a multiple of 29?
False
Let r(j) = -j - 9. Let f be r(-9). Let c = f + -3. Let h = c + 17. Does 7 divide h?
True
Suppose -198 = -9*s - 2*s. Is 2 a factor of s?
True
Suppose -4*p + 7*p = 9. Let c = -7 + p. Let k = c + 7. Does 3 divide k?
True
Does 8 divide (-8)/(-1 - (2 + -2))?
True
Let w(p) = -p**3 - 2*p**2 - 2*p - 1. Let l be w(-1). Suppose d - 2*d = -2*o - 6, l = 2*d - 2*o - 18. Is d a multiple of 6?
True
Suppose -2*u - 3*u - 97 = 2*g, 5*g = -u - 24. Is 8 a factor of (u/(-2))/((-1)/(-4))?
False
Suppose 0 = -3*g - 5*q - 4, 5*g - 3*g = -q - 12. Does 10 divide (-152)/g - (0 - 1)?
True
Let t be -1 + 41 + (0 - 1). Let w = t + -12. Let z = w + -1. Does 13 divide z?
True
Suppose c = -3*a + 47 + 1, 3*a + 69 = 2*c. Let z = c - 28. Is 3 a factor of z?
False
Suppose 5*t = 3*k - 2*k + 82, -5*t - 3*k = -74. Is t even?
True
Let m(o) = -o**3 + o. Let s be m(-1). Suppose -5*t + 2*t + 12 = s. Suppose -5*z = -t*y - 8, -3 = -5*y + 2*z + z. Is y even?
False
Let m = -6 - -9. Suppose 26 = m*l - 2*l. Does 13 divide l?
True
Let m = 0 - 0. Suppose m = -p - 0*p - 138. Does 12 divide p/(-5) + 8/20?
False
Let b(a) = a**2 + a + 22. Let p be b(0). Suppose 0 = -4*o + 5*o - p. Is o a multiple of 11?
True
Let t = 10 - -2. Does 5 divide t + -3*4/6?
True
Let i(z) be the second derivative of -1/3*z**3 + 0 + 0*z**2 - z. Is 4 a factor of i(-4)?
True
Let b(p) be the third derivative of -5*p**4/12 + 2*p**3/3 + 5*p**2. Is 11 a factor of b(-4)?
True
Suppose 0 = -3*m - 0*m + 6. Suppose -m*d - 4*b + 57 = 15, 4*d - 5*b = 110. Suppose -d = -2*n - 5. Is 10 a factor of n?
True
Suppose -b = 3*s + 2*b - 18, 3*b - 14 = -2*s. Let t = s + -15. Let w = t - -22. Is 11 a factor of w?
True
Let d(h) = -h**2 - h + 4. Let g be d(0). Suppose 0 = -g*l - 35 + 167. Is l a multiple of 13?
False
Let g = 98 - 43. Does 13 divide g?
False
Let r(j) = j**2 - 2*j - 2. Does 13 divide r(5)?
True
Suppose -2*o + 2*r + 269 = o, -4*r = -o + 83. Is 23 a factor of o?
False
Suppose -v + 6*v - 105 = 0. Suppose -2*w + 6 = 3*k - 2, -3*w = 6. Suppose -v = -k*g + 75. Does 12 divide g?
True
Suppose -3*x - 1 = -5*z, 9 = 5*x - 4*z + 2. Suppose x*f + 19 = 49. Is 3 a factor of f?
False
Let r be -3 - (2 + 1 + 105). Let w = -77 - r. Is 17 a factor of w?
True
Suppose x - 4*o - 47 = 0, 0 + 5 = -5*o. Does 7 divide x?
False
Suppose 4*s = -4*u + 12, u = -0*u + 3*s - 9. Let k(i) = i**2 + i + 31. Is 8 a factor of k(u)?
False
Let n = 164 - 125. Is n a multiple of 13?
True
Let a = 20 - 10. Let v = 14 - 13. Is 10 a factor of (a + v)*(-2 + 3)?
False
Suppose -2*q = 4 + 2. Let c = q + 1. Is 4 a factor of c - -3 - (-2 - 5)?
True
Suppose -12 = -4*y + 32. Let d(u) = y*u**2 + 9*u**2 - 6*