. Let p be l(3). Let q(j) = -j. Let d be q(p). Is 8 a factor of n(d)?
False
Let c(x) = x**2 + 17*x + 12. Let i be (-76)/4 - (1 + -3). Is c(i) a multiple of 3?
True
Suppose -3*i + x = 279, -x = -6*i + 2*i - 371. Suppose 3*y = 3*p + 192, -2*y - 161 + 419 = -4*p. Let a = p - i. Is a a multiple of 9?
True
Let m be (-10)/(-30) - 2*1/6. Suppose m = -4*q - x - 3*x + 456, 216 = 2*q - x. Is 22 a factor of q?
True
Suppose -12*d - 788 = 280. Let i = d + 162. Is i a multiple of 9?
False
Suppose -4*i + 59 = 15. Suppose -i*t + 4*t + 861 = 0. Is t a multiple of 41?
True
Let c = 4 + -2. Suppose -c*g + 4 = -2*x, 2*g + 7*x = 3*x + 16. Suppose 0 = -2*h - g + 12. Is 4 a factor of h?
True
Let h be (-18)/(-5) + 18/45. Suppose -h*j + 208 - 50 = -2*y, -4*j = y - 161. Does 4 divide j?
True
Let z be 4/6*(24 + -9). Let b = -1 + z. Let y(w) = 2*w + 2. Is y(b) a multiple of 20?
True
Suppose -3*z + 4*x + 219 = 0, 8*z - 370 = 3*z + 5*x. Does 3 divide z?
False
Let n(b) = -17*b + 2. Suppose 3*g = -5*k + 28, 0*g + g - 2*k + 9 = 0. Let y(p) = p - 1. Let v(o) = g*n(o) + 6*y(o). Does 29 divide v(-3)?
True
Let v be 70/(-21) + 1/3. Does 8 divide 4*v*(-4)/3?
True
Is 10 a factor of (-175 - 3)*(10 + -15)?
True
Suppose -2*o + 232 = 6*x - 4*x, 0 = 4*x + 2*o - 470. Is 7 a factor of x?
True
Let g be -24*(-3 + (-57)/(-9)). Let t = g - -130. Is t a multiple of 10?
True
Let l(q) be the third derivative of q**5/60 + q**4/6 - 5*q**3/2 - 13*q**2. Is l(4) a multiple of 2?
False
Let q be ((-1)/2)/(10/(-240)). Suppose 234 = -9*v + q*v. Does 39 divide v?
True
Suppose 3 = -z + 35. Let c = z - -39. Is c a multiple of 18?
False
Let l = -16 + 13. Let j = 11 - l. Suppose 4*f + j - 58 = 0. Is 11 a factor of f?
True
Let f(w) = 10*w - 13. Let y be f(14). Suppose 95 = 3*o - y. Is o a multiple of 13?
False
Let y(v) = 3*v - 5*v**2 + 832*v**3 - 2 - 833*v**3 + 2*v. Let p(n) = n**2 + 8*n + 1. Let b be p(-7). Is 2 a factor of y(b)?
True
Let x be 1 - (-471 - (4 + 0)). Let i be x/7*2/4. Does 15 divide 394/26 + i/(-221)?
True
Let u(p) = p**2 - 6*p - 1. Let m be u(7). Let l(y) be the second derivative of -y**5/20 + 7*y**4/12 + y**3/2 - y**2 - 3*y. Is 13 a factor of l(m)?
True
Suppose -2*p - 2421 = -2821. Is p a multiple of 53?
False
Suppose 2*b = 42 + 38. Let g(x) = -x**2 - 8*x - 12. Let m be g(-6). Suppose 0 = u - m*u - b. Does 8 divide u?
True
Suppose 3824 - 264 = 40*h. Is h a multiple of 6?
False
Let y = -325 + 352. Suppose -5*i = -216 - 64. Suppose -26*z = -y*z + i. Is 8 a factor of z?
True
Suppose -5*n = 3*i - 2*n - 2886, 5*n - 1930 = -2*i. Is 20 a factor of i?
True
Suppose 5*p + 129*p = 188002. Is 24 a factor of p?
False
Suppose 0*b = -b + 4*r + 91, 3*b - 237 = 3*r. Let c = b + -50. Does 8 divide c?
False
Let n be (-110)/(-1 - 2/(-4)). Suppose -4*y + n = y. Suppose l - 4*r = y, 3*l = 5*r + 55 + 42. Does 8 divide l?
True
Let f = -11 + 15. Suppose f*d + 124 = 464. Is d a multiple of 7?
False
Let r = 1478 - 854. Is r a multiple of 11?
False
Let i(m) = 403*m**3 + 2*m**2 - m. Let g be i(1). Let v(x) = -x**2 - 5*x - 2. Let w be v(-2). Suppose 2*r + 10 = 0, 3*r + 19 - g = -w*s. Does 15 divide s?
False
Let m(d) = d**3 + 11*d + 3 - 3*d - 10*d**2 + 0*d. Let x be m(9). Does 10 divide (-1793)/(-44) + x/8?
True
Let g(i) = -45*i - 88. Is 17 a factor of g(-8)?
True
Suppose -3*m - 70 = -8*m. Let f be (-396)/14 + 4/m. Is 6 a factor of 8/f + 88/14?
True
Is 13 a factor of 2223/2 - 6/4?
False
Is 142 a factor of -24*((-2305)/20 - 0)*1?
False
Suppose 0 = -4*z - 2*z + 2160. Is z a multiple of 10?
True
Let v(l) = 2*l**3 - 8*l**2 - 7*l - l**3 + 10*l**2 + 5*l**2 + 8. Let d be v(-8). Let r(n) = n**2 + n + 51. Is r(d) a multiple of 23?
False
Let l be (-3)/24 - (-654)/(-16). Let u = 81 + l. Does 5 divide u?
True
Suppose -7*k + 6*k - 1150 = -2*l, -3*l + 1732 = 2*k. Does 36 divide l?
True
Suppose 0 = d - 1 - 3. Suppose d*i = -4*k + 96, -5*k - i = 3*i - 123. Is 27 a factor of k?
True
Let b = 25 - 18. Suppose 275 = -2*s + b*s. Does 28 divide s?
False
Suppose -c = 4*c - 25. Suppose 206 = 4*a + 5*o, -2*a - c*o + 19 = -79. Suppose -7*w - a = -10*w. Is 18 a factor of w?
True
Suppose 2*z - 4*c = -z - 284, 2*z + 193 = -c. Suppose -3*m - 6 = 3. Is 4 a factor of ((z/m)/(-4))/(-2)?
True
Is 2188/((-15)/(-6) + 27/18) a multiple of 8?
False
Let q(g) = -4 - 3*g**2 - 3*g + 2*g + 13. Let z be q(7). Let v = -90 - z. Is 13 a factor of v?
False
Suppose -5*a = 2*u + 1947, 5*a + 5*u - 490 + 2440 = 0. Let i = a - -613. Is i a multiple of 9?
False
Let r be (-12)/((-1)/((-2)/2)). Let x(u) be the first derivative of u**4/4 + 13*u**3/3 + 7*u**2/2 - 8*u + 137. Is x(r) a multiple of 26?
True
Let j(p) = 7*p + 6. Let o(r) = 1. Let f(x) = -j(x) - 4*o(x). Let t be -3*((-14)/(-6) - 1). Is 16 a factor of f(t)?
False
Suppose 445 - 37 = -4*o. Let c be (8/(-12))/(2/o). Suppose -3*w = 4*v - 148, 4*v = -w + 106 + c. Does 17 divide v?
True
Suppose -12*k = -8*k. Suppose 5*o + g = 6*g + 75, 4*o + 2*g - 30 = k. Suppose -5*m - o = -6*m. Does 10 divide m?
True
Let w(t) = t**2 - 37*t - 81. Does 26 divide w(53)?
False
Suppose -3*p - 40 = -5*p. Let t(w) = -7*w**2 + w**3 + p*w**2 - 9 + 15 + 12*w + 7. Is t(-12) a multiple of 13?
True
Suppose 6336 = -114*g + 132*g. Is 61 a factor of g?
False
Let t(k) = -4*k. Let f(g) = -2*g. Let q(x) = -6*f(x) + 2*t(x). Let s be q(2). Suppose 0 = -3*i + u + 37, -u - s = -i + 5. Is 12 a factor of i?
True
Let j = 338 - -247. Does 15 divide j?
True
Is 27 a factor of 12/10 + 104232/215?
True
Let p(u) = 94*u**2 - 48*u**2 - 45*u**2 + 4 - 2*u. Suppose 0 = 3*b + r + 13, 15 = -2*b - 5*r - 11. Is p(b) a multiple of 9?
False
Let j(n) = n**2 - 7*n + 6. Let m be (35/20)/(2/16). Does 23 divide j(m)?
False
Let j(m) = -267*m + 66. Is 19 a factor of j(-5)?
False
Let t = 899 + -602. Does 11 divide t?
True
Suppose 4*t - 2 - 1 = -5*i, -2 = t + 4*i. Suppose -t*q = -4*q - 6. Is (-1)/(q - 268/(-90)) a multiple of 12?
False
Let s be -11 - 2/(-3 - -1). Let q = 14 + s. Let b(p) = 11*p + 2. Is 20 a factor of b(q)?
False
Let n(r) = r**2 - 14*r + 19. Let g be n(13). Let m(s) = -4*s + 8. Let b be m(g). Is (-1448)/b + (-1)/(-2) a multiple of 29?
False
Suppose 5*z = z + 52. Let g = z + 27. Is 8 a factor of g?
True
Let k = 92 - 31. Suppose -8*y + 7*y - 4*u = -k, y + 2*u = 53. Does 5 divide y?
True
Suppose j = -c + 13, 3*c + j + 4*j = 41. Let g(k) = 7*k + c - 1 - 6*k + 3. Does 6 divide g(-8)?
True
Is (-3)/(-1 + 802/808) a multiple of 112?
False
Suppose 3 = 2*l - l. Let m = 1076 - 1076. Does 9 divide (l - 2 - m)*9?
True
Suppose 0 = -4*h - 4 + 24. Suppose 24 = h*g - 176. Does 10 divide (g*-1)/(5 - 6)?
True
Suppose -3*m + 89*t - 92*t + 279 = 0, t = 4*m - 377. Does 14 divide m?
False
Let t = 38 + -34. Suppose -158 - 838 = -t*i. Suppose 0 = -5*v + i - 49. Is v a multiple of 8?
True
Let q be ((-4)/(-8))/(4/(-480)). Let m = -33 - -11. Let x = m - q. Is x a multiple of 18?
False
Let w(x) = 10*x**2 - 21*x - 76. Is 56 a factor of w(-7)?
False
Let j(q) = -q**3 - 4*q**2 + 6*q + 10. Let o be j(-5). Suppose 27 = -2*z + 5*z. Let u = z + o. Is 5 a factor of u?
False
Let u be (26/4 - 9/(-18)) + 1. Suppose 0 = -u*r + 625 + 343. Does 30 divide r?
False
Let x(f) = 286*f - 232. Is x(3) a multiple of 6?
False
Let v be 0/(-8) + 1 + -4. Let u = v + 6. Is 1 + (u - (1 - 14)) a multiple of 17?
True
Let h = -104 - -241. Suppose w - 3*y - 44 = 0, 2*y = -3*w + 6*y + h. Is w a multiple of 15?
False
Suppose -5*q = -1 - 14. Suppose 22 = k + q*n, -k - n + 36 - 12 = 0. Is k a multiple of 5?
True
Suppose -22*b + 17*b = -385. Let z = b + 15. Is 21 a factor of z?
False
Let t = -54 + 3042. Suppose -12*g = -24*g + t. Is 36 a factor of g?
False
Suppose 155 = 3*c - 5*s, -c - 5*s = -0*s - 85. Let a = -22 + c. Is a a multiple of 12?
False
Let p(l) = -l**3 + 8*l**2 - l + 10. Suppose 0 = 3*a - 36 + 12. Let w be p(a). Suppose w*u = 3*u - 11. Is u a multiple of 9?
False
Let x = -5 - -7. Suppose -x*l + 6 = -136. Suppose 2*h = h + l. Is 23 a factor of h?
False
Suppose 0 = -p + m + m + 11, 3*m + 21 = 3*p. Is 56/12 - (-4)/p a multiple of 2?
True
Suppose -5*k - 144 = -3*f - 988, -4*k - 5*f = -690. Let z = k + 10. Does 30 divide z?
True
Is 11 a factor of 65626/342 + (-1 - 2)/(-27)?
False
Suppose p - 4*k = -0*k - 16, p = k - 1. Suppose 0*x - 3*j = p*x - 658, 5*x + 2*j - 819 = 0. Is 18 a factor of x?
False
Let n = 355 + 765. Is 14 a factor of