ose -3*c + 2*x = -3*x + 92, c + 8 = -4*x. Let w = 38 + c. Is 7 a factor of w?
True
Is ((-100)/(-7))/((40/(-35))/(-8)) a multiple of 25?
True
Let c(a) = 2*a**2 - 16*a - 6. Let t(q) = q - 6. Let g be t(18). Is c(g) a multiple of 11?
False
Suppose -3*a = 16 + 23. Let i(g) = -g**3 - 12*g**2 + 8*g - 18. Is 7 a factor of i(a)?
False
Suppose -2*c + c - 120 = 0. Let a = 195 + c. Is a a multiple of 22?
False
Let w(t) = 51*t**2 - 4*t + 2. Let h be w(2). Let b be (5/(-15))/((-2)/h). Suppose -i = x - 9, -i = -5*i - 3*x + b. Is i a multiple of 3?
True
Let d = 396 - 207. Suppose -12*j = -13*j + d. Is j a multiple of 21?
True
Let m(x) = 16*x**2 + 2*x + 1. Let r be m(-1). Let b = r - 15. Let v(n) = -n**3 - n + 16. Is 5 a factor of v(b)?
False
Let v(g) be the second derivative of g**4/12 - 7*g**3/6 - g**2 + 6*g. Does 4 divide v(12)?
False
Suppose -11*f + 7758 + 10612 = 0. Is f a multiple of 16?
False
Let r(m) = m + 21. Suppose 2*t = -2 - 6. Is 17 a factor of r(t)?
True
Suppose 3*g - 15 = -0*g. Let x be 399/(-5) - g/25. Let y = -20 - x. Is 11 a factor of y?
False
Let z be (-24)/(-56) - (-452)/7. Let x = 185 - z. Is 10 a factor of x?
True
Let r(b) be the third derivative of -11*b**2 + 0 + 0*b + 2/3*b**3 + 1/60*b**5 - 1/6*b**4. Does 17 divide r(-5)?
False
Suppose k - 5*w + 6*w = 1441, 5*w + 4355 = 3*k. Is 28 a factor of k?
False
Let a = -33 + 37. Is 17 a factor of (-1 - 27/a)/(38/(-304))?
False
Let s(c) = -c**3 - 13*c**2 + 10*c - 11. Let d(l) be the second derivative of -7*l**4/6 - l**3/6 - l**2/2 - l. Let i be d(-1). Does 13 divide s(i)?
False
Let o(s) = s**2 + 11*s. Let z(t) = -13*t**2 - t - 2. Let x be z(-1). Does 9 divide o(x)?
False
Suppose 0 = -4*u - 0*u + 60. Let d be u*2/(-6)*-1. Suppose 0 = d*p - 8*p + 33. Is p a multiple of 9?
False
Let t = -581 - -740. Does 53 divide t?
True
Let v(o) = o**3 - 7*o**2 - 6*o - 13. Let f be v(8). Suppose -107 = -4*i + d, 5*i - f*d - 34 - 98 = 0. Does 9 divide i?
True
Let r = 0 - -5. Suppose 9 - 39 = -r*g. Does 12 divide (-1084)/(-30) + g/(-45)?
True
Suppose -2*s = 3*s - 35. Let r(x) = x**3 - 8*x**2 + 12*x + 10. Is r(s) a multiple of 7?
False
Suppose d + 521 = 37. Let n = 345 + d. Is n/(-2) - (-3)/6 a multiple of 16?
False
Let p be 0/1 + 7 + (-9)/3. Suppose 95 = p*j - 29. Is j a multiple of 11?
False
Suppose 17*l + 20670 = 30*l. Is 13 a factor of l?
False
Let y(m) = -m**2 + 10*m. Let x be y(10). Let w(k) = -5*k**2 - 16*k + 214. Let t(p) = -p**2 - 3*p + 43. Let n(b) = 11*t(b) - 2*w(b). Is 15 a factor of n(x)?
True
Suppose 987*y - 980*y - 8673 = 0. Does 61 divide y?
False
Let w be 60/27 - 10/45. Suppose 0*k - o = 3*k - 139, w*o - 231 = -5*k. Is k a multiple of 12?
False
Let j = 60 - 37. Let z = j + 21. Suppose 0 = 4*g - 4*v - z, -3*v = -2*g - 2*v + 24. Does 7 divide g?
False
Let q = 4074 - 2751. Does 7 divide q?
True
Let d = -53 - -61. Is d/(-20) + (-81)/(-15) a multiple of 3?
False
Let f(y) = -y**3 - 8*y**2 - y + 28. Is 7 a factor of f(-10)?
True
Suppose 4*r - 268 = -2*q, -2*r - 4*q + 133 = -7. Suppose -r = -23*f + 21*f. Does 23 divide f?
False
Suppose -x - 725 = 4*x. Let j = x - -250. Is 8 a factor of ((-10)/(-6))/(7/j)?
False
Is ((-1120)/25)/((-2)/115) a multiple of 6?
False
Let a be 20/6 + (-45)/(-27). Suppose a*b - 2*b - 216 = 0. Is 8 a factor of b?
True
Let u be (-2)/(-16) + 706/(-16). Let b = -31 - u. Suppose -2*x + 62 = 4*f, -3*f + b = -2. Is x a multiple of 10?
False
Suppose 0 = -4*b - 2*d + 6*d + 4364, 3*b = -d + 3277. Is 14 a factor of b?
True
Let p(v) = -3 - 5*v + 2*v - 2*v + 4*v. Let s be p(-7). Suppose -219 = -s*x + 33. Is 21 a factor of x?
True
Let u(h) = 3*h - 9. Let n be u(6). Let r(l) = -l**2 + 10*l + 4. Let d be r(n). Is 3381/91 - 2/d a multiple of 11?
False
Let a(b) = -2*b + 3. Let y be a(0). Suppose -140 = -y*u - u. Does 35 divide u?
True
Let i(y) = 18*y - 32 - 6*y + 2*y. Is 7 a factor of i(8)?
False
Let s(w) = -w**2 - 14*w - 29. Let j be s(-13). Let v(a) = -5*a - 13. Does 18 divide v(j)?
False
Let b = -15 + -4. Let l(y) = -2*y + 3. Let i be l(-10). Let g = b + i. Is 3 a factor of g?
False
Let a = -48 + -44. Let d = a + 357. Does 24 divide d?
False
Let c = -10 + 10. Suppose -3*g + 9 + c = 0. Let z(b) = 4*b - 3. Does 6 divide z(g)?
False
Let b(l) = -l**3 - 13*l**2 - 6. Let a be b(-13). Let v = 6 + a. Suppose 5*h - r - 47 - 67 = v, 2*h - r - 48 = 0. Is 6 a factor of h?
False
Let g(h) = -h**3 - 2*h**2 - 16*h - 2. Is g(-4) a multiple of 5?
False
Let c = 121 + -118. Suppose 5*k = f - 20, 0 = 2*f - c*k - k - 52. Is f a multiple of 20?
False
Let i = 204 + -356. Let h = i - -232. Is h a multiple of 30?
False
Suppose t + 3*t = m + 69, t - 4 = 0. Let l = m - -62. Is l a multiple of 4?
False
Suppose -2*s - x + 66 = -4*x, 5*s = 4*x + 158. Let v = 31 - s. Is (-144)/(-6) - (v - -2) a multiple of 14?
False
Let k = -576 + 1360. Is 49 a factor of k?
True
Let d = 2777 - 1623. Is d a multiple of 13?
False
Let c(n) = 2*n**2 + n - 20. Does 34 divide c(18)?
True
Suppose 0 = -58*c + 60*c - 10. Suppose 5*g - 4*g = -d + 92, 0 = c*d. Is 20 a factor of g?
False
Let q be 11/1 - (-2 + -10)/6. Suppose q*c - 5*c = 384. Is 24 a factor of c?
True
Let f be 20/5 - 6 - -2. Suppose f = 3*n - 47 + 2. Is n a multiple of 15?
True
Let s = 95 - 54. Is s a multiple of 3?
False
Let f be 0 + (-4)/(16/(-12)). Let o be (-2 + 2)/((-6)/f). Let l(n) = n**3 + n + 33. Is l(o) a multiple of 11?
True
Let n = 5 - 11. Suppose -927 = 42*r - 39*r. Is 16 a factor of (4/2)/(n/r)?
False
Let k = 108 + -17. Let o = k - 48. Let p = o + -24. Is 4 a factor of p?
False
Let s be ((-2)/(-1))/((-6)/9). Let z be (s/(-2))/((-15)/(-20)). Suppose 15 = -z*i + 7*i. Does 3 divide i?
True
Let v = 31 + -43. Let i = 25 + v. Is i a multiple of 2?
False
Let r be (-2)/(-4) - 69/(-6). Let y = r - 9. Does 4 divide (2 - y)/1*-8?
True
Suppose 47 = -5*c + 957. Suppose -923 - c = -5*x. Does 17 divide x?
True
Let m(v) = 2*v - 6. Let t(c) = -3*c + 8. Let z(u) = -4*m(u) - 5*t(u). Is 18 a factor of z(10)?
True
Let i(o) be the first derivative of o**4/4 + 3*o**3 - 25*o**2/2 + 17*o - 19. Is i(-11) a multiple of 13?
False
Suppose 0 = -p - w + 7, 0 = 3*p - 5*w - 5 - 0. Suppose -4*j + 2*y + 232 = 0, -3*j = p*y - 82 - 118. Does 15 divide j?
True
Let x be (-7 + 7)*1/(-3). Suppose w = 2*v - 64, v + 3*v - 8 = x. Let i = w - -91. Is 14 a factor of i?
False
Does 17 divide 4088 - (-22)/33*6?
False
Let z(s) = -2*s**2 + 37*s + 21. Is z(17) a multiple of 72?
True
Let r = -4 + 8. Suppose -a + 745 = r*a. Is 14 a factor of a?
False
Let t = 13 - 8. Let x = 191 - 188. Suppose 0*r + 47 = r + 3*w, -t*r + 187 = x*w. Does 10 divide r?
False
Let n be 18/27 - 20/(-6). Suppose 4*v + 66 = n*h + 14, 0 = -3*h - 3*v + 63. Is h a multiple of 3?
False
Let o(m) = 38*m**3 + 2*m**2 + 3*m - 4. Let b be o(2). Suppose n - 322 = -4*x, -x + 5*n - b = -5*x. Does 14 divide x?
False
Let n(z) = z**2 + 13 - 15*z - z**2 + 2*z**2. Let t be n(11). Suppose -4*c - t = -5*o, 2*o - 5*c = 19 + 17. Is o a multiple of 9?
True
Suppose 3*c + 1081 + 1082 = 0. Let a = -426 - c. Suppose 4*x + x + 5*q - a = 0, -q - 53 = -x. Does 13 divide x?
False
Let z(y) = -y + 16. Let t be z(8). Does 14 divide 15/60 - (-1654)/t?
False
Let v(z) = -33*z - 3. Let f be v(-8). Suppose 36 = -5*r + f. Suppose 4*j - 5*j = -r. Is j a multiple of 19?
False
Let r be 400/65 - (-4)/(-26). Let b = r + -2. Is 13 a factor of 2/8 - (-51)/b?
True
Suppose 2*j = -j - 15. Let x(z) = -z**3 + 9*z**2 + 3*z + 9. Let d(b) = -3*b**3 + 19*b**2 + 7*b + 17. Let a(v) = -2*d(v) + 5*x(v). Is a(j) a multiple of 14?
True
Let p be -7*3/(63/(-6)). Suppose -2*a - 7*v = -3*v - 276, 3*a + p*v = 406. Does 22 divide a?
False
Let q = -2 - -9. Let p(x) = -7*x + q*x + 9*x - 5 + 7*x. Is 14 a factor of p(4)?
False
Is 57 a factor of ((-9)/((-36)/376))/((-10)/(-15))?
False
Does 37 divide (1258/(-5))/(((-147)/70)/21)?
True
Let t be (-2)/5*(-9 + 4). Suppose 0 = -4*y - t*z + 84, 4*z = 3*y - 68 + 16. Does 4 divide y?
True
Let o = 361 - 176. Does 37 divide o?
True
Does 82 divide (-126)/210 + (-4758)/(-5)?
False
Let x(v) = 52*v + 115. Is 11 a factor of x(8)?
False
Suppose s - 4*y + 151 = 0, 3*s + 3*y - 222 + 690 = 0. Let d = s + 293. Does 46 divide d?
True
Suppose 14*b = 3*r + 11*b - 1434, -2*r + 959 = b. Does 54 divide r?
False
Let f = -153 - -23. Is (f/15)/((-4)/18) a multiple of 3?
True
Let a(v) = v + 5. Let d be a(-