 118, -l + x = -s. Is 10 a factor of l?
False
Let w(g) = 2*g**2 + 14*g + 21. Let c be w(-10). Let x = c + 87. Does 15 divide x?
False
Suppose -z + 14 + 38 = 0. Suppose -h = -44 - z. Does 16 divide h?
True
Let w(b) = b**3 + 7*b**2 + 4*b + 3. Let k be w(-6). Let x(v) = v - 11. Let t be x(10). Is k - 19 - (-120 - t) a multiple of 23?
True
Suppose 14 + 4 = 6*o. Suppose 3*n - o*b - 63 = -2*b, 4*n + b = 77. Let x = n - 15. Does 5 divide x?
True
Suppose -7*a + 3*a + 528 = 0. Suppose -3*j + 7*j - a = 0. Suppose 8*t = 5*t + j. Is 11 a factor of t?
True
Suppose 5*k - u + 345 = 0, 0 = -4*k + 2*u + 2*u - 292. Let y be 2/(-3) + k/(-12). Suppose -6*z = -y*z - 26. Is z a multiple of 13?
True
Let b = 1 + 6. Let w(j) = 3 - 4*j**2 - 2*j + 4 + 5*j**2 + 0. Is w(b) a multiple of 14?
True
Suppose 0 = -f, 27 = -x + 3*f - f. Let v = -134 - -143. Let i = v - x. Does 12 divide i?
True
Let a = -17 - -12. Let w = a - -105. Is w a multiple of 5?
True
Let l(c) = 37*c + 14. Let m be l(-2). Let y = 104 + m. Is y a multiple of 11?
True
Let k = -30 - -11. Let m = k + 19. Suppose m = -4*n + 97 + 95. Is 12 a factor of n?
True
Let t be (9*(-4)/15)/(2/(-90)). Suppose 2*m - 2*v - 9 = 217, m - t = 2*v. Does 53 divide m?
False
Suppose -18*u = -21*u + 87. Is 19 a factor of u?
False
Let v = -173 - -175. Let y(j) be the third derivative of j**4 + j**2. Is y(v) a multiple of 16?
True
Suppose -59 + 20 = -3*k. Let p = k + 55. Is 42 a factor of p?
False
Suppose x = -5*b + 39, -2*b = -5*x + 3*b + 75. Let o = x - -22. Is o a multiple of 7?
False
Suppose -5*c + 813 = o - 826, 4*o - c = 6640. Does 79 divide o?
True
Let h(v) be the second derivative of 2*v**3 - 5*v**2 - 8*v. Is 25 a factor of h(5)?
True
Let m(q) be the third derivative of -q**4/24 + 2*q**3 - 2*q**2. Is m(-7) a multiple of 7?
False
Let r(o) = 40*o - 37. Does 15 divide r(2)?
False
Let s(v) = 27*v**2 + v + 1. Let d(q) = -q**2 - 18*q - 18. Suppose -p - 5*p = 102. Let g be d(p). Does 11 divide s(g)?
False
Let a(b) = -486*b - 263. Is a(-4) a multiple of 72?
False
Let s be (1 - 12/8)*-18. Suppose k = 4*k - y - 7, s = k + y. Suppose k*h - 9*h = -110. Is h a multiple of 13?
False
Let n = 284 + 604. Is n a multiple of 14?
False
Let p(v) = 4*v**2 - 81*v + 19. Is p(-8) a multiple of 13?
True
Is 11 a factor of (-6 + (-5 - -14))*2046/9?
True
Let m(h) = 50*h + 12. Let c be m(4). Suppose -c - 373 = -5*o. Is o a multiple of 39?
True
Let d(k) = -9*k + k - 2*k. Let z(n) = 10*n**3 + 5*n**2 + 2*n + 1. Let j be z(-1). Is 13 a factor of d(j)?
False
Let f(o) = 4*o - 26 - 8*o + 2*o + 6*o. Does 3 divide f(11)?
True
Does 2 divide ((-6)/4)/(12/(-16)) + 7?
False
Is 14 a factor of (-6)/(-14) - (-2090)/7 - -4?
False
Let r(y) = -y - 3. Let q be r(-7). Suppose -3*b = q*b - 224. Is b a multiple of 8?
True
Let f = -348 + 1048. Is 20 a factor of f?
True
Let q(x) = -106*x + 16. Is 3 a factor of q(-1)?
False
Let q(u) = u**3 + 12*u**2 - 14*u + 8. Suppose -62*m + 57*m - 65 = 0. Is q(m) a multiple of 21?
True
Suppose 6*p - 7 = 2*p - i, -6 = -2*i. Is p - (-24)/(-30) - (-598)/10 a multiple of 20?
True
Let b(y) = 6*y**2 + 5*y**2 - 1 - 4 + y**3 + 7 + 3*y. Is b(-8) a multiple of 17?
True
Let i be 12/18 - 80/(-6). Is 5 a factor of i/3*90/21?
True
Let x(d) = d + 1. Let s(j) = 7*j + 5. Let l(k) = s(k) - 3*x(k). Let a be l(-1). Is ((-14)/6)/(a/48) a multiple of 13?
False
Suppose 0 = 5*v - 15, -5*l - 2*v = -570 + 144. Let w = l - 33. Is w a multiple of 9?
False
Suppose 0 = -4*l + g + 1146, -4*g + 283 = l - 6*g. Is l a multiple of 13?
False
Suppose -7*z + 3*z = -t - 178, -3*z = -2*t - 131. Suppose p - 5*r - z = 0, 67 = 4*p + r - 50. Let g = p - -2. Is g a multiple of 12?
False
Let d be ((-6)/12)/(2/72). Does 12 divide d/5*(-80)/6?
True
Let l = 4180 + -1614. Does 16 divide l?
False
Let j(z) = 3*z**3 + 2*z**2 + z. Let y be j(-1). Does 10 divide 75/y*46/(-69)?
False
Let r be ((-24)/(-16))/(6/8). Suppose -r*p - 31 = -133. Does 17 divide p?
True
Let d(x) = 54*x - 9. Is 3 a factor of d(4)?
True
Let v(o) = o**2 - 3*o + 2. Let p be v(4). Let r = p - 6. Suppose r = -5*l + 217 - 22. Is l a multiple of 13?
True
Suppose -3*n = -v - 173, 7*v + 5*n = 8*v + 165. Let l = v + 309. Is 34 a factor of l?
False
Let j = 54 - -23. Is j a multiple of 25?
False
Let g = 3 - 7. Let j(n) = -2*n**3 - 6*n**2 - 3*n - 5. Let x be j(g). Is (x - -15) + 1 + -4 a multiple of 9?
False
Let m = -363 + 651. Suppose 2*y + y + m = 0. Let o = y + 189. Does 25 divide o?
False
Suppose 2065*l - 2071*l + 12516 = 0. Does 53 divide l?
False
Let o(z) = 2200*z + 54. Does 94 divide o(1)?
False
Let l = -7 - -13. Suppose t = l + 40. Suppose 3*u = 3*i + 4*u - t, -16 = -2*i + 3*u. Is i a multiple of 14?
True
Suppose 0 = 4*x + 4*f - 112, 2*f + 23 + 21 = 2*x. Is 2 a factor of x?
False
Is (15/4)/(3*(-15)/(-8760)) a multiple of 73?
True
Let t(u) = 5*u**2 + 21*u. Let c(v) = 3*v**2 + 14*v. Let x(l) = 8*c(l) - 5*t(l). Let b be x(7). Suppose -3*r + 8*r - 460 = b. Does 23 divide r?
True
Let j = -377 + 454. Does 7 divide j?
True
Let d(n) = 36*n + 5. Suppose 3*q - 5*t + t - 18 = 0, -2*q + 2*t + 10 = 0. Is d(q) a multiple of 7?
True
Let v be (-1)/(4/(-44) + 0). Let j(f) = f**3 - 9*f**2 - 20*f + 14. Is 8 a factor of j(v)?
False
Suppose -22*j - 176 = -23*j + 4*i, -4*j + 716 = -4*i. Is 12 a factor of j?
True
Suppose 76*t - 4*t - 135072 = 0. Is t a multiple of 30?
False
Let l(x) = 2*x**2 + 2. Let p(r) = r**3 + 15*r**2 - 15*r + 10. Let k be p(-16). Is 37 a factor of l(k)?
True
Suppose -5*x - 4*f = -1317, -2*x + 531 = -3*f + 6*f. Does 9 divide x?
True
Let p(m) = m**3 + 4*m**2 - 2*m - 3. Suppose -4*c = i - 0*c - 17, -5*i = 5*c - 10. Is 3 a factor of p(i)?
True
Suppose -r - 1613 = -5*l, -1 = -3*r + 5. Is 19 a factor of l?
True
Let t(k) = -k - 10. Let m be t(-7). Let o be m*(3 + (-277)/(-3)). Is 8 a factor of o/(-12) + (-2)/(-12)?
True
Is 115 a factor of (-415)/(-166) + (-5975)/(-2)?
True
Let g = 174 - 46. Suppose -152 = 2*t + g. Let w = t - -219. Is 26 a factor of w?
False
Suppose -9093 = -13*u + 10407. Is u a multiple of 30?
True
Let v(w) = w - 18. Let z be v(18). Suppose -d + i + 136 = z, -2*i - 2*i + 116 = d. Is d a multiple of 12?
True
Let o = 1457 - 601. Does 49 divide o?
False
Let a be (-458)/(-22) - 12/(-66). Suppose -a = -2*x - 9. Does 5 divide 51/2*4/x?
False
Let m(d) = 175*d - 233. Does 31 divide m(11)?
False
Let g(a) = 127*a**3 + a**2 - 4*a + 2. Is 14 a factor of g(1)?
True
Suppose 6*k - 7*k - 2*d = -1470, -15 = -3*d. Does 82 divide k?
False
Suppose 3*q = 267 + 153. Is 14 a factor of q?
True
Suppose -a = 2*v - 808, -4*a + 0*a = -4*v - 3220. Is 13 a factor of a?
True
Suppose 2*j + 21 = 81. Suppose 0 = -3*c - 2*i - 3*i + j, -50 = -5*c - i. Is c a multiple of 10?
True
Let q(y) = 28*y**2 - 23*y + 2. Does 23 divide q(3)?
False
Suppose 154 = -12*k + 454. Let u = k - -32. Is u a multiple of 3?
True
Let v(n) = 246*n - 122. Does 28 divide v(3)?
True
Let k(z) = 50*z + 6. Let u(v) = 5*v. Let h be u(2). Suppose -5*p = -0*p - h. Is k(p) a multiple of 30?
False
Let c be 1/3 - 11/33. Suppose 2*g - 4*i - 2 = -0*g, c = 4*g + 3*i - 4. Is 31/1 - g/(-1) a multiple of 13?
False
Suppose 0*w + 56 = -7*w. Let o = -37 - w. Let k = o - -120. Does 16 divide k?
False
Suppose 0 = 4*v + 4*a + 4 - 0, -4*a - 20 = 0. Suppose 4*d = 6*d + v. Is (256/40)/(d/(-5)) a multiple of 8?
True
Suppose -7*o - 3*t - 492 = -9*o, 4*t - 944 = -4*o. Does 85 divide o?
False
Let b = -35 - -40. Suppose -s = b, -4*l + 57 = 5*s - 38. Does 6 divide l?
True
Let x be 2/11 - (-18)/(-99). Suppose 96 = -x*g + 2*g. Is 8 a factor of g?
True
Let l = -277 - -1005. Is 13 a factor of l?
True
Suppose 0 = 200*t - 191*t - 2322. Does 43 divide t?
True
Let m(v) = 2*v**2 - 12*v + 3. Let k be m(5). Let q be (-12)/k - 4/(-14). Suppose -5*a - 3 - 60 = -3*u, q*a + 70 = 4*u. Is 8 a factor of u?
True
Let f(c) = 548*c + 82. Is 3 a factor of f(1)?
True
Suppose -2*m + 3*z - 10 = 0, 0 = -5*m - 3*z - z - 48. Let c(p) = -3 + 3*p - 2*p + p**2 + 2*p. Is c(m) a multiple of 15?
False
Suppose -4*t = 2*k - 12, -21 = 5*k + t - 60. Suppose 20*w - 21*w = -k. Is 2 a factor of w?
True
Let u(v) = -4*v**3 - 4*v**2 + v + 3. Suppose 53 = -4*f + 173. Let y be (f/(-20))/((-2)/(-4)). Is 24 a factor of u(y)?
True
Is 5*7*(-64)/(-40) a multiple of 8?
True
Suppose 12*l - 15*l = 4*n - 2504, 3*n + 4125 = 5*l. Does 43 divide l?
False
Suppose 0 = 3