k + 16 = 3*c + 2*c. Is 8 a factor of (-4 + k)/((-3)/45)?
False
Let g be 5 - (6 - 3) - -18. Suppose -9*p = -5*p - g. Suppose -4*v + 2*c = -2*c - 212, p*c = 2*v - 106. Is 21 a factor of v?
False
Suppose -3*j - 2*o + 3 = -0*j, 6 = -3*j - 5*o. Suppose -j*t = -278 - 478. Does 63 divide t?
True
Let r = -157 - -597. Does 55 divide r?
True
Let u = 4 - -4. Let f be (u/(-20))/((-1)/5). Suppose f*k - z - 105 = 0, -4*k + 200 = -z - 3*z. Is k a multiple of 25?
False
Let g(f) = -f + 1. Let b(y) = y**3 - 6*y**2 - 2*y + 15. Let a(o) = b(o) - 4*g(o). Does 31 divide a(8)?
True
Suppose 0 = 4*z - 2*z + 5*r - 259, 4*z - 5*r - 593 = 0. Does 7 divide z?
False
Let x(z) = z**3 - 10*z**2 + 10*z - 15. Let r be x(10). Let p be r - 20/(-5)*-1. Suppose -p = -5*m + 79. Does 8 divide m?
True
Let z(l) = -l**2 - 15*l - 12. Is 2 a factor of z(-12)?
True
Suppose 0 = -6*q + 8*q - 56. Suppose 2*k + 5*b = 167, 2*k - 145 = b + q. Is 14 a factor of k?
False
Let o = 1735 + -1657. Is o a multiple of 25?
False
Let v(b) = -b**2 + 6*b + 24. Let j(o) = 2*o**2 - 13*o - 49. Let i(y) = -3*j(y) - 7*v(y). Does 11 divide i(-9)?
False
Is 108/(-2)*(14 - 3520/33) a multiple of 24?
False
Suppose 2*q + q = 282. Let j = q + -65. Let s = j + 15. Is 8 a factor of s?
False
Let w = 220 + 2432. Is 12 a factor of w?
True
Let q(c) = c**3 + 6*c**2 + 3*c + 2. Let h be q(-5). Suppose -5*o = -5*y - 225, -3*o + 4*y + h = -126. Does 5 divide o?
False
Suppose 28 = -k - 3*f, -2 - 3 = f. Let w(o) = -2*o - 17. Let x(l) = -2*l - 16. Let b(d) = -4*w(d) + 6*x(d). Is b(k) a multiple of 12?
True
Suppose -2*j + 4*j = 10, 4*j = 5*h + 625. Suppose -72*z - 472 = -74*z. Let w = h + z. Is w a multiple of 27?
False
Is 3/2*(8 + 2532/9) a multiple of 14?
True
Suppose 0 = -m + 5 - 0. Suppose m*g + 93 = -57. Let h = 60 + g. Does 15 divide h?
True
Let i = -2 + -21. Let x = 68 + i. Is x a multiple of 15?
True
Suppose 0 = -3*s + 50 - 41, 5*b - 3*s = 3466. Does 5 divide b?
True
Let y = -1395 - -3012. Is 77 a factor of y?
True
Let l = 4 - -36. Suppose -3*n = -2*n - l. Is 8 a factor of n?
True
Let j be ((-6)/7)/(2/(-224)). Let h = j - 56. Is 15 a factor of 552/10 - 8/h?
False
Let v(x) = -x**3 - 5*x**2 - 6*x + 7. Let c be v(-5). Let l be -1 + 0 + -3 + (4 - 0). Is 12 a factor of c - (l - (2 + -3))?
True
Let x(i) = i**2 + 9*i + 17. Let h(u) = -u**3 + 10*u**2 - 9*u - 7. Let y be h(9). Let c be x(y). Suppose -o + 24 = c*o. Is o a multiple of 4?
False
Suppose 3*p - 5*b - 16 = 0, 0*p + 8 = 3*p - b. Is (-21)/p*91/(-42)*4 a multiple of 13?
True
Suppose 0 = -80*n + 92*n - 18768. Does 46 divide n?
True
Let t(m) = 214*m**2 - 4*m + 4. Is 39 a factor of t(-1)?
False
Let v(l) = 3*l**2 + 137*l + 15. Is 10 a factor of v(-49)?
False
Let f(p) = -5*p - 17. Let i be f(-5). Suppose b = i - 2. Does 5 divide b?
False
Let s(c) be the first derivative of c**5/60 + c**4/12 + c**3/6 + c**2 + 4. Let r(o) be the second derivative of s(o). Does 4 divide r(-5)?
True
Suppose -4*h + 63 = 5*h. Suppose t - 65 = h. Does 12 divide t?
True
Let l(q) = q - 7. Let x be l(11). Let c be x/1 + (-19 - 0). Is ((-36)/5)/(2/c) a multiple of 30?
False
Suppose -12*h = -16*h - 4. Is (-114)/190 + (h - (-496)/10) a multiple of 36?
False
Let l = 11 - 6. Suppose 5*s + l*n = 5, -2*n + 4 = -5*s + 2*n. Suppose -t + 3*t - 2 = s, 4*x + 4*t - 248 = 0. Is x a multiple of 22?
False
Let o(d) = 2*d**2 - 39*d + 70. Is o(26) a multiple of 17?
True
Let c = 19 + 10. Suppose -5*l - 2*q + 57 = -5, -2*l - 5*q = -c. Does 11 divide 110/(-6)*(l - 15)?
True
Let q(v) = 2*v**3 + 6*v**2 - 8*v + 4. Is q(5) a multiple of 26?
True
Let g(c) be the second derivative of -c**3/6 + 4*c**2 - 5*c. Let f be g(8). Suppose -2*j + 16 + 16 = f. Does 8 divide j?
True
Suppose -33 = -4*s - 3*t, 3 = 3*s - 8*t + 3*t. Suppose -b - s + 38 = 0. Is (-1)/((-2)/b*2) a multiple of 4?
True
Does 6 divide ((66/12)/(-11))/((-1)/484)?
False
Let g = 173 - 118. Suppose -4*z + 141 = -g. Is 5 a factor of z?
False
Let r(v) = -15*v**3 + 5*v**2 + 54*v - 1. Does 8 divide r(-5)?
False
Suppose -4*z + 3*c + 6137 = 0, -6145 = -4*z - 11*c + 6*c. Is z a multiple of 43?
False
Suppose -y - 3*x + 515 = 0, 0 = 4*y - 3*x - 47 - 1968. Does 11 divide y?
True
Suppose 0*v + 3*v - 1170 = -4*f, 0 = 4*f - 4*v - 1184. Suppose 306 = 5*o - f. Suppose 5*p = 5*w + o, -7 = p - 5*w - 19. Is p a multiple of 17?
False
Let h = 292 - 204. Let n = h - 40. Is 12 a factor of n?
True
Suppose 2*q = 5 - 1. Suppose q*t = -10, h - t - 18 = 2*t. Is (-110)/(-6) + (-1)/h a multiple of 9?
True
Let l(b) = 1043*b - 23. Is l(1) a multiple of 102?
True
Let o be ((-5)/(-15))/(2 + (-87)/45). Suppose -o*c = -4*c - 40. Does 20 divide c?
True
Suppose -3*x - 2*x = -425. Let k = x - -23. Is k a multiple of 18?
True
Suppose 11*i - 2827 = 1232. Is i a multiple of 11?
False
Suppose 1251*w - 1257*w + 7020 = 0. Is 13 a factor of w?
True
Let w = 16 - 7. Suppose 0 = 3*g - 5*b - 119, -4*g + 7*b + 124 = w*b. Is 6 a factor of g?
False
Suppose -w = t - 377, 9*t - 12*t + 1123 = w. Does 24 divide t?
False
Let l = -238 - -400. Suppose 2*b - 112 = -2*c, -3*b + 2*c = -c - l. Does 11 divide b?
True
Let g = 155 - 200. Let k(y) = 18*y**2 + 2*y + 2. Let f be k(-2). Let m = g + f. Is 11 a factor of m?
False
Let h(d) = -d**3 - 6*d**2 - 2*d + 2. Let a be h(-3). Let o = a - -25. Suppose 2*s - o*s = 4*i - 136, 3*i + 4*s - 97 = 0. Is i a multiple of 13?
True
Let d(y) = -y**3 + 7*y**2 + y + 7. Let s be d(7). Suppose 12*g = s*g - 4. Does 29 divide 98*1 + g + -2?
False
Let t(i) be the second derivative of -25*i**4/12 - i**3/3 + 2*i**2 + i. Let o(p) be the first derivative of t(p). Does 25 divide o(-1)?
False
Is 2 a factor of -1*1*(-7506)/139?
True
Suppose 3*a = -2*k + 978, -2476 = -5*k - 5*a - 26. Is 15 a factor of k?
False
Let b(a) = -3*a**3 - 9*a**2 - 9*a - 7. Let d(v) = 2*v**3 + 6*v**2 + 6*v + 5. Suppose -2*o + 14 = 4. Let x(s) = o*b(s) + 7*d(s). Is x(-3) a multiple of 5?
False
Suppose -2*a - t - 22 = 0, -2*a - 2*t = -7*a - 55. Let j = 42 + a. Suppose -m + j = -3. Is m a multiple of 22?
False
Let y(o) = o**3 + 7*o**2 + o - 1. Suppose -2*k = 0, -2*w + 3*k - 3 = 11. Let i be y(w). Let s = 26 + i. Does 6 divide s?
True
Suppose 173 = 5*k - 22. Let m(n) = -n**2 - 6*n + 11. Let d be m(-8). Let v = k + d. Does 24 divide v?
False
Suppose -395*r = -387*r - 21560. Is r a multiple of 49?
True
Let m(z) = -509*z - 13. Does 16 divide m(-1)?
True
Let l(t) be the first derivative of 21*t**4/4 + t**2/2 - t - 1. Let g be l(1). Suppose -i - b + 22 = -g, 0 = -2*b + 2. Is 7 a factor of i?
True
Let a(d) = -2*d - 24. Let x be a(-12). Let c(t) = t + 7. Let l be c(x). Suppose l*z = 3*z + 328. Does 41 divide z?
True
Suppose 5*m - 40 = -5*w, 2*m - 6*m + 41 = 5*w. Let v(p) = 6*p**2 - 2*p - 11. Let z(u) = 7*u**2 - u - 12. Let x(c) = 6*v(c) - 5*z(c). Is 7 a factor of x(w)?
False
Suppose 3*d - 414 = -3*h, 2*h = -3*d - 2*h + 412. Is d a multiple of 10?
True
Suppose 0 = -119*z + 118*z + 213. Is 5 a factor of z?
False
Suppose -j + 2946 = 3*s, -9*s - 11748 = -4*j - 12*s. Is 11 a factor of j?
False
Let z be (11/22)/(2/48). Does 19 divide (-3 - z/(-20))*-40?
False
Let t(z) be the third derivative of z**5/15 - z**4/24 - z**3/6 + 11*z**2. Is t(3) a multiple of 11?
False
Suppose -66*u + 1299 + 42657 = 0. Is 18 a factor of u?
True
Suppose -5*x = n - 373, 0*x - 2*x - 4*n = -160. Suppose 3*v - 4*t = x, -2*v - 3*t = -t - 68. Does 6 divide v?
True
Suppose 4*m - 478 = -3*w, 0 = -4*m - 10*w + 14*w + 464. Is 6 a factor of m?
False
Let l(g) = -2*g + 2*g + 6 + g. Is 11 a factor of l(5)?
True
Suppose 5*r + 5*p = 23 + 7, -2*p = -2. Suppose -2*m - 1 = -r. Does 9 divide (-32 + m)/(3 - 4)?
False
Let u be (0 + -3)*110/(-30). Suppose -3*i - 112 = -u*i. Is 12 a factor of i?
False
Let d = 1334 - -16. Does 35 divide d?
False
Suppose -3 + 15 = -5*q + 4*t, 0 = -5*q - 4*t + 12. Suppose q = 4*w + 20, w + 4*w + 137 = a. Is 28 a factor of a?
True
Let n(x) be the second derivative of -x**5/20 - 5*x**4/6 - 5*x**3/3 - 7*x**2 + 39*x. Is 33 a factor of n(-10)?
False
Let o be (-19)/(-4) + (-3)/(-12). Suppose k - o*k = -168. Suppose 0 = 4*r - 2 - k. Is 5 a factor of r?
False
Let a = -80 + 83. Suppose 3*b = -u + 295 + 309, -3*b + a*u = -588. Is b a multiple of 31?
False
Let x(h) = 4*h - 9. Let p(f) = -f - 1. Let a(t) = 5*p(t) + x(t). Does 3 divide a(-21)?
False
Let f be 12/(-7*1/7*-2). Suppose 3*n + i