+ 2. Let s be t(23). Suppose v - 128 = -4*p, 3*v + 2*v + s*p = 658. Does 12 divide v?
True
Suppose -1419 - 275 = 11*g. Let b = 167 + g. Is 2 a factor of b?
False
Suppose -4*h = 2*x - 16, 4 + 0 = 5*x + h. Suppose -4*r - 2*i + 1700 = x, -16*r = -12*r - i - 1706. Does 46 divide r?
False
Suppose -4*l + 1637 = -5*t, -2*t - 4*l = l + 635. Let m be 20/(-10 + 5) - t. Suppose -r + 165 = 3*b, r = -r - 3*b + m. Is 52 a factor of r?
True
Let y(g) = g**3 + 4*g**2 - 2*g + 361. Suppose 5*t - t = -6*t. Is 73 a factor of y(t)?
False
Suppose -4*l = 3*q - 18175 - 10027, -l = -2*q + 18794. Does 37 divide q?
True
Suppose -44 = -26*p + 8. Suppose -p*n + 4*f + 1400 = 0, 3*n + 5*f + 703 = 4*n. Is 15 a factor of n?
False
Suppose 48*h + 3*m = 51*h - 51276, -51241 = -3*h - 2*m. Is h a multiple of 13?
False
Suppose -15*q = -24*q + 36. Let g(l) = 15*l**2 - 3*l + 13. Is g(q) a multiple of 15?
False
Suppose -18*l = -2*l - 80. Suppose -74 = -4*c + l*x, 3*c = 4*c - 3*x - 15. Is 6 a factor of c?
False
Suppose w + 2 = -20. Suppose -11*a + 3 = -14*a, 0 = -5*g + 2*a + 177. Let j = w + g. Is 13 a factor of j?
True
Suppose -2*t - g = -2871, 2*t - 4*g - 2875 = -g. Suppose -59 = 17*h - t. Is 81 a factor of h?
True
Does 71 divide 138/6*(246 + -5)?
False
Suppose 0*q = -2*q - 4, -5*q + 2 = d. Let m be d/20 + 1368/(-5). Does 12 divide 42/m - 1/((-26)/1252)?
True
Suppose 5*q - 655600 = -95*q. Is q a multiple of 44?
True
Let p = 895 + -894. Suppose 5*f - 4 + 39 = 0. Is 3756/(-112)*-4 + p/f a multiple of 9?
False
Let k(f) = 134*f**2 + 10*f - 9. Let v be k(3). Suppose -4*q + 7*q - v = -3*h, -3*q = h - 1233. Is 68 a factor of q?
False
Let f be 20/25*(2 + (-1)/(-2)). Let b(s) = 44*s**2 - 16 - 5*s - 5*s - 52*s**f - s**3. Is 8 a factor of b(-8)?
True
Let g(x) = -81*x**2 + 4*x + 14. Let p be g(-2). Let y = -142 - p. Is y a multiple of 22?
True
Let y = 14 + 126. Is y/15*(-6)/(-4) a multiple of 14?
True
Suppose -4 = -2*c - 0*b + 4*b, c = 4*b. Suppose 6*t - c*t + 598 = 4*s, 2*s = -2*t + 290. Is -3*(-8)/(-60) + s/20 a multiple of 7?
True
Let q(i) = 12072*i**2 - 77*i + 151. Is q(2) a multiple of 15?
True
Suppose 201*q - 513182 = -29*q + 583918. Is q a multiple of 55?
False
Suppose 0 = -2*l - k - 1 - 4, 3*l = 3*k + 15. Does 16 divide 251 + 9 + (l - 2)?
False
Suppose 2054 = 2*p - 5*t, 0 = -3*p + 2*t - t + 3081. Is p a multiple of 3?
False
Suppose 731 = -24*x + 5771. Let d = x + 96. Is d a multiple of 18?
True
Let t be (-6)/(-8)*(1 + 711). Let s(k) = -13*k**3 + 2*k**2 + 7*k + 24. Let d be s(-3). Let f = t - d. Does 27 divide f?
True
Let t(r) = 30*r + 5139. Is t(5) a multiple of 9?
False
Let m = -1225 + 2983. Let b = 2473 - m. Is 55 a factor of b?
True
Does 57 divide 18005/4 - (-135)/180?
False
Suppose -4*p + 179 = 171. Let c be 168*(25/15 - 1). Suppose 0 = -p*n - 8, n - c = -3*r - n. Is 8 a factor of r?
True
Let x(i) = 3*i**2 + 4*i + 10. Let t be x(-3). Suppose -3*b - 74 = -s - s, 5*s = -t. Let a = b + 177. Is a a multiple of 28?
False
Let n(t) be the first derivative of -t**4/4 - 29*t**3/3 - 53*t**2/2 + 81*t - 198. Is n(-27) a multiple of 9?
True
Suppose -81*g - 3248 = -97*g. Suppose -5*u + 4*w + 991 = 0, -21*u + 20*u + 2*w + g = 0. Is u a multiple of 15?
True
Let g(o) = -o**2 + 38*o - 127. Let r be g(34). Suppose -2*n + r*n - 1890 = 0. Is 18 a factor of n?
True
Suppose -4*d + 38 = 5*f - 2, 2*f = 8. Suppose d*w - 1608 = -3*v, -v + 0*w - w + 536 = 0. Is 67 a factor of v?
True
Let n(k) = 14*k + 1175. Is 47 a factor of n(0)?
True
Is 18 a factor of 21430848/1173 + 4/(-34)?
True
Does 16 divide (-24)/(-56) - (-8288437)/287?
True
Let d be (15/3 - -397)*1/2. Suppose -2*k + d = 2*k + q, 198 = 4*k - 2*q. Is k a multiple of 5?
True
Suppose 14 = 3*l + 4*j, 3*j = 2 + 4. Suppose 0 = -3*g + l*i + 23, -g - 5*i - 18 + 3 = 0. Is 2/2 - (-183 + g) a multiple of 34?
False
Does 45 divide -8 + -1 - (-843 - (-252)/(-12))?
True
Let y be -119 + 2 + -5 + 0. Does 7 divide y*((-35)/10 - 0 - -3)?
False
Suppose 169 = -7*x - 118. Let j = -35 - x. Does 12 divide 44/j*-9*(-2)/4?
False
Suppose -4 - 20 = -12*l. Suppose -274 = -2*i - 2*r, -2*r + r + 272 = l*i. Is i a multiple of 5?
True
Suppose -17*k - 5*n + 27299 = -13*k, -13677 = -2*k + 3*n. Does 33 divide k?
True
Let k(g) = -492*g + 4930. Does 25 divide k(-10)?
True
Suppose 6*k - 5*c = 5*k, 4*k - 4*c = -16. Let s be (0/(4 - (-3 - k)))/2. Suppose s = -9*j + 466 - 16. Is j a multiple of 3?
False
Let r(p) be the first derivative of 16*p**3/3 - 6*p**2 + 17*p - 77. Is r(-6) a multiple of 27?
False
Let v(b) = 2*b - 1. Let j(g) = g**2 - 2*g - 57. Let d(p) = -j(p) + v(p). Is d(0) a multiple of 14?
True
Suppose 5*k - 2*f = 6290, 35*k - 2*f = 31*k + 5030. Is 4 a factor of k?
True
Is 111 a factor of (21 - 8 - 28) + 32427?
True
Suppose 0 = 24*n - 5829 - 32859. Is n a multiple of 52?
True
Suppose 2*o - 2*x = 44, 2*x + 15 = -4*o + 85. Suppose o*h - 1174 = 1011. Is 23 a factor of h?
True
Let h = -8852 - -15175. Does 57 divide h?
False
Let r(d) = -d**2 - 11*d - 6. Let v = -12 + 16. Suppose -2*t - v*u = 12 + 28, -35 = 5*t - 3*u. Is 3 a factor of r(t)?
False
Let x be 0 - (3 - (9 - (0 + 3))). Suppose p = 5*h - 2287, -x*h = -5*h + p + 916. Let q = h - 320. Is q a multiple of 27?
False
Let y = 108 - 102. Suppose y*d = -3*d + 882. Let k = 152 - d. Is 9 a factor of k?
True
Is 20 a factor of ((-5)/((-10)/(-23652)))/(15*8/(-120))?
False
Suppose 24*g = 31*g - 14. Suppose -g*f = 4*x - 572, -4*f - x + 1144 = -6*x. Is 11 a factor of f?
True
Let v(z) = 112*z**2 + 4*z + 14*z**2 - 4*z. Let m be v(1). Suppose 4*y = 2*i + 198, i - 4*i + m = 3*y. Is 21 a factor of y?
False
Suppose 12*f - 3100 = 1232. Let a = f + -234. Is 6 a factor of a?
False
Is 55800/340 - -17 - 6/51 a multiple of 5?
False
Suppose -x + 57 = -4. Let g = x + 8. Does 7 divide g?
False
Suppose -4*l + 4 = -4, -4*c - l = -158. Suppose -34*x = -c*x + 490. Suppose -i = 6*i - x. Is 12 a factor of i?
False
Let h = -3778 - -21652. Does 51 divide h?
False
Let d = 29 - 27. Suppose -c - d*c + 940 = 4*g, 4*g = c + 924. Let l = g + -29. Does 38 divide l?
False
Suppose 0 = -2*k + 3*m + 32151 + 72498, -4*k + 5*m + 209301 = 0. Is k a multiple of 10?
False
Let j = -290 - -310. Suppose 5*w = j, 2*w + 552 + 66 = f. Does 13 divide f?
False
Let t be ((-6)/(-15))/((24/(-15))/(-4)). Suppose 3*n - 166 = -4*d, 2*n + 3 = -t. Let j = d - 15. Is 16 a factor of j?
False
Let a(y) = -y**2 + 7*y - 9. Let u be a(5). Suppose 9*g = -s + 4*g - 23, g - u = -3*s. Suppose 0*m = -m + 5*t + 36, -s*m = -2*t - 40. Does 4 divide m?
True
Suppose -99 = -42*h + 9*h. Suppose 8*o + a - 762 = 3*o, -466 = -h*o - 5*a. Is 31 a factor of o?
False
Suppose 5*i + 5*z - 531 = 3*i, -4*i + 1137 = -5*z. Let w = i - 184. Is w a multiple of 16?
False
Let h(f) = -49*f**3 - 14*f**2 + 79*f + 567. Does 12 divide h(-6)?
False
Let o = 2363 + 2384. Does 101 divide o?
True
Suppose -3*s + 5*s = -10, -4*k - 3*s - 51 = 0. Let n = k + 9. Suppose 5*j - 50 = -n. Does 8 divide j?
False
Suppose -2*t + 6 = -2*q, -4 = 4*t - q - 1. Does 23 divide 23/t*10*-2?
True
Let n(f) = f**3 - 20*f**2 - 29*f - 13. Let l be n(22). Let w = 445 - l. Is w a multiple of 19?
False
Let y(k) = k**2 - 10*k - 8. Let z be ((-3)/2 + -1)/(20/(-40)). Suppose 2*f = -2*v + 30, -5*f + z*v + 5 + 40 = 0. Does 8 divide y(f)?
True
Let s = 30716 - 2204. Is s a multiple of 22?
True
Let a(q) = -2. Let z(u) = 12*u + 10. Let c(d) = 4*a(d) + 2*z(d). Is 21 a factor of c(10)?
True
Let p(x) = 6*x**2 - 2*x. Let t be p(-1). Suppose -3*o = -t*o + 365. Suppose 0 = -i + 5*k + o, 4*i - 5*k - 324 = -k. Does 6 divide i?
False
Let l(q) = 28*q - 49. Let s(b) = b - 1. Let m(i) = l(i) - 5*s(i). Is 28 a factor of m(10)?
False
Let c = 220 - 192. Let m be -20*(-2)/(24/21). Suppose -c*n = -m*n + 812. Is n a multiple of 29?
True
Does 3 divide -166 - -153 - -7*64?
True
Does 13 divide ((-66874)/116)/(-1*(-2)/(-28))?
False
Suppose 22*d = 76*d + 56*d - 35310. Is d a multiple of 8?
False
Does 173 divide 17832 + (180/(-18) - 3)?
True
Suppose 2*d - 1647 = 2979. Is 3 a factor of d/42 + 19/(-266)?
False
Suppose 6*j + 12 = 24. Suppose 0 = -5*s + 3*v + 300 + 233, 5*s + j*v = 553. Does 3 divide s?
False
Let l = 677 + -316. Suppose l = 7*k - 136. Suppose k*s + 216 = 73*s. Is 12 a factor of s?
True
Let u(i) = -i**3 + 94*i**2 + 51*i - 211. Is 8 a factor of u(89)?
False
Let v = 20742 - 20283. Is v a multi