 of 25?
True
Suppose -10*g = -3*g - 959. Let i = -55 + g. Is i a multiple of 14?
False
Let i(c) = 57*c**3 - 5*c + 10. Is i(2) a multiple of 6?
True
Let r(z) = 117*z**3 - 3*z**2 + z + 4. Does 30 divide r(2)?
True
Let q be -2*-2*(-14)/8. Let v = 70 + -44. Let k = v - q. Is k a multiple of 11?
True
Suppose -65*s = -57*s - 3320. Is 7 a factor of s?
False
Let h be 4/2 + 3 + -3. Let k(y) = 2*y + y**3 + y**2 - 2 - 7*y**h + 2*y**2 + 2*y**2. Is 2 a factor of k(2)?
True
Suppose 4 - 1 = -h. Does 16 divide 1788/18 + h/9?
False
Suppose 4*z - 2 - 5 = k, -4*k = -2*z. Let m(s) be the third derivative of 7*s**5/60 - s**4/24 + 2*s**3/3 - s**2. Is 8 a factor of m(z)?
False
Suppose -2*c + 15 = c. Suppose -3*y + 0*i = 3*i - 114, -c*y + 5*i + 140 = 0. Is y a multiple of 21?
False
Let w(q) be the third derivative of q**6/120 + q**5/6 - 5*q**4/8 + 3*q**3/2 - 6*q**2 + 2. Suppose g + 15 = 4. Is w(g) a multiple of 19?
False
Let i = -1639 + 2272. Does 7 divide i?
False
Suppose -201 = -3*t - 45. Suppose 2*k + s = 60, 2*k + 0*s - s = t. Is 14 a factor of k?
True
Does 70 divide 0 - (-346 + (-12)/3)?
True
Let i = -44 - -48. Let g(p) = 45*p + 37. Does 31 divide g(i)?
True
Let u = 4 + 1. Suppose -338 = -f + v, -u*f + 774 = -v - 932. Suppose y = 5*p - f, -p - 2*p - y + 210 = 0. Does 14 divide p?
False
Suppose 0 = 5*s - 10*s + 1960. Suppose -9*h = -s - 238. Is 16 a factor of h?
False
Let j(m) = m**2 + 7*m + 8. Let x be j(-6). Let k be -2 - 8/x*-1. Let u = k + 4. Is u a multiple of 6?
True
Let b = 38 - 25. Suppose -200 = 8*n - b*n. Does 20 divide n?
True
Let d be (-3)/((-4)/(224/6)). Suppose 9*z + 819 = 126. Is (-594)/z*d/6 a multiple of 12?
True
Suppose 0 = -3*i + 3 - 0. Suppose i = -3*h + 52. Is h a multiple of 7?
False
Let f = 259 + 238. Is f a multiple of 33?
False
Suppose 3*n - 3 = 5*v - 2, -5*n + 3*v - 9 = 0. Is 32 a factor of 96*(3 + (-4)/(-3) + n)?
True
Let g be ((-70)/(-20))/(2/(-4)). Let b = 11 + g. Is b even?
True
Suppose -146*l - 1302 = -153*l. Is 6 a factor of l?
True
Let t = -6 + -34. Let x = -228 + 170. Let o = t - x. Does 9 divide o?
True
Suppose 8*i = -8*i + 3312. Does 9 divide i?
True
Suppose 0 = -5*v - 4*h + 14, 2*v - h = -3*h + 6. Let f(j) = -2*j**3 + 11 + 6*j - 4 + 2*j**2 + j**3 - 7*j**v. Does 11 divide f(-7)?
False
Suppose 0*j = -4*j + 160. Suppose 2*b - 8*b = -b. Suppose b = -7*i + 2*i + j. Is i a multiple of 3?
False
Suppose 1491 = -r + 8*r. Does 12 divide r?
False
Let v = -102 + 208. Suppose -3*y - 99 = c - 3*c, 4*y - v = -2*c. Is 43 a factor of c?
False
Let x = 22 - 16. Suppose 4*b - 12 = 2*v, -5*b + 2*v + 8 = -x. Suppose 126 = 3*w + o, -b*w - o - 3*o + 74 = 0. Does 19 divide w?
False
Suppose -4*u - m - 20 = 0, 2*u - 10 = 3*u - m. Let p be ((-64)/(-24))/((-4)/u). Suppose -a - 33 = -p*a. Is 3 a factor of a?
False
Suppose 0 = 3*t + 4*t - 336. Suppose -6*r = -r - 3*b + 159, -2*r - 4*b = t. Let f = -20 - r. Does 10 divide f?
True
Suppose -4*u = -2*a + 1210, 6*a + 2453 = 10*a + 3*u. Is a a multiple of 11?
False
Let u be 2/4 - 203/(-14). Suppose d - 4 = u. Is 3 a factor of d/3 + 24/36?
False
Let p(x) = 20*x**2 - 2*x - 1. Let h be p(-1). Suppose 220 = h*m - 20*m. Is 20 a factor of m?
True
Let y(o) = 37*o - 40. Is y(4) a multiple of 15?
False
Let p(d) = d**2 - 3*d - 8. Let c be p(4). Let x be ((-20)/(-8))/(c/(-8)). Suppose -x*t = -80 - 50. Is t a multiple of 13?
True
Suppose 0 = 16*r + 472 - 3176. Is r a multiple of 13?
True
Let l(m) = m**3 - m**2 - 2*m. Let a be l(-2). Let t be ((-5)/(-4))/((-2)/a). Suppose -57 = -t*f + 2*f. Does 7 divide f?
False
Let o be (0 - 0) + -3 + 6. Suppose -s - 8 = -o*s. Suppose m - 24 = -s*g, -4*m + 0*g + 138 = 2*g. Does 12 divide m?
True
Let u(l) = 17*l - 14. Let z(a) = 6*a - 5. Let d(n) = -4*u(n) + 11*z(n). Let i be d(-1). Suppose 5*f - 52 = -i*k, -2*f = -k - 5*f + 24. Is k a multiple of 7?
False
Let q(j) = j**2 + 3*j + 44. Does 4 divide q(-12)?
True
Let x(t) = t**2 + 3*t + 6. Let w be (3 + 6/(-3))*-7. Is 8 a factor of x(w)?
False
Let y(n) = -n**3 - 3*n**2 + 12*n - 3. Is 2 a factor of y(-6)?
False
Let w = 1 + 4. Suppose 16 - 1 = w*n. Suppose -204 = n*o - 7*o. Is 16 a factor of o?
False
Is 9 a factor of 502*((-50)/(-15))/((-32)/(-24))?
False
Let c be 6/(1 + (-1)/3). Let w = -84 - -92. Is c + (-12)/w*-2 a multiple of 2?
True
Let k be (3/(-2))/((-4)/8). Suppose k*n - 2*n + 20 = 0. Is 21 a factor of 87*(2 + n/12)?
False
Let j(w) = -2*w + 5. Let k be j(-3). Let d = 15 - k. Is d a multiple of 4?
True
Suppose -10230 = -6*w - 25*w. Does 11 divide w?
True
Does 93 divide 1*(-8)/6*(-54684)/49?
True
Suppose 3*b = -4*n + 4871, 4*b - 2*b + 5*n - 3259 = 0. Is 33 a factor of b?
True
Let h = 235 + -118. Does 4 divide h?
False
Suppose 0 = 2*b + l + l - 10, 3*l = -4*b + 23. Suppose -201 = -b*n + 3*n - 2*k, 3*k = 2*n - 69. Let t = -23 + n. Is 7 a factor of t?
False
Let r be (-363)/(-5) - ((-8)/(-20))/(-1). Suppose 949 = 14*n - r. Is n a multiple of 24?
False
Let q be 2/((20/(-6))/(-5)). Suppose 0 = q*w + 3*z - 558, 4*w + 0*w = z + 759. Suppose 2*m - 4*c + 19 = 91, 0 = 4*m + c - w. Is 13 a factor of m?
False
Let n = 176 + -32. Does 24 divide n?
True
Let n(i) = -2*i + 2. Let r(x) = -3*x + 2. Let a(y) = -4*n(y) + 3*r(y). Let o(z) = z**2 + 9*z + 7. Let h be o(-6). Is a(h) even?
False
Suppose y + 5 = 0, 2*z + 5*y - 7 = 10. Does 6 divide ((z + -2)/(-1))/(-1)?
False
Suppose -43*g - 790 = -48*g. Is 5 a factor of g?
False
Let p be (-6)/(-8) - (-85)/20. Suppose p*j + 2 = 4*j, -3*d - j = -13. Is d a multiple of 2?
False
Suppose -750 = -13*v + 186. Let n(l) = -l**2 + 2*l - 1. Let z be n(-6). Let q = z + v. Is q a multiple of 15?
False
Suppose 17*s - 5174 = 4*s. Does 17 divide s?
False
Suppose 71 = 3*k - 2*n - 102, 5*k - 289 = 3*n. Is k even?
False
Suppose 0*j = j - 268. Suppose 4*k + 964 = 4*r - j, -k + 944 = 3*r. Does 22 divide r?
False
Suppose 5*z - 5*r - 105 = 0, -5*z - 5*r - 51 + 176 = 0. Let x = 14 - z. Does 6 divide 3/(x/(-78)) + 4?
True
Suppose j = 4*t - 42, t - 4*j - 18 = -0*j. Suppose -3 = -a - t. Is 3176/56 + (-2)/a a multiple of 8?
False
Let i be (-4)/((-48)/(-15))*8. Let n = 19 - i. Is n a multiple of 13?
False
Let i be 65/(-26)*4/2. Is 14 a factor of (-2355)/(-6) + i/10?
True
Suppose 0 = 2*l - 3*l + 10. Let k be (-6)/l - (-72)/45. Suppose k = -3*m + 13. Does 4 divide m?
True
Let s(a) = -a + 1. Let v be s(9). Does 3 divide 8/(-32) + (-58)/v?
False
Suppose -501 - 399 = -15*l. Does 8 divide l?
False
Suppose 25*b - 1581 - 12694 = 0. Is b a multiple of 14?
False
Suppose -d - d + 918 = -4*a, 0 = -4*d + 4*a + 1816. Suppose -d - 123 = -4*g. Is g a multiple of 12?
False
Let s(g) = -11*g - 3. Let m be s(-6). Let a = m + 12. Suppose t = 2*t - a. Is t a multiple of 24?
False
Let q(l) = 424*l. Let a be q(1). Suppose -2*k + a = 6*k. Is k a multiple of 6?
False
Let n = 258 + -207. Is 18 a factor of n?
False
Let d(m) = -4*m + 40. Let q be d(8). Suppose -3*j = -9, j + 110 = 5*y + q. Does 7 divide y?
True
Let u(d) = 210*d + 12. Let g be u(-3). Is 15 a factor of g/(-42) - 4/(-14)?
True
Let a(h) = -h**3 + 8*h**2 - 9*h + 16. Let j be a(7). Let l = 40 + -75. Is 15 a factor of -1*j - (l + -12)?
True
Let h = -475 + 278. Let q = -45 - h. Is 8 a factor of q?
True
Let n = -25 + 21. Let w be n/(-12) + 148/(-12). Let x = 26 + w. Does 5 divide x?
False
Is (-28 + 128)*(-2 - -4) a multiple of 10?
True
Let s = -7 + 6. Let w(b) = -3*b**2 - 1. Let k be w(s). Is -2 - (k + (-4 - 22)) a multiple of 19?
False
Suppose 3*t = -5*z + 75, -t - 5*z = -5*t + 65. Suppose -t = 5*x, 90 = s - 3*x - 78. Is s a multiple of 26?
True
Let b(r) = 146*r - 401. Is 14 a factor of b(17)?
False
Let t(h) = 2*h**2 + 30*h - 92. Does 16 divide t(-21)?
True
Suppose -7154 + 162 = -38*o. Is o a multiple of 4?
True
Let y(q) = -2*q. Let t be y(-4). Suppose -4*r - 4*c + 44 = 0, 2*c + 34 = 3*r + 4*c. Let a = r - t. Is 4 a factor of a?
True
Suppose k = -3*p - 6, 2*p + 8 - 4 = -5*k. Let s(n) = -n**3 + 6*n**2 - 2*n + 7. Let c be s(5). Suppose -6*j + 4*j + 4*l + c = k, -j = -4*l - 17. Is j even?
False
Suppose 0*q + q = 56. Let k(u) = 4*u + 24. Let d be k(-10). Let m = q + d. Does 10 divide m?
True
Suppose 0 = -11*n + 13058 - 3686. Does 29 divide n?
False
Suppose 4*i + 1 = -2*x - 3, 3*i = -4*x - 8. Suppose i = -5*o - 4*p + 10, 2*o = o - 2*p + 8. Let a = o + 14. Is a a multiple of 12?
True
Let w be (8 - 3)*(0 + 1). Suppose