 -1)/1 - 0?
False
Let o be (-6)/(-2) + (-6 - -5). Let d be (1 - 0) + o + 54. Suppose 0 = -4*f - i + d, 2*f + 2*i + 12 = 3*f. Does 7 divide f?
True
Suppose p = -3*p + 16, 3*z = -5*p + 44. Suppose z*i - 150 = 2*i. Is i a multiple of 25?
True
Suppose n + m = 137, m + 364 = 2*n + 105. Does 34 divide n?
False
Suppose -4*v + 10 = v. Suppose 10 = -0*x + v*x, -5*w - 3*x + 345 = 0. Does 22 divide w?
True
Let w = 94 + -35. Is 7 a factor of w?
False
Let z(s) = 4*s**2 - 3*s. Let b be z(2). Is (b + 5)/(0 + 1) a multiple of 15?
True
Let p be -6*(6/(-4) + 1). Suppose p*c + 20 = -2*c. Let m(r) = r**3 + 5*r**2 + 3*r + 6. Is m(c) a multiple of 5?
True
Let j(a) = 16*a - 4. Suppose i = -4*i + 20. Let l be j(i). Let g = l - 15. Does 15 divide g?
True
Is 4 a factor of -7*(-2 - 0) - 2?
True
Suppose -2*j + 32 = -j. Is 8 a factor of j?
True
Let k(j) = j**2 - 9*j - 5. Let w be k(10). Let i(c) = -9*c + c**3 - 3*c**2 + 7 + 3*c - 2*c. Is 15 a factor of i(w)?
False
Let f be (-3 - -2) + -2 + 4. Suppose r - 5*t - f = -0, -4*r + 26 = 2*t. Does 5 divide r?
False
Let r be (10 + -6)*(2 + 1). Let d(n) = -n**3 - 21. Let b be d(0). Is (b/r)/(1/(-8)) a multiple of 8?
False
Let b be 3*(-2)/3 + 7. Suppose -2*p = -b*u - 65, 0 = -3*p - u - u + 50. Is 9 a factor of p?
False
Let i be 1 - 4 - (-4)/(-2). Let b(k) = k**2 + 5*k + 2. Let n be b(i). Suppose n + 50 = 2*w - 2*z, 4*z = -w + 16. Does 12 divide w?
True
Suppose 0 = -3*u + 5*u - 120. Is 6 a factor of u?
True
Suppose 2*f + 55 = 3*f. Let x = f + -15. Is x a multiple of 10?
True
Let q = 55 + -31. Is 8 a factor of q?
True
Let s be (5/(5/2))/1. Suppose w + s*w + 4*i - 13 = 0, 11 = 3*w + 2*i. Suppose -7 = -3*n - k, -7*k = -w*k + 8. Does 2 divide n?
False
Suppose 0 = 3*c + c - 32. Does 14 divide (-2)/c - (-399)/28?
True
Let m = 106 + -38. Is 15 a factor of m?
False
Let j be (-1)/(351/(-174) + 2). Suppose 4*w + 4*k - 56 = 2*k, -3*k = 4*w - j. Is w a multiple of 13?
True
Let y(h) = 3*h**2 + 5*h - 20. Does 16 divide y(-7)?
False
Let s(o) = 6*o**2 - o - 2. Is 12 a factor of s(-2)?
True
Let f(d) = -d**2 + 2*d. Let y be f(3). Let q = y - -4. Is 12 + (q + -2 - -1) a multiple of 9?
False
Let d(v) = 3*v**3 - 5*v**2 + 6. Does 14 divide d(3)?
True
Let i = -683 + 968. Does 57 divide i?
True
Let q = 20 - -2. Suppose -4*v + 2*v = -q. Suppose -2*d = v - 123. Is d a multiple of 19?
False
Suppose 0 = -2*g + 3*g - 24. Suppose 4*n + 8 = g. Suppose q + 2*a - 10 = 0, 4*a = -n*q - 0*a + 40. Is 6 a factor of q?
False
Suppose 5 = s - 2. Is 2 a factor of s?
False
Let m be (2/(-3))/(1/3). Let q be 1/m*-1*2. Let l(b) = 12*b - 1. Is 3 a factor of l(q)?
False
Let w(a) be the first derivative of a**3/3 + a**2/2 - 2*a + 3. Is w(-4) a multiple of 10?
True
Suppose 4*o + 0*j = -3*j, 0 = 3*o - 4*j - 25. Suppose -8 = 3*c - 5*c. Let t = c + o. Is t a multiple of 3?
False
Suppose -w - 11 = -0*w. Let a(j) = -20*j**2 - 45*j + 17. Let n(d) = -7*d**2 - 15*d + 6. Let r(c) = 6*a(c) - 17*n(c). Is 22 a factor of r(w)?
True
Suppose 0 = t - j - 70, 4*t + 4*j - 3*j = 305. Does 15 divide t?
True
Suppose 5*b - 100 + 35 = 0. Let i(d) = 2*d - 2. Is 8 a factor of i(b)?
True
Let l(i) = 5*i + 2. Let c(k) = 5*k + 3. Let h(y) = 6*c(y) - 7*l(y). Is h(-6) a multiple of 17?
True
Is 0 + -4 + 54 + (-5)/1 a multiple of 5?
True
Let z = 8 - 15. Let f(j) = -4*j + 4. Is 12 a factor of f(z)?
False
Let h(o) = -44*o. Is 11 a factor of h(-2)?
True
Let z = 3 + -5. Let x be z/(-6) + (-2)/6. Suppose 0*b - b + 4 = x. Is b even?
True
Let o(q) = -2*q**2 - 7*q - 5. Let r be o(-5). Let d be (-1434)/21 + (-4)/(-14). Is (-4)/r - d/10 a multiple of 2?
False
Let d(g) = -g**2 + 3*g - 4. Let r be d(-3). Let t = -14 - r. Is t a multiple of 4?
True
Let h(g) = -g**2 + g + 70. Let r be h(0). Suppose 3*a = 2*b + r + 32, -2*a + 3*b + 63 = 0. Does 12 divide a?
True
Let a(b) = 5*b + 51. Is a(22) a multiple of 31?
False
Suppose -5*b = -4*b - 2, z = 2*b - 1. Suppose -4*n + z*n - 4*s = -19, -5*s = -20. Suppose -x = -n*x + 12. Is x a multiple of 5?
False
Let f(u) = -u**2 + u + 8. Suppose -l - 16 = 4*q, 2*l - 5*q - 20 = 7*l. Is 3 a factor of f(l)?
False
Is (2 - 17)*252/(-15) a multiple of 18?
True
Suppose 3*b - c - 308 = 8*b, -190 = 3*b - 2*c. Let k = 106 + b. Is k a multiple of 15?
False
Let m be 4 + 1/2*-4. Is 22 a factor of (23 - (0 - -2)) + m?
False
Let q(s) = s**3 + 6*s**2 + 4*s. Let g be q(-3). Let d = -11 + g. Does 4 divide d?
True
Let h = -220 + 385. Does 15 divide h?
True
Let d = 11 + -6. Is (-2)/(-5) - (-58)/d a multiple of 6?
True
Let r(t) = -t**2 + t - 1. Let n(s) = 23*s**2 - 6*s + 7. Let x(m) = n(m) + 6*r(m). Does 9 divide x(-1)?
True
Let q = -9 - -11. Suppose -q*y - 2 = 6. Does 21 divide (-225)/y + (-1)/4?
False
Suppose -2*m = 2*m + 3*f - 270, 67 = m + f. Suppose 0 = -j + 4*j - m. Does 23 divide j?
True
Let p be 4/(-6)*3*-2. Let u = p - 0. Is u even?
True
Suppose -24 - 2 = -2*g. Suppose 3*r + 22 = 4*l, l + r + 2*r - g = 0. Let f(t) = t**3 - 7*t**2 + t. Is f(l) a multiple of 3?
False
Suppose 2*w - 2*c - 243 = -c, 2*w - 240 = 4*c. Is 32 a factor of w?
False
Let x(l) be the second derivative of -l**4/12 - l**3 - 3*l**2/2 - 4*l. Let p be x(-3). Suppose -2*n - p*g = -3*g - 93, -3*g + 255 = 5*n. Is n a multiple of 14?
False
Suppose 3*o = 106 + 212. Is 30 a factor of o?
False
Let o(b) = -b**2 - 10*b - 1. Does 18 divide o(-5)?
False
Suppose -w = -l + 2, 2*l = w - 3*l + 18. Suppose -f + 6 = n, f + w = -4*n + 5. Is f a multiple of 2?
False
Let a = 74 + -35. Is a a multiple of 12?
False
Suppose -3*t + 2*b + 75 = -11, -5*t = 5*b - 160. Does 10 divide t?
True
Let d = 76 + -39. Is d a multiple of 4?
False
Suppose c = -2*r + 12, -5*c - r + 6 = -9. Suppose -3*y + c*x - 4 = 0, -4*y = 4*x - 27 - 1. Is 12 a factor of 44/2*1 + y?
True
Suppose 0 = -2*r - 2*r + 60. Is 15 a factor of r?
True
Let k be (418 + 3)/(-1) + -2. Let l be 3/(-12) - k/12. Let m = l + -19. Is 16 a factor of m?
True
Is 19 a factor of (-172)/(-2) - 12/6?
False
Suppose 3 - 1 = s. Suppose d = s*d - 30. Is 15 a factor of d?
True
Let j be (-239)/(-3) - (-1)/3. Let o = j - 45. Suppose 0 = 5*p - 35 - o. Does 14 divide p?
True
Let t = -39 + 22. Let s = 56 + t. Let n = s + -13. Is 15 a factor of n?
False
Let p = 83 - -85. Does 7 divide p?
True
Let f = -4 - -9. Let t(x) = -x**3 + 2*x**2 - 2. Let n be t(-2). Let w = n - f. Is w a multiple of 6?
False
Let k(w) = 2*w - 3. Let j be (2/1)/((-1)/(-2)). Does 3 divide k(j)?
False
Suppose 4*m = 2*j + 126, 0 - 69 = -2*m + 3*j. Does 15 divide m?
True
Is 20 a factor of -9 + 60/5 + 1*297?
True
Suppose 2*f - 4*a = 20, 2*a - 61 = -4*f + 3*a. Is f a multiple of 8?
True
Let j(p) = -p - 4. Let d be j(-7). Let b = 5 - d. Suppose 0 = 2*s + b*s - 36. Does 7 divide s?
False
Suppose 0 = 2*j - 4*j + 46. Is 23 a factor of j?
True
Let s be (10/4)/((-2)/(-4)). Suppose -s*h - 4 = -49. Is 9 a factor of h?
True
Suppose 1 + 9 = 2*p. Suppose 2*r - 33 = -p. Is r a multiple of 10?
False
Suppose -5*c + 581 = -5*t + 11, 4*c + 4*t - 480 = 0. Suppose 0 = 5*v + c - 407. Is v a multiple of 16?
False
Let g = -6 - -6. Suppose g = -2*q - 10. Is (-54)/q + (-2)/(-10) a multiple of 9?
False
Let f(q) = q**2 + 6*q + 1. Let p be ((-6)/(-8))/((-3)/60). Let x = p - -7. Does 17 divide f(x)?
True
Let o = 33 + 3. Let r = o + -6. Is 10 a factor of r?
True
Let t(a) = 251*a**2 - a. Let u be t(1). Suppose -2*w + 7*w = u. Does 18 divide w?
False
Suppose 7*c - 989 = 1090. Is 9 a factor of c?
True
Suppose 0 + 15 = 5*n. Suppose 0 = -n*p - 3*t + 123, -5*p = -p + 5*t - 169. Is p a multiple of 18?
True
Let r = 26 - -25. Is 17 a factor of r?
True
Let n = -40 + 96. Does 11 divide n?
False
Suppose 4*f - 3*m + 2 = -10, -3*f + 4 = m. Suppose -2*k + 30 + 12 = 0. Suppose 0 = 3*u + 3*r - k, 42 = 3*u - 4*r - f*r. Is u a multiple of 10?
True
Is (-186)/(-3)*2/4 a multiple of 31?
True
Let d be 1*(0 + -2)*-1. Let l be 113*d*(-1)/(-2). Suppose -47 - l = -4*x. Does 16 divide x?
False
Suppose -v - 2*v = -522. Suppose -5*u + 56 = -v. Is u a multiple of 18?
False
Let z = 54 + -3. Does 17 divide z?
True
Suppose 605 = 4*p + 145. Does 23 divide p?
True
Let x be 2/7 - (-6)/(-21). Let m = x + 3. Is 1 - (-1 + 0)*m a multiple of 4?
True
Suppose -4*t - 4*w = -12, 3*t + 2*w + 0 = 10. Suppose -t*b = -2*b - 70. Is 16 a factor of (-2)/7 + 570/b?
True
Let d be (-856)/36 - (-4)/(-18). Is 4/(-6) + (-544)/d a multiple of 8?
Fal