e -1 - (0 - 3/3). Suppose m = -o - 0 - 34. Let l = 77 + o. Is 15 a factor of l?
False
Does 16 divide 1336/28 - 4/(-14)?
True
Let t(k) = -2*k**3 - k**2 + 1. Let g = -7 - -5. Is t(g) a multiple of 13?
True
Is 3 a factor of 204/7 - (-3)/(-21)?
False
Let h = 0 - -4. Let y(d) = d**3 - 2*d**2 - 5*d + 3. Does 15 divide y(h)?
True
Let g = 11 - 7. Suppose j + g*z = 27, -4*z + 10 = -2*z. Is 7 a factor of j?
True
Let j(k) = 11*k - 6. Is j(2) a multiple of 4?
True
Let c = -15 - 16. Let n = -22 - c. Is n a multiple of 7?
False
Let p(r) = r**2 - 2*r + 1. Does 8 divide p(-3)?
True
Suppose -3*v - 4 = -v. Let f = 6 - 8. Does 8 divide v + 3 - 22/f?
False
Let o(s) = 15*s**2 + 2*s - 1. Let n(f) be the third derivative of f**6/120 - f**5/20 + f**4/8 - f**3/6 - 2*f**2. Let t be n(2). Is 8 a factor of o(t)?
True
Let n(s) = s**2 + 6*s + 7. Let z be n(-5). Let t be z - (0 - 0) - -1. Let x = t - -9. Is x a multiple of 7?
False
Suppose 0 = 5*u - 3*g - 156, -4*u + 3*g = 4*g - 135. Suppose 0 = -2*y - 52 + 222. Let i = y - u. Is i a multiple of 26?
True
Let l(o) be the second derivative of -o**4/12 + 7*o**3/6 + o**2/2 - 2*o. Is l(5) a multiple of 5?
False
Suppose 4*q - 573 = j, q - 3*j - 167 = 2*j. Does 24 divide q?
False
Let m(a) = a**2 - 15*a - 28. Is m(20) a multiple of 13?
False
Let t = -2 - -4. Suppose -4*c - 2 = -3*g + 2, 30 = 5*g + 5*c. Suppose -t*b = -5*y + b + 94, 0 = -5*y + g*b + 92. Is 10 a factor of y?
True
Let r(x) = 0 - 4 + 5 - x. Let b be r(-2). Suppose -20 = -2*i + p, 33 = b*i - 2*p - p. Is i a multiple of 7?
False
Let f = -54 - -80. Is 13 a factor of f?
True
Suppose -6 + 2 = 2*k. Let v(z) = 3*z**2 + 4*z + 3. Does 2 divide v(k)?
False
Let h = 26 + -19. Does 2 divide 8 - h - -7*1?
True
Suppose 0 = -r - 3*c + 3, 5*c = -5*r + 7 - 2. Let i = 2 + r. Suppose 4*q + 32 = i*x - 0*x, x + q - 16 = 0. Is 6 a factor of x?
False
Does 10 divide 43 + 7/(28/(-12))?
True
Let n be (-2)/4*(-1 + 1). Suppose o - 34 = -0*o. Suppose m - o = -n*m. Is m a multiple of 17?
True
Let r(v) = 2*v**2 + 3*v - 5. Let s be r(-5). Let l = s - 14. Is 12 a factor of l?
False
Suppose -2*o = 5*d + 11 + 4, 3*d = -3*o - 9. Suppose -j + 1 + 3 = o. Does 2 divide j?
True
Let c = 11 - -48. Is c a multiple of 5?
False
Let y be 6/(-9) + (-16)/(-6). Let d be (-2 - -3) + -10 + y. Let b(v) = -v - 2. Is b(d) even?
False
Suppose -2*v - 5*r - 5 = 2, v + 4*r + 5 = 0. Let g = 19 + v. Is 18 a factor of g?
True
Let t = 61 + -34. Let o = -11 + t. Does 8 divide o?
True
Suppose -8*b - 106 = -4*w - 11*b, 0 = 2*w + 2*b - 52. Does 8 divide w?
False
Suppose 0 = 3*q - 0*q - 288. Is q a multiple of 11?
False
Let b = 27 - 14. Let h = 19 - b. Is 2 a factor of h?
True
Suppose -2*x - 36 + 138 = 4*w, 2*x + 3*w - 105 = 0. Does 12 divide x?
False
Let y = 2 - -2. Let p = y + 0. Let u(o) = -o**2 + 7*o. Is 8 a factor of u(p)?
False
Let z(q) = -q**3 - 5*q**2 - 4*q + 3. Let w be z(-4). Suppose w*r + 4*v = 9, -3*v - 4 = -r - 1. Suppose r*m - 5*m = -46. Is 11 a factor of m?
False
Let c(k) = k**2 - 3. Suppose -b + 4*a = -15, -9 = 2*a - 3. Is 3 a factor of c(b)?
True
Suppose -3*j - 17 + 161 = 0. Is j a multiple of 10?
False
Let b(y) = -19*y - 1. Let l be b(1). Let w = l + 37. Is 6 a factor of w?
False
Let m be (-7 + 4)*(-1 + 0). Let z(i) = -i**2 + 8*i - 3. Is 12 a factor of z(m)?
True
Let q be -3*5*(-7)/3. Suppose 13 = s - q. Is 16 a factor of s?
True
Is (-7150)/455*((-14)/2 - 0) a multiple of 5?
True
Let d(i) = -21*i + 6. Is d(-2) a multiple of 12?
True
Suppose 1 + 1 = 2*h. Let b(m) = 33*m - 1. Does 17 divide b(h)?
False
Let z = -1 - 6. Let j = z + 0. Let a = -1 - j. Is 3 a factor of a?
True
Suppose 166 - 81 = 5*u. Is u a multiple of 4?
False
Suppose 4*a + a + 285 = 0. Let g = a - -19. Let b = 89 + g. Does 17 divide b?
True
Suppose -15 = -6*y + y. Suppose 0 = -4*u - 0*u + 8. Is 11 a factor of 340/15 - u/y?
True
Let s(k) = -k**2 + 10*k. Is s(5) a multiple of 16?
False
Let j = 7 + -7. Suppose j*q - 6 = -2*q. Let z(p) = -p**3 + 4*p**2 + 3*p + 4. Does 11 divide z(q)?
True
Suppose 6*z + 162 = 2*n + 11*z, -4*n + 324 = 2*z. Is n a multiple of 8?
False
Let y(z) = z**3 - 2*z**2 + z + 1. Let s be y(2). Suppose -s = -3*j + 2*j. Suppose 2*k = -3*m - j*k + 95, -m = -2*k - 39. Is 13 a factor of m?
False
Is 29 - (-1 - -1)/(-4) - 0 a multiple of 3?
False
Let x(f) = -f**2 - 7*f + 9. Let d be x(-8). Let m be ((1 - 1)/d)/2. Suppose 2*s - 12 = -3*g - m, -2 = -2*s + 2*g. Is s a multiple of 3?
True
Suppose y - 4*w = 11 - 4, 3*w = 3*y - 3. Let o = y - -32. Is o a multiple of 19?
False
Let y = 160 + -147. Is y a multiple of 13?
True
Let c(t) = t + 13. Suppose 0 = -5*k + d, -5*k = -0*k + 3*d. Is c(k) a multiple of 13?
True
Suppose 5*m = -25, m + 3*m = w - 42. Is w a multiple of 11?
True
Let l(w) be the second derivative of 4*w**2 - 1/20*w**5 - 1/2*w**4 + 0 - 2*w + 1/2*w**3. Is l(-7) a multiple of 11?
False
Is 7 a factor of (-2184)/(-26) - 0/1?
True
Suppose 0 = -2*u + 1 + 11. Is -114*((-22)/u - -3) a multiple of 19?
True
Suppose -5*i = -s + 6, 4*s - 5*i - 109 = -2*i. Is s a multiple of 14?
False
Does 29 divide (4/3)/((-2)/(-87))?
True
Let v(i) = -32*i - 58. Does 18 divide v(-8)?
True
Does 11 divide (-3)/(-2)*(-12)/(-15)*30?
False
Let m(r) = -456*r. Is m(-1) a multiple of 61?
False
Is ((-18)/(-4))/(455/(-154) - -3) a multiple of 9?
True
Suppose 0 = -4*m - 4 - 0. Is 4 a factor of (10 + m)/(-3) - -10?
False
Is 11 a factor of (11/2)/((-5)/(-40))?
True
Suppose -8*r + 441 = r. Is 16 a factor of r?
False
Let v(u) be the second derivative of u**3/2 - u**2/2 + 8*u. Is v(3) a multiple of 2?
True
Let i(t) be the third derivative of -t**5/60 + 3*t**4/8 + t**3/3 - 40*t**2. Suppose 2*b + 5*x + 5 = 0, 3*b - 4*x - 3 = 24. Is i(b) a multiple of 7?
False
Let p be (1/3)/(1/129). Suppose 3*t = 112 - p. Does 22 divide t?
False
Let s(n) = 157*n + 24. Does 13 divide s(2)?
True
Suppose 0*s - 2 = 2*s, 3*f + 3*s = 78. Does 19 divide f?
False
Let z(o) = o**3 + o. Let v be z(0). Suppose v = 3*d - 28 - 44. Does 22 divide d?
False
Let t(v) = -3*v - 16. Is t(-20) a multiple of 24?
False
Is (2 + 0 - -2)*3 a multiple of 3?
True
Does 3 divide 3 + 4 + (-8)/4?
False
Suppose 2*u - 16 = -3*u - 4*r, 3*u - 4*r - 16 = 0. Suppose -37 = 4*y + 3*t, t - 2*t + u = -y. Is 0/(-2) + (y - -11) even?
True
Suppose -7*i + 2*i = -10. Let b = i - -1. Suppose b*u + 108 = 3*a, -5*a - 5*u + 146 + 64 = 0. Is 21 a factor of a?
False
Let u(g) = -17*g + 14. Is 33 a factor of u(-5)?
True
Suppose -3*t + 7*t - 8 = 0. Suppose t*z + 8 = -2*j, -3*j - 5 = 2*z - 4*j. Is 2 a factor of (6 - 0)*z/(-9)?
True
Is 39 a factor of (-5121)/(-81) + 2/(-9)?
False
Let l(o) = -o**2 - 7*o + 4. Let t be (21/(-9))/(2/6). Let f be l(t). Is f + -2 + -1 + 2 a multiple of 3?
True
Let m(s) = s**3 - s**2 - 5*s + 2. Is m(4) a multiple of 8?
False
Let b = 57 + -13. Is b a multiple of 9?
False
Let f(k) = -7*k + 8. Is 30 a factor of f(-15)?
False
Let b(x) be the third derivative of -x**5/60 + x**4/3 - x**3 + 2*x**2. Let u be b(6). Is ((-4)/u)/(4/(-174)) a multiple of 18?
False
Let w be 2/2 + (8 - 4). Suppose -w*a = -2*g + 39, -4*g - 72 = -9*g + 4*a. Is 6 a factor of g?
True
Let x = 116 + -200. Is 7 a factor of -2*8/(64/x)?
True
Let y = -172 + 280. Is 30 a factor of y?
False
Let f = 15 - 8. Suppose -i = -0*i + f. Let x = -2 - i. Is x a multiple of 5?
True
Let w(i) = 2*i**3 - 6*i**2 - 8*i + 6. Is w(5) a multiple of 22?
True
Let m = 90 - 50. Does 8 divide m?
True
Let q(j) = -j**2 + 3*j. Let b be q(3). Does 11 divide (b - 1)*-48 - 1?
False
Suppose 0 = -w + 8 - 3. Suppose 0 = -a + w*a - 48. Is a a multiple of 9?
False
Let r = 3 - 3. Suppose 3*z - 4*z - 2*u + 49 = r, 3*z - 3*u = 192. Is 16 a factor of z?
False
Let n(j) = j + 2. Let f be n(-4). Is 17 a factor of f*1 + -1 + 47?
False
Suppose -3*q + 5*q = a + 1, 4*q - 20 = 0. Let k(f) = f**3 - 8*f**2 - 9*f + 3. Let w be k(a). Suppose w*l - 2 = 7. Is l a multiple of 3?
True
Let f(i) = -i**2 + 14*i - 3. Suppose 4 = -4*v + 12, 2*w = v + 12. Is f(w) a multiple of 17?
False
Let b be (6 + 48)*5/(-3). Let i be ((-24)/(-10))/((-4)/b). Suppose -o - 5*d - 10 = 0, -3*d = -5*o - 2*d + i. Is 10 a factor of o?
True
Let p be (2/(2 + 0))/1. Suppose -2*o = -5 - p. Suppose 0 = o*a - 5 - 22. Does 9 divide a?
True
Suppose -2*b + 362 = 4*x, -x + 3*x - 555 = -3*b. Does 17 divide b?
True
Suppose 0 = -4*i - i - 310. Does 11 divide i/(4*