c - w = -3*c, 3*r + c - 134 = 0. Is 11 a factor of r?
True
Suppose -y - 2 + 7 = 0. Let z(f) = f**3 + 24*f**2 + 24*f + 26. Let a be z(-23). Suppose 0 = 3*n - 1 - y, -a*w + 17 = n. Is w a multiple of 5?
True
Let k(f) = 19*f - 3. Let j(a) = 19*a - 4. Let r(s) = 5*j(s) - 6*k(s). Let c(p) = 799*p + 85. Let l(v) = -2*c(v) - 85*r(v). Does 17 divide l(4)?
True
Let i = -34 - -74. Is i a multiple of 8?
True
Suppose -125 = 2*u - 221. Does 30 divide u?
False
Suppose 47*l - 81355 - 61055 = 0. Is l a multiple of 10?
True
Let l = 371 - 297. Is 5 a factor of l?
False
Suppose 0 = -2*q, 5*k + q + 3*q = 20. Let p be (-8)/k - (-2)/(-2). Let x(l) = -12*l. Does 21 divide x(p)?
False
Let z = 12 - 4. Let l = 8 - z. Suppose -3*t + 65 = -2*t - 3*h, l = 4*h - 4. Is t a multiple of 17?
True
Let q(m) = m**3 + 10*m**2 - 13*m - 21. Let i = -82 + 73. Does 48 divide q(i)?
False
Suppose 0 = 2*p - 193 - 47. Does 29 divide (-1 - 3) + p + 0?
True
Is 9696/7 - (-1470)/1715 a multiple of 4?
False
Let w be -2 + (-11)/(-2)*6. Let j = 67 - w. Is 7 a factor of j?
False
Let f(j) = -15*j**2 + 293*j - 11. Is f(19) a multiple of 18?
False
Let k = 0 + -33. Let a = -17 + k. Is (a/(-2))/(-1)*-1 a multiple of 7?
False
Suppose -6*m = -2*m - 360. Is (-2)/(-5) - (-14454)/m a multiple of 12?
False
Suppose 0 = -m + 4 - 2. Suppose m*a = 2 + 8. Suppose -b = -4*s + 127, -2*s + a*b = -s - 46. Is 9 a factor of s?
False
Is 24 a factor of 152/24 + -7 + 6603/9?
False
Does 4 divide (-262)/(-1703) - 8123/(-13)?
False
Let d(g) = -g**2 - 16*g - 18. Let z be d(-14). Let h(l) = 2*l**2 - 16*l. Is 20 a factor of h(z)?
True
Let k = 214 - -1063. Does 47 divide k?
False
Suppose -4*h + 31 = 7. Suppose 18 = 2*n - 4*q, 0 = -2*n - 2*q + h - 0. Let y(u) = u**2 - 2*u. Does 15 divide y(n)?
True
Suppose 0 = -196*c + 195*c + 239. Is 22 a factor of c?
False
Suppose 3*u - 2196 = 67*b - 69*b, 2*b - 5*u = 2164. Is 84 a factor of b?
True
Let t = -96 + 101. Suppose -2*z - 9 = -o, t*z - 3 = 3*o - 29. Is o a multiple of 2?
False
Let t(c) = -11*c - 86. Does 2 divide t(-12)?
True
Suppose -4*f + 8*f + 2*b - 244 = 0, 5*b = 3*f - 157. Does 5 divide f?
False
Let y(k) = k**3 - 2*k**2 + 4*k - 4. Let x be y(3). Suppose 2*p - 23 = -x. Suppose 3 + 9 = p*i. Is i a multiple of 3?
False
Does 12 divide (-2 + 12/(-1))*(-58)/4?
False
Let z = 453 + -254. Let k = z + 27. Is 17 a factor of k?
False
Does 13 divide -2 - (-30)/5 - -193?
False
Let x(j) = -2*j + 16. Let a be x(5). Suppose -7*b + a*b = -43. Suppose 3*g = -4*o + 102, -3*o - 4*g = -30 - b. Is 9 a factor of o?
True
Suppose -8 - 14 = -i. Suppose 0 = -3*p + 5*p - i. Is p a multiple of 11?
True
Suppose -166961 - 153289 = -105*z. Is z a multiple of 10?
True
Let g(n) = 2*n**2 - 10*n + 9. Let i be g(6). Suppose -20*o - 18 = -i*o. Is 3 a factor of o?
True
Let v(l) be the third derivative of -1165*l**4/24 - 5*l**2. Let c be v(2). Is c/(-65) - (-4)/26 a multiple of 18?
True
Let u = 193 - -21. Does 12 divide u?
False
Let q(m) = -m**3 + 9*m**2 - 5*m - 8. Let j be q(8). Suppose -2*u = -0*u - j. Suppose 0 = 2*d + 3*g - 126, 5*g - u = 3*g. Does 14 divide d?
False
Suppose -25 = o + 61. Let s = -6 - 54. Let w = s - o. Does 16 divide w?
False
Let m(r) = r**2 + 1 + 0*r**2 - 2*r + 3*r. Let y(h) = -h**2 - 12*h + 6. Let o(q) = -2*m(q) - y(q). Does 6 divide o(7)?
False
Is 4 a factor of 11 + 9*(-313)/(-3)?
False
Is ((-2)/(-4))/((-3)/(-9 - 3447)) a multiple of 8?
True
Let l(q) = 0*q + 2*q + 7*q**2 + 0*q**2 + 0*q**2. Is 5 a factor of l(-2)?
False
Is 33 a factor of ((-17)/34)/((-1)/1754)?
False
Let z(u) = -2*u**2 - 7*u + 36. Let r be z(-6). Suppose 0 = -2*a + r*a - 3*d - 210, 0 = -5*a - 2*d + 274. Is 19 a factor of a?
False
Let b = -400 + 752. Is b a multiple of 16?
True
Suppose 5*j + t - 3*t - 434 = 0, 5*t - 334 = -4*j. Let d(f) = 9*f**2 + 1 - 86*f + j*f. Is d(1) a multiple of 5?
True
Let q(i) = -i**3 - 9*i**2 - i + 2. Let n be q(-9). Suppose 19*c - n*c - 96 = 0. Does 5 divide c?
False
Let p(d) = -d + 1. Let q(r) = r**2 - 5*r. Let o(v) = -2*p(v) - q(v). Let c(k) = k**2 + 10*k + 15. Let s be c(-9). Is 2 a factor of o(s)?
True
Suppose -141 = 13*p - 4873. Does 9 divide p?
False
Suppose -4*d = -5*b - 374, -d = -2*d + 4*b + 88. Is 12 a factor of d?
True
Suppose 3*u - 3*h - 4201 - 3500 = 0, -4*u - 3*h = -10268. Is u a multiple of 31?
False
Let n = -957 + 3584. Is 14 a factor of n?
False
Suppose 17 = 2*h - 3*l, 0 = h + l - 0*l - 1. Suppose -h*c + 158 = -18. Does 10 divide c?
False
Suppose 2*r - 1066 = -3*w, -5*w = -r + 315 + 205. Does 8 divide r?
False
Let l = -614 - -213. Let c = l - -681. Does 10 divide c?
True
Let t(o) = 0*o**2 + 5*o - 3*o**3 - 5*o**2 + 2 + 2*o**3. Suppose 5*v - 19 = 4*x, 0 = -4*x - 0*x + 3*v - 21. Does 4 divide t(x)?
True
Let z = 50 + -48. Suppose 3*w + 18 = 2*f, -5*w - 27 = -z*f - 9. Is 5 a factor of f?
False
Let s(c) = 3*c**3 + 36*c**2 + 21*c - 12. Is s(-10) a multiple of 42?
True
Suppose -77*f + 133 = -84*f. Suppose b - 1 = 1, 0 = 4*n - 3*b + 210. Let x = f - n. Is 14 a factor of x?
False
Suppose 2*n = -2*i + 6, 2*i = -0*i + 6. Suppose -3*g + 57 = 2*h, 3*h + h + 2*g - 110 = n. Is h a multiple of 12?
False
Suppose 3*t - 1090 = -4*o - 117, -4*t + o = -1272. Does 28 divide t?
False
Let a(x) = 10*x**2 + x - 3. Let z be (-72)/(-21) + 4/7. Suppose 4*q = -t + 13, 2*q + 2*t - 10 = z. Is a(q) a multiple of 13?
True
Let d(k) = 35*k - 13. Let o be d(5). Let j(g) = -22*g - 4. Let h be j(5). Let n = h + o. Does 8 divide n?
True
Suppose c - 6 = -4. Suppose -5*m = c*i - 160, 5*i = 5*m + i - 130. Does 15 divide m?
True
Let q = -1473 - -2490. Does 10 divide q?
False
Let m = -8 - -112. Is m a multiple of 13?
True
Let s(z) = 11*z**2 + 3*z + 34. Is s(-9) a multiple of 12?
False
Let w = 11 + -7. Let s be (-185)/(-10) - 2/w. Suppose 128 = 4*u - 5*h, -4*h + s = 2. Does 22 divide u?
False
Suppose -7*z + 2*z + 3*b = -8, 20 = z + 4*b. Let t be (z/(-6))/(10/15). Is t*(-76 - 3) - -1 a multiple of 20?
True
Let a(d) = -d**3 + 4*d**2 - d + 2. Let u be a(4). Suppose -2*x + x + 21 = 0. Let c = x + u. Does 19 divide c?
True
Suppose 8*z - 12*z - 4*u + 4016 = 0, z - 5*u - 1022 = 0. Does 45 divide z?
False
Suppose 38*s - 1800 = 28*s. Is 2 a factor of s?
True
Suppose -3*z + 6 = 0, 0 = 2*u + 26*z - 24*z - 7224. Is 94 a factor of u?
False
Does 18 divide (99/(-22) + 8)/(2/68)?
False
Suppose -2*b - 5*i + 2 = -20, 0 = b - 5*i + 4. Let a(s) = -3*s**2 + 20*s + 1. Does 2 divide a(b)?
False
Suppose 0 = 3*y + 3, -3*o = y - 212 - 1167. Is 57 a factor of o?
False
Suppose -10*x - 599 = -3249. Is 13 a factor of x?
False
Suppose 2*b - 2852 = -90*r + 94*r, b + 2*r = 1426. Does 92 divide b?
False
Suppose -6*g = -2 - 16. Suppose v - 20 = -4*v, 2 = -g*t + 2*v. Suppose -34 = -t*c + 44. Is 14 a factor of c?
False
Suppose 0 = -3*s + 3, -6*s + 7309 - 301 = 3*a. Does 13 divide a?
False
Let l(b) = 41*b - 246. Does 41 divide l(19)?
True
Suppose -2*j = -x + 2*j + 92, -j - 498 = -5*x. Is 5 a factor of x?
True
Let j(n) = -n**2 + 12*n - 7. Let i = -34 + 44. Does 2 divide j(i)?
False
Suppose -54 = 2*v - 1178. Does 32 divide v?
False
Let x(y) = 4*y + 2. Let l be x(-6). Suppose 3*p + 162 = 3*i, 0 = 5*p + 6 - 26. Let f = i + l. Is f a multiple of 14?
False
Suppose i = -k + 6, -5 - 5 = -3*k - i. Suppose d = 3, 0 = r - k*r + 5*d + 3. Is r a multiple of 7?
False
Suppose 0 = -7*i + 3*i + 12. Is (-10)/i*(-99)/22 a multiple of 6?
False
Let v(p) be the third derivative of 13*p**8/20160 - p**7/5040 + p**6/720 + p**5/30 + 5*p**2. Let a(f) be the third derivative of v(f). Is 4 a factor of a(1)?
False
Let l = -390 - -692. Suppose 4*t - 731 = -5*z, z + z + 4*t = l. Does 12 divide z?
False
Does 15 divide 3/3*262/(-4)*-2?
False
Let h(y) = -y**2 - 26*y - 81. Is 9 a factor of h(-18)?
True
Let q = 300 + -175. Let r = 229 - q. Does 8 divide r?
True
Suppose 27 = -2*f + 5*c, 3*f + 37 = -5*c + 9*c. Let u = f + 28. Does 10 divide u?
False
Let i = 2 + 4. Suppose 4*w - 22 = -i. Suppose -1 = f + 3*m, w*f - 43 = -m - 3. Is f a multiple of 3?
False
Let i(j) = 130*j - 333. Is i(10) a multiple of 47?
False
Is 2 a factor of 241 - 3/(3/4)?
False
Let j(y) = -y**3 + 5*y**2 + 13*y - 7. Let k be j(7). Is k/(-28) - (-22)/4 a multiple of 2?
True
Suppose a - 5*o = 18, -5*a = -2*o - 3*o - 90. Is a even?
True
Let l = -59 - -209. Does 17 divide l?
False
Suppose l - 6*l - m + 2637 = 0, 1071 = 2*l - 5*m. Is l a 