2)?
True
Is 3 a factor of (-7)/((-147)/28) + 2404/6?
True
Let i be -2 + -1 - 0 - (-13 + 3). Suppose 5*d = -5*u + 675, 0 = i*u - 2*u - 5*d - 645. Is 33 a factor of u?
True
Let n(t) = -2*t**2 + 5*t - 12. Let p be n(7). Let i = 120 + p. Is 15 a factor of i?
True
Let p be (-2 - -1) + (-36)/6. Does 7 divide (6/((-6)/p))/1?
True
Let c(x) = -2*x**3 + 3*x - 12. Let r be c(-8). Let z = r - 552. Does 56 divide z?
False
Let v(l) = l**3 - 6*l**2 + l + 2. Let d be v(6). Suppose -2*c = d - 68. Let u = c - 7. Does 13 divide u?
False
Let f = 46 - 45. Does 14 divide f/(((-1)/(-26))/((-19)/(-2)))?
False
Let g = -287 - -737. Is 18 a factor of g?
True
Suppose -33157 = -34*m + 15463. Is m a multiple of 35?
False
Suppose 12 = 5*m - 3*m. Suppose 0 = c + n + 4*n + m, 0 = 4*n + 20. Let a = c + -17. Does 2 divide a?
True
Let u = -13 + 13. Suppose u = x + 4*q - 24, -x + 4*x - 128 = 2*q. Suppose -z - 5*p + x = 2*z, 2*z = 5*p - 15. Is 2 a factor of z?
False
Suppose 0 = 4*j - 3*v - 5945, -3835 = 5*j + 4*v - 11243. Is j a multiple of 10?
False
Suppose -482 = 4*p - 2*i - 70, 0 = 2*p + i + 214. Let k = p + 161. Is 23 a factor of k?
False
Let m be 158 + -1*(-1)/(-2)*2. Suppose 7 = -2*c + m. Is c a multiple of 5?
True
Let k be 9/(-6) - 1656/(-16). Let u be (-4 + 0)/((-6)/k). Suppose -4*d - u = -6*d. Is d a multiple of 34?
True
Suppose s - k + 22 = k, -2*k = s + 18. Let r be (-2 + 1)/(4/s). Suppose 0*z + 3*z - 39 = -r*u, -10 = -2*z + 2*u. Does 6 divide z?
False
Let w = -753 + 1425. Does 21 divide w?
True
Suppose 3*z + 5*p - 18 + 0 = 0, -4*z - 11 = -5*p. Suppose 2*i - 3 = z. Is i/(-17) - 2864/(-68) a multiple of 14?
True
Let n = 767 - 742. Is n a multiple of 7?
False
Suppose 0*y + 260 = -2*j - 3*y, -2*j - 262 = 2*y. Let m = j - -221. Is 15 a factor of m?
False
Let q(y) = y**3 + 2*y**2 + 249. Is q(0) a multiple of 12?
False
Let j(n) = n**3 - 7*n**2 + 2*n - 17. Let s be j(7). Let z(h) = h + 2*h**2 + 0*h + 0*h**2 + 7. Does 11 divide z(s)?
True
Suppose 4*a = -3*s + 1171, 0 = 5*a - s - 0*s - 1440. Let u = a - 169. Is 30 a factor of u?
True
Let r be (-1 + 30/(-9))*-6. Let k = r + -22. Suppose -5*j + 59 - 19 = k*c, -3*j - 3*c + 24 = 0. Is j a multiple of 4?
True
Let g(w) = 3*w**2 - w. Let k be g(1). Suppose 3 = -d - 5*f, 2*d + k*f + 2*f - 6 = 0. Suppose 0 = d*j - j - 102. Is j a multiple of 17?
True
Let d = -328 + 458. Is 2 a factor of d?
True
Let w = -207 + 1119. Does 48 divide w?
True
Let s(n) = 4*n**2 + 6*n - 6. Let g(f) = -5*f**2 - 3*f - 2. Let p be g(-1). Does 3 divide s(p)?
False
Let a(h) = 86*h - 27. Does 13 divide a(5)?
True
Let n(l) = l**3 - 4*l**2 + l + 4. Let y be 10*(-1 - 28/(-20)). Let h be n(y). Let a(r) = -r**3 + 10*r**2 - 11*r + 10. Is a(h) a multiple of 23?
False
Suppose 3*k = 3, -5*f + 35*k - 37*k + 182 = 0. Does 6 divide f?
True
Let a(d) = -3*d - 9. Let o be a(-6). Suppose -2*x + 4 = 0, 4*y - 5*y = -2*x + 4. Suppose y = -0*c - o*c + 171. Does 7 divide c?
False
Let v = -52 - -27. Let a = 21 + v. Is (-44)/a - (-4)/(-2) a multiple of 9?
True
Is (-1527 - (-5 - (6 + -8)))*-2 a multiple of 12?
True
Let d(l) = 18*l - 1 - 16*l + 33*l. Suppose 3*c - 6 = -3*c. Does 21 divide d(c)?
False
Let m(i) = -20*i**2 - 3*i - 3. Let o(q) = 41*q**2 + 5*q + 5. Let c(d) = -5*m(d) - 2*o(d). Let b be c(-3). Suppose 6*g - 10*g = -b. Is 19 a factor of g?
True
Suppose -3*a + 4*k = -2020, k = -a + 6*k + 655. Is 40 a factor of a?
True
Let z = -3 - -5. Suppose 3*i + 650 = -z*i. Let r = -66 - i. Is r a multiple of 32?
True
Suppose -202 = -l + 4*n, 5*n = -0*l - l + 238. Is 15 a factor of l?
False
Let w(o) be the third derivative of o**5/30 + 3*o**4/8 + o**3/3 - o**2. Is w(-11) a multiple of 29?
True
Let q = 241 - -32. Is q a multiple of 39?
True
Let a(o) = 5*o**2 - 6*o - 27. Suppose 3*h - 4*d = -1, -d = 1 + 4. Does 20 divide a(h)?
True
Suppose -2*m - 11110 = -3*t, -3*t + 11090 = 29*m - 27*m. Does 20 divide t?
True
Suppose 0 = 5*m + 8*t - 10*t - 666, -411 = -3*m + 5*t. Does 11 divide m?
True
Let z(l) = -19*l - 222. Does 59 divide z(-46)?
False
Let k(j) = -4*j**3 + j**2 + 6*j + 4. Is k(-4) a multiple of 18?
True
Let q be 11/(((-3)/(-12))/1). Suppose -q = -12*v + 292. Is 14 a factor of v?
True
Is 14 a factor of 105/(-18)*3*(-92)/5?
True
Suppose -54*m = -53*m - 34. Does 3 divide m?
False
Let c(s) = s**3 + 11*s**2 + 8*s + 36. Does 41 divide c(-8)?
True
Suppose -4*l + 2*a + 68 = 0, -5*l - 2*a + 70 = 3*a. Is l/(-24) + 434/3 a multiple of 28?
False
Suppose 3*q + 2*v - 356 = 0, 9*q - 14*q + 5*v = -635. Is q a multiple of 20?
False
Suppose -4*v = -2*t - 66 - 28, -3*t = -3*v + 63. Let g be v*(-7)/(21/9). Let a = 215 + g. Is a a multiple of 23?
False
Suppose -4*v + 639 = 5*v. Is 17 a factor of v?
False
Let x = 2887 - -957. Is x a multiple of 30?
False
Let u = 15 - 1. Suppose 0 = -3*d - q - 4*q + 98, 0 = d - 4*q - 27. Let y = d - u. Is y a multiple of 14?
False
Does 6 divide (-2)/(-2) + 3 + 186?
False
Let o = 5294 + -1574. Is o a multiple of 18?
False
Let b(z) = -34*z + 22. Let q be b(6). Is 27 a factor of q*(-21)/12 - (-1)/2?
False
Suppose 5*u = -5*m + 50 - 10, 0 = 4*m + 3*u - 29. Suppose 104 = b - 3*n, m*b - 2*n - 466 = b. Does 10 divide b?
False
Is 3 a factor of 6/((-270)/(-9445)) + 9/81?
True
Let q(m) = m + 22. Let x = 0 - 16. Let a be q(x). Suppose -u - a*u + 210 = 0. Is 6 a factor of u?
True
Suppose -9 + 7 = -a. Suppose -4*x - 19 = a*c - 147, -68 = -c + 2*x. Does 18 divide c?
False
Suppose -3*u - 338 - 182 = -4*t, 0 = t - 2*u - 125. Does 25 divide t?
False
Suppose -2*g + 1830 = 4*t, -5*t - 6*g = -4*g - 2290. Is 63 a factor of t?
False
Let n = -6673 - -9755. Suppose 3*k = -4718 - n. Is 11 a factor of (-4)/18 + k/(-117)?
True
Suppose 1 - 11 = -5*v. Suppose -174 = -3*n - 2*s + 5*s, -3*n - v*s + 184 = 0. Does 20 divide n?
True
Let b(x) be the first derivative of x**6/72 + x**5/60 + x**4/8 - 4*x**3/3 + 9. Let n(z) be the third derivative of b(z). Does 18 divide n(3)?
True
Is 10/(-4) - (7 - 415/10) a multiple of 15?
False
Let z(h) = 3*h**3 - 13*h**2 + 14*h - 3. Let s(w) = -16*w**3 + 66*w**2 - 71*w + 14. Let c(u) = 2*s(u) + 11*z(u). Does 5 divide c(10)?
True
Let l(j) = j**3 - 12*j**2 + 10*j + 32. Does 2 divide l(11)?
False
Let k = 14721 - 8285. Does 17 divide k?
False
Let r = 433 - 166. Does 10 divide r?
False
Let n = 381 + -64. Is 23 a factor of n?
False
Let q(h) = -6*h - 13. Is 44 a factor of q(-43)?
False
Suppose 0 = -5*p - 5*k, 3*p - 20 = 4*k + 1. Suppose -u - p + 36 = 0. Is u a multiple of 23?
False
Suppose 124 = -8*s + 4*s. Let t = 36 + s. Suppose -3*q + 5*v + 17 = q, -5*q - t*v = -55. Is 8 a factor of q?
True
Let o = -29 - -31. Let g = 12 + -8. Suppose -g*h = o*u - u - 45, 0 = u + 5*h - 48. Is u a multiple of 8?
False
Let g(y) = 6*y + 45. Is g(-6) a multiple of 3?
True
Let j(w) = 2*w**3 + 53*w**2 + 16*w + 55. Is j(-26) a multiple of 45?
True
Let y = 155 - 111. Let q = 24 + y. Does 21 divide q?
False
Let c(x) = x**2 - 5*x - 81. Is c(16) a multiple of 19?
True
Let a(x) = -214*x + 532. Is 50 a factor of a(-12)?
True
Suppose 0 = 7*m - 3*m. Suppose m = f + 5*k - 2 + 4, -9 = 3*k. Does 2 divide f?
False
Let x = -228 + 723. Does 33 divide x?
True
Suppose 7*a - 1012 - 500 = 0. Is 9 a factor of a?
True
Let z = -112 + 180. Does 17 divide z?
True
Let t be 2/4*182*2. Suppose 4*d - t = 330. Is 16 a factor of d?
True
Let w(o) be the first derivative of -o**4/4 + 2*o**3 + o**2/2 - 6*o - 8. Does 8 divide w(5)?
True
Suppose 2*s - m = 1026 + 326, 1352 = 2*s + 2*m. Is s a multiple of 21?
False
Let h(k) = -k**3 + k**2 + 4*k + 1. Let a be h(3). Let f = a + 16. Is 6 a factor of (58/2)/(f - 10)?
False
Suppose 12*p = -211 + 1363. Is p a multiple of 96?
True
Is 14/119 - 9582/(-51) a multiple of 14?
False
Let k(m) = 29*m**2 - 39*m + 50. Is 11 a factor of k(-7)?
False
Let p(o) = 4*o - 3. Let k be p(7). Suppose 0 = 4*v - 645 + k. Does 31 divide v?
True
Let u be -3 + 3*3/1. Let c be ((-21)/u)/(4/(-8)). Suppose -c*s = -107 + 2. Is 15 a factor of s?
True
Let i(v) = -v - 7. Let y be i(-4). Let k be 1/(304/(-100) - y). Let o = k - -59. Does 15 divide o?
False
Suppose -j = -5*l, -4*l + j = -9*l. Suppose l = 2*b - 108 + 18. Does 9 divide b?
True
Let b = -657 - -921. Let i be 1/(-2) + b/16. Suppose -3*z + 106 - i = 0. Does 15 divide z?
True
Let t be 1/(10/722) - 12/60. Suppose 63*r = t*r - 1395. Does 31 divide r?
True
Let v = 28 + -68. Let 