et b(k) = -15*k - 8. Let w(g) = 15*g + 7. Let a(r) = 6*b(r) + 7*w(r). Let c(t) = t**2 + t - 5. Let o be c(-3). Is a(o) a multiple of 16?
True
Suppose -2*q = -0*q - 96. Let x = 88 - q. Is x a multiple of 10?
True
Let x(f) = 4*f - 7. Let b be x(3). Suppose k = -b*k. Is (-2 - k)/(18/(-153)) a multiple of 10?
False
Let j = 1154 + -648. Does 46 divide j?
True
Let n = 91 - 57. Let l = 35 - n. Is 12 a factor of l/6 + (-8946)/(-108)?
False
Let w be 17/(-4) + 3/12 - 2. Is 18 a factor of ((-34)/w)/(1/(-3 + 9))?
False
Let s be 477 - (1 + (-3 - -2)). Let w = s - 272. Is w a multiple of 41?
True
Suppose 0 = -4*l + 2*l - 3*q + 405, q - 415 = -2*l. Does 30 divide l?
True
Suppose z + 2*x - 8 = 0, 7*z - 4*x = 2*z + 12. Suppose 0 = -r - 1, 7*u + z*r = 3*u + 52. Does 2 divide u?
True
Let h be (-32)/8 + (10 - 0). Let j = h + 1. Suppose -2*s + j = -1. Does 3 divide s?
False
Let z = -51 + 33. Let q be (2/6)/((-3)/z). Suppose -2*p - q*p + 168 = 0. Is p a multiple of 14?
True
Let f(l) = -l**3 + 8*l**2 + 8*l + 13. Let x be f(9). Suppose -h + 150 = t - 3*t, 0 = -x*h + t + 621. Does 26 divide h?
True
Is 87 a factor of (-1251)/2*384/(-864)?
False
Let i(f) = 4*f**2 + 16*f + 20. Let y be i(9). Suppose -6*g + 1012 = -y. Is 24 a factor of g?
False
Let s(q) = 7*q + 86. Is 11 a factor of s(-6)?
True
Let i be -4*4/(64/(-20)). Suppose 0 = 5*s - n - 0*n - 105, s + 5*n + i = 0. Is 4 a factor of s?
True
Suppose 5*c - 4 - 11 = 0. Let f(u) = 6 - 4*u - u + u + 11*u**2 - 3*u**2. Does 22 divide f(c)?
True
Let q(s) = 0*s - 4 + s - 10*s - s. Does 12 divide q(-3)?
False
Suppose -6 = -3*u + 9. Let w(c) = -c**2 - c. Let s(i) = 6*i**2 - 6*i + 9. Let z(h) = u*w(h) + s(h). Is z(11) even?
False
Let n be ((-70)/21)/((-2)/3). Suppose 5*x + 370 = n*p, 5*p - 5*x + 141 = 7*p. Does 25 divide p?
False
Let m = -4 - -6. Let w be (-6)/(-15) + 4392/20. Suppose -2*k + w = m*k. Does 11 divide k?
True
Suppose -2314 = -19*f + 1885. Does 32 divide f?
False
Let b be 62/(-22) - 10/55. Let r be ((-14)/b)/(1/(-3)). Is 3 a factor of (-7)/(r/(-4)) - -11?
True
Let z(c) = -c + 25. Let h be z(12). Does 25 divide (-1 - 210/(-8)) + h/(-52)?
True
Suppose 4 = -3*s + 10. Let h(a) = 1 + s*a - 3*a + 2 - 8*a. Is 24 a factor of h(-5)?
True
Suppose -3*l = -5*l + 6, -t = 5*l - 271. Suppose 2*m - 4*h - t = 0, 5*h = m - 60 - 77. Does 52 divide m?
False
Let g = -52 + 44. Is 253 - 4*(-4)/g a multiple of 15?
False
Suppose -h = 3*r - 1, 2*h = -2*h - 2*r + 44. Let u = -14 + h. Is (-110)/(-2) - (0 + u) a multiple of 14?
True
Suppose 2*h - 1264 = -220*q + 222*q, -h + 627 = -2*q. Does 13 divide h?
True
Suppose 198 + 2152 = 2*l. Is 25 a factor of l?
True
Suppose -535 = -2*n - 5*s, -9*s + 6*s = 9. Is 25 a factor of n?
True
Let h(c) = -3*c + 1. Let k be (-1148)/(-63) - 2/9. Let n = -25 + k. Does 11 divide h(n)?
True
Let x(o) = 6*o**2 + 25*o - 380. Is x(20) a multiple of 63?
True
Let z be (-10)/45 - (-1550)/9. Suppose -c + 43 = 2*y, z = c + 3*c + y. Does 20 divide (c - 0 - 0) + -3?
True
Suppose 4*m - 45 = -m. Let a = m + -10. Let r(w) = -41*w + 1. Is 21 a factor of r(a)?
True
Let d be (2/(-4))/((-1)/(-10)). Let n = d - -11. Suppose -4*g + 4*r + 80 = 0, 4*r + 2 = n. Is 7 a factor of g?
True
Suppose -3*p - 2*l = -7*l - 3733, 0 = -5*p - 3*l + 6165. Is p a multiple of 20?
False
Let s(l) = 2*l**2 - 4*l - 9. Suppose -2*q + 4*r + 14 = 0, 2*r - 18 = -4*q - 0*r. Suppose -q*i = -3*p + 6, -18 = -p - 5*i + 4. Does 16 divide s(p)?
False
Suppose -5*b = -j - 0*j - 104, 0 = 5*b + 3*j - 108. Let c = 18 - b. Let r = c - -76. Is r a multiple of 20?
False
Let r = -167 + 170. Suppose 5*o = -10, -r*c - c - 2*o = -1012. Does 14 divide c?
False
Let d(x) = 72*x - 113. Is d(4) a multiple of 7?
True
Let g = 184 - -261. Suppose -3*k = 3*a - 678, -k + 5*a + g = k. Is 15 a factor of k?
True
Suppose 0*a - a - 18 = 0. Suppose -151 = -2*y - 35. Let i = a + y. Does 10 divide i?
True
Suppose 240 = -4*q + 8*q. Does 6 divide q?
True
Let u = -806 - -1377. Is u a multiple of 48?
False
Let r = -5 + 5. Suppose 2*v = -r*v + 42. Let m = -19 + v. Is 2 a factor of m?
True
Let k(t) = -t**3 - 6*t**2 + 7*t - 2. Suppose -3 + 24 = -3*m. Let g be k(m). Is 14 a factor of 67 + 0 + g/2?
False
Suppose -2*d + 4*v + 252 = -0*v, -3*d - 3*v = -360. Suppose -d = -8*k + 502. Is k a multiple of 10?
False
Let r = -12 + 349. Suppose 3*o - 3*i = r - 133, -4*i = 5*o - 367. Does 35 divide o?
False
Let n = 1651 + -979. Suppose -4*z + 1355 = -4*q - 21, 0 = 2*z + 2*q - n. Is 30 a factor of z?
False
Let l(i) = -i - 1. Let o(t) = t**3 - 8*t**2 + 10*t + 5. Let g(c) = 3*l(c) + o(c). Let d be g(7). Is (-7)/7 + (19 - d) a multiple of 3?
False
Let y(v) = v**2 - 20*v - 8. Does 69 divide y(37)?
True
Suppose l + 3*l = 8. Suppose -l*z = 3*z. Suppose -75 = -5*w - z*w. Is w a multiple of 5?
True
Suppose 5*f + 3*h - 3184 = 0, -2*f = 9*h - 10*h - 1278. Does 58 divide f?
True
Let t = -206 + 203. Let w be (-5)/5 - (-4)/(-2). Does 9 divide w*(-2 - t) - -21?
True
Does 12 divide 30/4*((-55)/(-3) - -7)?
False
Let g = -410 - -980. Is g a multiple of 47?
False
Suppose -2*a + 108 = -3*m + 7*m, 4*m - a = 96. Is (3 + 11)/(5/m) a multiple of 14?
True
Let h(f) be the second derivative of -f**5/20 + f**4/4 - f**3/2 + 91*f**2/2 + 44*f + 2. Is 10 a factor of h(0)?
False
Let v(b) be the first derivative of 7*b**2 - 4*b + 3. Let y be v(-7). Let w = -65 - y. Is 10 a factor of w?
False
Let k = -1898 + 3210. Is k a multiple of 41?
True
Suppose -11*m + 5282 = -7126. Is 47 a factor of m?
True
Suppose 7*n + 293 - 825 = 0. Is n a multiple of 8?
False
Suppose 320 = g - 5*j - 126, -2158 = -5*g + j. Is g a multiple of 16?
False
Let q = -373 - -554. Let n = q - 123. Is 14 a factor of n?
False
Let j = 381 - 74. Suppose -5*w + 213 = -j. Is w a multiple of 55?
False
Suppose 4*j + 76 = 5*h, 74 = j - 6*j + h. Let w = j - -11. Let k(i) = -2*i**3 - 2*i**2 + 2*i - 3. Does 9 divide k(w)?
True
Let c be (-8)/((-16)/6)*(-7)/(-3). Suppose 61 = -c*q + 530. Is q a multiple of 25?
False
Let q(d) be the second derivative of -d**5/20 - 17*d**4/12 - 15*d**3/2 + 4*d**2 - 2*d. Is 5 a factor of q(-14)?
True
Suppose -5*k - 4 - 11 = 0. Let w(l) = l + 1. Let v(a) = -a + 10. Let s(d) = v(d) - 6*w(d). Does 10 divide s(k)?
False
Let b(t) = 101*t - 264. Is b(3) a multiple of 13?
True
Suppose 8*j - 78 = 6*j. Suppose f - j = -q, 4*f = -0*f + 3*q + 121. Is 17 a factor of f?
True
Let x = -160 - -375. Is 10 a factor of x?
False
Let g(j) be the third derivative of 3*j**5/20 + j**4/24 - j**3/3 - 12*j**2. Is 8 a factor of g(-2)?
True
Let b(d) = 108*d + 504. Is 3 a factor of b(10)?
True
Suppose 20 = 6*c - 4. Suppose 2*z + 22 = -2*j + 4*j, 0 = -4*j - c*z + 52. Suppose -s + 3*w = j, 2*s - 20 = -5*w + 11. Is 2 a factor of s?
False
Let h = 100 - 16. Is h a multiple of 14?
True
Suppose -5*v - 3*c + 5 = -8*c, 10 = -2*v - 4*c. Is 34 a factor of (-1)/((-1)/103) - v/(-1)?
True
Let u = -73 + 341. Suppose 8*v - u - 44 = 0. Is 23 a factor of v?
False
Suppose -5*n + 23 = 8. Suppose 0 = 7*m - n*m + 48. Does 12 divide -84*1*8/m?
False
Let w = 19 - 14. Suppose -w*p + 106 = 3*n, 3*p - 226 = -5*n - 76. Is 21 a factor of n?
False
Suppose -5*g = -0*g + 15. Let a(i) = 10*i + 1. Let y be a(g). Let m = 61 + y. Is m a multiple of 11?
False
Let b(f) = 37*f - 46. Does 6 divide b(5)?
False
Suppose 0*q + 5*q - 45 = -5*v, 0 = -3*v - 2*q + 24. Suppose 3*b + v = y, -4*y - 2*b + 0 = -52. Is y a multiple of 12?
True
Let m be -1 + 25/10 + 39/(-2). Let c(x) = -x**3 - 18*x**2 - 7*x - 16. Is 11 a factor of c(m)?
True
Let j = 3 - 6. Let r = j - -8. Let s = r + 34. Is s a multiple of 13?
True
Let c(v) be the third derivative of v**5/30 + 23*v**4/24 + 3*v**3/2 + 28*v**2. Is c(-13) a multiple of 38?
False
Let t be (3 - 0)/((-9)/(-18)). Suppose -4*j = -t*j + 12. Suppose 41 = 2*p + i, -2*p + 66 = -j*i + 2*i. Is p a multiple of 23?
True
Let s = 4014 + -2220. Does 13 divide s?
True
Suppose -2*j - w = 1886 - 7150, 5*j = -3*w + 13161. Is j a multiple of 18?
False
Suppose -295*y + 198 = -289*y. Is y a multiple of 2?
False
Let l(r) be the second derivative of r**5/20 - 7*r**4/12 + 7*r**3/6 - r**2/2 + 3*r. Let q be l(6). Let b(w) = 16*w + 3. Does 29 divide b(q)?
False
Let b(i) = i**3 + 2*i**2 - 14*i + 5. Let j(x) = x**3 + 3*x**2 - 14*x + 5. Let d(s) = -6*b(s) + 7*j(s). Suppose -2*o + 7 = 27. Does 15 divide d(o)?
True
Let c be (-3)/((-256