*z + 4*q = -12, z + 2 = -3*q + 3. Suppose 0 = 4*i - z*g + 60, 5*i - 1 + 66 = 3*g. Is 4 a factor of 8/i*30/(-4)?
False
Suppose -3*f - 1443 = -4*y, y - f - 1801 = -4*y. Is 90 a factor of y?
True
Let x = 28 + 166. Suppose -2*m = n - 41, -5*n - 3*m + x = -4*m. Does 8 divide n?
False
Let c(b) = 43*b**2 - 3*b - 1. Let g(f) = -2*f**2. Let q be g(-1). Let z be c(q). Suppose -z = -3*p + 2*m - 7*m, 0 = 4*m. Does 20 divide p?
False
Let t(f) = 10*f - 53. Does 26 divide t(12)?
False
Let s(w) = w**3 - 11*w + 10. Let v be s(4). Suppose 59 = i + v. Is 4 a factor of i?
False
Suppose -a + 0*a = -24. Suppose 6 = 3*f - t - 0, -2 = -f - 4*t. Suppose -z - a = -f*z. Is 13 a factor of z?
False
Let l = 10 - 10. Suppose l = -5*m + t + 22, -4 = 2*m - 5*t + 1. Suppose -3*i + 2*n + 168 = 0, -m*n = -2*i - 0*n + 112. Is i a multiple of 19?
False
Let c be (-8 - -10)/(4/10). Suppose c*x - 9*x = -288. Is 18 a factor of x?
True
Suppose 7*q - 8*q = -11. Suppose q*r - 137 - 61 = 0. Does 6 divide r?
True
Let h(g) = 128*g**2 + 2*g - 1. Let t be h(1). Suppose 4*i - 82 = -2*m, 0 = -2*m - m - 3*i + t. Is 5 a factor of m?
True
Suppose 3*y = -5 + 2. Let g(v) = v - 1 + v**2 - 37*v**3 + 2 - 2 - 2*v. Does 9 divide g(y)?
False
Let x = -20 - -31. Suppose 0 = 7*k - x*k. Suppose -5*p + 2*u - 62 + 254 = 0, k = -3*p - 4*u + 136. Is p a multiple of 20?
True
Let g(s) = -s**2 - 9*s + 4. Let y be g(-9). Suppose -y*l + 15 = -l. Suppose 316 = 5*j - 2*m + 18, -5 = -l*m. Is j a multiple of 12?
True
Suppose 3*d - 2 = v, 2*d - 1 = -3*d + 4*v. Suppose 130 + 134 = 11*a. Let j = a + d. Is j a multiple of 16?
False
Let h(z) = 4*z**2 - 19*z - 1. Let g be h(5). Suppose -g*k = -p - 0*k + 44, 0 = -4*k - 20. Is p a multiple of 4?
True
Let y = -58 - -83. Suppose 29*q = y*q + 196. Does 7 divide q?
True
Let g be ((-16)/8)/(1/(-2)). Suppose -114 = -g*u + 3*m - 0*m, -m - 137 = -5*u. Does 2 divide u?
False
Let r be (-2*(-2)/12)/((-11)/(-99)). Suppose 5*t + 5*c - 165 = 0, -3*t + r*c - 24 = -129. Does 17 divide t?
True
Let p be 9/(-6)*2/(-3). Let m be 2*(p + (-99)/(-6)). Suppose -3*b + m = -4. Does 8 divide b?
False
Suppose 5*i + 172 - 17 = 0. Let r be (2 - (i + 1)) + 0. Suppose -5*s + r = -s. Is 7 a factor of s?
False
Suppose 7*f = 9*f + 118. Let l = f + 95. Is l a multiple of 9?
True
Let j(u) = 4*u**3 - 8*u**2 - 9*u + 19. Does 59 divide j(8)?
False
Let p(c) = -c**3 + 4*c**2 + 4*c + 5. Is 3 a factor of p(-2)?
True
Let c be -4 + (26/(-39))/((-2)/12). Suppose -3*g + 8*g - 191 = -d, c = -d - g + 179. Is 16 a factor of d?
True
Let k = 1 + 8. Suppose 13*m + k = 10*m. Is 12 a factor of (-1 - m)*(1 + 21)?
False
Does 83 divide ((-166)/8)/(-8*(-18)/(-10368))?
True
Is 7 - 40/6 - 3629/(-3) a multiple of 5?
True
Suppose -252 = 5*v - 11*v. Suppose 37*q + 45 = v*q. Is q a multiple of 3?
True
Let y(n) be the first derivative of -1/4*n**4 + n + 8/3*n**3 - 5 - 1/2*n**2. Is y(6) a multiple of 19?
False
Let g = -30 - -33. Suppose -j + 2 = 0, 3*d - j + g*j = 277. Does 12 divide d?
False
Let k(p) = -2*p**3 + p**2 + 4. Let q be k(0). Suppose h - g - 1 - 17 = 0, q*h - 57 = -g. Does 13 divide h?
False
Is 1503 + -8 + -2 + 10 a multiple of 9?
True
Suppose 2*x + 0*x = 40. Suppose r - 27 - x = 0. Suppose m = 5*t + r, 2*m + m - 5*t = 101. Is 7 a factor of m?
False
Let g(l) = 6*l**2 - 12*l + 12. Is 7 a factor of g(8)?
False
Suppose -2*i - 1 = 9, 2*v = 5*i + 43. Is 27 a factor of v/(-12) - 215/(-4)?
False
Suppose 16038 = -63*s + 76329. Is 41 a factor of s?
False
Let p be (0 - 5) + (-4)/1. Is 30 a factor of (9/(-4))/(p/240)?
True
Let b = 185 + -89. Let i = b - 32. Is 16 a factor of i?
True
Suppose -86*k = -94*k + 2296. Does 41 divide k?
True
Let d(a) = a**2 - 8*a - 3. Is 3 a factor of d(9)?
True
Is 11 a factor of (23345/(-70))/((-3)/6)?
False
Suppose 0 = -5*r + 25, d - 2*d = -4*r - 62. Is d even?
True
Let w(f) = 9*f**2 + f - 2. Let l be w(1). Let q be 8*(-4)/l + 112. Suppose 52 + q = 5*u. Does 16 divide u?
True
Suppose 3*x = x. Let z(n) = -n + 11. Let a be z(8). Suppose -4*k - 4*r + 132 = -x, 0 = 3*r + a. Is 15 a factor of k?
False
Suppose 7*f = 5*f + 60. Does 15 divide f?
True
Let c = 1 - -6. Is 45 a factor of 2/c - (-4724)/28?
False
Suppose l - 3*b = -0*l + 8, -4 = 2*l + 4*b. Suppose 25 = l*g + 11. Is 4/28 + 48/g even?
False
Let d(o) = o**3 - 8*o**2 - 28*o + 50. Is 15 a factor of d(11)?
True
Let k(u) = u**2 - 2*u - 21. Let g(p) = 5*p - 9. Let m be g(3). Let j be k(m). Suppose -a + 9 = -j. Does 5 divide a?
False
Let y(i) = -10*i + 5 + 3*i + 8*i**2 - 3*i**2 + i**3. Let l be y(-6). Suppose -3*u + 16 = a, 4*u - 9 = -2*a + l. Is 3 a factor of u?
True
Let q = 19 - 10. Let u(v) = v + 6. Let g be u(q). Let l = 25 - g. Is l a multiple of 7?
False
Suppose -5*r - 4*v = 127 - 1069, 3*v + 386 = 2*r. Does 15 divide r?
False
Let n(c) = -c**3 - 2*c**2 + 9*c + 27. Is 52 a factor of n(-7)?
False
Suppose -s - 7*s = -48. Suppose 42 = j + s*j. Is j a multiple of 3?
True
Let j be (7 + -5)*(-532)/(-8). Let z = -109 + j. Is 3 a factor of z?
True
Does 10 divide (-12)/9*8460/(-8)?
True
Let z be ((-3)/(-4)*-2)/(4/(-8)). Suppose z*y - 333 = -4*o, o + 4*y - 81 - 12 = 0. Is o a multiple of 27?
True
Is 23 a factor of ((-826)/28)/((-2)/8)?
False
Suppose f = 2*i + 118, f - 9*i + 11*i = 102. Does 11 divide f?
True
Let l be (18/21)/((-3)/(-14)). Let o(q) = -q**3 + 6*q**2 - 2. Does 9 divide o(l)?
False
Suppose 0 = 5*a + 2*f - 187, a - 113 = -2*a - f. Suppose -2*q - a = -13. Is 3 - (0 + (q - -2)) a multiple of 14?
True
Let s(z) = 4*z - 4*z - 4 - 9*z - z. Let h be s(-2). Let q = 31 - h. Does 15 divide q?
True
Let x be (187/44)/((-2)/(-16)). Suppose a + 4 - x = 0. Is a a multiple of 15?
True
Let x(v) be the third derivative of 7*v**4/3 - v**2. Suppose 5*r + 4*d - 1 = 0, 0*d + 8 = 3*r - 5*d. Does 42 divide x(r)?
False
Let o(g) = g**3 + 9*g**2 + g + 13. Let j be o(-9). Let d(p) = 12*p - 10. Let t be d(j). Suppose 122 + t = 4*k. Does 11 divide k?
False
Suppose -r + 6 = r + s, 4 = r + s. Suppose -n - 20 - 13 = -w, -3*w + 98 = -r*n. Does 10 divide w?
False
Suppose 7*f - 970 = 150. Is f a multiple of 10?
True
Let k = -55 - -63. Suppose k*h - 3*h = 330. Is 9 a factor of h?
False
Let u = -1004 - -2402. Does 32 divide u?
False
Let d = -71 - -204. Suppose -92 = -5*m + d. Does 15 divide m?
True
Suppose 21 = 5*n + u + 6, 0 = 3*n + 4*u - 26. Suppose t = n*t - 14. Is t a multiple of 5?
False
Let h(l) = -3*l**2. Let p be h(-1). Let c(q) be the first derivative of -q**4/4 + q**2/2 - 2*q - 95. Is c(p) a multiple of 7?
False
Let x(g) = g**3 - 2*g**2 - g + 6. Let n be x(5). Suppose 2*f - 137 = 3*c, -2*c + f = -4*c - 96. Let o = c + n. Is o a multiple of 9?
False
Suppose -m = -2*m - 2*q + 9, -5*m + 24 = 3*q. Suppose -m*u - j + 4 = -0*u, -10 = -u + 4*j. Suppose 7*a - 70 = u*a. Is a a multiple of 14?
True
Let o(d) be the second derivative of d**5/10 - 5*d**4/6 + 2*d**3/3 + 10*d**2 + 11*d. Does 22 divide o(7)?
False
Suppose 5*d = 4*u + 3*d - 12, -5*u + 15 = -d. Suppose -u*q - 20 = -86. Let p = q - 10. Does 8 divide p?
False
Suppose 0 = 12*x - 14587 - 2189. Is x a multiple of 134?
False
Suppose 12990 = 56*c - 41*c. Does 23 divide c?
False
Suppose -w + 8 = -2*w. Let s = 103 - w. Is s a multiple of 8?
False
Let z(h) = h**3 - 2*h**2 + h + 1. Let d be z(2). Suppose s - 18 = 2*v, 2*s + 1 = -d*v + 30. Let w = 17 + s. Is w a multiple of 11?
True
Let c(i) = -114*i + 4. Let a be c(-2). Suppose -10*w + a = -6*w. Let r = w - 12. Is r a multiple of 23?
True
Let q = 476 - 303. Does 34 divide q?
False
Suppose 12 = 3*k, 4573 = 5*d - 4*d + 4*k. Is d a multiple of 93?
True
Let v = -120 + 182. Is 35 a factor of v?
False
Suppose -3*n = -15 - 711. Does 11 divide n?
True
Suppose 17*z = 57*z - 114520. Is 51 a factor of z?
False
Let n(a) = 1 + a + 2*a**3 - 2*a + 0*a + 6*a**3 + a**2. Let d = -7 + 8. Is n(d) a multiple of 5?
False
Suppose -x + 20 = -4*c, 3*c - 164 = -5*x + 7*c. Suppose 2*l + 5*p = 6*l - 36, -2*l - 2*p + x = 0. Is l a multiple of 7?
True
Let k = -3 - -5. Suppose 2*t = -k*i - 0*t + 426, 0 = -5*t - 15. Suppose -7*m = -m - i. Is 9 a factor of m?
True
Let o(j) = j**2 - 11*j + 41. Let s be o(24). Suppose 5*h - s = 3*h - 3*l, -2*h - 2*l + 350 = 0. Is 24 a factor of h?
False
Let v(m) be the second derivative of -m**4/12 + 90*m**2 + 53*m. Does 20 divide v(0)?
True
Suppose -3*d = 11*d - 854. Is d a multiple of 23?
False
Supp