
Let v = -300 - -721. Suppose -v + 93 = -4*a. Suppose -4*i - 10 = -a. Is i a multiple of 15?
False
Suppose -6*b + 5*b = -1, -t - 2*b = -7. Let q = -315 + 471. Suppose 59 = -t*s - 2*p + q, 0 = -2*s + 5*p + 33. Does 19 divide s?
True
Let z be (-33)/(-9) + (-1)/(-3). Suppose 0 = 4*s - z*b - 100, 2*s + b + 69 = 5*s. Is 14 a factor of s?
False
Let o(z) be the second derivative of -z**5/20 + 17*z**4/12 - 7*z**3/3 - 3*z**2 - 8*z. Is 13 a factor of o(16)?
True
Suppose 81 = 4*g - j, g + 3*j = -9 + 39. Does 7 divide g?
True
Is (-14)/105 - (-608)/60 a multiple of 2?
True
Suppose -s + 823 = 3*o - 0*s, 2*s + 1114 = 4*o. Is 12 a factor of o?
True
Let t = 87 - 6. Is t a multiple of 14?
False
Let a be 6/10 + 165/(-25) + 2. Let r(x) = 2*x**2 + 2*x + 1. Let q(g) = 2*g**2 + 2*g + 2. Let k(j) = -3*q(j) + 4*r(j). Is k(a) a multiple of 11?
True
Suppose -4*v + 7*v - 15 = 0. Suppose -v*h - 2*d - 6 - 29 = 0, -h - 7 = 2*d. Let y = h + 18. Does 4 divide y?
False
Let y(c) = c**2 - 5*c + 1. Is y(6) even?
False
Suppose 0 = u + 4*u. Suppose -4*n + 1 + 11 = u. Is ((-4)/(-10))/(n/90) a multiple of 6?
True
Let u(a) be the second derivative of -a**6/144 + a**5/60 - a**4/6 + a. Let r(t) be the third derivative of u(t). Is 12 a factor of r(-5)?
False
Let k = -10 + 17. Let x(s) = -3*s**2 - 6*s**3 + 0*s**2 + 2*s - 3 + k*s**3. Is 21 a factor of x(4)?
True
Suppose p = 3, 3*p + 2*p - 11 = 2*v. Suppose -t - 7 + 1 = 0. Is 6 a factor of (-69)/t + v/4?
True
Suppose 0*p - 2*c + 218 = 3*p, 5*p + c = 361. Is p a multiple of 14?
False
Let a be (-80)/(-35) - (-4)/(-14). Suppose -a*c + 9 + 1 = 0. Suppose 0 = -x - 2*p + 3, c*x - 12 = x + 2*p. Is x a multiple of 2?
False
Let v(p) = -p + 12. Let c be v(8). Suppose -4*z = 3*a - 64, c*a = -z + 37 + 70. Is a a multiple of 14?
True
Suppose -i + 4*i = -4*l + 281, 0 = 2*l - 4*i - 124. Is 17 a factor of l?
True
Let i(r) = -3*r**2 - 3*r + 4. Let v(m) = -3*m**2 - 3*m + 4. Let z(q) = 6*i(q) - 7*v(q). Let j(h) = -h**2 + 2*h + 4. Let a be j(4). Does 16 divide z(a)?
True
Let x(q) = -q + 86. Let h be x(0). Let f = h - 50. Is 17 a factor of f?
False
Suppose 3*x - 5*m - 323 = 0, -2*x + 2*m = -6*x + 474. Suppose -3*w + 149 = 2*k, 4*k + 2*w - 410 = -x. Does 22 divide k?
False
Let k = 274 + -385. Does 27 divide k/(20/(-8) + 1)?
False
Suppose -j - 2*f = -464, j - 645 = f - 181. Suppose -5*p + u = -j, 5*u = -p + 5*p - 388. Is p a multiple of 30?
False
Let g(x) = -3*x - 6. Let w(j) = -4*j - 7. Let t(l) = -l**3 - 10*l**2 - 8*l + 4. Let o be t(-9). Let m(y) = o*w(y) + 6*g(y). Is m(2) a multiple of 3?
True
Suppose f + 6*f = 14*f. Let g be (-3)/1*111/(-9). Suppose f = -3*s + 11 + g. Is s a multiple of 8?
True
Let q(o) = 2*o + 11. Is q(12) a multiple of 8?
False
Suppose -3*q + 2*q = 9. Let p be q/(-2)*(-224)/(-12). Suppose 2*o + o - p = 0. Is o a multiple of 14?
True
Suppose -3 + 7 = u. Does 2 divide u - (4 - 3)*-5?
False
Does 7 divide (-84)/(-16)*(6 - -2)?
True
Suppose f - 35 = -2*b + b, 0 = -2*b + 4. Suppose 0 = 2*r + r - f. Does 4 divide r?
False
Let l(y) = y**3 - 4*y**2 - 5*y + 6. Let u be l(5). Let g = u - 2. Is 4 a factor of g?
True
Let d(u) = u**3 - 4*u**2 - 7*u - 2. Let z be d(5). Let t = z - -31. Let v = t + -7. Does 4 divide v?
True
Suppose -5*m - 19 = -4. Let y(a) = -3*a - 4. Let u be y(m). Let v(o) = o**2 - 3*o - 5. Is 2 a factor of v(u)?
False
Let q be ((-2)/2)/(-1)*0. Suppose 3*u - 5 - 7 = q. Is u a multiple of 4?
True
Is (114/18)/((-2)/(-6)) a multiple of 6?
False
Let f = -25 - -47. Let m = f + -38. Does 10 divide ((-10)/(-8))/((-2)/m)?
True
Let o = 11 - 7. Suppose 2*c + c = -2*m + 89, -o*m + 157 = -c. Is m a multiple of 10?
True
Suppose 0*g + 3*g + 5 = -4*c, 0 = -2*c - 2*g - 2. Let m(s) = -s**2 - s - 2. Let a be m(c). Let u = a + 7. Is 3 a factor of u?
True
Suppose -5*v - r + 350 - 139 = 0, 0 = v + 2*r - 44. Does 21 divide v?
True
Let p = -10 - -9. Let h(l) = -52*l + 1. Is h(p) a multiple of 14?
False
Let h = -26 + 14. Let a be h + (-1)/((-2)/(-4)). Is 10 a factor of (-234)/a - (-8)/28?
False
Let o(x) = x**3 + 39. Is o(0) a multiple of 13?
True
Suppose -4*o = -4*x - 8, -5*o + 6*x - 4*x = -16. Let u be ((-10)/(-4))/(2/o). Let k(y) = -y**3 + 7*y**2 - 2. Does 24 divide k(u)?
True
Suppose 0 = 5*f - 4*s - 6, 3*f + 2*f - 7 = 3*s. Suppose -3*u + f*o = -2*o - 22, 4*o - 62 = -3*u. Is u a multiple of 7?
True
Is 18 a factor of (230/14 - 1)/((-16)/(-168))?
True
Suppose -72 - 92 = -4*n + l, 0 = 5*l - 20. Suppose -5*r - n = -5*w - 312, 4*r - 5*w = 214. Does 26 divide r?
False
Let v = 13 - 6. Suppose c + 4 - v = 0. Suppose -w + 3 = -c. Is 6 a factor of w?
True
Let d(f) = -f + 6. Let m be d(2). Let x(u) = -u**3 + 4*u**2 + 3*u + 1. Does 12 divide x(m)?
False
Let d be 1 + 4 + -3 - -79. Let u = d + -39. Suppose 2*x - u = 12. Is 9 a factor of x?
True
Let y(t) = 15*t + 1 - 59*t - 1 - 1. Is y(-1) a multiple of 15?
False
Is 5 + (-1 - 1 - -4) a multiple of 2?
False
Suppose -3*c + 5 = -16. Let g be (-44)/c + (-4)/(-14). Does 6 divide (g/(-7))/(1/21)?
True
Does 8 divide (2/4)/(2/12) + 5?
True
Is (10/(40/3))/(2/248) a multiple of 36?
False
Let s(t) = 13*t - 4. Suppose -2*y + 6 + 0 = 0. Does 14 divide s(y)?
False
Suppose o = -2*o - 4*a + 19, -3*o = -4*a + 13. Let c(k) = -2 - 4*k + 4*k - o + 5*k. Does 14 divide c(6)?
False
Let t(f) = -f**2 + 8*f - 2. Let b be t(7). Let w = -8 + 11. Suppose 4*m = g + w*g + 32, b*m + 4*g - 31 = 0. Is m a multiple of 7?
True
Suppose 0 = 3*m + 2*m. Suppose 5*c = y, 2*c + m*y - y = 0. Suppose k + k - 10 = c. Is 2 a factor of k?
False
Let a(n) be the third derivative of 5*n**4/4 + n**2. Let h be a(3). Suppose 2*i - h = -3*i. Is i a multiple of 8?
False
Let a(m) = -m**3 + 5*m**2 - 5*m + 6. Let c be a(4). Let o be 0 + c + (-6)/2. Does 11 divide o/(4 - 2)*-22?
True
Suppose -4*o - 5*b - 103 = 31, 4*o + b + 126 = 0. Let x = -16 - o. Is 5 a factor of x?
True
Let n(x) = x + 1. Let z(k) = 2*k - 1. Let y(m) = -5*n(m) - z(m). Let v be y(-3). Let a = 25 - v. Does 8 divide a?
True
Let u(m) be the second derivative of m**5/20 + m**4/2 - 2*m**3/3 + 3*m**2/2 + m. Does 9 divide u(-6)?
True
Suppose 0 = -8*t - 5 + 117. Is t a multiple of 2?
True
Let s = 7 - 6. Suppose -q - s = -5. Is 2 a factor of q?
True
Let z(j) = j**3 - 9*j**2 + 11*j. Is z(8) a multiple of 8?
True
Suppose o = -3*o - 484. Let h = o - -171. Is h a multiple of 14?
False
Let i be (-3 - -3)*(1 - 2). Suppose -5*y + 106 = 4*v, i*v - 5*v = -4*y + 52. Is y a multiple of 9?
True
Suppose -4*k - 70 = -2*j, j - 11 = -2*k - 2*k. Is j a multiple of 27?
True
Let b(a) = -a**3 + 13*a**2 + a - 13. Let m be b(13). Suppose -3*z + 78 + 0 = m. Does 13 divide z?
True
Suppose -4*r = -0*r + 4*f - 108, 4*r + 5*f = 105. Is 10 a factor of r?
True
Suppose -6*f + 95 = -19. Is 19 a factor of f?
True
Let t(o) = -o + 30. Let i be t(0). Suppose -4*q + 2*s = -18, i = q + 4*q + 5*s. Suppose z = m + 2*m - 19, 5*m + q*z - 25 = 0. Is m a multiple of 3?
True
Let w(i) = 4*i**3 - 3*i**2 + 2*i + 1. Let g = 17 - 14. Is w(g) a multiple of 19?
False
Let p = -11 + 14. Suppose p*b = 4*b - 42. Is 10 a factor of b?
False
Suppose 5*f - 126 = 2*f. Is f a multiple of 14?
True
Let x(v) = v + 5. Let f(h) = -h**2 + 7*h + 2. Let u be f(6). Is 8 a factor of x(u)?
False
Let q = 91 - 17. Suppose -102 = -2*r + q. Suppose k = 4*i + 3*k - r, 4*k - 104 = -5*i. Is 12 a factor of i?
True
Let b(w) = 14*w - 1. Suppose 0 = -x - x - 12. Let i be 32/18 + x/(-27). Is b(i) a multiple of 17?
False
Suppose 2*q - 2*l - 2*l = 244, -411 = -3*q - 3*l. Suppose 2*c + 2*c = q. Is 33 a factor of c?
True
Suppose 1292 = 8*p + 356. Does 51 divide p?
False
Let k(s) be the first derivative of s**5/40 - s**4/4 - s**3/3 + 1. Let q(j) be the third derivative of k(j). Is 12 a factor of q(6)?
True
Suppose 4*d - 4 = -0*d. Let f be (d/2)/(3/18). Is 8 a factor of f/(3/(-1)) + 9?
True
Does 9 divide 33 - (2 - (-10)/(-2))?
True
Let k(c) = 20*c**3 - 2*c - 1. Suppose 2*i + 14 = -5*q + 4*i, -i + 1 = -q. Let p(z) = 39*z**3 - 4*z - 2. Let u(a) = q*p(a) + 7*k(a). Is u(-1) a multiple of 8?
False
Let i = 25 + -17. Suppose -2*b - i = -80. Does 12 divide b?
True
Suppose -5*n + 3*n + 90 = 0. Is 9 a factor of n?
True
Suppose -17 = 3*j + 10. Let z(s) = -4*s - 2. Is 34 a factor of z(j)?
True
Suppose -2*r - 5*o + 180 = -o, -4*r - 4*o + 380 = 0. Is 22 a factor of r?
False
Let v(r) = -6*r**3 + 4*r**2 + 7*r + 3. Does 