i?
True
Let q = -134 + 139. Suppose 277 = -14*w + 11*w - q*r, 0 = -2*r - 10. Let u = 261 - w. Is u a multiple of 15?
True
Let x = -89 + 92. Suppose -3*r = -3*w - 72, x*r - 4*w - 71 = -0*w. Does 3 divide r?
False
Suppose 2198 = 5*z - 5*t - 987, 2*z + 2*t = 1254. Is 11 a factor of z?
False
Let a(l) = 5 - 3 - 3*l**2 - 22*l**3 + 37*l**3 - 17*l**3 + 2*l. Let t be a(-4). Suppose -5*z = -41 - t. Does 18 divide z?
False
Suppose 5*c + x - 39 = 0, 19*x = 18*x - 1. Suppose 6*l = -c*l + 3304. Is 33 a factor of l?
False
Suppose -3*g + 108 = -0*g. Suppose 6*i - 4*i = -g. Let w(l) = l**2 + 15*l - 12. Is w(i) a multiple of 29?
False
Suppose -3*g + f - 2 - 5 = 0, -f = -5*g - 11. Let d be ((-48)/18)/(g/18). Suppose 0 = d*y - 20*y - 136. Does 17 divide y?
True
Let t(n) = -11*n + 5. Let x = -5 - -1. Does 17 divide t(x)?
False
Let o be 2*(-5 + 4)/(-3 - -2). Is (-5696)/(-12) - o - (-8)/6 a multiple of 57?
False
Let h(u) be the first derivative of -u**2 + 107*u - 42. Is 3 a factor of h(22)?
True
Let f = -1570 - -5762. Is 18 a factor of f?
False
Suppose 7*f - 15347 - 16868 = -4250. Is 5 a factor of f?
True
Suppose 724546 - 288838 = 26*c. Is c a multiple of 147?
True
Let q = -7 + -4. Let j(s) = -s**3 + 2*s**2 + 5*s. Let t(x) = x**3 - 17*x**2 - 13*x + 21. Let r(f) = -2*j(f) - t(f). Is 36 a factor of r(q)?
False
Let f be (97/(-2))/((-3)/18*3). Suppose f*p = 96*p + 2. Is 18 a factor of 1/(p/106)*(7 + -3)?
False
Let x(a) = a**2 - 8*a + 3. Let z be x(5). Let y be (9 - z/(-3))*-12. Let d = 168 + y. Is d a multiple of 27?
True
Suppose -16*i = -6244 + 816 - 7228. Is i a multiple of 22?
False
Let u be 107/(-9) + (-11)/99. Let a(z) = 11*z + 141. Is a(u) a multiple of 8?
False
Let w(l) be the first derivative of -l**4/4 + 2*l**3 + 6*l**2 - 32*l + 109. Is w(6) a multiple of 33?
False
Let v = 30 - 63. Let c = -28 - v. Suppose c*s = 553 + 437. Does 18 divide s?
True
Let s be 9/6 - 0 - (-14077)/14. Suppose -4*g = 201 + s. Let w = g + 431. Is w a multiple of 37?
False
Suppose 0*d = -y - d, -d + 8 = -3*y. Let v be y + 22/(-10) + 2/10. Does 45 divide 178/4 + v/(-8)?
True
Let u = -676 + 1530. Let t = u + -579. Is t a multiple of 11?
True
Let d be 529*(1 - (3 - 3))/1. Let s = 749 - d. Does 11 divide s?
True
Suppose 26*c = 33*c. Suppose c = -2*g + 191 + 115. Does 9 divide g?
True
Let y(j) be the second derivative of 23*j**3/3 + j**2/2 - 19*j. Let x(f) = 2*f - 1. Let n(v) = 6*x(v) - y(v). Is 9 a factor of n(-1)?
True
Let t = -35 + 59. Let m be 1/(18/t*(-4)/6). Is 14 a factor of 13/(1/(-28)*m)?
True
Let r(h) = -871*h + 31. Let u be r(-5). Suppose -16*f = -5*w - 18*f + u, 3*f = 4*w - 3495. Is w a multiple of 77?
False
Is (-26544)/(-49)*(159/6 - 2) a multiple of 168?
True
Let i(z) = -z**2 - 9*z - 9. Let h be i(-6). Let t be 9/(h/(-3)) - (-2)/(-1). Let r = 26 + t. Does 6 divide r?
False
Let y(t) = t**2 + 2*t - 12. Suppose -f + 5*u = f - 23, 3*u = -5*f + 42. Let m be 7*2 - f*5/15. Is y(m) a multiple of 12?
False
Let f = 36407 + -19758. Is f a multiple of 33?
False
Suppose -2*q - 6 = 4, 11 = 2*w + 5*q. Suppose i = -n - 4*n - 12, 4*i - 2*n - w = 0. Suppose -3*a - i*s = -156, 4*a = -5*s + 154 + 54. Is 12 a factor of a?
False
Suppose 0 = -4*q + a - 8, 2*q + 2 = q + 4*a. Is (q - 4/(-8))*(-113 + -7) a multiple of 10?
True
Let u(x) = 2254*x - 23. Let y be u(6). Suppose 27*h - y = -2701. Is h a multiple of 40?
True
Let o be 2 + (-8 - 12/(-2)). Suppose o = 10*l + 25 - 665. Does 7 divide l?
False
Let n = -11295 - -16997. Is n a multiple of 34?
False
Let v be -2*((-10)/50 - 7/(-10)). Let w(z) = -119*z + 10. Let h(q) = 60*q - 5. Let s(j) = 5*h(j) + 3*w(j). Is 23 a factor of s(v)?
False
Let h(r) = -r - r**2 - r - r**3 + r + 9. Suppose 49*f + 230 = 34. Is h(f) a multiple of 10?
False
Let l(w) = -w**3 + 18*w**2 - 15*w + 148. Does 47 divide l(8)?
False
Let a = 125069 + -83192. Does 27 divide a?
True
Suppose 0 = -30*m + 62544 + 47166. Is 6 a factor of m?
False
Let x = 33150 + -6024. Does 11 divide x?
True
Suppose -24 = -5*l - 3*l. Suppose 2*a = 3*o - l*a - 307, o = -4*a + 108. Is 10 a factor of o?
False
Let w(o) = -o**2 + o + 68. Let h be w(9). Is h*(537/4)/((-18)/6) a multiple of 15?
False
Suppose 0*u = 6*u - 24. Suppose -u*z = -11*z + 7. Let j(b) = 42*b**2 + 2*b. Is j(z) a multiple of 10?
False
Let x be 2/6*(-6 + 11 + -26). Does 51 divide (-329 + 2)/(x/(4 - -3))?
False
Let z be ((15 + -12)*(-5)/3)/(-1). Let m(y) = -y**2 + 16*y - 49. Is 2 a factor of m(z)?
True
Is 8 a factor of (47/(3290/(-2184)))/(3/(-700))?
True
Let x = -26 - -1762. Suppose 42*d = 40*d + x. Does 31 divide d?
True
Let b = -60 + 199. Let f = -106 + b. Suppose -f*y = -38*y + 15. Is y a multiple of 3?
True
Suppose 3*w + 13548 = 7*w + 4*k, 2*w - 6732 = 4*k. Is 26 a factor of w?
True
Let q(i) = 5*i**2 + 64*i - 239. Does 2 divide q(4)?
False
Suppose -4*v = 24, v - 7474 = 35*r - 37*r. Is r a multiple of 55?
True
Let s(a) = 6*a**2 - 2*a + 221. Is s(17) a multiple of 80?
False
Let x(k) = 17*k + 40. Let s(h) = -2*h + 9 + 3*h - 8. Let b(o) = 4*s(o) - x(o). Is 19 a factor of b(-14)?
False
Let j be 12/27 - 64/(-18). Suppose j*g - 716 = -0*m - 2*m, 3*m - 540 = -3*g. Is 53 a factor of g?
False
Let c(w) = -33*w - 8. Let n(q) = 33*q + 7. Let d(k) = 4*c(k) + 3*n(k). Let a be d(-6). Does 11 divide 3*a/3 + (-2)/(-2)?
False
Suppose -4*o - 2*j + 814 = 0, -2*j - 1031 = 3*o - 8*o. Does 3 divide o?
False
Let p(r) = 15*r - 6. Let o be p(2). Suppose 0 = n - o - 52. Is 6 a factor of n?
False
Let c(m) = -m**3 - 5*m**2 + m + 1. Let u(t) = t**3 + 6*t**2 - t - 1. Let r(x) = 4*c(x) + 3*u(x). Let p be r(-4). Let o = p - 11. Is 8 a factor of o?
False
Suppose 15*l - 20799 = 2*l + 125971. Does 27 divide l?
False
Let v(n) = -n + 4. Suppose -6*w + 5*w = 18. Let k be v(w). Suppose 4*s + 0*o - 23 = -o, o + k = 5*s. Is s even?
False
Is (-2)/(-6) - (1557152/(-96) - 2/(-3)) a multiple of 74?
False
Let q = 355 - 355. Suppose q = -74*p + 82*p - 3360. Does 10 divide p?
True
Let i = -539 - -322. Let d = i + 224. Is 7 a factor of d?
True
Let a = -175 - -541. Let l = -233 + a. Is l a multiple of 12?
False
Let g be (-19)/(-3) - (-6)/(-6 + -12). Suppose g*a = 2*a + 280. Does 13 divide a?
False
Suppose 1302*o - 18468 = 1299*o. Is 12 a factor of o?
True
Suppose -3*g - 5*r = 3, -3*g + 3*r = 15 + 12. Let y be 1016/5 + 44/(-20) + 2. Let s = g + y. Does 16 divide s?
False
Let f = 5 + -92. Let z = f - -90. Suppose 3*s + 34 = h + s, 2*h + z*s = 54. Is h a multiple of 7?
False
Let i = -1478 - -2973. Is 59 a factor of i?
False
Let g = 6277 + -6279. Let n(a) = 31*a**2 + 6*a - 3. Let t(c) = -93*c**2 - 17*c + 9. Let x(m) = -17*n(m) - 6*t(m). Is 24 a factor of x(g)?
False
Let w = 6082 + -1524. Does 51 divide w?
False
Let l be (-1)/9 + (-254)/(-18). Suppose -670 - l = -12*h. Does 19 divide h?
True
Suppose 2*t - 2*o = 156 + 4066, 0 = -3*t + 2*o + 6338. Is t a multiple of 46?
True
Suppose g + 445 = -3*g - 3*v, -4*g + 4*v = 480. Is 57 a factor of 32/(5/g*-1)?
False
Is 6 a factor of 1806 + 2 - (-7 - 19 - -16)?
True
Let m = -353 + 218. Let s = 187 + m. Is 24 a factor of s?
False
Let h(c) = 33*c - 63. Let v(d) = -5*d**2 + 57*d - 16. Let s be v(11). Is 8 a factor of h(s)?
False
Let y(v) = 19*v - 77. Let b be 4/(-3) - (-6 - (-28)/(-12)). Is y(b) a multiple of 14?
True
Let c = 173 + -380. Let y = 382 + c. Is 7 a factor of y?
True
Let u(k) = -2*k**2 - 17*k - 38. Let x be u(-5). Let y(r) = -103*r - 37. Is 17 a factor of y(x)?
True
Let q be (3/6)/(6/(-8))*-3. Suppose -5*w + 755 = 5*m, -5*w = -q*m - 0*w + 281. Suppose k = 2*z - k - m, -2*k = 0. Is 37 a factor of z?
True
Let y(t) = 2*t**3 + t**2 - 9*t - 3. Let d be y(-2). Suppose 5*u = -20, 726 = 5*a - d*u - 616. Is a a multiple of 5?
False
Let g = -30 - -26. Let v be (-174)/4 + -2 - (-6)/g. Let r = -7 - v. Is r a multiple of 8?
True
Suppose -24*m + 12 = -36. Suppose -u - 1564 = -4*p, p + 5*u = -0*u + 370. Suppose -p = -m*l - l. Is l a multiple of 19?
False
Does 61 divide 9/(-21) + ((-1)/(-4) - (-233382)/168)?
False
Suppose 8 = -2*v + 4*s, -s + 1 = 3*v - 4*v. Suppose f = -v*f + 4*k - 302, 5*f + 3*k + 455 = 0. Let x = 149 + f. Is 33 a factor of x?
False
Suppose -6*s = 440 + 22. Let h = 131 + s. Is 6 a factor of h?
True
Let y(d) = 11*d - 62. Let j be y(6). Let r = -10 - -10. Suppose r = -2*s - j*s + 336. Does 28 divide s?
True
Suppose 3*f + 5*j - 3180 = 0, -f = 16*j - 