 27 = -4*r, -7*r + 3*r + 37 = -f. Is c(r) a multiple of 17?
False
Let f(w) = 2*w + 4. Let h be f(-8). Let m = 14 + h. Suppose -5*o - 15 = -m*y, -4*o + 110 = 5*y - 2*o. Is 5 a factor of y?
True
Let q = -21 + 29. Suppose -2*b + w - 17 = 0, 2*b - w = -5*w + q. Is 12 a factor of b/10 - (-369)/15?
True
Let m = 504 + 91. Is m a multiple of 24?
False
Let b(c) = 3*c - 7. Let w be b(5). Let i = -177 + 180. Suppose 2*y + w = i*y. Is y a multiple of 8?
True
Suppose 3*x = -0*x. Suppose -2*h = g - 5, x*h = -3*h. Suppose 0 = g*j - 4*r + 11 - 65, 4*j - 76 = -5*r. Does 4 divide j?
False
Let q(z) = -7*z**3 + 13*z**2 - 16*z - 10. Let a(u) = 8*u**3 - 13*u**2 + 15*u + 9. Let k(t) = -6*a(t) - 7*q(t). Is k(11) a multiple of 6?
False
Suppose -a + 356 = 3*a. Suppose -k + 5*k = 3*j + a, -5*j + 85 = 5*k. Is k a multiple of 8?
False
Let g(z) = 17*z**2 - 3 + 81*z + 26*z**2 - 83*z. Is g(-1) a multiple of 7?
True
Suppose 4*i + 207 = i. Let o = i - -134. Does 29 divide o?
False
Let i = 6767 + -4693. Is i a multiple of 21?
False
Suppose -70 = 8*k - 3*k. Let f = 17 + k. Let u(p) = 14*p + 3. Is u(f) a multiple of 9?
True
Suppose -1200*k - 4552 = -1202*k. Is 18 a factor of k?
False
Let k = -75 + 78. Suppose -k*j = -8*j + 645. Is j a multiple of 43?
True
Suppose -5*a + 2*m - 366 = m, 0 = 2*a - 3*m + 149. Let q = 13 - a. Is 22 a factor of q?
False
Let i(x) = 15*x**2 + 26*x + 93. Is i(-6) a multiple of 55?
False
Let u(j) be the first derivative of -j**2/2 + 2*j + 13. Let a be u(-2). Suppose -2*w - 200 = -a*k, -w - 49 = -k + 3. Is k a multiple of 16?
True
Suppose 0 = -6*v - 0*v + 4*v. Suppose 673 = 5*w - r, 5*r + v*r - 10 = 0. Is 27 a factor of w?
True
Let o(w) = -w + 6. Let d be o(-2). Suppose 0 = 8*a - 4*a - r - 17, -a + d = r. Suppose a*b + 68 = 7*b. Is b a multiple of 17?
True
Let n = 12 - 27. Is 5 a factor of (-204)/n + -4 - (-4)/10?
True
Suppose 12 = -4*j, 4*s + 2*j + 4 = -2*j. Let r = -1235 + 1224. Is s/r + (-1636)/(-44) a multiple of 31?
False
Let x(b) = -b**3 + 10*b**2 + 4. Let r be 1/(-4) + (-41)/(-4). Let q be x(r). Suppose -54 = q*n - 6*n. Is n a multiple of 9?
True
Suppose 0*a + 23 = 4*a + 5*j, 0 = -5*a - 5*j + 25. Let k be 282/(-15)*(-3 - a). Let u = k - 34. Does 15 divide u?
True
Let a(n) = -n**2 - 6*n - 8. Let t be a(-5). Does 2 divide (64/t)/(-1) - 10/30?
False
Let s = 2 + 1. Suppose -275 = 2*h + s*h. Let o = h + 106. Does 14 divide o?
False
Let x be 228/(-30) + (-6)/15. Let i(d) = d - 19. Let o be i(x). Does 3 divide -1*o*2/3?
True
Let a = 183 - 106. Let f = a + -57. Is f a multiple of 10?
True
Is 6 a factor of ((-6)/2)/((-93)/3317)?
False
Let y(l) = 201*l + 308. Is 57 a factor of y(6)?
False
Let k = 33 + 1. Let x = k - -136. Is 31 a factor of x?
False
Let i = 8921 - 5919. Does 81 divide i?
False
Let t be (-1 - -31)*(0 - 1). Is 5/((-20)/(-16)) - t a multiple of 7?
False
Suppose 2*k - 15019 = -5*o, 0 = 3*o + 4*k - 679 - 8338. Is o a multiple of 101?
False
Let i(t) = -4*t**2 - 12*t - 20. Let o(f) = 3*f**2 + 8*f + 13. Let d(c) = 5*i(c) + 7*o(c). Let b be d(5). Is (-784)/(-35) - b/(-10) a multiple of 11?
True
Let a = 288 + 71. Suppose 5*u - a = -5*q - 69, -5*u + 5*q + 320 = 0. Does 13 divide u?
False
Let l = 8 - 8. Suppose -2*d = -5*z + 193, -z - 2*z - 2*d + 119 = l. Does 13 divide z?
True
Let c(i) = -6*i**3 + i**2 + 6*i - 8. Is 22 a factor of c(-6)?
False
Is (-192)/320 - (0 - (-3618)/(-5)) a multiple of 7?
False
Let o(t) = t**3 - t**2 - t. Let x be o(2). Let u be (16/60*18)/((-12)/(-40)). Suppose -q = -x*q + u. Is q a multiple of 8?
True
Suppose 1210*p = 1204*p + 5118. Does 12 divide p?
False
Let u be ((-8)/(-4))/(10/15). Suppose -2 = -4*a + u*w + 22, -5*a + 3*w = -27. Suppose 0 = r - a*r + 2*p + 232, -5*r = -2*p - 583. Is 24 a factor of r?
False
Suppose l = 3*t - 10, -2*t - 3*l + 12 = -2. Suppose 2*c = -t + 16. Is ((-23)/3)/(c/(-18)) a multiple of 23?
True
Let w(u) = -u**3 - 6*u**2 + 4. Let g be w(-6). Suppose -2*v - 988 = -5*x, x - 217 = -g*v - 15. Does 18 divide x?
True
Suppose 3*x + 3*d - 627 = 0, 5*x - 1052 = -d + 3*d. Does 64 divide x?
False
Suppose 4*j + r - 4 = 3*r, 5*j - 5 = -2*r. Let m(c) = 27*c**3 - c**2 + c. Let y be m(j). Suppose 5*b + y = 192. Does 11 divide b?
True
Let p(u) = 17*u**2 - 232*u + 8. Is p(-7) a multiple of 142?
False
Let p = 19 + -14. Suppose p*m = -46 + 146. Is m a multiple of 10?
True
Suppose -5*l = -1 - 9. Suppose -l*f = 3*k + k - 62, -5*f = k + 7. Is 8 a factor of k?
False
Let i(d) = -d**3 - 5*d**2 + 4. Let b be i(-5). Let n = -5 - -3. Is (-742)/(-28) + n/b a multiple of 13?
True
Let d(n) = 6*n**2 - 29*n + 144. Is 12 a factor of d(5)?
False
Let u = -89 - -99. Let l = 6 + -11. Let h = u + l. Is h even?
False
Suppose -864 - 1512 = -12*u. Does 3 divide u?
True
Does 16 divide (11 - 1500/6)*-5?
False
Let a be ((-3)/(24/172))/((-1)/2). Let g = 98 - a. Is g a multiple of 11?
True
Let t(i) = -i**3 + 18*i**2 + 16*i + 27. Does 12 divide t(17)?
True
Suppose 2197 = 21*t - 7379. Is t a multiple of 38?
True
Let a(p) = p**2 + 9*p - 6. Let c be a(-8). Let l be 1107/21 + (-4)/c. Suppose 0 = 2*r - 2, -4*r + l = 2*y - 31. Is 16 a factor of y?
False
Let c be -1596 + (-7)/(28/(-12)). Does 23 divide 1*2/4 - c/18?
False
Suppose 0 = -3*f - 3*f + 552. Suppose 2*k - f = 4*t - 0, 219 = 5*k + t. Is k a multiple of 11?
True
Let l be 4 + (-2 - 3 - -2). Let k(b) = 73*b + 1. Is k(l) a multiple of 27?
False
Suppose 2*i = -5*p + 23, 6 = -2*p + 4*p. Suppose i*z + 148 = -a, 4*a = -z - z - 648. Does 13 divide (1 - -1)/((-8)/a)?
False
Suppose 24*q = 42*q - 68526. Does 47 divide q?
True
Let s(l) = -20*l + 280. Is s(-37) a multiple of 25?
False
Let n(x) = x**2 + 10*x + 6. Let b be n(-8). Let y be (6/1)/((-15)/b). Suppose 4 = -y*f - 4*s, -4*f + 4*s + 23 = -5. Is f even?
False
Let a be (-7)/(14/(-40)) - 0/2. Suppose w + 9 = a. Does 11 divide w?
True
Suppose 0 = -t - 0 + 1. Let n(c) = c**2 + 7*c + 6. Let s be n(-7). Let q = t + s. Does 5 divide q?
False
Let j = 23 + -20. Let t(z) = 11*z**2 - 4*z + 24. Does 11 divide t(j)?
False
Let z be 16/(-2)*-1 - (16 - 13). Suppose 156 = z*p - 24. Does 13 divide p?
False
Suppose 2*o - 2*n = 109 + 67, 0 = -3*o + 2*n + 266. Is o a multiple of 10?
True
Let p be (-37)/2*(6 + -8). Let v = p - 2. Does 7 divide v?
True
Is ((-9)/(-9) - 3)*149/(-2) a multiple of 8?
False
Suppose 2*o - 2*q + 18 = -40, q = -3*o - 67. Does 3 divide (9/(-4))/(6/o)?
True
Let c = -2041 + 2905. Is c a multiple of 4?
True
Suppose -254*o + 11760 = -244*o. Does 14 divide o?
True
Let g = 6701 - 3698. Is g a multiple of 21?
True
Let g(z) = 6*z**2 + 0*z**2 + 3 - z**2 - 4*z. Let p(q) = -q - 5. Let t be p(-8). Is g(t) a multiple of 10?
False
Suppose -131 - 445 = -4*i. Suppose 53*o - i = 50*o. Does 8 divide o?
True
Suppose 20*y = 18*y + 154. Let j = y + -41. Does 12 divide j?
True
Let g(k) = -2*k**3 - 7*k**2 + 4*k - 7. Let c = 17 - 12. Let q be g(c). Is 2/5 - q/20 a multiple of 7?
True
Let s = -65 - -99. Let h = -22 + s. Is 31 + (-4)/(16/h) a multiple of 14?
True
Let j(z) = 41*z + 36. Does 12 divide j(0)?
True
Suppose 4*k - 5*v = -8 + 31, -24 = -4*k + 4*v. Let t be (414/12)/(-3)*2. Let c = k - t. Is 10 a factor of c?
True
Let c(v) = -5*v**2 - 3*v - 4. Let i be c(-2). Let m = i + 37. Suppose -m*d + 14*d + 495 = 0. Is d a multiple of 25?
False
Is 12 a factor of 497*(6/7 - (-12)/84)?
False
Let v be -1*8/(-2) + 117. Is 13 a factor of (-22)/v + (-1003)/(-11)?
True
Suppose 2*a + 52 = 5*j - 10, -3*j + 2*a + 34 = 0. Is 21/49 - (-470)/j a multiple of 9?
False
Is 64/(-24)*(-1 + -20) a multiple of 7?
True
Let r(q) = -2*q**2 - 2*q + 1. Let z be r(-2). Let j = 7 + z. Suppose 0 = -j*i + 7*i - 24. Does 2 divide i?
True
Let d(m) = 47*m - 670. Does 31 divide d(17)?
False
Let z(o) = -o**3 - 3*o**2 - 2. Let q = 27 + -33. Is z(q) a multiple of 23?
False
Suppose -5*z = 5*i + 17 - 62, -5*i + 40 = 4*z. Suppose z*w + 0*w = 5. Is w/(-2)*-10 - -2 a multiple of 7?
True
Let a(y) = 100*y**2 + 4*y + 3. Let v be a(-1). Suppose -4*g + v = -381. Is 25 a factor of g?
False
Let u(a) = 1 - 16*a + 3*a - 8 - 3*a**2 + 2*a**2. Does 9 divide u(-6)?
False
Suppose 7*k - 699 + 174 = 0. Let g = k - 19. Is g a multiple of 28?
True
Let p(n) = n**2 - 2*n - 7. Suppose 2*q - 1 = 5. Let i be p(q). Does 6 divide ((-32)/6)/(i/18)?
True
Let p = 6 + 18. Suppose -2*t = 2*t - p. Suppose -2*n = -t*n + 48. Is 6 a factor of n?
True
Let 