 Does 40 divide a?
False
Let q be (-2 + -2)/((-4)/4 - -3). Let k be (-4)/10 - 105/175. Is q/(-12)*k + (-589)/(-6) a multiple of 14?
True
Suppose 30*i - 55689 - 28461 = 0. Is 24 a factor of i?
False
Let q = 1478 - -211. Does 19 divide q?
False
Let v = 126 + -122. Let j = 152 + -387. Does 19 divide (v + -4 - j) + -1?
False
Let m = 28113 + -8776. Is m a multiple of 8?
False
Suppose -190*i = -33*i - 1057326 - 57060. Does 182 divide i?
True
Let c = -185 + 40. Let g = c - -474. Does 7 divide g?
True
Suppose 6418 = -7*l + 37743. Is l a multiple of 23?
False
Suppose -9*n + 174 = 183. Is 11 a factor of ((-104)/20)/(n/40)?
False
Let a(q) = q**3 + 12*q**2 + 6*q + 15. Let p(s) = s**3 + 11*s**2 + 6*s + 14. Let m(x) = -4*a(x) + 5*p(x). Let j be m(-6). Is 19 a factor of 816/j - 20/(-50)?
False
Suppose -u = u - 84. Let o be (-12)/u - (-2306)/(-14). Is (-5)/(-3) + o/(-9) a multiple of 8?
False
Suppose -4*u = -5*k + 3784, 2*k - 4*u - u = 1500. Suppose 2*x - 3*x + 745 = 4*t, k = 4*t + 4*x. Is t a multiple of 37?
True
Suppose 0 = 24*b - 172478 - 74050. Is 16 a factor of b?
True
Let w(d) = 8*d**2 - 5*d + 6. Let v be w(3). Suppose k - 117 = -o, -9*o - 2*k = -4*o - 573. Let m = o + v. Is 44 a factor of m?
True
Suppose 0 = -3*p + 5*f + 34, -4*f = -3*f - 4. Suppose 3*w = -3*z, -4*w - 35 = -10*z + 7*z. Suppose z*g + 2 = 3*l + 33, -4*g = l - p. Is g a multiple of 5?
True
Let w be (0 - -39) + 1 + -5. Let l = 37 - w. Suppose -2*r - l*s + 3*s + 43 = 0, 124 = 5*r + 3*s. Does 23 divide r?
True
Let f(s) be the first derivative of s**3/3 - 8*s + 25. Let y be f(17). Suppose -5*q = -y - 194. Is 17 a factor of q?
False
Is 73 a factor of ((-9)/(-6))/((315/43070)/21)?
True
Let r = 82 + -292. Suppose 3*m - 305 - 20 = -w, 2*w = -5*m + 650. Let g = r + w. Is 23 a factor of g?
True
Suppose -742*b + 483*b + 5830090 = 0. Does 27 divide b?
False
Suppose 5*c = -3*v - 12872 + 90984, -4*c + 62516 = -2*v. Is c a multiple of 125?
False
Let z = -66 + 279. Let o = -108 + z. Does 35 divide o?
True
Suppose 0 = 7*s + 6 - 104. Suppose 2*m = -s*m + 3840. Is m a multiple of 20?
True
Let p(o) = 56*o - 1793. Is 11 a factor of p(33)?
True
Let x(b) = -9*b**3 - 23*b**2 - 129*b + 9. Is x(-15) a multiple of 26?
True
Let f(b) = -20*b**3 - 31*b**2 + 7. Let n(g) = -7*g**3 - 11*g**2 + 2. Let v(i) = -6*f(i) + 17*n(i). Let q be -1 + (-1*10)/(-2). Is v(q) a multiple of 16?
False
Suppose 0 = 4*l + 2*a - 56, -l - 2*l + 4*a = -20. Suppose -2788 = -l*j - 5*j. Is j a multiple of 41?
True
Let l(f) = f**3 + 69*f**2 - 233*f + 126. Is 112 a factor of l(-70)?
True
Let t(p) = p**2 + 3*p + 13. Let d be 12/(-6) - -5 - 15. Is t(d) a multiple of 11?
True
Let s(j) = 10*j + 104. Suppose 6 = 2*w + 12. Let k(f) = -3*f - 35. Let d(q) = w*s(q) - 8*k(q). Is 23 a factor of d(-13)?
True
Suppose 17242 = -222*r + 249*r - 2846. Is r a multiple of 30?
False
Let n = -171 - -369. Let t = 513 - n. Is t a multiple of 35?
True
Suppose 90885 = 756*f - 236709 - 762558. Does 9 divide f?
False
Let h(n) = -2*n**3 + 108*n**2 - 262*n - 74. Is h(51) a multiple of 44?
False
Let l = 2860 - 242. Is 77 a factor of l?
True
Let d = -188 - -185. Is (521 - 6) + d + -2 a multiple of 34?
True
Suppose -5*s - 21789 = -72089. Is 12 a factor of s?
False
Let q be 120/(-16)*(-10)/3. Suppose -14 = -5*m + 4*n + q, 0 = m + n - 15. Suppose 4*c - c + 2*x - m = 0, 5*c - 2*x - 29 = 0. Does 5 divide c?
True
Let g be (8/6 - -5)/((-1)/(-6)). Suppose 8*x + 90 = -g. Is 10 a factor of -38*86/x + 1/(-4)?
False
Suppose -3*s + 45 = 3*l, -3*l + 2*l = 5*s - 35. Suppose 0 = -l*k + 83 + 367. Is 8 a factor of k?
False
Let h = 82 + -34. Let x = h - 54. Is 15 a factor of (-1974)/(-33) + x/(-33)?
True
Let m be 4/(-10)*(-1350 - 5). Let p = -984 + 1721. Suppose -p + 181 = -5*s + 3*j, -5*s + m = 4*j. Is s a multiple of 16?
False
Let r(c) = 2*c + 173. Let x be r(-39). Suppose 17 + 1 = 3*b. Suppose 235 + x = b*f. Is 9 a factor of f?
False
Suppose 2*q + n - 40587 = 0, -28*q + 23*q + 101460 = 4*n. Is 118 a factor of q?
True
Suppose -546 = -f - 0*f. Suppose m - 3*m + 3*z = -4, 2*m = -2*z + 14. Suppose -m*y + f - 211 = 0. Is 9 a factor of y?
False
Let t(j) = 458*j - 6. Let u(w) = -458*w + 5. Let m(k) = 4*t(k) + 5*u(k). Let r be m(-1). Is 15 a factor of 20/24*-4*r/(-15)?
False
Let y = 74 - 72. Let g = 35 + -58. Does 8 divide (y - 6)/(g/22 + 1)?
True
Suppose -g + 10 = g. Let l be (-2)/8 + -4 + 50/8. Suppose -l*h = g*k - 33, -4*h + 111 = -6*k + k. Is h a multiple of 18?
False
Is 8 a factor of ((-704)/(-22))/((-4)/(-416)*4)?
True
Suppose 16 = 4*p, 4*u - p = -2*p + 7480. Let s be (-32)/(-6)*u/28. Let o = s - 228. Is o a multiple of 16?
True
Let m = -145 + 113. Is 3 a factor of (-6)/(-16) - (-9 + 2676/m)?
True
Suppose 5*a = 4*s - 10, 5*a - 30 = 2*s - 6*s. Suppose -4*d + 52 = -f, -2*f - s*d = -0*f + 104. Let o = f - -204. Is o a multiple of 36?
False
Suppose 13*p = 348680 - 146620 + 582100. Does 10 divide p?
True
Suppose 21*o - 5*o - 137936 = 0. Is 148 a factor of o?
False
Suppose 0 = 3*i + 7*i - 50. Suppose 3*s = i*s - 6. Suppose 3*g = -s*m + 45, 4*g - 5*m = -6*m + 48. Does 4 divide g?
False
Let f(y) = 3*y**3 - y**2 - 3*y + 5. Let v be f(3). Let w = v + -39. Is w a multiple of 6?
False
Let c(a) = a**2 - 5*a + 8. Suppose 17 - 12 = m. Suppose -m*h - 4*i = -h - 40, 0 = -2*h - 4*i + 18. Is c(h) a multiple of 8?
False
Let o(v) = v**3 + 11*v**2 + 5*v + 11. Let n = 53 + -61. Let b be o(n). Let u = b + -97. Does 11 divide u?
True
Let s = 773 + -734. Suppose 35*p = s*p - 1896. Does 37 divide p?
False
Does 21 divide (-2 + 1/3*9)/(5/4095)?
True
Let h(d) = -17*d - 1156. Is h(-88) a multiple of 7?
False
Let p = -217 + 14908. Does 8 divide p?
False
Let g(s) = -s + 2. Let d(p) = 3*p - 2. Let u(q) = -d(q) - 2*g(q). Let j be u(-6). Suppose -76 = -0*m - j*m + 2*c, 5*m - 73 = -3*c. Is 3 a factor of m?
False
Let q = 3461 + -3450. Let s(k) = 6*k**3 - 10*k**2 - 6*k - 24. Let u(f) = 7*f**3 - 10*f**2 - 6*f - 25. Let x(n) = 6*s(n) - 5*u(n). Is x(q) a multiple of 3?
True
Suppose -3*g = -v + 326, g = -2*v + 429 + 195. Let i be -4 - ((2 - v) + 0). Suppose w = -4*q + 673, 5*w - 537 - i = -5*q. Is 42 a factor of q?
True
Suppose 4*t - 71090 = 2*p, -4*p = -2*t + 5376 + 30196. Does 3 divide t?
False
Let t(w) be the first derivative of 6 + 20*w + 6*w**2 - 1/3*w**3. Is 28 a factor of t(7)?
False
Let x be 24/4*112/(-6). Let r be (-28)/x + (-337)/4. Let a = 194 + r. Is a a multiple of 11?
True
Suppose -741*s = -727*s - 69929 + 6145. Does 33 divide s?
False
Let c = -158 + 168. Suppose c*h + 6*h = 2480. Does 14 divide h?
False
Let t(m) = 5*m**2 + 105*m - 2910. Is t(-66) even?
True
Is (-120)/18*(-95)/10*54/5 a multiple of 4?
True
Let s = -160 + 163. Does 61 divide s/8 + (-53647)/(-88)?
True
Let z be 4/30 - (365/(-75) - -3). Let r(w) = -41*w - 3*w**2 + 51*w + w**3 - 2*w**z - 27. Is 17 a factor of r(6)?
False
Let o = 1641 - 1123. Is o a multiple of 7?
True
Suppose -164*r + 386187 - 25067 + 266180 = 0. Does 100 divide r?
False
Let y(i) be the first derivative of i**4/4 + i**3/3 + 7*i**2/2 - 8*i - 4. Let f be y(-6). Does 12 divide (-4 - -1)/(6/f)?
False
Let j(m) = 5*m - 29. Let x(w) = w - 6. Let y be x(-10). Let d be j(y). Let k = d - -207. Is k a multiple of 7?
True
Does 4 divide (-4)/30 - (-812)/(-210) - -263?
False
Let l(m) = -3*m**2 - 215*m - 174. Is l(-70) a multiple of 15?
False
Let b be (9/(-6) + 1)/((-5)/50). Suppose -3*n + 3*u - 819 = -5*n, 5*u - 2045 = -b*n. Is 11 a factor of n?
False
Let s(o) = -o**3 + 3*o**2 + 12*o + 17. Let z be s(-7). Suppose 0 = 8*x + 1001 + 79. Let t = x + z. Does 16 divide t?
True
Suppose 0 = -30*y + 37*y - 7413. Suppose 0 = -4*l + y - 363. Does 3 divide l?
True
Suppose 2*k - 5*k + 2 = 2*s, -k + 4 = 4*s. Suppose k = 10*h - 139 - 4091. Is h a multiple of 75?
False
Suppose 69*i = 71*i - 858. Is 7 a factor of i?
False
Suppose 0 = -5*n - 2*c + 21, 11*n + 3*c + 3 = 15*n. Suppose n*g = -31*g + 30940. Is 65 a factor of g?
True
Suppose -m + 4*f + 18 = 0, -31*m - f - 6 = -32*m. Suppose u = -2*s - 0*u + 749, m*u = -2. Does 21 divide s?
False
Suppose -4*t + 20*t - 48 = 0. Suppose 2*h = -t*k + 321 + 616, -5*k + 1595 = -5*h. Is 38 a factor of k?
False
Suppose 5*m - 1237 = 1548. Let v = m - 427. Does 12 divide v?
False
Let g(j) = 2*j - 6. Let h be g(19). Let d(v) = -31 - v + 7*v**3 + 19*v**3 + h. Does 26 divide d(1)?
True
Let c