2 + (-5)/l?
False
Let i = 8527 - 2520. Is i a multiple of 12?
False
Let a be (-10)/(-4) + 15*(-1)/(-6). Suppose -a*g + 1166 = -2*h + 4047, 2*h + 2*g - 2902 = 0. Is 19 a factor of h?
False
Suppose -5*v - 13 = -z, 31 - 105 = -4*z - 2*v. Suppose -z*w + 7204 = 1246. Does 5 divide w?
False
Let x(w) = 420 - 379 - 5*w - w + 2*w. Does 7 divide x(5)?
True
Let z = 5983 + -4729. Does 19 divide z?
True
Let n(d) = -d**2 - 3*d + 4. Let a = 57 + -60. Let i be n(a). Suppose -2*k - y = -166, k - y = -i*k + 422. Does 12 divide k?
True
Suppose -2*u - 4*g + 14454 = 0, g = -66*u + 63*u + 21656. Does 14 divide u?
False
Let b be 2/7 - 320/(-56). Suppose 0 = -3*f, -f = -5*d - b*f - 290. Let i = d + 146. Does 14 divide i?
False
Let h be (-2)/5 + 26656/(-35). Let u = 1321 + h. Is u a multiple of 19?
False
Suppose 30*g - 16 = 74. Is 67 a factor of (-5)/g + 42260/30?
True
Suppose -3*s - 243 = -1371. Let r = -222 + s. Does 22 divide r?
True
Let j = -368 - -372. Is 11 a factor of (-4)/5*-109 + j/5?
True
Is 18 a factor of (0 + 8/22)*(-198842193)/(-3582)?
False
Let p(q) = -579*q - 5345. Does 25 divide p(-51)?
False
Let b be (-6240)/(-42) - 8/14. Let l be (b/(-4) + -1)*-5. Suppose 18*h - 16*h = l. Is 30 a factor of h?
False
Let z(l) = l**2 - 13*l - 2. Let a be (-64)/(-6) - (-2 - 8/(-3)). Let o be z(a). Does 17 divide o/(-3)*((-90)/(-5) - 0)?
False
Let g(l) = -36*l**3 - 6*l**2 - 20*l - 41. Is g(-5) a multiple of 9?
False
Let b(r) = 365*r**2 - 41*r + 93. Does 30 divide b(2)?
False
Let v(u) = -u + 37. Let g be v(23). Let o be 2/g - 670/35. Let r = o - -68. Does 3 divide r?
False
Let j be (3*(-4)/(-10))/(6/20). Is (-78)/j*((-28)/6 - 0) a multiple of 7?
True
Suppose 0 = 135*u - 137*u - 18, 5*l + 3*u - 164358 = 0. Does 13 divide l?
True
Let o = 78 - 91. Let i be 1510/13 + o/(676/8). Let c = 212 - i. Does 6 divide c?
True
Suppose -202 = -17*q + 155. Let v = 6 - 5. Let o = q + v. Is o a multiple of 11?
True
Let j(p) be the third derivative of p**6/120 + p**5/20 + 5*p**4/24 + p**3/3 - 8*p**2. Let u be j(-2). Does 13 divide u + 2 + (-1 - -96)?
False
Let s(t) = 15*t**2 - 62*t - 11. Let p(f) = -5*f**2 + 21*f + 4. Let w(n) = -7*p(n) - 2*s(n). Does 33 divide w(10)?
True
Let g(n) = 26590*n**3 + 8*n**2 - 3*n - 3. Is 24 a factor of g(1)?
True
Suppose -15 = -3*m, -18*m - 2156 = -4*p - 14*m. Suppose -5*j + 680 = n - p, 2*j + 2460 = 2*n. Does 48 divide n?
False
Suppose 3*u - 5*n = -3, -2*u + 2 = -0*u - 2*n. Suppose 3*t - 11 = -o, -3*t = u*o - 9 - 8. Does 16 divide o + (82 - -4) - 1?
False
Let c(i) = 2201*i - 141. Is 71 a factor of c(2)?
False
Let z(o) = -2*o**2 + o + 102. Let l be z(0). Let s = l - 102. Suppose 0*h = -4*x + 3*h + 717, -x + 5*h + 175 = s. Is x a multiple of 9?
True
Let l = -18 + 23. Suppose -2*w + 7 = -3*o, l*w - 5 = 3*o + 8. Is 4 a factor of -93*((-10)/15)/w?
False
Let b(v) be the first derivative of 4*v**3/3 - v**2 - 15*v + 16. Does 3 divide b(5)?
True
Let t be -2*(2 + 1)/(1 + 5). Let b be 8/((-24)/(-9)) - t. Suppose 0 = 2*z + i - 321, -73 + 717 = 4*z + b*i. Is z a multiple of 11?
False
Suppose -4*l - 3*b - 6 = 0, -l = 5*b - b + 8. Let g be (l + -5)*4/30*3. Let y = g - -56. Does 9 divide y?
True
Let n(r) = -688*r + 6805. Is n(-70) a multiple of 11?
False
Suppose 3*c = -3*x + 4 - 1, 9 = c - x. Let z(n) = n**2 + 143*n - 16. Let a(r) = -23*r + 1. Let o(l) = 6*a(l) + z(l). Is 20 a factor of o(c)?
True
Let d = -3511 - -9476. Does 129 divide d?
False
Let p be (160/12)/(-5)*6/(-4). Suppose -q - 420 = -5*d + p*q, -248 = -3*d + 2*q. Is d a multiple of 5?
True
Let g = -7247 - -15927. Does 140 divide g?
True
Let n be 2/(-5)*(-350)/20. Let k(t) = -2*t**2 - 2*t - 2*t - 12 + 3*t**2. Is k(n) a multiple of 2?
False
Let x be (-2)/4 + (-32929)/(-34). Suppose 16 = -2*u + 6*u, -5*u = -4*a + x. Suppose 2*c + 0*c - 3*j = a, -5*j = -4*c + 489. Is c a multiple of 22?
False
Suppose 3*r + 55 = 1. Let n(t) = -t**3 - 19*t**2 - 16*t + 38. Let j be n(r). Suppose 0 = j*g - 68 - 130. Is 11 a factor of g?
True
Let l be -136*(3/12 - 1). Suppose -16*k + 199 = 167. Suppose 0 = k*x + 5*m - l, -3*m + 8*m = -20. Does 8 divide x?
False
Suppose -5*i + 12545 = 3*a, -47*i + 12542 = 3*a - 45*i. Is a a multiple of 5?
True
Suppose -1058 = 7*z + 62. Let w = 167 + z. Is 7 a factor of w?
True
Suppose -60 = 15*c - 13*c. Let x(r) = -r**2 - 36*r + 36. Does 12 divide x(c)?
True
Let f(t) be the third derivative of -t**5/60 + t**4/24 + t**3/6 + 7*t**2. Let o(w) = w**3 - 23*w**2 + 23*w - 22. Let h(b) = 6*f(b) - o(b). Does 12 divide h(16)?
True
Suppose 34*y - 18009 = 11*y. Let n = y + -398. Does 8 divide n?
False
Let b(l) = -22*l**3 - l**2 - 3*l - 1. Suppose 50*h - 49*h = -3. Let n be (h + 5)*(2 + -3). Is 53 a factor of b(n)?
False
Let n be (0 - -183)*(-456)/171. Let u = n - -554. Is u even?
True
Let m = 1894 - 824. Suppose -25*z + 12620 = m. Does 14 divide z?
True
Let z(s) = s**2 + 3*s - 7. Let c be z(2). Suppose 1141 + 830 = c*d. Is d a multiple of 73?
True
Suppose -j = 5*q - 47556, 51*q - 3*j - 47552 = 46*q. Is 151 a factor of q?
False
Let x = -56353 + 111145. Does 36 divide x?
True
Let o(m) = m + 7. Let z be o(-9). Let a be (z - (-4)/3)/(2/129). Let n = a + 47. Does 2 divide n?
True
Let f = -242 + 252. Suppose -675 = -f*c - 195. Does 12 divide c?
True
Let t = 77 - 83. Is (3/t)/(3/(-1512)) a multiple of 23?
False
Let r(f) = f**2 - 184*f + 6243. Does 8 divide r(29)?
False
Suppose -5*n = 4*o - 596, -4*n = -9*n - o + 599. Suppose 2*y - n - 80 = -2*x, 402 = 4*y + 2*x. Does 8 divide y?
False
Let t = 18 - 37. Let i = -4 - t. Suppose 3*z + 357 = 3*w, i = -3*z - 2*z. Does 26 divide w?
False
Suppose -13*i - 9*i = -15*i - 11746. Is i a multiple of 3?
False
Let j = 511 + -280. Let t = 276 - j. Does 6 divide t?
False
Suppose 0 = -11*h + 18*h - 1421. Let t = h + -173. Does 7 divide t?
False
Let s(x) = -101*x**3 - 26*x**2 - 115*x - 25. Does 33 divide s(-5)?
False
Suppose -3*s - 146 = -2*h, s - 230 = -3*h - 0*s. Let b = h - 58. Suppose 0 = 23*n - b*n - 60. Is n a multiple of 6?
True
Let d(s) = 36*s**2 - 16*s + 90. Is d(-18) a multiple of 13?
False
Suppose -55*y = -16*y - 195. Suppose 34 = -y*o + 464. Is o a multiple of 7?
False
Suppose 12*c - 56 = 19*c. Is (-210)/(2 + c) + 5 a multiple of 20?
True
Let f(y) = -y**2 + 8*y - 9. Let k be f(6). Let s(l) = 11*l**3 + 2*l**2 + 10. Let o be s(k). Suppose 5*x = 4*t + 554, -o = -7*x + 4*x - 5*t. Is 10 a factor of x?
True
Suppose 0 = 12*i - 43*i + 7936. Does 66 divide (33/(-4))/((-16)/i)?
True
Suppose 0*y - 4*s = -2*y + 21592, 53924 = 5*y + 4*s. Is 12 a factor of y?
True
Is 7 a factor of 561/(-22)*-76 + 14/2?
False
Let u(r) = -3*r. Let q be u(-2). Let k(c) = -3*c - 6 - 6 + 27*c. Is k(q) a multiple of 33?
True
Suppose 12*w - 77270 = -5*x, 12*w = 2*x + 8*w - 30952. Is x a multiple of 35?
False
Let h = 3922 + 185. Does 37 divide h?
True
Suppose -17*y = 14 - 65. Suppose -4*m - 5*h = -420, y*h + 292 = 3*m + h. Is m a multiple of 20?
True
Let b(w) = w**3 + w - 6. Let c be b(2). Suppose -5*i + 3*o + 275 = 0, -4*i + c*o = -2*i - 110. Suppose i = 5*f - 20. Is 5 a factor of f?
True
Let m(h) = h**2 + 43*h + 814. Is 5 a factor of m(-35)?
False
Let p be (3 - 11/3)*36/(-8). Suppose 3*n = 12 + p. Suppose m + n*f - 36 = -3*m, 4*m - 36 = f. Is 2 a factor of m?
False
Let i be (-1)/((-4)/(-16)) + 296. Suppose 438 = -2*w - i. Let x = 512 + w. Is x a multiple of 49?
True
Let a = -627 + 630. Suppose -u - 3*u + 2*v + 2414 = 0, a = -v. Is u a multiple of 7?
True
Let v = 39903 + -23318. Is 14 a factor of v?
False
Let c(f) = 4*f + 154. Let b be c(-34). Is 22 a factor of (2*3/b)/((-6)/(-9198))?
False
Suppose 4*o - 5*q + 2701 = -4789, -4*q = -5*o - 9367. Is 31/8 + -4 + o/(-24) a multiple of 6?
True
Let p(v) = 3388*v - 11132. Is 72 a factor of p(11)?
True
Let f(h) = h**3 - 18*h**2 + 20*h + 53. Suppose -3*g - 15 = -5*u - 5*g, 0 = -3*g. Suppose u*v = 10*v - 119. Does 13 divide f(v)?
True
Let v(t) be the third derivative of -t**6/120 + 13*t**5/60 + t**4/6 + t**3/6 - 25*t**2 - t. Is v(9) a multiple of 19?
True
Does 4 divide 2/(-5)*3 + (-650675)/(-2125)?
False
Let o = -547 + -374. Is 12 a factor of 13/(-65) + (o/(-5) - 1)?
False
Is (-33844)/(25 - 474/18) a multiple of 128?
False
Let b(h) = h**3 - 9*h**2 + 20*h - 7. Let c be b(12). Suppose 667*g = c*g + 104. Is 13 a factor of g?
True
Suppose -5*f = 13*i - 16*i + 32, 0 = 5*f + 5*i. Is f/