0*b + 3*b + 87 = z*n, 0 = -5*n + 4*b + 228. Is n a multiple of 8?
True
Suppose -g + 25*g - 314012 = -5*g. Is 48 a factor of g?
False
Suppose -3*j = -2*i - 0*j, 0 = -5*i - 3*j. Suppose 42 = b + 2*f + 13, 5*b - 2*f - 121 = i. Is b a multiple of 2?
False
Let u(g) = -g**2 - 18*g - 100. Let i be u(-16). Let b = 391 - i. Does 44 divide b?
False
Let c(w) = 2*w**2 + 1. Let z be c(-2). Suppose z*q = 6*q + 60. Suppose -505 = -5*t - 5*s, 3*s - q = -t + 73. Does 13 divide t?
False
Let h = -1510 + 3939. Does 56 divide h?
False
Let d = 344 - 355. Does 67 divide 37*d/((-3 - -1) + 1)?
False
Let u = -22 - -22. Suppose -5*k - 3*w + 2074 = u, k + 3*w - 482 = -72. Let f = k - 296. Does 30 divide f?
True
Suppose 1 = j, 2*i = 7*i + 2*j - 22. Suppose -h - 2*v + i = 0, 5*h - 2*v = 3 + 5. Suppose h*t - 47 = -5*r, 5*r = -0*t - 3*t + 73. Does 20 divide t?
False
Suppose 49*n + 36001 - 114646 = 0. Does 90 divide n?
False
Suppose -131*f + 135*f = 60. Suppose -4*s = -3*c - 8 - 27, 2*s = c + f. Suppose -7*i + 2*i + 36 = x, 0 = -3*x + s*i + 8. Is 2 a factor of x?
False
Let j(w) = 2*w**3 - 15*w**2 - 6*w - 6. Let r be j(10). Suppose -9*t = -r - 403. Does 17 divide t?
False
Suppose 0 = 31*b + 26*b - 684. Suppose 2*p = -d + 2*d + 1100, -5*d = -2*p + 1084. Suppose -8*h - p = -b*h. Is 16 a factor of h?
False
Let h(w) = w**3 + 17*w**2 - 3*w - 20. Let y be h(-15). Suppose -3*d = -29 - y. Suppose -3*a + d = -327. Is 15 a factor of a?
True
Let w(u) = 2*u**3 - 3*u**2 + 13*u - 4. Let p = -593 + 597. Is 32 a factor of w(p)?
True
Let d be (9/(-2))/((-78)/(-20) + -4). Let a = d - 37. Suppose 0 = -o + a*o - 350. Does 14 divide o?
False
Let p = -144 - -289. Suppose -p + 315 = 5*a. Does 17 divide a?
True
Let q be (-22 - -22)/(2/2). Suppose 7*u - 189 = 6*u + 3*g, -5*u + g + 903 = q. Is 30 a factor of u?
True
Let y = -8117 - -15785. Is y a multiple of 27?
True
Let r(n) = -n - 2. Let s(v) = -27*v + 13. Let x(u) = 2*r(u) + s(u). Is x(-1) even?
True
Suppose 3*p = 3*d - 6, 3*p + 7 = -2*d + 4*d. Let v = d - -4. Suppose 0 = -2*q - 2*q - 4*i + 68, -v*i = -q + 33. Is q a multiple of 21?
True
Suppose 3*t = -n + 1075, -10*n + 6*n = -5*t + 1820. Does 12 divide t?
True
Let s(a) be the third derivative of 5*a**6/12 + a**5/20 + a**4/24 - a**3/3 + 7*a**2 + 4. Let i be 6/4*4/6. Is 9 a factor of s(i)?
False
Let g = -4378 + 11280. Is 23 a factor of g?
False
Let c = 951 - -209. Suppose -153 = 2*n + 5*s - 934, 0 = -3*n + 4*s + c. Is 13 a factor of n?
False
Suppose -183*d + 177*d = -24426. Does 69 divide d?
True
Suppose -5*r + 20 = 0, 4*s - 4*r = -47 + 7. Let k be -5 + (-2)/(s/27). Suppose x - 924 = -k*u, -8*u + 5*x = -6*u - 440. Does 29 divide u?
False
Suppose 4*d + 7 = 3*q - 8, -5*d - q + 5 = 0. Suppose -m + 5*g = -2*m + 91, d = -g - 1. Does 12 divide m?
True
Suppose -3*q - 7 = -22, 5*b - 2*q + 20 = 0. Let a(w) = -43*w + 11. Does 6 divide a(b)?
False
Let w = 224 + 83. Let f = w - 188. Is f a multiple of 4?
False
Suppose -21 = -2*y - 2*l + 33, -y + 33 = 4*l. Suppose y = -j + 28. Suppose 2*t = -3*s + 256, -348 = -j*s - s - t. Is s a multiple of 11?
True
Let l(y) = -y**3 + 10*y**2 + 4. Let b be l(10). Is ((-2)/b)/(48/(-26688)) a multiple of 7?
False
Let k be 63/14*16*4. Suppose 0 = -8*f + 9*f - k. Is 12 a factor of f?
True
Let o(l) = 3*l**2 - 34*l - 1101. Does 92 divide o(83)?
True
Suppose -50*z + 49*z = -29. Is (1 - 1/2)*(1 + z) a multiple of 5?
True
Let u be (-4 - 105/(-25)) + 3/(-15). Suppose -4*c = u, -228 - 126 = -3*n + 2*c. Is 4 a factor of n?
False
Let z = 229 - 249. Is 36 a factor of (5 - (-6192)/30) + 8/z?
False
Suppose 8*h = 4*h + 12. Suppose p + h*p = 2*p. Suppose -4*t = 3*n - 239, -6*t + 3*t - 3*n + 183 = p. Is t a multiple of 14?
True
Let g(o) = 2*o**2 + 30*o + 640. Is g(-37) a multiple of 12?
True
Let i(x) = 3*x**3 - 26*x**2 + 4*x + 1. Suppose -g + 3*m = -15, -7*g + 4*g - 5*m + 17 = 0. Is i(g) a multiple of 9?
False
Let f = 162 - 158. Suppose 0 = f*w + 19*w - 6601. Is w a multiple of 45?
False
Suppose 15*z = -6*z - 15*z + 237384. Is z a multiple of 44?
False
Let j be (4/6)/((-10)/(-405)). Suppose 26*b + j*b - 33019 = 0. Is b a multiple of 5?
False
Let v(f) = 0*f**2 - 2*f - 5*f + f**3 + 6 - 2*f**2 + 17. Let r = 57 + -51. Is 16 a factor of v(r)?
False
Let x(p) = 3*p**2 - 8*p + 55. Let q(s) = 2*s**2 - 4*s + 27. Let h(v) = 7*q(v) - 3*x(v). Suppose 15 = -5*c, -4*z - 1 = -4*c - 29. Is h(z) a multiple of 11?
True
Let s be (-28)/8*2272/(-56). Suppose 0 = -313*d + 312*d + s. Is d a multiple of 6?
False
Let v(u) = -7*u - 29*u - 20*u + 33 - 137. Is 10 a factor of v(-4)?
True
Let i be ((-6)/8)/((-7)/35308). Suppose -t = 12*t - i. Is 34 a factor of t?
False
Is (-27)/18*-24*30/9 a multiple of 15?
True
Suppose -4*p - 16 = -4*r, 4*r + 13 = r - 2*p. Let y be (1/((-8)/(-160)))/(0 - r). Let k = 52 + y. Does 24 divide k?
True
Suppose 0 = 6*q - 77 + 23. Suppose q*f - 9 = 5*f - 5*v, 30 = 4*f - 2*v. Is f a multiple of 3?
True
Suppose -725 - 83 = -20*o + 92. Let h(u) = 5*u**2 + 2*u - 5. Let g be h(-4). Let a = g - o. Is 7 a factor of a?
False
Let o(n) = -26*n + 59. Let u be o(-13). Let m = u - 178. Is 23 a factor of m?
False
Suppose b + 14 = -3*l, 4*b + 5*l + 40 = 5. Let s(y) = -27*y - 15. Let q be s(b). Does 5 divide (-12)/30*(-1)/(2/q)?
False
Let g(v) = 26*v + 18. Let b be g(-7). Let p be (-1)/7 + b/28. Let t(h) = h**3 + 10*h**2 + 12*h - 5. Does 29 divide t(p)?
False
Let d(w) = 4*w**3 - 5*w**3 + 7*w**2 - 2*w + 6*w. Let o(g) = -2*g**3 + 8*g**2 + 4*g. Let i(p) = -3*d(p) + 2*o(p). Does 20 divide i(-6)?
True
Suppose 297*q - 4195 = -2*b + 294*q, 0 = 5*b - q - 10462. Is b a multiple of 6?
False
Suppose 2*c + 4*g = 2349 + 1507, 3*c = -g + 5794. Does 124 divide c?
False
Let l = 76 - 83. Does 5 divide 990/8 - 1*l/28?
False
Let p = 763 - 768. Does 5 divide 0 + (p - (6 - 89))?
False
Let q(b) = -5*b - 13. Let f be (-38)/(-14) + (-6)/(-21). Let v be q(f). Let l = v - -42. Is l a multiple of 7?
True
Let i = 42 - 37. Suppose -7*m = h - 2*m - 24, 2*m = i*h - 12. Suppose -108 = -2*b - h*b. Is 18 a factor of b?
True
Let g(d) = -4*d**2 + 50*d - 22. Let x be g(12). Does 56 divide (x/3)/(43/7224)?
True
Let d = 15334 - 11608. Is d a multiple of 54?
True
Suppose -16704 = -626*m + 620*m. Is m a multiple of 32?
True
Suppose h = 5*l - 173, -h + 148 = 4*l + 3*h. Let v be (3 - (-21)/15)/(14/l). Does 24 divide (-30000)/(-312) + v/13 + -1?
True
Suppose 0 = v - 3, -2*j - 8 = v - 31. Suppose -192 = -j*b + 6*b - 2*n, 0 = 4*b + n - 188. Is b a multiple of 3?
False
Let l = -58 - -91. Suppose c = 5*t - l, -7*t - 2*c + 39 = -2*t. Suppose 2*w + 650 = 4*y + t*w, 4*y - 642 = -w. Is 10 a factor of y?
True
Suppose -5*d = 2*o - 15, -d - 2*d = -4*o + 95. Suppose -3*n = -5*n + o. Suppose -n*u = -0*u - 150. Does 14 divide u?
False
Let y(b) = 11*b**3 - b**2 - 3*b + 1. Let f be y(3). Suppose -8*x + 3368 - f = 0. Does 16 divide x?
False
Is 154 a factor of 1342/(-610) + (-340413)/(-15)?
False
Suppose -29 = 3*w + 5*v, -v - 35 = 4*w + 2*v. Let a(h) = 2*h + 15. Let m be a(w). Is 10 a factor of (-2)/1 + (31 - m)?
True
Is 12 a factor of -5 + 4 - (2/(-11) + (-351698)/451)?
False
Suppose 5*v = -3*p + 17 + 8, 5*p - 5 = -v. Let g(m) = 8*m + 16. Let a be g(7). Suppose -a = -p*d - 2*d. Is d a multiple of 6?
True
Let t(n) = n - 4. Suppose -63*f + 60*f + 24 = 0. Let k be t(f). Is 1/((-1)/(-3)) + -1 + k a multiple of 6?
True
Suppose -11*w + 11900 = -6*w - 3*m, -3*w - 3*m = -7140. Suppose 3*q = -q + 4*y + w, -2*q - 2*y = -1178. Does 57 divide q?
False
Suppose -16 = 5*m + 5*t + 14, -5*t = m + 22. Does 27 divide 269 + m - (-11)/((-22)/(-6))?
True
Suppose -w = -5*s + 15, 9 = -w - 2*s + 5*s. Suppose 5*p - 2*l - 5 = 0, 4*p - 27 = -w*p - 3*l. Suppose 7*k = p*k + 368. Is 18 a factor of k?
False
Suppose -4*h + 57 = 5*r - 50, -5*h = -4*r + 61. Let n(v) = -v**3 + 20*v**2 - 16*v - 32. Is n(r) a multiple of 5?
True
Suppose 7*i - 206 - 4 = 0. Suppose i*r - 4374 = 21*r. Does 9 divide r?
True
Let o(v) = 5907*v**2 + 34*v + 72. Is o(-2) a multiple of 14?
True
Let m(d) = 384*d + 23. Let y(j) = 766*j + 46. Let i(s) = -11*m(s) + 6*y(s). Is i(3) a multiple of 12?
False
Let w be 65 - ((-21)/(-105) - 9/(-5)). Let j = 2 + w. Is 39 a factor of j?
False
Let y = -35524 - -59261. Is y a multiple of 11?
False
Let g(t) = -17*t - 4. Let l be g(-7). Let v = l + -113. Is 13 a factor of (-7 + -6)*(-17 + v)?
True
Supp