+ 218 - 62. Let w = q - -53. Does 27 divide w?
False
Suppose -28196 - 19 = -33*t. Is 20 a factor of t?
False
Let y(v) = -33*v - 121. Let x be y(-6). Let k = 128 - x. Is 6 a factor of k?
False
Let z be ((-366)/8)/(5/(-8) - -1). Let h = 281 - z. Is 16 a factor of h?
False
Suppose 416*h = 235*h + 308040 + 1898531. Is 141 a factor of h?
False
Suppose 30840 + 117795 = 5*f - 5*l, -4*l = 4*f - 118852. Is f a multiple of 18?
False
Let y be (-3)/6 - 2872/16. Let v = y - -276. Suppose 48 + v = 4*u. Is 12 a factor of u?
True
Let z(f) = 2*f**3 + f**2 - 5*f + 21. Let a be z(4). Suppose -4416 = -a*k + 137*k. Is 23 a factor of k?
True
Let f be ((-745)/(-30)*-2)/(2/(-6)). Let c = -44 + -18. Let l = c + f. Is l a multiple of 22?
False
Let m(d) = -4*d**2 + 15*d - 2. Let p(z) = z**2 - z. Let u(a) = m(a) + 6*p(a). Does 2 divide u(-6)?
True
Let r(k) = -k**2 + 3*k + 13. Let t be r(5). Suppose 0*m + 5*m - 25 = -l, 3*l + t*m = 15. Suppose l = 4*y - 4 - 4. Does 2 divide y?
True
Suppose -y - 1440 = -3*b, 4*b + 2*y = 1553 + 387. Does 6 divide b?
False
Let p(u) = -9*u**3 - u**2 + 4*u - 7. Let h be p(2). Is 24 a factor of 5/(h/(-42))*120?
True
Suppose -1266 = 4*n - 5*g, 2 = -3*g + 4*g. Let q = 574 + n. Is q a multiple of 13?
True
Let q = 4202 + -7590. Let r be (-1 + 0)/(28/q). Suppose -4*s + 208 = 5*o - r, -3*o = -5*s + 365. Does 38 divide s?
True
Suppose -3120 = -9*y - 3*y. Suppose -14*t + y = -t. Is t a multiple of 10?
True
Suppose -138*x = -136*x - 8. Suppose 0*y + 3*y - 4*r - 119 = 0, x*y + r = 184. Does 5 divide y?
True
Let g(k) = -2*k**3 - 3*k**2 + 2*k + 7. Let u be g(-3). Let o be u*(2 - 7/2). Does 21 divide (1/1 + 0)/((-1)/o)?
True
Is 38 a factor of 134/(6/57*(-13)/(-26))?
True
Let v = 2787 + -2239. Is v a multiple of 4?
True
Let z be 1/(-3)*(-8 + 23). Is (7 - -91) + (z - 0) a multiple of 9?
False
Let v(z) = 176*z - 360. Let x be v(-5). Let k = x + 2646. Is k a multiple of 19?
True
Let t(g) = -3*g**2 + 65*g - 171. Let v(o) = -o**2 + 32*o - 85. Let j(w) = -3*t(w) + 7*v(w). Is j(16) a multiple of 56?
False
Suppose -5*t = -l - 24, -5*t - 3*l + 30 = 2*l. Suppose t*o - 81 = -4*o. Does 15 divide 299/o - 10/45?
False
Suppose 0 = 5*m - 11*m + 18. Suppose -m*h + 2*l = -431, 3*l + 133 = h + 5*l. Does 28 divide h?
False
Let p = 11923 + -5093. Is 12 a factor of p?
False
Let p be 5/((-5)/2) - 6. Let q(k) = k - 1. Let y(v) = 8*v + 2. Let m(u) = 3*q(u) - y(u). Is m(p) a multiple of 12?
False
Suppose 15*u - 93 = 282. Let d = u - -85. Does 11 divide d?
True
Let h = -19725 - -64005. Does 82 divide h?
True
Suppose 3*t - 7396 = r + 2154, -2*r = -4*t + 12730. Is 13 a factor of t?
True
Suppose 5*d - 8194 = -3*g, 287*d + 10922 = 4*g + 293*d. Does 41 divide g?
False
Let z = 38 + -31. Let x = -4 + z. Suppose 4*q - x*q = 2*b + 146, 2*b - 142 = -q. Is 16 a factor of q?
True
Let p(z) = -198*z - 1490. Is p(-37) a multiple of 40?
False
Let o = 140 - 94. Suppose -17 = 4*d - 5*v, -5*d + 2*v = 4*v + o. Is 36 a factor of 127 - d/6*3?
False
Let k(u) = 5*u - u**3 - 5*u + 5*u**2 - 4*u. Let c be k(3). Is 147/c + (-4)/8 a multiple of 9?
False
Let m(q) = -2*q**3 - 2*q**2 + 9*q + 2. Let o = -21 + 15. Let d be m(o). Suppose -d = t - 8*t. Is 11 a factor of t?
True
Suppose 3*o = -2*o + 1135. Let p(y) = 22*y**2 - 5*y + 39. Let h be p(4). Let d = h - o. Is d a multiple of 14?
False
Let n = 735 + -439. Suppose b + 3*d = -b + 602, -n = -b - 4*d. Does 29 divide b?
False
Suppose 0 = w + 2 + 3, 0 = 5*m + 4*w + 3415. Let o = m - -1137. Does 23 divide o?
False
Let o(y) = 8*y**2 + 170*y + 42. Is o(-46) a multiple of 52?
False
Suppose 3*q + 5595 = 3*k, 5*k - 10540 + 1205 = 3*q. Does 107 divide k?
False
Suppose -4 = 3*d - 13. Suppose 11 = -4*k - d*c - 39, -k - 2*c - 15 = 0. Let q(l) = -10*l - 22. Does 16 divide q(k)?
False
Suppose 4*h + 2*k - 6896 = 0, 9*k - 14*k = -3*h + 5146. Is h a multiple of 40?
False
Let f = 830 - 811. Let s(c) = 2*c**2 + 15*c - 17. Let p(i) = 5*i**2 + 44*i - 52. Let m(t) = -3*p(t) + 8*s(t). Does 9 divide m(f)?
True
Suppose -6072*c = -6048*c - 1556544. Is c a multiple of 22?
True
Let j be ((-72)/(-20))/((-50)/(-125)). Let d = -87 - -58. Let g = j - d. Is 3 a factor of g?
False
Let z be (-1 - (-7 + 5)) + -55. Is (26/4)/((-9)/z) a multiple of 7?
False
Let a(s) = -s + 11. Let j be a(9). Let i(y) = 5*y + 166. Let g be i(-14). Suppose -5*d = -j*d - g. Does 21 divide d?
False
Let k(q) = -20*q + 58. Let u be k(5). Is (u/(-15))/7*240 a multiple of 8?
True
Suppose -1437 + 306 = -13*f. Suppose -f = 11*t - 802. Suppose -63*g = -t*g + 224. Is g a multiple of 28?
True
Let s(b) = -b**3 + 12*b**2 + 2*b + 3. Suppose 4*z - 6*z = -24. Let q be s(z). Suppose -5*d + 33 + q = 0. Is d a multiple of 3?
True
Suppose -h - 2*k = -8, -6*h + 4*h + 3*k + 2 = 0. Suppose -1168 = -h*j - 4*o, 4*j = 2*o - o + 1158. Let z = 407 - j. Is z a multiple of 13?
True
Let k = 35013 - 25791. Does 29 divide k?
True
Let p(d) be the second derivative of d**6/360 - d**5/24 + 11*d**4/24 + 25*d**3/6 + 21*d. Let z(g) be the second derivative of p(g). Is 7 a factor of z(8)?
True
Let r = 97 + -24. Suppose 3*o = 15, -2*s + o = -r - 274. Does 22 divide s?
True
Suppose 8*f - 60876 = 3*f + f. Does 70 divide f?
False
Suppose 0*b + 4*b = 4*p + 148, -3*b - 5*p = -103. Is 3 a factor of (-883)/(-4) - (207/b + -7)?
True
Let l(y) = 2*y**2 + 3*y + 1. Let h(g) = -g**2 - g. Suppose -50 + 47 = k. Let b(t) = k*l(t) - 8*h(t). Is 53 a factor of b(12)?
False
Let c(w) = 4*w**3 - 5*w**2 - 3*w**3 - 20*w + 18 - 6. Let x = 34 - 26. Does 16 divide c(x)?
False
Suppose 5 = 5*s - 15. Suppose -s*f = -1142 - 242. Is 7 a factor of f?
False
Does 61 divide -8 - ((-4329 - 17) + 7)?
True
Suppose 18*a = 20*a + 44. Let q = 22 + a. Suppose 5*x + 2*u = x + 262, 3*u - 9 = q. Is 6 a factor of x?
False
Suppose 0 = 3*t + 52 - 40. Let n(j) = 5*j**2 + 6*j + 22. Let g(z) = 6*z**2 + 5*z + 23. Let w(o) = t*g(o) + 5*n(o). Is 29 a factor of w(-11)?
True
Does 8 divide 70/(22/(-605)*(-2)/4)?
False
Let j(d) = 2*d**2 - 3*d - 5. Let k be j(6). Suppose 0 = -4*u + k + 7. Is 20 a factor of (-4 + 104)/2*u/5?
True
Let o(y) = y**2 - 4*y + 4. Let b be o(2). Suppose 4*k - 18 = s - b, -s + 22 = 4*k. Suppose 0 = q + 5 - 3, 4*i + k*q - 566 = 0. Is i a multiple of 16?
True
Let w = -2821 + 6601. Suppose 0 = 10*n - 3*n - w. Is 15 a factor of n?
True
Suppose s - 2*k - 69 = 0, 3*s - 206 = -k + 6*k. Let u = 75 - s. Is 2 a factor of u?
True
Let r(y) be the first derivative of y**5/60 + y**4/2 - 5*y**3/6 - 9*y**2/2 - 8. Let z(o) be the second derivative of r(o). Does 6 divide z(-16)?
False
Suppose 83412 = 28*x + 21*x - 46*x. Is 14 a factor of x?
True
Let n(o) = 9*o**2 + 18*o + 492. Is n(33) a multiple of 19?
True
Let d be (-1645)/(-141) + 0 + 1/3. Suppose d*s - 1140 = 7*s. Is s a multiple of 19?
True
Suppose -32*v - 16*v + 283424 = -14*v. Is 44 a factor of v?
False
Let n be 2/(3624/908 - 4). Let x be -7 + -345 + 2*(1 + -2). Let s = n - x. Is 18 a factor of s?
False
Suppose 23*i + 9*i - 122848 = 0. Does 26 divide i?
False
Let f be (-5 - 66/(-12)) + 21/(-2). Is 4 a factor of (12/(-15)*-13)/((-4)/f)?
False
Suppose 0 = -68*z + 124159 + 35097. Is z a multiple of 4?
False
Let j be (-6 + 2 + 1)*5/(-3). Is 11 a factor of (-10)/(-25) + 328/j?
True
Let c = -30 + 28. Let q be 0*(c - (-15)/6). Suppose q = -4*j + 2*h + 150, j - 140 = -3*j + 4*h. Does 11 divide j?
False
Let j be (-168)/140 + 2/(-20)*-2. Does 9 divide 292*j*8/(-16)?
False
Suppose 0*m = 4*j - 3*m - 308, -2*m + 248 = 3*j. Suppose 15*v = 19*v - j. Does 10 divide v?
True
Let z = -55 - -54. Let c(m) = 1189*m + 1. Let f be c(z). Is 8 a factor of (f/55)/(-2 + 17/10)?
True
Let d(c) = -c**3 + 6*c**2 + 13*c + 21. Let y be d(8). Does 20 divide (33/9 + y)*180/3?
True
Let f(d) = -94*d**2 + 7*d - 6. Let h be f(1). Let u = 139 + h. Is (2 + -2 + 2)*u a multiple of 15?
False
Suppose -2*f = -8, 0 = -995*b + 1000*b - 5*f - 55155. Does 15 divide b?
False
Suppose 0 = 185*b - 186*b + 16. Suppose -11882 = -b*l + 10550. Is l a multiple of 28?
False
Let a(l) be the first derivative of l**4/4 + 7*l**3/3 - 9*l**2/2 - 4*l + 7. Let r be a(-8). Suppose 0*b - 40 = -r*b. Is b a multiple of 5?
True
Let k(c) = 2*c**3 + 8*c**2 + 2*c + 1. Let z(i) = i**2 - i - 1. Let f(a) = k(a) + z(a). Let x be f(-6). Let m = 265 + x. Is 15 a factor of m?
False
Let k = -26 - -714. Suppose 24*t - k = 440. Is t a mul