-22008, 17619 = -2*q + 6*q + 5*n. Is q a multiple of 100?
False
Let n(c) be the third derivative of c**6/360 - c**5/60 + 4*c**4/3 - c**3/3 + 2*c**2. Let l(s) be the first derivative of n(s). Does 32 divide l(0)?
True
Suppose 52*s + 25*s - 5390352 = -11*s. Does 37 divide s?
False
Suppose -130853 = 50*j - 444153. Is 13 a factor of j?
True
Let w = -8 - -64. Suppose 3*r + 263 = 2*a, 3*r - 303 = -3*a + 114. Let n = a - w. Does 8 divide n?
True
Let s = 11728 + -9831. Is s a multiple of 3?
False
Suppose -25901 = -2*y + 3*m, -2463 = 3*y - 2*m - 41317. Is 7 a factor of y?
False
Suppose 5*t + 400 = 5*l, l + t = 6*l - 404. Suppose 3*d - l = -3*j, 3*j + 6 = d + 71. Does 2 divide j?
False
Suppose -2*o + 6 = 2*u, 10*o = 12*o + 5*u. Suppose 4*z - 74*m - 491 = -71*m, -o*z + 615 = -4*m. Does 17 divide z?
True
Let n = -221 + -172. Let m = -90 - n. Is 11 a factor of m?
False
Let v(k) = 3*k**2 - 271*k + 200. Is v(96) a multiple of 4?
True
Let z(o) = -53*o + 30. Let r be z(-5). Suppose -3*w + x = -415, 2*w = 4*w + 3*x - r. Does 14 divide w?
True
Let n = -1388 + 8561. Is n a multiple of 166?
False
Let a(p) = 19*p**3 - 6*p**2 + 3*p. Let g be a(2). Suppose 0 = j - 318 + g. Does 23 divide j?
True
Is (-7746)/(-10) - (-17 + 2024/115) a multiple of 15?
False
Suppose -5*j + 87 = -4*x - 276, -5*j + 372 = -x. Let o = j + -89. Let w(n) = 3*n**2 + 30*n. Does 24 divide w(o)?
True
Let b(a) = -4*a - 11. Suppose 0 = u + 5, 0 = 3*f + 4*u - 2 + 154. Let x = f + 38. Does 2 divide b(x)?
False
Suppose 0 = -6*k - 4*k + 5*k + 25155. Is k a multiple of 13?
True
Suppose -4*o - 592 = 4*l, -2*o - 748 = 3*o + l. Let h = -142 - o. Suppose h*s = 1 + 591. Is s a multiple of 9?
False
Let o = -2 - -8. Is (-3 - -2) + 152 + o a multiple of 21?
False
Let r = 1537 - 551. Is 17 a factor of r?
True
Suppose 2*q = -3*c + 55920, 1124*c - 74526 = 1120*c + 3*q. Is 12 a factor of c?
True
Let i(k) = -2*k**3 - 115*k**2 - 120*k + 113. Is i(-63) a multiple of 100?
False
Suppose 5*l - 33 + 28 = 0. Let t(r) = -7 + 95*r - l - 180*r + 1. Is t(-1) a multiple of 8?
False
Let v(r) = r**2 + 17*r - 15. Let j be v(-18). Suppose 3*d + t = -j*t + 1136, -d - 4*t + 368 = 0. Let x = -274 + d. Does 13 divide x?
False
Let l = 248 + -248. Suppose l = -i + 5*m - 208 + 628, 384 = i + 4*m. Is 25 a factor of i?
True
Let r = 8 + -23. Let f(q) = -q**3 - 16*q**2 - 15*q + 23. Let h(w) = w - 1. Let m(a) = -f(a) - 3*h(a). Is 6 a factor of m(r)?
False
Suppose 3*a + 0*w = -4*w + 1384, -2*a = 3*w - 922. Let y = a + -296. Does 24 divide y?
True
Let j = 317 + -407. Is 420/j*(-1 + -14) a multiple of 4?
False
Let k = 2393 - -7303. Does 96 divide k?
True
Let z = 39 - -56. Let w = -217 + 350. Let s = w - z. Is 19 a factor of s?
True
Let c(g) = g**2 + 3*g + 11. Let o be c(-7). Let i(u) = 3*u + u + 4*u - o + 11. Is i(12) a multiple of 34?
True
Let j = -22 - -11. Let u = j - -21. Is 5 a factor of u?
True
Let i = 14630 + -7391. Does 19 divide i?
True
Suppose j - 154 = l, 2*j - 589 = -2*j - 5*l. Let y = 12 + 41. Let c = j - y. Is 14 a factor of c?
True
Suppose 6 = -0*u + 2*u + t, 2*u - 6 = -3*t. Suppose -u*b - y + 293 = 0, 172 = 2*b + y - 5*y. Is b a multiple of 24?
True
Suppose 6*p = -6*p - 1584. Let b = 196 + p. Is b/24*(-66)/(-4) a multiple of 11?
True
Let a be (-3)/(-4) + 10/40. Suppose 4*d = -y + 13, -26 - a = -3*d + 5*y. Suppose -d*l - 184 = -4*t - 48, -5*l - 50 = -t. Is 6 a factor of t?
True
Let b = -10 - -28. Let l be ((-30)/(-18))/(2/b)*2. Let x = l + 171. Is x a multiple of 48?
False
Let n(x) = -x**2 + 11*x - 13. Let u be n(9). Suppose -35 = -5*j + 5*t, 0 = -4*j - u*t + 2*t. Suppose -j*m = 4*l - 220, -28 = -4*l + m + 176. Does 8 divide l?
False
Let r be ((-2)/4)/((-3)/18). Let o(g) = 14 + 92*g + 95*g + 6*g**2 + 0 - 189*g + g**r. Does 3 divide o(-4)?
True
Suppose 22*p = 18*p + 24. Let x be 387/36 + p/(-8). Suppose 0 = -2*k - x, -5*a - 2*k + 0*k = -540. Is 19 a factor of a?
False
Let s be (9 - (2 + 8))*(0 + -5). Suppose -3*x - 5*k = -6*k - 41, -3*k + 59 = s*x. Does 2 divide x?
False
Let s be (-15)/10*1290/(-9). Suppose -4*l + 2880 = 3*f, l - 935 + s = -4*f. Is 30 a factor of l?
True
Let o be (-8)/(-3)*12/(-8). Let a(q) be the first derivative of 2*q**3/3 - 3*q**2/2 + 4*q + 104. Is 13 a factor of a(o)?
False
Let p be (-1118)/(-7) + (-4)/(-14). Let s = 4687 + -4371. Let r = s - p. Does 13 divide r?
True
Does 12 divide 2817985/285 - 6/9?
False
Suppose -111*n = -107*n - 16. Does 15 divide -5 + 154 - 8*2/n?
False
Let j be 4*-1 + (1 - 3). Let q be 3/j + (-52)/(-8) + -3. Suppose -q*p + 360 = 7*p. Is p a multiple of 36?
True
Let d(i) = 11*i - 63. Let s be d(9). Is s*1*7/21 a multiple of 2?
True
Suppose 5*m + 7 = -f + 4, 2*f + 6 = 3*m. Does 24 divide 8*(-13)/312 + (-1585)/f?
True
Does 12 divide 7 - ((-39939)/(-3))/(-3 - -2)?
True
Suppose 3*a + 2 + 10 = 4*h, -h + a + 4 = 0. Suppose -3*x - 3*o - 378 = -0*o, h = -4*x + 3*o - 504. Is 9 a factor of (-2)/((-7)/x*(-8)/6)?
True
Let v(x) = 3*x**3 - 11*x**2 - 50*x + 354. Is v(12) a multiple of 26?
True
Let g be (-42)/(-70) + (-36)/10. Let v be -3 - g/3*23. Suppose -27 = v*k - 21*k. Is 13 a factor of k?
False
Suppose 1305 = l + 2*m, -4*l - l = -2*m - 6561. Suppose 801 = 12*b - l. Is b a multiple of 16?
True
Let p(b) = 19*b - 65 + 34 + 44. Let z be p(5). Let v = z - -50. Is v a multiple of 28?
False
Does 15 divide (2 - 3) + -26 + 5835?
False
Let y(t) = -t**2 + 6*t + 1. Let d be y(0). Let f(c) = 286*c**3 - 3*c**2 + c. Let i be f(d). Let p = i - 185. Is p a multiple of 33?
True
Let x = 45021 - 34728. Is x a multiple of 23?
False
Suppose q = 24*q + 46. Let m(i) = -365*i + 55. Is 78 a factor of m(q)?
False
Let h be ((-18)/24)/(9/(-24)) - -2. Suppose -h*l + 5*c = -1088, 4*c = 5*l - 512 - 839. Is 13 a factor of l?
False
Let h be ((-90)/(-4))/((-51)/(-442)). Suppose -7*l = -2*l + 225. Let u = l + h. Is u a multiple of 10?
True
Suppose -71*d - 163512 = -107*d. Is d a multiple of 6?
True
Let o = 2552 - 1755. Suppose o - 23404 = -13*z. Is z a multiple of 47?
True
Suppose 158 = 6*i + 158. Suppose i = 12*k - 3*k - 7002. Is k a multiple of 46?
False
Suppose 1054 + 2917 = 12*g - 2113. Does 9 divide g?
False
Is (-400)/6*(-6612)/232 a multiple of 7?
False
Let t = -49 + 50. Let u be 4 - (30/18 + t/3). Suppose -u*o = g + 2 - 51, 2*o = 3*g - 147. Is 5 a factor of g?
False
Let j be 227/1 - (1 + -3). Let t = -211 + j. Is 2 a factor of t?
True
Let g be (9 - 2799/(-45))/(1/10). Suppose -o + g = 4*b, -3*o + o = -3*b - 1435. Is 67 a factor of o?
False
Let z(s) = 4*s - 17. Let k be z(6). Suppose t - k - 1 = 0. Suppose 0 = -7*q + t*q - 15. Is 15 a factor of q?
True
Let j(p) = -p**2 - 5*p - 2. Suppose -y + 0 = 3. Let n be j(y). Suppose x - 3*h - 81 = 28, n*h - 81 = -x. Does 8 divide x?
False
Let x be 4 - (-1)/(-5)*5. Suppose 5*j - 372 = -x*b, 4*j + b = 66 + 226. Does 6 divide j/10 + 5/(-25)?
False
Suppose 379 - 29 = -3*z - 4*x, x = z + 119. Let p = 3277 - 3135. Let u = z + p. Does 8 divide u?
True
Let z = 13421 - 6537. Is z a multiple of 60?
False
Let v = 154 + -108. Let m = -120 + 122. Suppose -3*q - 3*u - v + 154 = 0, 5*q = m*u + 208. Does 20 divide q?
True
Let c(a) = -1742*a - 811. Is 53 a factor of c(-9)?
False
Let n(h) = -29*h + 16. Let l be n(3). Let b = -63 - l. Suppose b*f + 246 = 10*f. Is 41 a factor of f?
True
Let j(w) = 2*w**2 + 3. Let c be j(0). Suppose -k + 2*y + 2 = 0, 0*k - c*k - 3 = 3*y. Suppose l + 5*o - 12 = -k, 82 = 5*l + 3*o. Does 17 divide l?
True
Suppose -4 = -2*a + a - n, 4*n - 16 = 5*a. Suppose 0 = -a*g + g - 2, 2*c = 2*g + 696. Is 10 a factor of c?
True
Suppose 5*x = 2*n + 45, n = -3*x - 1 + 17. Suppose -x*d - 108 + 1536 = 0. Is d a multiple of 51?
True
Suppose -3*c + 0*p = -2*p - 19, 5*p + 37 = 4*c. Suppose -c*w + 4*g + 418 = 0, -259 - 157 = -3*w + 2*g. Does 8 divide w?
False
Is 62 a factor of ((-28)/84)/(1/(-24837)) + -2?
False
Let z = -15342 + 18691. Is z a multiple of 230?
False
Let k(g) = 4*g**2 - 2*g + 55. Let t(j) = 11*j**2 - 6*j + 165. Let r(s) = -8*k(s) + 3*t(s). Is 51 a factor of r(24)?
False
Let l be 21/(2/5*45/18). Suppose -5*v + 1825 = 5*c, -l*c - 1065 = -3*v - 18*c. Is v a multiple of 20?
True
Let x(y) = -31*y**3 - 3*y**2 - 8*y - 9. Let t be x(-3). Suppose 5*a - 5*s + s - t = 0, s = a - 165. Is a a multiple of 55?
True
Suppose c + 2*n - 162 = 0, 2*n = c - 106 - 68. Is 14 a factor of c?
True
Suppose 0