) = -5*v - 77. Is p(-26) a multiple of 5?
False
Suppose 7 = -3*l - 5. Let d be 3 + l - 2 - -87. Suppose 4*n = -0*n + d. Does 7 divide n?
True
Let c be 10*(-2)/(-8)*-2. Does 7 divide 315/25 + (-2)/c?
False
Let r be ((-6)/9)/(2/(-51)). Let b = -10 + r. Is b a multiple of 5?
False
Let c be (-2)/(-8) - (-57)/12. Suppose 9 = -c*p - 16. Let z = 15 + p. Does 5 divide z?
True
Suppose -4*k - p + 10 = 0, 1 = 2*p - 3. Suppose -3*a + k*q - 350 = a, -5*q - 71 = a. Let w = 128 + a. Is w a multiple of 14?
True
Let w = -88 + 169. Is w a multiple of 20?
False
Let y(r) = 3*r**2 - 2*r - 3. Let z be y(4). Suppose z = -3*g + 5*u, 3*u = -4*g - 3 + 2. Is (g + 3)/((-1)/17) a multiple of 13?
False
Let c(p) = -34*p - 1. Let b(n) = 51*n + 2. Let s(a) = -5*b(a) - 7*c(a). Is s(-7) a multiple of 33?
False
Let s = -1 + -1. Does 19 divide 790/11 + s/(-11)?
False
Let s = -42 + 60. Does 3 divide s?
True
Suppose 5 + 4 = 3*p. Let i(g) = g. Is 2 a factor of i(p)?
False
Suppose 2*f + 0*m - 749 = -5*m, 0 = 2*f + 3*m - 751. Suppose -83 = 3*r - f. Suppose 3*y - r = d, 8*d = -3*y + 3*d + 86. Is y a multiple of 16?
True
Let y = -1 + 4. Suppose 3*n + 84 = -4*l, -2*n = -y*l - l - 84. Let f = -10 - l. Does 4 divide f?
False
Suppose 4*q + 0*q = -l + 596, -4*q = 3*l - 588. Suppose -4*o = o - q. Is 15 a factor of o?
True
Let g be (-2)/(-3)*6/4. Suppose -2*y = g - 69. Is 10 a factor of y?
False
Suppose 7*i = 3*i + 3*l - 48, i + 11 = l. Is 9 a factor of (i/(-2))/((-3)/(-6))?
False
Let k = -25 - 10. Let v = -13 - k. Is v a multiple of 10?
False
Let l(d) = -6*d. Let o be l(-2). Let z = o - -8. Is z a multiple of 17?
False
Let m(z) = 14*z - 8. Is 12 a factor of m(4)?
True
Suppose 2*v - 8 = 5*k + 29, 5*k - 40 = -5*v. Suppose 0 = -0*r - r + 22. Let f = r - v. Is 11 a factor of f?
True
Let o(z) = 2*z**2 - 4*z - 7. Is o(7) a multiple of 21?
True
Let y(u) = u**2 - u - 4. Let c be y(0). Let l = 10 - c. Does 11 divide l?
False
Suppose -41 = -b - o - 0*o, 51 = b + 3*o. Suppose b = -m + 3*m. Is m a multiple of 9?
True
Let t(m) = m**2 - 5*m + 2. Let a be t(4). Let k = a - 1. Is (-74)/k - 2/(-6) a multiple of 11?
False
Let t = 2 - 0. Suppose 2*w + 11 + 9 = t*d, -w = 3*d - 38. Is d a multiple of 12?
True
Let p(v) = -2*v. Let s be p(-2). Let g = 38 + -18. Suppose -3*m = -g - s. Is 4 a factor of m?
True
Suppose 3*z - 328 = -p - p, 124 = z - 3*p. Is 32 a factor of z?
False
Let i be 8/(-12) + (-1420)/(-6). Suppose -i = 3*f + f. Let g = f + 84. Is 13 a factor of g?
False
Suppose -2 = n - 32. Is 7 a factor of n?
False
Suppose 108 = 2*f + 2*f. Is f a multiple of 9?
True
Let r = 29 - 27. Suppose r*w = -4*d + 46, 2*d + 2*d + 3*w - 47 = 0. Is 10 a factor of d?
False
Suppose -5*f = -0*f + 280. Let a = f - -95. Is 13 a factor of a?
True
Suppose 0 = -4*i - 2*a + 84, i - 11 = a + 4. Suppose 0 = -5*z - 3*h + i, 5*h = -2*z + 5*z - 25. Let m(c) = 4*c - 2. Is 9 a factor of m(z)?
True
Is 6/(-15)*(-400)/4 a multiple of 9?
False
Let b = 140 - 56. Does 14 divide b?
True
Let s be -3*1*4/(-3). Suppose 3*u + 2*h + s = 0, h - 3*h - 4 = -4*u. Suppose 4*j - 41 - 107 = u. Is 18 a factor of j?
False
Let g(u) = -2*u + 1. Let a be g(-2). Suppose a*i - 5 = 0, 2*i - 69 = -3*z - i. Let l = z - 13. Does 9 divide l?
True
Suppose -4*p + 2 = -q, -p + 2*p - 4*q + 7 = 0. Suppose -9 - p = 5*s. Does 9 divide 512/36 - s/(-9)?
False
Suppose -3*t - 547 = -5*k - 5*t, 0 = k - 2*t - 119. Does 43 divide k?
False
Suppose -183 = 2*s - 5*s. Is 9 a factor of s?
False
Is (-6)/(-15) + 703/5 a multiple of 12?
False
Suppose 0 = -j - 3*j + 20. Suppose -z + 0*s = -2*s - 14, 2*s - 58 = -j*z. Is 6 a factor of z?
True
Let b(q) be the first derivative of -7/2*q**2 - 2 - 1/3*q**3 + 6*q. Is 6 a factor of b(-7)?
True
Let z be (-2 + -2)*50/(-4). Suppose 3*t = s + z, 23 + 13 = 2*t + 2*s. Does 7 divide t?
False
Suppose -6*q = -7*q - 12. Is 8*(-2 - 123/q) a multiple of 20?
False
Is 25 a factor of (4/10)/(1/250)?
True
Let k(f) = f**3 + f**2 - 3*f - 1. Suppose -2*a - 4*u + 0 = 2, 13 = a - 5*u. Is 8 a factor of k(a)?
False
Let w be 20/6 + 1/(-3). Let i = w - 3. Suppose 0 = -q - i*q + 16. Is 16 a factor of q?
True
Suppose -27 = -p - 5*f, p - 2*f = -0*p + 6. Let y be (p/(-15))/(2/(-45)). Suppose 2*a - y = -a. Is a a multiple of 5?
False
Let n = 26 + -40. Let w = n + 5. Is 78/w*(0 - 3) a multiple of 17?
False
Let v(i) = i**2 + 8*i + 12. Is 16 a factor of v(-10)?
True
Suppose -v = -1 - 1, -g = -3*v - 148. Does 19 divide g?
False
Let c = -61 - -109. Does 17 divide c?
False
Let u be (-26)/(-12) - 6/36. Suppose u*b + 76 = 3*w + 9, 3*b - 61 = -4*w. Is 16 a factor of w?
False
Suppose 3*j - 27 = 3. Suppose 2*y - j = y. Does 9 divide y?
False
Suppose -2*b + 119 = o, 3*o = 5*b - o - 265. Is 19 a factor of b?
True
Let q(f) = 4*f - 5*f + 2*f + 9. Let x be q(-7). Suppose -5 - 7 = -x*u. Does 5 divide u?
False
Let p(m) = 2*m**2 - 20*m + 31. Is p(15) a multiple of 9?
False
Suppose -5*q - 6 = c - 41, 0 = -3*c + 5*q + 145. Is 4 a factor of c?
False
Let r(f) = f + 22. Is 11 a factor of r(-11)?
True
Suppose 44 = -4*d + 788. Does 28 divide d?
False
Let c = -78 + 123. Does 13 divide c?
False
Suppose 4*p + 0 - 12 = 0. Is p even?
False
Suppose -2*t - 2*a = -22, -52 = -5*t - 2*a + 12. Suppose -2*g = -3*h - 6*g - t, 4*h + 3*g + 14 = 0. Does 4 divide (h - 7)/3 - -8?
False
Suppose 4*s + 23 + 41 = 0. Is 8 a factor of ((-132)/(-48))/((-1)/s)?
False
Let y be 1/(-2) + 189/14. Let o(r) = 3*r + 7. Is o(y) a multiple of 24?
False
Let h be (-2)/(-8) - 6/(-8). Let d be -2*h*-1*5. Let o = d + -6. Is o a multiple of 2?
True
Let t = 125 + -118. Is t a multiple of 3?
False
Suppose -2*r + 14 = -r. Does 7 divide (-2 - 4)*r/(-4)?
True
Suppose -d + 84 = 3*d. Let p = 41 - d. Does 16 divide p?
False
Let u be (-9)/(-7) + (-4)/14. Let d be 9/2*(-8)/(-6). Is 11 a factor of ((-33)/u)/((-9)/d)?
True
Suppose -4*v - v = -25. Let y = -1 + v. Suppose -20 = -y*a - 0. Is 2 a factor of a?
False
Suppose k - 5*i + 8 = 0, -3*k + i = 2*i + 40. Let j = -8 - k. Is j a multiple of 2?
False
Suppose 5*z - 5*i = 365, 3*z + 11*i - 195 = 6*i. Is z even?
True
Let z(t) = -t**2 - 2*t + 14. Is 14 a factor of z(0)?
True
Let l be 2 + (0/2 - -1). Suppose 0 = 3*p + l - 27. Suppose -f + 5*u - p = -3, -3*u = -9. Is f a multiple of 5?
True
Suppose -2*k = 2*k. Suppose k*j - 5*j - 15 = -4*n, 2*n + 4*j = 40. Is n a multiple of 10?
True
Suppose -3*t - 5 = u, -3 = -5*t + 2*u + 7. Suppose -39 = -t*i - i. Does 13 divide i?
True
Suppose -4*r = 2*m - 158, -4*m + 74 = -r - 197. Let s = m + -46. Does 13 divide s?
False
Let i be -24 - ((-1)/(-1) + -1). Let g = i + 89. Does 17 divide g?
False
Let w(q) = 7*q**2 - 3*q**2 - q**2 - 3. Is 17 a factor of w(3)?
False
Let h be 6 - (0 + -4)*-1. Suppose 0 = h*u - 24 - 48. Does 12 divide u?
True
Let x(z) = -z**3 + 9*z**2 + 14*z - 10. Let y be x(10). Suppose -y = -9*u + 4*u. Is u a multiple of 6?
True
Suppose -3*w + 41 - 5 = -5*a, 2*w - 2*a - 24 = 0. Is 12 a factor of w?
True
Let m be (-14)/8 - (-3)/(-12). Let z be (-3)/m*92/6. Let o = -12 + z. Is o a multiple of 11?
True
Suppose 3*u - 182 - 154 = 0. Does 16 divide u?
True
Suppose 0 = -2*d - 4*f + 48, -f + 0*f = 4*d - 68. Is 8 a factor of d?
True
Let m(p) = -p**3 - 5*p**2 - 3*p + 4. Let b be m(-4). Does 7 divide 12*1 + b/5?
False
Suppose 0 = -5*n - 2*s + 22, 3*s = 5*n - 2*s - 50. Is 5 a factor of n?
False
Is (-6)/((4/20)/(-1)) a multiple of 10?
True
Let s = -30 + 18. Let r(z) = z**3 + 11*z**2 - 14*z - 17. Is 3 a factor of r(s)?
False
Suppose 5*b - 3*x = b + 309, 5*b = x + 378. Does 15 divide b?
True
Let x be 2 + -3 + 1 - 27. Let o = x + 58. Is 10 a factor of o?
False
Suppose 2*t + 9 + 0 = 3*j, 15 = 5*j + 5*t. Suppose o - 6*l - 27 = -2*l, -3*o - j*l = -6. Is o a multiple of 2?
False
Let s = 15 - 25. Is (4/s)/((-4)/280) a multiple of 10?
False
Suppose -2*n + 66 = n. Suppose -4*c + 14 = 2*w - n, -5*w + 5*c = -60. Is w a multiple of 14?
True
Let t be (-40)/(-6) + 6/(-9). Suppose -h - 40 = -t*h. Is h a multiple of 6?
False
Let b(s) = s**3 - 9*s**2 - 9*s + 10. Suppose 3*x - 5*x = 3*u - 8, 0 = x - 5*u - 30. Is 10 a factor of b(x)?
True
Let l(a) = 2*a - 3. Let b be l(4). Suppose -3*o + 20 + 15 = -b*n, 3*o + 4*n - 26 = 0. Does 6 divide o?
False
Suppose 0 = 5*f - 5*a - 315, -294 = -3*f - 2*f - 2*a. Is f a multiple of 20?
True
Suppose 4*t = -j - 130, t + 0*t + 631 = -5*j. Does 12 divide ((-6)/