- 3*l + 5, 4*l - 15 = 3*o. Let h = o - -7. Suppose 3*v - h = -0. Is 2 a factor of v?
True
Is 60 a factor of 1573/26 - 1/2?
True
Let u be 1 + (-3)/3 - 6. Let h(a) = -2*a**2 + 18*a - 10. Let m(y) = -y + 1. Let r(p) = u*m(p) - h(p). Is 18 a factor of r(8)?
True
Suppose -3*j = 5*f - 39 - 27, 4*j = -5*f + 68. Let p = -8 + f. Does 3 divide p?
False
Suppose 0 = v - 36 - 15. Is v a multiple of 13?
False
Suppose 224 = 5*o - 4*n, -4*n + 3*n - 221 = -5*o. Let v = 110 - o. Is v a multiple of 22?
True
Let d be ((-2)/(-4))/(10/(-60)). Is ((-44)/(-6))/(d/(-45)) a multiple of 22?
True
Suppose -5*z + 64 = -6. Suppose z + 46 = 4*m. Suppose -3*u = -0*u - m. Is 5 a factor of u?
True
Suppose -4*v - 2*l = -0*l - 152, 3*v = l + 109. Is v a multiple of 37?
True
Suppose 0 = 4*p - 4*z - 1 - 31, 4*z = -2*p - 8. Let r = -4 + -1. Let k = p - r. Does 9 divide k?
True
Let n be (-8)/(-2)*(-214)/(-8). Let t = -64 + n. Is 19 a factor of t?
False
Let y = 321 + -126. Let n = y + -136. Is 18 a factor of n?
False
Let o(m) = m**2 + m + 3. Does 4 divide o(-2)?
False
Let h(o) = 16*o**2 - o - 1. Is h(2) a multiple of 29?
False
Let a = 8 - 6. Is (-2)/(6/(-27)) + a a multiple of 11?
True
Let y(j) be the first derivative of j**3/3 - 2*j**2 + 9*j + 1. Is 14 a factor of y(6)?
False
Suppose -5*a + 5*c + 349 = 4*c, -4*c = 5*a - 354. Is 10 a factor of a?
True
Suppose 0 = -5*d - 32 + 7. Let b(m) = -m**3 - 4*m**2 + m + 4. Is b(d) a multiple of 12?
True
Suppose m - 6*m = -10. Does 15 divide 178/9 + m/9?
False
Suppose 3*w + 21 = -0. Suppose -4*i = 4 + 44. Let h = w - i. Does 2 divide h?
False
Suppose -3*n - 10 = -3*m + 11, 4*n = 0. Let r be -2*(-1)/(-2) - -55. Suppose -5*b = 20, 2*x - m*x = -b - r. Does 7 divide x?
False
Suppose -3*l = -38 - 4. Is (36/21)/(4/l) even?
True
Suppose -5*x = -4*x + 5, -4*x = 3*u + 32. Let k(o) = -o - 1. Is k(u) even?
False
Let u(p) = -5*p**3 + 35*p**2 + 46*p + 41. Let g(v) = v**3 - 7*v**2 - 9*v - 8. Let n(r) = -11*g(r) - 2*u(r). Let i be n(8). Is 5 a factor of 17 + i + -3 + 1?
False
Suppose -k = -5*g + 2*k + 33, k - 5 = -g. Suppose -g - 4 = -q + m, 5*q - 54 = 4*m. Is 14 a factor of q?
True
Suppose 0 = -4*h + w + 16, h + w = 13 - 4. Is 69*1/5*h a multiple of 16?
False
Let b = -19 - -27. Let p = b + -5. Does 2 divide p?
False
Let z be 3/(-9) - (-57)/9. Let s = z + -4. Suppose -d = s*d - 48. Is 10 a factor of d?
False
Suppose -115 = 5*n + 4*v, -v = 5*n - 10 + 140. Let q = n + -109. Is 17 a factor of (-6)/2*q/12?
True
Let i(m) = -m**2 - 18*m - 5. Does 5 divide i(-8)?
True
Suppose z + 4*z = -2*k + 14, 5*z = 3*k + 29. Suppose z = h - 2. Is 6/1*14/h a multiple of 14?
True
Suppose -4*l + 4*w = -112, -3*l + 90 = w - 2*w. Suppose 27 = -5*o - 4*n, 2*o = -o + 5*n - l. Let m = 7 - o. Is m a multiple of 14?
True
Let m(o) = 2*o**3 + 4*o**2 - o - 3. Suppose 0*w = -w + 3. Does 23 divide m(w)?
False
Suppose 2*m - 2*v + 8 = 2*v, m - 3*v + 9 = 0. Let h(s) = -s + 6. Let j be h(m). Is 4 a factor of j + 4 - 0/(-4)?
True
Suppose -y + 4*k = -63, 5 = -2*k - 3. Let f = -16 + y. Is 9 a factor of f?
False
Let z = -162 - -300. Does 17 divide z?
False
Suppose 2*i - 3 = -i. Suppose -2*t = -w - 0*t + 7, 2*w = -t - i. Is w/(-2) + 21/6 even?
False
Let i be 1/3*(-3 - 6). Does 10 divide ((-4)/i)/((-9)/(-135))?
True
Suppose -l = -6*l + 485. Suppose 4*a - 3*v - l = 0, 5*v = -0*v + 25. Is 10 a factor of a?
False
Let z = -206 - -459. Is z a multiple of 11?
True
Suppose -4*k - 4*u = u - 39, -5*k - 5*u + 55 = 0. Is 4 a factor of k?
True
Suppose -13*t = -279 - 293. Is t a multiple of 44?
True
Let s(a) = 7*a**3 - 15*a**2 - 6*a + 25. Let n(w) = 4*w**3 - 8*w**2 - 3*w + 13. Let g(t) = 5*n(t) - 3*s(t). Does 18 divide g(4)?
True
Suppose 15 - 3 = 3*r. Suppose -r*j = -3*j - 20. Is j a multiple of 6?
False
Suppose 5*q = -0*q + 175. Suppose 2*h + 3*j = -2, q = -0*h + 3*h - 5*j. Is h even?
False
Suppose 0 = -3*l + 2*m + 143, 3*m - m - 151 = -3*l. Suppose i + 4*i - 15 = 0. Is l - i/(-1)*-1 a multiple of 18?
False
Let p(y) = -6*y - 20. Is p(-6) a multiple of 8?
True
Let l(w) = w**3 - w**2 - 6. Let r be l(0). Let a(t) = -8*t + 6. Let j(o) = 3*o - 2. Let f(i) = -6*a(i) - 17*j(i). Is 16 a factor of f(r)?
True
Is -7*(107/(-14) - 3/(-6)) a multiple of 25?
True
Suppose 5*h - 30 = -0*h. Suppose -h*d = -d - 75. Suppose 4*o - o = d. Is o a multiple of 5?
True
Let p = -23 - -91. Let n = p - 32. Is n a multiple of 18?
True
Let i = 21 - 15. Let p = i - -8. Suppose -4 = -2*w + p. Is w a multiple of 7?
False
Let i = -12 - -32. Does 10 divide i?
True
Let v(n) = 4*n + 15. Does 14 divide v(8)?
False
Suppose -23 = -4*q + 17. Does 3 divide q?
False
Suppose 2*i - 46 = -0*i. Let g(y) = -y**2 + 3*y. Let n be g(5). Let q = n + i. Is 13 a factor of q?
True
Suppose 8 + 1 = -k. Let q be -2 + k*(-4)/6. Suppose 2*y - 15 = q*s + 27, 5*s = -10. Is y a multiple of 5?
False
Let s(p) = 13*p + 1. Is s(3) a multiple of 10?
True
Let u(x) = -12*x - 10. Is u(-5) a multiple of 25?
True
Let w(b) = -b + 4. Let x(o) = 4*o**2 + o. Let i be x(1). Let a be w(i). Let f(v) = -23*v + 1. Is 12 a factor of f(a)?
True
Let k = 28 + -27. Suppose 0 = -g + s + k + 3, 5*s = -3*g + 44. Is g a multiple of 8?
True
Suppose -2*c = 3*c + 5*d - 420, -92 = -c + d. Suppose 2*f + c = 8. Let n = 81 + f. Is 16 a factor of n?
False
Let j(d) = d**2 + 5*d - 7. Let l(c) = -c - 11. Let y be l(-5). Let q be j(y). Let h = 14 - q. Does 15 divide h?
True
Suppose 5*a = -0*a - 130. Let d = -8 - a. Is d a multiple of 18?
True
Let m(q) = 5*q + 18. Does 5 divide m(5)?
False
Suppose -3*c = -3*l - 10 - 2, -c - 2 = l. Is 21 a factor of (c - 0) + (23 - 3)?
True
Let q be -2*(-12)/8*-6. Let y = 3 - q. Does 7 divide y?
True
Suppose -3*t = 5*p + 2, 0 = 5*t - 4*t + 2*p + 2. Is 4 a factor of t?
False
Let j be -24 - 1*(-4 - 0). Is 25 a factor of (-2)/(-4) + (-490)/j?
True
Suppose l + 4*i + 1 + 2 = 0, 0 = -5*l + 3*i - 38. Let s(f) = -2*f - 7. Let j(q) = -3*q - 6. Let g(k) = 3*j(k) - 4*s(k). Does 17 divide g(l)?
True
Suppose 2*f = -5*z + 227, -z - f - 4*f = -27. Let t = z + -25. Is 16 a factor of t?
False
Suppose -i + 4 = 0, 4*n + i = -2*i + 24. Suppose m + n*m - 168 = 0. Suppose 84 = 4*q - 0*v + 5*v, -m = -2*q + 2*v. Is q a multiple of 11?
False
Is ((-6)/4)/((-9)/54) a multiple of 9?
True
Let z = -3 - -5. Is 12 a factor of z*-1 + (-182)/(-7)?
True
Let h(p) = -4*p - 4. Is 5 a factor of h(-5)?
False
Let m = -141 + 279. Is m a multiple of 9?
False
Let g(o) = o + 7. Let u be g(0). Let j be 0/(-1) + (u - 1). Let x = 12 - j. Is x a multiple of 5?
False
Suppose -4 - 3 = 3*j - 2*i, 5*j + 3*i = 1. Let n be (1 - 23) + j - -1. Let f = n + 36. Does 7 divide f?
True
Let y = -8 + 5. Let s(j) = -j + 6. Let u be s(-5). Let n = u - y. Is 14 a factor of n?
True
Suppose 5*h - 6*i - 292 = -2*i, h - 58 = i. Is h a multiple of 15?
True
Let l(r) = 2*r**2 - 8*r - 7. Is 26 a factor of l(-5)?
False
Let y(q) = 26*q**3 + 3*q - 2. Let b be y(2). Does 18 divide b/6 + (-2)/(-3)?
True
Suppose 23 = 5*z - 3*g, 3*g + g + 16 = 3*z. Is 3510/66 - z/22 a multiple of 27?
False
Let g be (2/4)/(4/48). Suppose 0 = 4*f - 126 + g. Is 13 a factor of f?
False
Let h = -7 - -10. Does 19 divide 230/6 - h/9?
True
Suppose -11 = 2*l - 73. Is 31 a factor of l?
True
Let a be ((-12)/(-10))/((-4)/(-10)). Suppose a*m - 8 = 7*m. Does 6 divide (-21)/(-3) + m + 1?
True
Suppose 0 = -2*t + 16 + 128. Is 12 a factor of t?
True
Suppose 84 = 2*v + o, o + 4*o - 119 = -3*v. Is 9 a factor of v?
False
Suppose -300 = 3*g - 9*g. Does 4 divide g?
False
Suppose -n - 13 = -5*u, -32 = 5*n + u + 7. Let s = n - -25. Is 8 a factor of s?
False
Let k(v) = 7*v + 5. Let r(t) = -8*t - 6. Let z(y) = -6*k(y) - 5*r(y). Let g be z(-4). Suppose g = 3*i - 40. Is 16 a factor of i?
True
Let u = 24 - 34. Is u*(9/(-6))/3 a multiple of 2?
False
Let z = -118 - -187. Suppose -z = -5*x + 6. Is 15 a factor of x?
True
Suppose -5*r + 29 = 3*u, -3*u - u = r + 1. Let b = r + -8. Is -1 + -2 + b + 37 a multiple of 11?
True
Let j(r) = r**2 - 4*r - 3. Let f be j(5). Let n(w) = -40*w**3 + w**2 + w + 1. Let b be n(-1). Suppose -f*o + b = -1. Is 12 a factor of o?
False
Let w be (-2 + 0)*438/(-12). Suppose -4*k - w = -5*d, 3*d - k - k = 43. Is d a multiple of 4?
False
Let d(n) be the second derivative of -n**3/3 - n. Suppose -y = 5, -2*z + 5*y = y - 14. Does 3 divide d(z)?
True
Let b = -1 - -1. Suppose b = -d - 1 + 18. L