0. Suppose 0 = 2*k + 2, -5*l + 2*k - 190 = -8*l. Let q = m - l. Does 8 divide q?
True
Does 14 divide (20374 - 40)/((-3)/(-4))?
False
Let v(f) = 3*f + 33. Let c be v(-9). Is 23 a factor of 10/c + 45440/60?
True
Suppose -2*h = 4*b + 18, 0 = -h + 3*b - 7*b + 1. Let f = h - -296. Does 7 divide f?
False
Let s(y) be the second derivative of -y**5/20 - 5*y**4/12 + y**3/2 + y**2/2 - 9*y. Let b be s(-6). Let o = b - -42. Is o a multiple of 31?
False
Let w(b) = 2*b**3 + 389*b**2 + 205*b - 1502. Is w(-193) a multiple of 38?
True
Let t = 9225 - 7377. Is t a multiple of 22?
True
Is 5 a factor of 1/((-6008)/6012 + 1)?
False
Suppose -16*l + 32 = -8*l. Suppose -l*j = -16, -4*g - g = j - 854. Is g a multiple of 17?
True
Does 211 divide (132285/12 - -1)*(7 - 3)?
True
Suppose -3 = -y, 2*p + 2*y = -2*p + 14. Let s be (-138)/115*((-795)/p)/3. Suppose -222 = -4*h + f, -f = 3*h + 2*f - s. Is 4 a factor of h?
False
Let g = 2993 + 708. Is 19 a factor of g?
False
Let f(u) = 8*u**2 + 100*u + 924. Is 41 a factor of f(-45)?
False
Let f(j) be the second derivative of -j**5/20 + 5*j**4/12 - 6*j**2 - 55*j + 1. Is f(-7) a multiple of 24?
True
Let g be 3/(30/(-178)) - (-36)/(-226 - -46). Let f(m) = 3*m + m**2 - 44 + 9*m + 2*m. Is f(g) even?
True
Let f(p) = -p - 45. Let i be f(11). Is 35 a factor of (75/60)/((-1)/i)?
True
Let t(c) = c**3 + c - 82. Let y be t(0). Is (-3 - y/(-8))*-48 a multiple of 53?
True
Let m = 13 + -10. Let l(r) be the first derivative of 12*r**2 - 5*r - 51. Is 10 a factor of l(m)?
False
Let x = 71688 + -41128. Does 32 divide x?
True
Suppose -5*g = -2871 + 211. Let u = -154 + 534. Let w = g - u. Is w a multiple of 19?
True
Suppose 35*v - 30*v - 3212450 = -42*v. Does 57 divide v?
False
Let o(a) = -20*a - 8. Let h be o(14). Let g = h + 407. Is 4 a factor of g?
False
Let u = 6396 + -856. Is 22 a factor of u?
False
Let t(g) = g + 3. Let d be t(-6). Let l(b) be the first derivative of 2*b**3 + 2*b**2 - 4*b - 1927. Does 8 divide l(d)?
False
Is 170 a factor of 48787 - (40/(-3))/(-10)*9/(-4)?
True
Let p(w) = 43*w**2 - 47*w - 485. Is 93 a factor of p(-23)?
True
Let b(a) = 6*a**2 + 10*a + 41. Let l be b(-6). Let h = 79 + l. Is 46 a factor of h?
True
Let j = 11031 + -2935. Is 46 a factor of j?
True
Suppose 5*d - 9*q + 6*q = 32, 3*d + 4 = -4*q. Suppose 2*m - 5*a - 474 = 0, d*a = -m + 131 + 132. Is m a multiple of 4?
False
Suppose -10*d + 3*d = 0. Suppose m - 5*t + 2 = d, -t = -4*t. Does 6 divide -4 - ((-33)/(-22))/(m/52)?
False
Let w = 23 - 8. Let a(i) = 9*i - 10*i + w + i + 7*i. Is 39 a factor of a(9)?
True
Let n = -36 - -16. Let r be -10*(n/8)/5. Suppose -4*f = -0*u - u + 8, r*f = -2*u + 3. Is u even?
True
Suppose -631039 = -45*q - 6*q + 137. Is 68 a factor of q?
True
Let l(d) = 172*d - 132. Is l(12) a multiple of 7?
True
Suppose 0 = -17*n + 1566 + 3211. Is n even?
False
Let h = -6 + 22. Let z = h + -14. Does 28 divide 106 + z - -4 - -2?
False
Suppose -5*z = 15, 9 = t - 2*z + 7*z. Suppose 0 = 3*n - 3*v - t, -4*n + 2 + 22 = -2*v. Suppose n*b + 7 = 19, 0 = -3*p + 3*b + 156. Does 11 divide p?
True
Let n(g) = -212*g**2 - 8 - 5*g + 6 - 1 - 2. Let a be n(-1). Let k = a + 382. Is k a multiple of 10?
True
Let a = 126 - -535. Suppose 5*w - 5*p - 476 = 189, a = 5*w - 4*p. Let b = 266 - w. Does 11 divide b?
False
Let x(m) = m**3 + 11*m**2 - 6*m + 18. Suppose b - 5 = 0, 22 = 4*c + 2*b + 56. Is x(c) a multiple of 19?
False
Let j(x) = -7*x + 39. Let a = -68 - -38. Is 9 a factor of j(a)?
False
Let t(j) = -37 + 10*j - 26 - 4 + 15*j. Suppose 28*f + 32 = 32*f. Does 13 divide t(f)?
False
Suppose 5*f = -10*h + 5*h + 3915, -4*f = -2*h - 3168. Is 3 a factor of f?
True
Let z = 78 - 41. Let d = z - -22. Is 15 a factor of d?
False
Suppose -1 - 7 = 5*t + 3*c, t + 8 = c. Is 19 a factor of (-130656)/(-160) - t/10?
True
Let n = 72743 - 44919. Is 16 a factor of n?
True
Let c = -4144 - -11668. Is 171 a factor of c?
True
Suppose -5*q - 4*z + 81786 = 0, 2*q = -123*z + 128*z + 32754. Is q a multiple of 303?
True
Is 28 a factor of (1749/(-44)*118)/(1/(-2))?
False
Suppose 21 = -4*t - 3*t. Let n(p) = -9*p - 22. Let g be n(t). Suppose -2*r + 217 = -g*f - 251, -2*r = -2*f - 474. Is r a multiple of 34?
False
Let w be 2*(1 - 0) - (383 - 381). Suppose -m = -0*m - 3. Suppose f = -2*n + 1 + 33, w = f + m*n - 30. Is f a multiple of 14?
True
Let w(h) = 224*h - 2. Let g be w(-2). Let j(v) = -7*v**2 + 143*v + 1074. Let c be j(-7). Let i = c - g. Does 45 divide i?
True
Suppose -h = 2*s + 43, 0*h + 2*h = 3*s + 54. Suppose -q = -68 + 45. Let t = s + q. Does 2 divide t?
False
Let m be 40/16*(1 + 0 + 1). Suppose 992 = -4*s - 4*q, 9*s + 1250 = 4*s + m*q. Let f = s - -439. Is f a multiple of 10?
True
Is (-4815)/9*(-1)/10*112 a multiple of 34?
False
Let z = 21 - 13. Is 403 + 3*z/(-6) a multiple of 57?
True
Suppose -10*b = -26 - 14. Suppose 776 = v + b*j, 4*j + 10 = -6. Is 34 a factor of v?
False
Suppose 0 = -2*k + 5*v - 445 + 111, v - 170 = k. Let j = 284 + k. Is 7 a factor of j?
True
Let x(p) = 5*p**3 + 16*p**2 - 18*p - 18. Let w(z) = 44*z**2 - 3*z**3 - 43*z**2 - 1 + 4*z**3. Let m(b) = -4*w(b) + x(b). Does 17 divide m(-13)?
True
Suppose -17*u - 771 - 1269 = 0. Is 10 a factor of (3*-43 - 0)*u/36?
True
Let w(q) = -q**3 - 2*q + 2128. Let y be w(0). Suppose -7*j + y = -371. Does 17 divide j?
True
Is 32 a factor of (-61428)/(-6) + 8 + -6?
True
Let f = -61 + 20. Let n = f + 41. Suppose -3*q + 2*l + 91 = -n*q, -5*q - 5*l + 135 = 0. Is 29 a factor of q?
True
Does 30 divide 10167608/602 - 12/(-42)?
True
Let n(i) = 41*i**2 - 106*i - 699. Is 76 a factor of n(-7)?
True
Let c(j) = 15*j**3 - 4*j**2 + 23*j - 61. Is c(4) a multiple of 103?
True
Suppose 0 = -5*w - 2*w - 161. Let m = w - -39. Does 12 divide (-3 - (-36)/m)*-144?
True
Let q(i) = 3*i**2 - 23*i + 32. Let a be (-4)/((-5 + 4)/(-2) + -1). Is q(a) a multiple of 40?
True
Suppose -111*l = 38*l - 28*l - 1644874. Is 24 a factor of l?
False
Let h = -2122 + 8832. Is h a multiple of 11?
True
Let w be 20/(-3)*(-45)/12. Suppose w - 16 = s. Suppose -s*z + 273 = -2*z. Does 6 divide z?
False
Suppose -4*g + t = -79 + 678, 0 = -g - t - 151. Let n be (g/(-35) - (-2)/(-7)) + -1. Suppose n*b = -5*f + 85, 2*b + 2*b = -5*f + 120. Is b a multiple of 6?
False
Let g(v) = 28*v**3 + 3*v - 2. Let u be g(3). Suppose -5*s + 186 = -3*k - u, 4*s + 5*k - 774 = 0. Is s a multiple of 23?
False
Suppose 0 = 5*l + 2185 - 600. Suppose 0*o - 3*a - 1894 = -4*o, 4*o - 5*a - 1898 = 0. Let g = o + l. Is 10 a factor of g?
False
Let a = -2111 + 3934. Let y = a - 1108. Does 13 divide y?
True
Let f = 3156 + -3148. Let k = 6 - 46. Let c = f - k. Is 9 a factor of c?
False
Suppose 5725 + 477586 = 135*f + 67241. Is f a multiple of 134?
True
Suppose 58*r - 43407 = 38721. Is r a multiple of 36?
False
Suppose i + 265 = x, -4*x - x + 4*i + 1329 = 0. Suppose 18 = s - x. Let t = -157 + s. Does 15 divide t?
False
Suppose -3*r + 2*r - 44 = 2*x, -3*r - 127 = 5*x. Suppose 0 = i + 17 + 7. Let u = i - r. Is 2 a factor of u?
True
Suppose 0 = 2295*w - 2318*w + 190026. Is 51 a factor of w?
True
Let i(h) = -h**2 - 175*h - 1254. Does 18 divide i(-147)?
True
Suppose -4*i + i = -12. Suppose 0*j + d + i = 3*j, 35 = 5*j + 4*d. Is (-1 - j) + 38 - 4 a multiple of 5?
True
Let l(d) be the first derivative of 47*d**2 - 158*d + 40. Is 50 a factor of l(7)?
True
Suppose 4*o + 0*c + 5*c = 515, 0 = c + 5. Suppose 2*s - 3*y = o, -s - y = 3*s - 277. Let p = s - -59. Does 16 divide p?
True
Suppose -3003 = -3*d - b, d + b - 452 = 551. Suppose -m - 4*m = -d. Is ((-18)/10)/(5/(m/(-12))) even?
True
Let g = -113 - -116. Let h be (-9 - -15)*2/g. Suppose -5*i + 1321 = -h. Is i a multiple of 33?
False
Suppose -3*m - p = 852, -3*m - 5*p = -0*p + 864. Let d = m + 636. Is (24/5)/(-8) + d/5 a multiple of 5?
True
Let i = -78 - -80. Suppose -i*a = a - 2*h - 484, 4*h = 3*a - 476. Is a a multiple of 30?
False
Suppose 8424 = 3*v + 7*w - 6*w, -5*v + 5*w + 14040 = 0. Does 117 divide v?
True
Let i(f) = 13*f**2 + 10*f - 6. Let p be i(12). Suppose -o + 3*v - 121 + 787 = 0, p = 3*o + 3*v. Is o a multiple of 51?
True
Suppose -r - 17*r = -144. Does 20 divide 9/(-6)*(r - 2528/6)?
True
Let f(c) = 15*c - 26. Let u be f(-26). Let r = 611 + u. Is 15 a factor of r?
True
Let u = 15529 + -15779. Let o(b) = -12*b**2 - 4*b + 3. Let a be o(-6). Let c = u - a. Is 37 a factor of c?
False
Let j(