 of 17?
True
Let a = -228 + 228. Suppose a = -2*j + 682 + 98. Is 10 a factor of j?
True
Suppose w - 978 = -5*q, -7*q + 6*q = 4*w - 3912. Let j = w - 537. Does 24 divide j?
False
Let f(w) = 397*w - 122. Suppose 12*s = -12*s + 48. Does 6 divide f(s)?
True
Suppose -110 = p - 2*k, -5*k + 300 + 146 = -4*p. Suppose -2*x + 5*x = -2679. Does 3 divide (-1)/(-6) + x/p?
False
Suppose 79*u + 38*u + 269920 = 1546273. Is u a multiple of 24?
False
Suppose 29226 = -22*m + 42978 + 55416. Does 9 divide m?
False
Suppose 0 = n + 2*y + 1 - 8, 22 = 4*n + 5*y. Suppose 3*g + 535 = p, n*g - 2660 = -5*p + 105. Does 22 divide p?
True
Let b(q) = -q**3 + 33*q**2 - 29 - 4*q**2 - 8*q**2 + q - 8*q**2. Does 6 divide b(12)?
False
Let i = -2841 + 6800. Does 37 divide i?
True
Suppose 6116 = 35*g - 13*g. Let f = g - -231. Is f a multiple of 10?
False
Suppose 3*j = -2*m - 1107, -m + 5*j = -170 + 717. Let x = m + 780. Does 19 divide x?
True
Let a = -19247 - -33775. Is 22 a factor of a?
False
Suppose 0 = 2*z + 4, -4*z = 4*b - 3694 - 13754. Is 12 a factor of b?
False
Suppose -2*u + 2*w + 24 = 0, u - 4*w = 7 + 17. Suppose -388 - u = -3*r. Does 23 divide r?
False
Let t = -199 - -587. Let v = -240 + t. Does 9 divide v?
False
Let m = 95 + -23. Let a be 26856/60 + -5 + 14/10. Suppose -4*i - 4*h = -5*i + m, h = -5*i + a. Does 12 divide i?
False
Let t(n) = n**2 - 5*n - 46. Let v be t(8). Is 6 a factor of 3/(-6) - 3663/v?
False
Let j(t) = 3*t**3 - 4*t**2 + 3*t - 5. Let d be j(6). Let y = d - 163. Suppose -12*x + 54 = -y. Does 17 divide x?
True
Let i be (50 + -50)*(-1 - (0 - 0)). Suppose 11*v - d = 7*v + 2283, i = v + 3*d - 561. Is 19 a factor of v?
True
Let y be 2 - 1 - (3 - 2). Suppose -49 = -2*g + 31. Suppose y = 3*f + 5*o - g, 7*f - 2*f + 3*o = 40. Is f a multiple of 2?
False
Let k = 18593 - 10270. Is 47 a factor of k?
False
Let v(w) = 2*w**2 + 15*w + 3. Let y be v(-8). Suppose 2*f - 17 = t, 8*f - y*f = 4*t + 2. Is 6 a factor of f?
True
Let p(y) = 193*y + 6. Let l be 3/2 + (-6)/(-12). Let u be p(l). Let d = -266 + u. Does 16 divide d?
False
Suppose 3*l - 3627 = 2*a, 4*l = 3*a - 846 + 5681. Does 2 divide l?
False
Let z(r) = 7*r + 28. Let k(n) = 7*n + 25. Let l(q) = 4*k(q) - 3*z(q). Is l(29) a multiple of 45?
False
Suppose -4*n - 12 = -8*n. Suppose -3*j - n = -4*j. Suppose -8 = j*r - 53. Does 5 divide r?
True
Suppose -f - 1300 = 3*q - 10663, 0 = 4*f - 4*q - 37388. Does 57 divide f/(16 - 7) - 9?
False
Suppose 0 = d - 374 - 118. Let t = d - 148. Is t a multiple of 13?
False
Let h = -2275 + 2399. Is h a multiple of 4?
True
Let o(a) = 6*a**2 + 5*a + 5. Let q = 80 + -50. Let p = -26 + q. Is o(p) a multiple of 37?
False
Suppose 0 = 6*n - 4*n + l - 40, 4*l = -n + 13. Let r = 17 + 10. Let h = r + n. Is 8 a factor of h?
True
Let z(a) = 230*a - 1602. Does 5 divide z(20)?
False
Is (((-190960)/30)/11)/((-32)/48) a multiple of 31?
True
Let y(w) = 13*w**2 - 20*w + 51. Let j(d) = d**3 - 40*d**2 + 37*d + 84. Let n be j(39). Is 9 a factor of y(n)?
False
Let l = 40 - 40. Suppose 0 = -l*t + 3*t - 741. Let w = -143 + t. Does 16 divide w?
False
Let z(u) = -11*u - 39. Let b be z(-4). Let c(x) = 49*x**2 - 8*x + 7. Is 45 a factor of c(b)?
False
Suppose -5*f = 4*n - 52786, 667*n - 662*n = 3*f + 66001. Is 197 a factor of n?
True
Suppose -f + 322 = -3184. Is 15 a factor of f?
False
Suppose 7*r = -0 - 7. Let h be (1/3)/r - (-20)/(-30). Is 8 a factor of h + 1 + 5 - -118?
False
Let p be ((-12)/(-16) - 1)*-8 + 1. Suppose 0 = 3*x + p*w - 382 - 1595, 0 = -4*x + 2*w + 2642. Does 33 divide x?
True
Let i(t) = -12*t**3 + t**2 - t + 1. Let k(g) = -25*g**3 + 2*g**2 - g + 1. Let p(l) = 5*i(l) - 3*k(l). Let w be p(1). Is 19 a factor of (-2)/(w/95 - (-2)/(-10))?
True
Let d(s) = s**2 + 17*s - 310. Does 10 divide d(-42)?
True
Suppose 3*w - 5*w = -12. Suppose -7*f + w*f = 37. Is (-8 - -10)*(1 - f) a multiple of 12?
False
Suppose 23855*a - 23859*a = -37248. Is a a multiple of 194?
True
Let s be 11/((-55)/(-4))*60. Suppose -3*a = c + 3, -5*a = 5*c - a + s. Is 10 a factor of c/9 + 0 + (-2270)/(-15)?
True
Let t(o) = -53*o + 25. Let g(i) = 211*i - 103. Let x(u) = 2*g(u) + 9*t(u). Does 13 divide x(-7)?
False
Suppose 59*r + 131*r = 529150. Is 40 a factor of r?
False
Let m = 27335 - 9686. Is 19 a factor of m?
False
Let v(l) = 12 + l + 7*l + 6 - 3. Let t be v(8). Suppose -5*g = h - 135, -3*g = -0*g + h - t. Does 4 divide g?
True
Suppose -3*o - 4*w = -19018, -21405 - 3994 = -4*o + 3*w. Is o a multiple of 12?
False
Let n be 8 - 42/(-3)*-174. Let s = n + 3410. Is 70 a factor of s?
False
Suppose -9*o + 20 = -25. Suppose -5*u = -5, o*u = 4*c + 82 + 99. Does 14 divide ((-759)/c)/(2/(8/1))?
False
Let l = 578 + -243. Let m(o) = -115*o. Let x be m(2). Let n = l + x. Is 21 a factor of n?
True
Suppose 0 = -10*y + 4*y + 18. Is 5 a factor of y + (-750)/(-8) - 1/(-4)?
False
Suppose 5*k = 4*i - 1116, -2*i + 4 = -i. Let s = k - -250. Does 4 divide s?
False
Suppose 5*v + 4*b - 89 = 0, 5*v + b + b = 97. Let h be ((-8976)/v - 9/(-21)) + -4. Let k = -227 - h. Is k a multiple of 12?
True
Let l(c) = c**2 + 19*c + 80. Let p be l(-6). Let n(a) = 4*a**3 + 3*a**2 - 6*a + 2. Is 19 a factor of n(p)?
False
Let a(k) = -170*k - 2. Let q be a(-4). Let h = q - 304. Does 15 divide h/5 - (-5)/25?
True
Suppose 23 = -h - 39. Let k = h + 65. Suppose k*n = 20 + 19. Is n a multiple of 4?
False
Let r(t) be the third derivative of -t**7/840 - t**6/360 + t**5/60 - t**4/6 - 3*t**3/2 + 16*t**2. Let q(b) be the first derivative of r(b). Does 2 divide q(-3)?
True
Let v = 398 - -527. Does 37 divide v?
True
Let h = 969 + 16239. Is h a multiple of 6?
True
Let g(v) = 4*v**2 + 2*v - 24. Let y be g(6). Suppose -13*j = -2*j - y. Is 20 a factor of 3 + -3 + (-3)/(j/(-1280))?
True
Suppose -10*x + 1555 = 55. Let i = 210 - x. Suppose 0 = l - i - 90. Is 18 a factor of l?
False
Suppose -p + 5 - 1 = 2*d, -5*p = -5*d - 20. Suppose 0 = p*w - 3*n - 467, 3*w = 5*n + 430 - 66. Is w a multiple of 5?
False
Let f(u) = 14*u**2 + 5*u + 15. Let n(h) = h**3 + 14*h**2 + 25*h + 11. Let y be n(-12). Let i be y/(-2) + (-14)/4. Does 42 divide f(i)?
True
Suppose 2*p = 1955 - 47. Does 9 divide p?
True
Let t = 88 - 300. Suppose 2*i + 62 = -672. Let v = t - i. Does 18 divide v?
False
Let o(u) = 737 + 2*u + 3*u**2 - 755 + 4*u + 9*u. Does 30 divide o(-11)?
True
Let m = -3850 + 4029. Is m even?
False
Is (2 - (-36)/(-19)) + (6656160/266)/8 a multiple of 4?
True
Let s(g) = -g**3 + 3 - 10 - 21*g + 31*g - 13 + 7*g**2. Let d be s(8). Does 4 divide (-1*d/(-4) - 0)*-31?
False
Suppose 49*l - 43*l + 1902 = 0. Let p = -240 - l. Is 11 a factor of p?
True
Let u(t) = -104*t**2 + t. Let o be u(-1). Let k = o - -53. Let g = k - -147. Is 22 a factor of g?
False
Let j(d) be the second derivative of -11*d**4/12 + d**3 + 2*d**2 + 37*d. Let s be j(-3). Let q = s - -388. Is 25 a factor of q?
True
Let w(j) = -962*j + 801. Is w(-29) a multiple of 74?
False
Let r(c) = -c**3 - 4*c**2 + 8*c + 3. Let x be r(-5). Let d = 91 + -60. Let y = x + d. Is y a multiple of 10?
False
Let u(g) = -2*g**3 + 76*g**2 - 96*g + 188. Does 4 divide u(32)?
True
Let c(d) = 738*d + 27760. Is c(0) a multiple of 15?
False
Let i(w) = 6*w + 11. Let r be i(5). Let j = 45 - r. Is ((-38)/j)/(3/(-30)) a multiple of 19?
True
Suppose 54*m + 2*k = 59*m - 15675, -k + 12540 = 4*m. Does 122 divide m?
False
Let b(l) = 4*l**2 - 12*l - 59. Let w(a) = -a**3 + 27*a**2 - a + 37. Let n be w(27). Does 4 divide b(n)?
False
Is 57 a factor of 17364 - (-12 + (-16 - -3))?
False
Suppose -3*o + 3*k - 2172 = 0, -2*o + 2*k = -k + 1448. Let p = o + 1361. Does 13 divide p?
True
Is 34 a factor of (404415/(-38) - -6)*-2?
False
Let q(o) = 7*o + 35. Let y be q(-5). Suppose y = -13*f - 65 + 312. Is 5 a factor of f?
False
Let l = -87 - -105. Does 10 divide (-2 + (-218)/(-10))/(l/60)?
False
Let q(i) = 78*i**3 + i**2 - 7*i + 5. Suppose -21*b + 7 + 14 = 0. Is q(b) a multiple of 5?
False
Let b(j) = -9*j - 34. Let u be b(10). Let d = -3 + -5. Is 6 a factor of u/d*4 + 4?
True
Let f = 4799 - 3286. Is f a multiple of 2?
False
Let i(q) = -q**3 + 6*q**2 + 12*q - 7. Let g = -80 - -89. Let m be g + -4 - (-1 + 0). Is i(m) a multiple of 5?
True
Is -2 - ((-2)/(-14) - 760665/119) a multiple of 42?
False
Let n = 171 + -170. Let l(r) = 98*r**2 + 3*r - 4. Is l(n) a multiple of 4?
False
Let r(p) = -81*p + 35. Let n(v) = -v. Let h