 2*f + 12, 4 = 2*z + 4*f. Suppose 4*x - u - 65 = 0, 0 = -z*x + 2*x - 5*u + 5. Is 15 a factor of x?
True
Let g(s) = -s**2 + 9*s - 18. Let t be g(4). Suppose t*i - 4*v = 90, 3*i + 2*v = -2*i + 201. Is i a multiple of 9?
False
Suppose -3*u + 60 = 2*u. Suppose 17*c - u = 14*c. Suppose -c*f - 3*t + 58 = 0, -3*f - 2*t + 47 = 2*t. Does 13 divide f?
True
Let q(x) = -3*x**2 - 40*x - 1. Is 7 a factor of q(-11)?
False
Suppose -6*v = -310 - 6344. Is 92 a factor of v?
False
Let g = -840 - -1260. Is 10 a factor of g?
True
Let i = 1728 - 1594. Does 52 divide i?
False
Let v(u) = -178*u + 22. Does 27 divide v(-2)?
True
Let s(r) = -39*r + 560. Is 14 a factor of s(0)?
True
Suppose -d - 5*u + 16 = -38, -5*u = 0. Suppose 7*z - 4*z - d = 0. Is z a multiple of 9?
True
Let k(j) = 3*j**2 + 5*j + 65. Is 9 a factor of k(-9)?
False
Let l = -130 + 135. Suppose 2*y - 4*t - 176 = 0, -3*t = l*y - t - 488. Is 32 a factor of y?
True
Let z(m) = 4*m**3 + 14*m**2 - 44*m + 15. Is 33 a factor of z(9)?
False
Let a = -16 + 41. Let f = a + -11. Is 2 a factor of f?
True
Let d(s) be the second derivative of s**5/5 - s**3/2 - 2*s**2 - 5*s. Let h(z) be the first derivative of d(z). Is 9 a factor of h(2)?
True
Suppose 4*f + 59 = 19. Let a be 4*1 + f + 9. Suppose -44 = a*x - 110. Is 22 a factor of x?
True
Suppose -2*d + t = 3 - 140, 4*d = 3*t + 279. Suppose 68 = 3*a + 4*v, 2*v - 8 - d = -4*a. Does 8 divide a?
True
Let b(x) = 2*x**3 + 20*x**2 - 2*x - 52. Is 16 a factor of b(-9)?
True
Is 33 a factor of 7 - (-1 - -4 - 2584)?
False
Let a = 186 + 304. Suppose -2*o = -9*o + a. Is o a multiple of 10?
True
Let u be (-4)/(-2) - (-8)/((-20)/(-5)). Suppose -4*w - u*n + 3*n = -119, 5*w = -3*n + 154. Is w a multiple of 5?
False
Suppose 3*f = 7*f - 3*c - 352, c + 344 = 4*f. Is 5 a factor of f?
True
Let f(r) = 26*r**2 - 16*r - 90. Is 64 a factor of f(-5)?
True
Let a(y) = 7*y - 15 - y**3 - 2*y**3 - 11*y**2 - 4*y. Is a(-5) a multiple of 7?
True
Let g = -1381 - -1674. Does 6 divide g?
False
Suppose 13*m - 111 = 10*m. Suppose 18 = p - m. Is 11 a factor of p?
True
Let g(i) = -15*i - 128. Does 6 divide g(-13)?
False
Let v(j) be the third derivative of -j**6/120 - j**5/6 - 11*j**4/24 + 2*j**3/3 - 13*j**2. Is v(-9) a multiple of 7?
False
Let v be 2/(-3)*(1 - (-8)/16). Let h(y) = 42*y**2 + y + 1. Is 7 a factor of h(v)?
True
Let c(f) = -8*f - 19. Let i(p) = 152*p + 360. Let v(t) = -56*c(t) - 3*i(t). Is 20 a factor of v(-7)?
True
Suppose -49*u = -57*u + 320. Is 4 a factor of u?
True
Let l(h) = -3 + 5 + h + 15. Let s be l(-15). Is 21 a factor of 125*1/5*s?
False
Let j be 9/(-3)*(-30)/9. Suppose -2*s + 154 = 3*l + 2*s, -3*l = -2*s - 130. Let t = l - j. Does 13 divide t?
False
Suppose 3*y - 22 - 2 = 0. Let f be (-2)/y + 254/(-8). Does 15 divide (-1)/(-3 - 95/f)?
False
Let i(c) = c**3 + 3*c**2 - 7*c - 9. Is i(-2) a multiple of 5?
False
Suppose -k + 7*i + 285 = 2*i, -k + 312 = 4*i. Does 10 divide k?
True
Let p = -272 + 514. Is 11 a factor of p?
True
Let q(x) be the second derivative of 1/2*x**3 + 3*x + 0 + 3/2*x**2. Is q(8) a multiple of 9?
True
Let t(v) = -15*v + 59. Is 29 a factor of t(-41)?
False
Let r = 4 + -22. Let n be ((-6)/7)/1*-35. Does 5 divide (r/n)/(1/(-25))?
True
Let x = -152 + 237. Let b = x + -20. Is b a multiple of 13?
True
Let o(a) = 3*a**2 + 32*a + 39. Is o(-10) even?
False
Suppose 11*u - 606 = 8*u. Let l = u - 57. Does 42 divide l?
False
Let z(s) = 132*s**3 + 8*s**2 - 5*s + 5. Does 57 divide z(2)?
True
Let c be (-19 - -18)*(1 - 0)*-5. Suppose 0 = -13*l + c*l + 200. Is 10 a factor of l?
False
Let v(n) = 3*n**2 - 19*n + 4. Let c(m) = -m**2 + 6*m - 1. Suppose -3 = -3*j + 6. Let f(o) = j*v(o) + 8*c(o). Is f(10) a multiple of 14?
True
Let r = 71 - 39. Suppose -5*b = -2*m - 22, 3*b + b = -2*m + r. Let w = b - 2. Does 2 divide w?
True
Let t(k) = 2*k**2 - k - 21. Does 34 divide t(-5)?
True
Let v(x) = x**2 - 3*x + 40. Is v(-12) a multiple of 9?
False
Suppose -i - 71 = 33. Suppose 4 = s - 5*s, 0 = h + 3*s + 171. Let p = i - h. Does 16 divide p?
True
Let c = 79 - 33. Does 2 divide c?
True
Suppose 3 = 4*t - 1. Suppose -t - 5 = -z. Is z a multiple of 6?
True
Let b(y) = y**3 - 20*y**2 - 5. Let u be b(20). Is 57 a factor of u/(-15)*9 - (-282 + 0)?
True
Let g be (-3)/(-9)*(142 + -7). Let w be 4 - (-4)/(12/g). Suppose 41 = 4*t - w. Is 6 a factor of t?
False
Suppose 15*n - 16*n = -7. Let o(r) = 3*r - 11. Let c be o(n). Let p = -4 + c. Is 6 a factor of p?
True
Let i(w) = w**3 - 4*w**2 + 2. Let u be i(4). Let y be 279 - (28/(-8) + (-6)/4). Suppose 4*q - u*o = y, 3*o - 4 = 2. Is 18 a factor of q?
True
Suppose 119*a = 121*a - 6. Let h(c) = c**2 - 6*c + 8. Let r be h(6). Suppose r*k - a*k - 60 = 0. Is k a multiple of 6?
True
Suppose 37 = 2*x + 13. Let c(i) = 6*i - 28. Is 11 a factor of c(x)?
True
Suppose -z = 5*b - b + 87, -85 = z + 2*b. Let i = z + 125. Is 6 a factor of i?
True
Let f(j) = -2*j**2 + j**3 - 2 + 2*j + j**2 + 0*j**2 + 8*j**3. Let z be f(2). Suppose 0 = -3*d - 4*y + z, -125 = -d - 3*d + y. Is 15 a factor of d?
True
Does 35 divide 0 + (-6)/(-7) + 4041560/3220?
False
Suppose 5400 = 13*z + 7*z. Does 15 divide z?
True
Let o be -2*(5/(-2) + 1). Suppose 4*r + 4*t - 236 = 0, o*r + t = 5*r - 121. Is r a multiple of 20?
True
Suppose -4*u + 191 = p, 5*u - 3*p + 54 = 297. Let v = 36 + u. Is v a multiple of 6?
True
Suppose 0 = 2*d - 8*d + 114. Does 3 divide d?
False
Suppose -20*y + 27*y - 1820 = 0. Is y a multiple of 20?
True
Let b = -74 - -98. Let p = 1 - 1. Let z = b + p. Is 15 a factor of z?
False
Let a be (-4)/6 - (-4)/(-12). Let w be (1/(-2))/(a/(-48)). Let r = w + 42. Does 18 divide r?
True
Let q = -223 - -445. Is 7 a factor of q?
False
Let x(i) = -42*i + 50. Let p be x(8). Let n = p - -465. Is 35 a factor of n?
False
Let v(a) = a**3 - a**2 - 7*a + 6. Let o(p) = -p**3 - p**2 - p + 11. Let x be o(0). Suppose -1 - x = -3*w. Does 13 divide v(w)?
True
Let k(x) = 78*x - 65. Is 19 a factor of k(8)?
False
Suppose 3*c - 919 = -2*b, -b + 229 = -5*c - 211. Is b a multiple of 19?
False
Suppose -2*p = -9 + 1. Suppose -p*d = 2*d - 336. Let s = 92 - d. Does 9 divide s?
True
Is 20 a factor of 554 + 2 + 36/9?
True
Let l(u) = 3*u - 19. Let h be l(7). Let q(j) = -j**2 + 2 + j**3 - 1 + 0 - j. Does 2 divide q(h)?
False
Let n = -75 - -79. Suppose -60 = -y - t, n*t = 3*y - 49 - 131. Is 10 a factor of y?
True
Suppose 0 = 2*s + 32 + 22. Is 12/10*(-1170)/s a multiple of 8?
False
Let h be (-2 - (-3 - 58))/1. Let u = -31 - -48. Suppose -h + u = -2*f. Is 7 a factor of f?
True
Let f be (-3)/(-6)*48/(-4). Let v = f + 7. Let x(n) = 7*n. Does 7 divide x(v)?
True
Suppose 8*s = 13*s - 1110. Is (s/(-15))/(2/(-10)) a multiple of 8?
False
Let p be (170/(-6))/(7/(-105)). Suppose t + 85 = 2*t - 2*q, -5*t + 4*q + p = 0. Does 17 divide t?
True
Suppose -4*n = g - 1891, 2*n - 7*n = -4*g - 2390. Is 25 a factor of n?
False
Let y(r) = r**2 - r + 1. Let d be y(-1). Is -2 + 21/d - -4 a multiple of 9?
True
Suppose -9 + 4 = d. Let o(g) = g + 8. Let m be o(d). Suppose 4*v - 1 = 5*p + 62, 5*p + 41 = m*v. Is v a multiple of 11?
True
Suppose 4*t = 4*c + 28, 4*c = -3*t + t + 26. Let v = t + 8. Suppose v = -7*f + 157. Is f a multiple of 10?
True
Let t(p) = -11*p + 98. Is 11 a factor of t(-28)?
False
Suppose -3*v + 106 = 5*b, 2*v + 20 + 101 = 5*b. Is 23 a factor of b?
True
Let q = -6 + 12. Let v be (-282)/9*(-9)/q. Suppose 5*g = 8*r - 3*r + 250, g - 2*r = v. Does 19 divide g?
False
Let t = -21 - -21. Suppose t = -f - 3*v + 60, -v = f + v - 65. Is f a multiple of 15?
True
Let v be (-6)/(-21) + (-4)/14. Suppose 0*s + s = 3*f + 11, -3*s + 2*f + 19 = v. Suppose 2*q = s*q - 210. Is q a multiple of 14?
True
Let p = -78 - -158. Let z = -64 + p. Is 9 a factor of z?
False
Suppose -9*i = -13*i + 440. Let b = i - 47. Suppose -4*p - 19 = -b. Is 4 a factor of p?
False
Let m = 2391 - 1367. Is 7 a factor of m?
False
Let m be 15/3 - (3 - 3). Suppose 5*u = 3*f + 153, m*u - 4*f - 156 = -7. Does 6 divide u?
False
Let g(x) = -x + 28. Let c be g(0). Suppose 2*w - c = -8. Does 2 divide w?
True
Let f = -1153 - -1652. Does 19 divide f?
False
Let s(b) = -b**3 + b - 1. Let z be s(-2). Suppose 0 = q - 4*x - z, -2*x = 5*q - 69. Is 6 a factor of q?
False
Let s(a) = -4 - 4*a + 0 - 5 + 6*a. Let z be s(6). Suppose z*l - 10 = 170. Is l a multiple of 12?
True
Let z(b) = -177*b - 1. Let d be z(-1). Supp