*i - 56*i = -5264. Is 65 a factor of (416/(-10))/(i/(-1175))?
True
Let o be (-69)/(-23) - (-10)/(1 + 1). Let q = o + 9. Is 5 a factor of q?
False
Let u(b) = b + 23. Let f = -23 - -7. Let q be u(f). Suppose -2*s - 85 = -q*s. Does 4 divide s?
False
Let k(s) = 2*s - 3. Let g(i) = -i. Let q(m) = -g(m) - k(m). Let b be q(3). Suppose -3*t - n + 23 = b, 0 = t - n + 3 - 4. Is 3 a factor of t?
True
Let d(j) be the third derivative of j**7/1680 + j**6/120 - j**5/12 + j**2. Let w(r) be the third derivative of d(r). Is 9 a factor of w(9)?
False
Let m(s) = s**3 - 5*s**2 + 4*s + 1. Let j be (-6)/(-9) + (-50)/(-15). Let z be m(j). Let p = 74 + z. Is 8 a factor of p?
False
Let r = -9781 - -16477. Does 12 divide r?
True
Suppose 12579 + 20493 = 53*u. Does 12 divide u?
True
Let u(c) = -c**2. Let p(d) = -d**3 + 12*d**2 - 4*d - 16. Let y(t) = p(t) - 2*u(t). Is 32 a factor of y(12)?
True
Suppose -6*r + 10*r - 3*o - 5580 = 0, 4*o = -5*r + 6944. Does 24 divide r?
True
Let a = 380 - -1776. Is a a multiple of 28?
True
Suppose 3*w = 12, -2*o + 3*o = -3*w + 703. Let q = o + -316. Let u = -205 + q. Does 11 divide u?
False
Let u be ((-2)/(-4) + (-1503)/30)*-5. Suppose -71 - u = -s. Suppose 2*a = 4*n - 0*n - 402, 0 = -3*n - 2*a + s. Is n a multiple of 16?
False
Let t = 132 - 112. Suppose 2*f + 6*k - k = 580, 5*k - t = 0. Does 56 divide f?
True
Let h(l) = 4*l**2 + 3*l + 3. Suppose -2 - 5 = -g + 4*r, 2*r + 14 = 4*g. Let b be h(g). Does 4 divide (-18)/2 + 5 + b?
True
Does 5 divide ((52/(-39))/((-20)/6))/((-6)/(-21705))?
False
Let a(j) = 3*j**2 + 4*j. Let w be a(-3). Let y(x) = -3*x**2 + 51*x - 13. Does 20 divide y(w)?
False
Suppose 30 = -5*n - 15. Let c be ((-12)/(-10))/(n/(-450)). Let g = 112 - c. Is g a multiple of 6?
False
Suppose -4*a + p = 206, 3*a - p + 159 = 2*p. Let n = -140 - a. Let c = n + 317. Does 39 divide c?
False
Let d be 5/((-175)/21)*-5. Suppose 62 = l + 64, 0 = -3*y - d*l + 2061. Is y a multiple of 63?
False
Suppose 82 = 2*h - 5*a + 11, -5*a + 187 = 4*h. Let i = h + -40. Suppose m - 3*t + t = 18, -t + i = 0. Is 6 a factor of m?
True
Let b(u) = 69*u - 2592. Is b(49) a multiple of 46?
False
Let u be 0/((-2)/(0 + -2)). Suppose u = -4*l + 348. Let r = l + -51. Is 4 a factor of r?
True
Let n(h) = -1 + 3 - 1 - h. Let x be n(0). Is ((-13)/(-3))/(x/9) a multiple of 27?
False
Does 12 divide (-26836)/(-26) + (-76)/494?
True
Let k = 298 - 180. Suppose -k = -q + 134. Is q a multiple of 12?
True
Suppose 4*v = 13*v - 45. Suppose -4*d = 3*g - 21, 4*d + v*g - 4*g = 15. Suppose 6*k = 3*k - d*o + 216, -5*k + 352 = o. Is 10 a factor of k?
True
Suppose -20*l + 47*l - 32481 = 0. Is -5 + -1 - (20 - l) a multiple of 48?
False
Let q(j) = 1723*j**3 + 4*j**2 - 60*j + 152. Is 192 a factor of q(3)?
False
Suppose 2*m = 3*l + 7 + 45, 5*l + 4*m = -94. Let o(s) = -s - 10. Is o(l) even?
True
Let f(x) = -146*x - 147. Let z(q) = 72*q + 72. Let p(k) = -2*f(k) - 5*z(k). Is 9 a factor of p(-7)?
False
Does 42 divide (-1 - -7062)*(3 + (-6 - -4)) + -5?
True
Let t = 98203 - 69782. Is 231 a factor of t?
False
Suppose -363*a = -352*a. Suppose a = 8*s - 3411 - 309. Is s a multiple of 12?
False
Let h be (384/(-80))/(4/(-10)). Suppose 4*i + h*m = 8*m + 252, -2*m - 294 = -5*i. Is 13 a factor of i?
False
Let b(g) = 4*g - 8*g + 7*g + 461. Let u be b(0). Let y = u + -328. Is y a multiple of 19?
True
Let y(d) = -11*d**2 - 81*d + 43. Let v(z) = 4*z**2 + 27*z - 14. Let t(k) = 17*v(k) + 6*y(k). Is t(15) a multiple of 20?
False
Let h be ((-19)/(-57))/(2/42). Suppose -150 = -4*l + h*l. Let p = 66 + l. Does 16 divide p?
True
Suppose -4*p + 24 = -4*w + 4, 3*w = -5*p + 33. Suppose 20 = -p*f + 11*f. Suppose -f*a = j + 5, 2*j - 5*a - 55 = -0*a. Is j a multiple of 7?
False
Let q = -18989 - -31888. Is q a multiple of 114?
False
Let l = 179 - 182. Is 4 a factor of ((-20)/1)/((18/12)/l)?
True
Let j(m) = -25*m + 25. Let n be j(1). Suppose x - c + 108 = 464, 2*x + 5*c - 684 = n. Does 32 divide x?
True
Suppose 0 = -3*m + 5*m + 224. Let y(i) = 22*i + 70. Let g be y(-5). Let z = g - m. Does 24 divide z?
True
Suppose -10*r = -12*r + 108. Suppose 57*t = r*t + 315. Is 4 a factor of t?
False
Let f(l) = 37*l**2 - 115*l - 122. Is f(14) a multiple of 23?
True
Let g be ((-27)/(-2) - 1)*48/(-60). Let h be -1 - (g/(-65) + 230/26). Let y(d) = d**3 + 10*d**2 - 3*d + 6. Is y(h) a multiple of 8?
False
Let x = 40034 - -2327. Is 24 a factor of x?
False
Let i(m) = -20*m - 3. Let r(x) = -x**3 + 15*x**2 - 11*x - 18. Let g be r(14). Suppose 0 = 5*b + 2*h + 19, -2*b - b + 3*h = g. Does 19 divide i(b)?
False
Let j = -7320 + 18721. Does 33 divide j?
False
Let w = -205 - -203. Is (-5)/(((-18)/(-4))/3 + w) even?
True
Suppose 21*t - 1314 = 18*t. Suppose 42 + t = x. Is 24 a factor of x?
True
Let y be (-4)/5*(0 - -1315). Let z = -624 - y. Is 64 a factor of z?
False
Suppose 199 = 4*c - 209. Let m = 82 + c. Suppose 2*u - m = -5*y + 271, -2*u = 10. Is 12 a factor of y?
False
Let o = -27 + 114. Let b be (-5)/((-60)/(-28))*-27. Let a = o - b. Is 6 a factor of a?
True
Let t(u) = u**2 - 5*u - 5. Suppose 44 - 50 = -2*g. Suppose -a + 4 = 0, a + 2*a = -3*z + g. Does 3 divide t(z)?
False
Let p = -18551 - -37748. Is p a multiple of 81?
True
Suppose -3045 - 699 = -3*w. Suppose -w = -2*x + 458. Is x a multiple of 71?
False
Suppose -25*k = -24*k - a - 22993, -2*k - a + 45995 = 0. Is k a multiple of 213?
False
Let p = -225 - -228. Suppose -d - 4*q + 98 = 0, 0*d - p*d + 278 = 4*q. Is d a multiple of 10?
True
Suppose -4*g = d - 25, -5*g = -5*d + 63 + 37. Suppose -5*i = -3*t - d, -2*i + 5*i - 2*t = 13. Suppose -5*l + 92 = -i. Does 5 divide l?
False
Suppose 128 = 5*j + 3*s, -3*j + 8*s + 104 = 3*s. Let b be -18 + (-3052)/(-21) + 2/(-6). Suppose -y + b = -j. Does 31 divide y?
True
Let i(a) = -2*a**3 - 38*a**2 - 35*a + 19. Let j be i(-18). Is (-14492)/(-24) + j + 5/(-6) a multiple of 29?
False
Let n(d) = 39*d - 17. Let g be n(5). Let k = g - -58. Is 71 a factor of k?
False
Let r(z) = -4674*z - 1958. Is 202 a factor of r(-5)?
True
Suppose 2*t - 33 = -31. Does 4 divide (16/(-32))/(t/(-1516)*2)?
False
Suppose 5*a + d + 293 = -232, 3*a + 317 = -d. Suppose 6*u + 4 = 4*u, 0 = -4*p + 2*u - 316. Let k = p - a. Does 5 divide k?
False
Let r = 7 - 4. Suppose -r = -5*y + 7. Suppose 14 = -y*o + 3*o. Is 14 a factor of o?
True
Let p(g) = 7*g**2 - 35*g - 152. Does 32 divide p(21)?
False
Suppose -2*f - 2*z = 134, -5*f + 7*z - 2*z = 325. Let y = 133 - f. Does 28 divide y?
False
Let h(k) be the first derivative of 304*k**3 - k**2 - 5*k - 125. Is 13 a factor of h(-1)?
False
Suppose 0 = 36*g - 858787 + 8143. Is g a multiple of 69?
False
Let z(h) be the second derivative of h**5/12 - h**4/12 - 7*h**3/6 - 25*h. Let i(d) be the second derivative of z(d). Does 24 divide i(5)?
True
Does 15 divide (19 - -5550)*6/2 - -3?
True
Suppose 71*k + 3*n = 68*k + 8283, 10 = -5*n. Suppose 5*o + 4*s - k = 0, 9*s - 4*s + 2790 = 5*o. Is o a multiple of 36?
False
Suppose 0 = -n - i + 3237, 3*n - 10946 = 2*i - 1245. Is n a multiple of 6?
False
Suppose -6*s + 2 = -82. Is 3 a factor of (736/(-12))/2*(-21)/s?
False
Suppose 0 = 53*v - 160*v + 541848. Does 24 divide v?
True
Let g = -1715 + 10225. Is 123 a factor of g?
False
Suppose 0 = -3*x - 4*v + 35, x = -3*v - 6 + 26. Suppose -x*n = -k + 211 + 204, -8 = 4*n. Is k a multiple of 27?
True
Let m(g) be the first derivative of g**4/4 + 13*g**3/3 + 8*g**2 - 3*g + 1. Let h be m(-7). Let o = h - 81. Does 14 divide o?
True
Let v(l) be the third derivative of -l**5/30 + l**4/8 + 263*l**3/6 + l**2 + 34*l. Does 19 divide v(0)?
False
Let l = 84 - 82. Suppose -r - 3*z = -22, z = l*z. Suppose r = m - 104. Is m a multiple of 14?
True
Let l(o) be the second derivative of 49*o**3/6 + 11*o**2/2 + 94*o. Is 18 a factor of l(8)?
False
Suppose t - 111 = 4*p, 3*t - 534 = -t - 2*p. Let l be ((-60)/(-8) - 2)/((-22)/44). Let h = l + t. Is h a multiple of 15?
True
Let q(t) = t**3 + 33*t**2 + 21*t + 13. Is q(-13) a multiple of 130?
True
Suppose -2*s - 4*w = 61 - 385, 0 = -5*s + 3*w + 745. Let j = s - -27. Does 43 divide j?
False
Let a(r) = -5*r**3 + 5*r**2 - 34*r - 23. Does 65 divide a(-12)?
False
Let c = -388 + 1609. Let n = c + -551. Is n a multiple of 10?
True
Let w = 9307 - 8851. Is w a multiple of 38?
True
Suppose -219*d = -226*d + 63. Does 4 divide (d - (-42)/(-18))*9?
True
Let l(v) = -v**2 -