50, -5*m + 288 = 3*w. Does 3 divide w?
False
Let c(u) = -60*u**3 - 3*u**2 - 3*u + 3. Let x be c(-2). Suppose 0 = -2*o - 7*o + x. Is o a multiple of 3?
False
Let b = 74 - 75. Does 31 divide -3 + b - -251 - -1?
True
Suppose 24 = g + 5*y, -4*y = -0*g - 4*g. Suppose g*r = -0*r. Suppose x - 88 = -r*x. Does 22 divide x?
True
Let j = 2 + 17. Suppose 5*p = 4*t - 0*p - 183, -2*t = -3*p - 89. Let r = t + j. Does 18 divide r?
False
Suppose 4*u + 31*b - 26*b = 9642, -3*b = -4*u + 9658. Is u a multiple of 19?
True
Let j(g) be the second derivative of g**5/60 + 5*g**4/24 - 5*g**3/3 - 2*g**2 + 9*g. Let w(l) be the first derivative of j(l). Is 12 a factor of w(-10)?
False
Let k = -35 - 28. Let b = 98 + k. Does 19 divide b?
False
Suppose 4*l = 3*i + 5656, 17*l - 18*l + 1414 = 2*i. Is l a multiple of 7?
True
Let y(s) = s**2 - 6*s + 16. Suppose 20 = 2*g + 2*g. Suppose 0 = -g*p - 3*j + 44, -5*p + 5*j + 10 = -10. Does 23 divide y(p)?
True
Let j = -37 + 97. Let b be 6/(-2) - j/(-5). Suppose 0 = -11*x + b*x + 40. Does 5 divide x?
True
Let h be 17*-3*(2 - 1). Suppose 0 = -4*n + 4*d + 8, -4*n = 5*d + 2 - 10. Is (-1)/(-1 + n)*h a multiple of 17?
True
Suppose -142*a + 166*a - 7056 = 0. Does 14 divide a?
True
Suppose -2*y - 772 = 6796. Let u be y/56 - 3/7. Let x = 95 + u. Is 9 a factor of x?
True
Suppose -13 = -x - 3*c, 5*x - 54 = -2*c + 37. Let l(g) = g**2 - 20*g + 31. Is 2 a factor of l(x)?
True
Let l(n) = -2*n**2 + 19*n + 11. Let w be l(15). Is (w/28)/(2/(-20)) a multiple of 22?
False
Let z be (9 - 10)/((-2)/10). Let d be z + -1 - (-2 - -2). Suppose d*r + c = 9, 2*c + 18 = 5*r + c. Is 3 a factor of r?
True
Let j = -12 + 16. Suppose 5*q + 382 = j*n, 4*q + 2 - 10 = 0. Does 27 divide n?
False
Suppose 0 = 13*w - 19*w + 2826. Does 63 divide w?
False
Let u(s) = 255*s + 114. Does 18 divide u(4)?
True
Suppose 3*p = 7*s - 6*s + 69, 5*s = -15. Is 11 a factor of p?
True
Is 9 a factor of 6/(-25)*-15*70?
True
Let w = -231 + 477. Suppose -w = -3*b - 18. Is b a multiple of 19?
True
Suppose -4*x + 152 = -4*c, -11 = -4*x - 7. Let a = 64 - c. Does 24 divide a?
False
Let r(s) = 27*s - 46. Is r(6) a multiple of 10?
False
Suppose 0 = 2*c + 4*l + 28, 4*c - l + 84 = -2*l. Let k = -16 - c. Suppose 5*r = 10, -k*d + 2*d + 270 = -3*r. Is d a multiple of 23?
True
Let a(c) = c**2 - 37*c + 28. Let n be a(36). Let l(v) = v**3 + 6*v**2 + 3*v - 6. Let t be l(-6). Let s = n - t. Does 16 divide s?
True
Let k(w) = -w**3 + 5*w**2 - 4*w. Let i(b) be the third derivative of b**4/24 + 5*b**3/3 + 7*b**2. Let l be i(-7). Is 4 a factor of k(l)?
False
Suppose 5 + 3 = 2*i. Let m = i + 91. Is 19 a factor of m?
True
Suppose -2*y + 0*y = 30. Let n(v) = -v**3 - 15*v**2 - v + 5. Let q be n(y). Suppose 7*o = 3*o + q. Does 5 divide o?
True
Suppose 2*z = -z - l - 1, -4*z - 5*l = 16. Let u be (z/4)/((-2)/(-104)). Suppose w = -5*s - u, 5*w - 4*s - 40 = 11. Is 5 a factor of w?
False
Let h(i) = -i**2 - 30*i + 37. Does 8 divide h(-24)?
False
Is (936/364)/((-2)/1064*-6) a multiple of 4?
True
Let v = 38 - 38. Suppose v = 4*q, -x + q + 73 = 2*q. Does 13 divide x?
False
Let i(h) = 447*h**2 - 8. Is i(-2) a multiple of 39?
False
Let z(o) = -o**2 - 7*o - 10. Let j be z(-8). Let d = j - -20. Suppose 0 = 3*s - 8*s + u + 75, 26 = s + d*u. Is s a multiple of 10?
False
Let b be ((-10)/(-5))/(3/6). Suppose -b*s - 113 = -17. Does 9 divide 7*-3*s/28?
True
Let s(r) = 6*r**2 + 13*r - 12. Let d(x) = -x**2 - x. Let c(k) = 5*d(k) + s(k). Is c(-10) even?
True
Let x = -293 - -744. Does 11 divide x?
True
Let w be (-10)/2 - (0 - (-5 - -4)). Let o(v) = -2 + 6 + 4 - 4*v. Is o(w) a multiple of 19?
False
Suppose p - 13 = -3*s - 3, 3*p - 10 = s. Suppose -5*d - g + 56 = 2*g, 38 = s*d - 4*g. Is 7 a factor of d?
False
Let y(o) = o**2 + 16*o + 28. Let t be y(-14). Suppose 0 = -4*g - 4*v + 5 + 3, -3*g + 6 = 5*v. Is 96/g - (t + -1) a multiple of 13?
False
Suppose -18*o + 60*o - 42840 = 0. Is 5 a factor of o?
True
Suppose -2*h + t = -3*h + 340, -2*t - 1672 = -5*h. Is h a multiple of 16?
True
Suppose -5*d - 15 = -8*d. Suppose -7*w + 78 = -d*w. Let m = w + -21. Is m a multiple of 12?
False
Suppose -1679 = -2*h - 3*h - r, -5*h - 4*r + 1676 = 0. Suppose -2*s - 5*b = -108, -4*b - h = -s - 4*s. Is 32 a factor of s?
True
Suppose 33*p - 243 = 36*p. Let f = p - -123. Is 21 a factor of f?
True
Suppose -16*t + 6494 = 14. Is t a multiple of 28?
False
Let k be (-7)/(-2)*(-2420)/(-77). Suppose -2*y + k = y - 4*c, -y + 54 = 3*c. Is y a multiple of 6?
True
Let t = 359 + -311. Does 3 divide t?
True
Suppose 139 = j - 5*v + 42, v + 3 = 0. Does 3 divide j?
False
Let f = 0 + -2. Let p be (1 + f)*(-1 - -10). Let h = 20 + p. Is 10 a factor of h?
False
Suppose -24*q = 7*q - 85715. Does 13 divide q?
False
Suppose 5*r - 2*h - 148 = -h, 78 = 3*r + 3*h. Suppose r*f = 30*f - 175. Is 17 a factor of f?
False
Is -7 + 15 + -1 + 2493 a multiple of 100?
True
Let j = -107 - -105. Is 2/((-7)/(147/j)) a multiple of 7?
True
Suppose -4*v - 45 = -v. Let r be (-1)/(12/v)*4. Suppose r*u - i = 78, -4*u + 59 = -4*i + 3. Is 8 a factor of u?
True
Let x = -28 + 20. Let s be (2/x)/((-2)/8). Is 22 a factor of s/((-3)/(-132)) + 0?
True
Suppose -5*p - 20 = -5*g + 25, 5*g - 41 = 4*p. Suppose a = -i, -4*i - g = 3*a - 0*a. Suppose -3*q + 4*m = -64, -a*q - 3*m - 19 = -145. Does 12 divide q?
True
Let n = -342 + 601. Suppose -g + 56 = 3*y - n, -525 = -5*y + 4*g. Is 21 a factor of y?
True
Let a(x) = 2*x**3 + 9*x + 4. Let r be a(-3). Let f = 252 + r. Is 35 a factor of f?
True
Is (-2)/37 - (-1107508)/3182 a multiple of 12?
True
Let f be (2*6)/(12/18). Suppose 43 = o - f. Suppose y - 12 = o. Does 14 divide y?
False
Let x(d) = -d**2 + 5*d + 4. Let i be x(5). Suppose -2*o = 4*k - 228, i*k - 5*k - o + 57 = 0. Does 19 divide k?
True
Suppose 2*a = 16 - 42. Let h(f) = -f**3 - 14*f**2 - 23*f + 12. Does 7 divide h(a)?
False
Suppose -5*f - 4*l - 1468 = 0, -7*l + 2*l = -3*f - 903. Let g(c) = -3*c**2 + 4*c + 10. Let j be g(-2). Is f/j + (-4)/(-10) a multiple of 11?
False
Suppose 5*n + 4*u = -43, 32 = -4*n - 0*n - 4*u. Let g = -22 - -50. Let k = g + n. Is k a multiple of 5?
False
Let s(z) = -68*z + 6. Let i be s(-3). Let p = i + -103. Does 23 divide p?
False
Suppose -3 = 2*o + 3. Let y be (o - -4) + -2 + -181. Is (-30)/75 - y/5 a multiple of 10?
False
Let j = 39 - 34. Suppose -1 = j*z - 31. Is 4 a factor of z?
False
Is 125*(-2)/(-3)*(-42)/(-7) a multiple of 18?
False
Suppose 4*u - 7 = 25. Let s = -4 + u. Does 2 divide (-24)/(-42)*14/s?
True
Suppose 4*x + 8 = h - 67, 2*h = 2*x + 132. Suppose -b - 2*q - 18 = -h, -2*b = -2*q - 108. Is 12 a factor of b?
False
Let b(z) = -z**3 - 8*z**2 + 4*z - 6. Let q(u) = u**2 + 2*u. Let v be q(-5). Let k = v - 24. Does 27 divide b(k)?
False
Let x(w) = 6*w + 42. Let i be x(-7). Suppose i = -2*g - 16 + 58. Does 7 divide g?
True
Suppose -3*i - 433 = 1124. Does 52 divide 0 + i/(-2) + 2/4?
True
Does 9 divide (6 + -1)/((-8)/(-136))?
False
Suppose m - 15 = -4*m. Suppose 26 = 2*c - m*c - j, -j - 1 = 0. Is (-7 - -4 - c) + -4 a multiple of 15?
False
Suppose 11*u - 30*u + 4294 = 0. Is 26 a factor of u?
False
Let j = -7 + 8. Let h(d) = -d. Let w be h(j). Is 5 a factor of -3 - (w + -3) - -17?
False
Suppose -4 = -w, c = -3*c + 3*w + 4484. Does 4 divide c?
True
Let g be 1*(-1 - 0) + 3. Let m(o) = o**3 - o**2 - 3*o + 5. Let h be m(g). Suppose 4*c - h*f - 204 = 0, 4*f - 25 = 2*c - 137. Is c a multiple of 30?
False
Suppose p - 6*p = -15. Suppose -z - 213 = p*v, 2*z = -0*v + 3*v + 222. Let g = v + 114. Is 16 a factor of g?
False
Suppose 2323 - 847 = 12*k. Is k a multiple of 41?
True
Let x(c) be the first derivative of -c**4/2 + 2*c**3/3 + c**2 - 1. Let q be x(2). Is 9 a factor of -3*(-1)/(q/(-24))?
True
Let v(y) = 2*y. Let r be v(2). Suppose 2*o - 3*s = 76, 4*o = -2*s + r*s + 168. Suppose 2*z + 2*z = -b + o, 0 = z. Is b a multiple of 27?
False
Let a be 4/6 - 1040/12. Does 50 divide (a/8)/((-36)/1008)?
False
Let s = -24 - -29. Let o(p) = 13*p - 11. Does 18 divide o(s)?
True
Let l = 14 - 6. Suppose 4*i + l = -0. Let z(j) = -12*j + 1. Is 6 a factor of z(i)?
False
Let o be ((-80)/(-15))/(1/81). Suppose 4*l = -2*l + o. Does 12 divide l?
True
Let q = 28 + 154. Is 13 a factor of q?
True
Let g(f) = 7*f - 20. Let o be g(5). Suppose -17*l + 36 = -o*l. Is 9 a factor of l?
True
Suppose 3*s = -2*s - v + 14, -3*v + 8 = -2*s. Sup