= 2*c - d. Is 5 a factor of m?
False
Let y(f) = 22*f - 33. Does 33 divide y(33)?
True
Suppose 395 = 15*b - 11755. Does 6 divide b?
True
Let z(i) = 5*i - 22. Let w be z(4). Is ((-114)/w)/(-4*3/(-24)) a multiple of 7?
False
Suppose -5*b + 2*v = 370, 0 = 5*b - 3*v - v + 380. Let s be ((-24)/b)/(2/(-6)). Is 6 + 3/(-4 - s) even?
False
Does 10 divide (-3)/12 + (-2418)/(-8) + 3?
False
Suppose -14*q + 3503 = -4687. Does 5 divide q?
True
Let t = 715 + -369. Is 82 a factor of t?
False
Let o(g) = -g**3 + g**2 + g + 174. Let f(z) = z - 10. Let m be f(10). Let q be o(m). Suppose -4*r = 4*y - 324, 4*y - 6*y - q = -2*r. Is r a multiple of 14?
True
Let r = 76 - 56. Is r a multiple of 4?
True
Let h = 0 - -9. Let s(i) = i**3 - 10*i**2 + 10*i - 5. Let a be s(h). Suppose -a*y + 11 = -13. Is y a multiple of 3?
True
Suppose 3*a + 3*u = 846, a + 3*u = 5*u + 267. Does 25 divide a?
False
Let n = 5559 + -2589. Is 27 a factor of n?
True
Let p = -8 - -52. Suppose k = p - 1. Does 18 divide k?
False
Let c be ((-253)/44)/((-1)/(-24)). Let l = 327 + c. Is l a multiple of 19?
False
Let u(p) = 6*p**2 + p**2 - 7*p - p**2 - 22 - 3*p**2. Is u(-4) a multiple of 6?
True
Let x(p) = -57*p - 5. Let u be ((-91)/(-2))/(2/(-8)). Let b(s) = -2080*s - 182. Let m(a) = u*x(a) + 5*b(a). Is 26 a factor of m(-3)?
True
Let d(t) = t**3 - 11*t**2 - 3*t - 5. Let j be d(11). Let i = j - -72. Is 10 a factor of i?
False
Suppose 4*z + 52 = -2*r, 4*z - 56 = -4*r + 8*r. Does 9 divide 4*(-3)/r - 412/(-12)?
False
Suppose 0 = 5*q, 0 = 4*j - 4*q + 2*q - 2760. Is j a multiple of 15?
True
Let g(b) be the first derivative of b**4/4 + 5*b**3/3 + 2*b**2 - b + 5. Let p be g(-3). Suppose -260 = -5*c - 4*h, 2*c - 156 = -c - p*h. Is c a multiple of 26?
True
Let o be 3 + -2 + (-2 - -1). Suppose -5*l = -o*l - 640. Suppose 0 = -7*i + 89 + l. Is 7 a factor of i?
False
Suppose -5*b = 9*b - 4*b. Suppose 0 = 4*n - b*n - 396. Is 27 a factor of n?
False
Let l be (-1)/5 - 2805/(-25). Suppose 0 = -s - 2*s - 2*k + l, -5*s - 2*k + 192 = 0. Suppose -2*b + 3*w + 71 + s = 0, -3*w = 3*b - 129. Does 16 divide b?
True
Let s(o) = -47*o - 45*o + 85*o + o**2 - 2. Let k(w) = 5*w + 2. Let u be k(2). Does 29 divide s(u)?
True
Let l(n) = 7*n + 1. Let a be l(1). Let i be a/(-10) - (-68)/10. Let j(b) = b**3 - 3*b**2 - 8. Is 21 a factor of j(i)?
False
Suppose 0 = -2*r - 3*c + 1 + 12, -3 = 3*c. Suppose -20 = -10*d + 30. Suppose 4*o - 11 = b, -b + r + d = 2*o. Does 5 divide b?
True
Suppose 3*v = 4*v. Suppose -4*z = -11 - 5. Suppose -193 = -z*o + 5*g, 2*g = -o - v*g + 58. Is o a multiple of 15?
False
Let o = 6 - -185. Let a = o + -90. Is a a multiple of 5?
False
Let l = 43 - 53. Let i(z) = z**3 + 11*z**2 - z + 11. Does 11 divide i(l)?
True
Let b be (-2)/6 - (-1)/3. Suppose 3*x = -5*q - 298, 0 = q - x - b*x + 58. Let k = q - -105. Is k a multiple of 11?
False
Let w(n) = 3*n**2 + 6 + n - 4*n**2 - 1 - n**3 - 2*n**2. Let h be w(-3). Suppose 0*o = 4*s - 4*o - 80, -h*s + 68 = 5*o. Is s a multiple of 8?
True
Suppose -4*b - 8 = 0, 130 = -2*h - 5*b + 570. Is 45 a factor of h?
True
Let k(m) = m**3 - 2*m**3 + 0*m**3 + 5*m + 4*m**2 + 11. Let b be k(5). Let x = b - 5. Does 2 divide x?
True
Suppose -4*z - b + 26 = -24, z - 4*b = 4. Let n(j) = 4*j - 11*j + 3 - z*j. Does 15 divide n(-3)?
True
Let k(o) = 3*o + 17. Let c be k(-7). Is 13 a factor of 29 + (-4 - (3 + c))?
True
Suppose 0 = 5*z - 10*z - 5. Does 13 divide 65/z*(8 + -9)?
True
Let s(u) = -u**2 - 3 - 8*u + 2 - 3 - 4. Let f be s(-6). Suppose f*t = 12*t - 256. Is 8 a factor of t?
True
Let s = 19 - 19. Let o(i) = -i**2 - 4. Let w be o(s). Is 24 a factor of (-134)/w + (-1)/2?
False
Let m(w) = -w + 4. Let o be m(0). Does 4 divide -7*(o + -5) + 2 + -3?
False
Let y = 1720 - 1016. Is y a multiple of 64?
True
Suppose 0 = 5*x - x + 4*r - 8, 4 = 2*x - 2*r. Suppose -30 = x*t - 4. Is 23 a factor of ((-624)/t)/(3/4)?
False
Suppose 145*p - 39*p - 18444 = 0. Is 30 a factor of p?
False
Is 6 a factor of -1 + 46*4 + (20 - 23)?
True
Let m = -721 + 1203. Is m a multiple of 11?
False
Let l(r) = 2*r**3 - 6*r**2 + 5*r. Is l(3) a multiple of 15?
True
Suppose -600 = 56*h - 60*h. Does 25 divide h?
True
Let h = -394 - -437. Is h a multiple of 2?
False
Let z(h) = -2*h + 2. Suppose 0 = -2*n + 6*n - 8. Let g be z(n). Does 8 divide 14 + ((-6)/g)/1?
False
Let n(c) = c - 5. Let a be n(5). Suppose a = 13*q - 14*q + 4. Suppose 2*w - 174 = -q*v, -2*w + 5*w + 144 = 3*v. Is 12 a factor of v?
False
Suppose 2*o + 46 - 8 = 0. Let x = 10 + o. Does 3 divide 11/3 + 6/x?
True
Let g(c) be the first derivative of -c**3/3 + 2*c**2 - 2*c - 10. Let y be g(2). Suppose 4 = -2*w, 3*l - y*w = -0*w + 55. Is 3 a factor of l?
False
Is (-58487)/(-78) + 2/12 a multiple of 10?
True
Let f = 1100 - 1985. Let p = -516 - f. Is p a multiple of 13?
False
Let y(r) = 2*r**3 - 2*r**2 - 2*r - 4. Let k be y(4). Suppose 2*w + 2*w - 560 = 0. Let u = w - k. Is 19 a factor of u?
False
Let o(q) = q + 9. Let b be o(-5). Suppose 2*l - 2 = -5*r + 5, b*l = -4*r + 44. Is 16 a factor of l?
True
Let t(o) = -15*o**3 - 4*o**2 + 6*o - 17. Let k(s) = 7*s**3 + 2*s**2 - 3*s + 8. Let w(v) = 13*k(v) + 6*t(v). Is w(1) a multiple of 2?
True
Suppose 408 = -0*b + 2*b. Suppose 0 = -4*f + 5*l + b + 638, l = -2. Does 19 divide f?
False
Let l(n) = -4*n**3 - 5*n**2 + 3*n + 22. Let a be l(-4). Let p = 7 + -2. Suppose p*u + 11 = a. Is 21 a factor of u?
False
Let a = 11 - 19. Let b be ((-2)/a)/(4/16). Is (b/(-2))/(5/(-310)) a multiple of 10?
False
Suppose -101 - 18 = -3*l + 2*g, 0 = -4*l - 5*g + 128. Let z = 99 - l. Is 27 a factor of z?
False
Suppose 22*h + 3*h - 2975 = 0. Is 20 a factor of h?
False
Let w(g) = -g**3 - 3*g**2 + g + 159. Does 28 divide w(0)?
False
Let l = 23 + -20. Let u(g) = 2*g**2 - 6. Is u(l) a multiple of 7?
False
Let a = 149 - 11. Suppose -5*j - o + 210 = 0, -2*j + a - 54 = -4*o. Does 7 divide j?
True
Let j = 275 - -220. Is 45 a factor of j?
True
Suppose 29*f - 3849 = 240. Is 21 a factor of f?
False
Suppose 3*u - 9 = -2*t, 3*t + 3*u - 21 = -t. Let v = t + 15. Is 11 a factor of v?
False
Does 14 divide (-68)/60*-519 - (-9)/(-45)?
True
Let w = -1951 - -3076. Is 18 a factor of w?
False
Let s(h) be the first derivative of -10*h**2 - 2*h + 11. Let i be s(-10). Suppose 0 = -x - 2*x + i. Does 11 divide x?
True
Let u be (4/1)/((-8)/472). Let c = u - -331. Does 19 divide c?
True
Let b be 6/3*(3 - 2). Let s be (2 - -1)*(1 - b). Let t(p) = -3*p - 3. Is 3 a factor of t(s)?
True
Let v(k) = k**2 - 4. Let x be v(4). Let f = 216 - 118. Suppose 5*s - 241 = -2*i - f, 0 = 3*i - x. Is 9 a factor of s?
True
Let s(b) = -b**3 + 2*b**2 - 14*b - 30. Is s(-3) a multiple of 19?
True
Let r be -2*(4 + 85/10). Let g = r - -46. Is g a multiple of 7?
True
Let i(k) be the second derivative of -k**5/20 + 2*k**4/3 - 5*k**3/6 - 2*k**2 + 2*k. Let q(r) = 17*r - 27. Let d be q(2). Is 10 a factor of i(d)?
True
Let o = 4325 + -2108. Is 64 a factor of o?
False
Let t(s) = s**3 - 10*s**2 + 8*s + 12. Let f = -9 - -18. Let a be t(f). Does 6 divide ((-18)/15)/(a/(-15))?
True
Suppose -z + 2*i + 654 = 0, 4*i = -z + 107 + 541. Does 34 divide z?
False
Suppose 5*y + 70 = -0*y. Let g be (y - -27)/(2/(-2)). Let m = g + 22. Does 9 divide m?
True
Let r be (-17)/(-3) - 2/3. Suppose 2*w + 73 = 4*x + 3*w, 0 = r*x - 4*w - 86. Is 6 a factor of x?
True
Let q(s) = 4*s**2 - 5*s + 69. Is 23 a factor of q(7)?
True
Let r(z) = z**2 - 2*z - 14. Let f be r(6). Suppose -f = -2*g + 38. Is g a multiple of 6?
True
Let i = -30 - -38. Let w = i + 10. Does 6 divide w?
True
Suppose -2*k + 4 = -d, -5*k + 13 = -0*k - d. Suppose 2*l + 2 = 2*h, 3*h + k*l + 2 = 17. Is 2 a factor of h?
False
Let j be (-27)/9 - (-3 + 1)*5. Let a(h) = 3*h**2 + 2*h - 25. Does 17 divide a(j)?
True
Does 70 divide 3431/7 - 3/21?
True
Let r(t) = t**2 + t + 1. Let g be (4/(-5))/(2/(-5)). Let f be r(g). Suppose -f*i + 252 = -3*i. Does 19 divide i?
False
Let j(d) be the second derivative of 9*d**4/4 - d**3/3 + d**2/2 - d. Let v(s) = -s**2 - 8*s - 14. Let x be v(-5). Does 12 divide j(x)?
False
Suppose 18*j - 5*u + 9605 = 23*j, -3*j = -3*u - 5787. Does 25 divide j?
True
Suppose 0 = -454*o + 451*o + 105. Is o even?
False
Let w = 885 + 15. Is 25 a factor of w?
True
Suppose 0*b + 2*d = b + 2, 39 = 3*b + 3*d. Let l(m) = m**3 - 6*m**2 - 6*m + 4. Is 28 a factor of l(b)?
True
Let l(c) = 1480*c + 5. Let m