 4*t, -t + 5 = -6*m + 3*m. Suppose m = 2*x - x + 4*r - 47, 0 = 2*x + 5*r - 85. Is x a multiple of 7?
True
Let c = 63 - 43. Is 5 a factor of c?
True
Let p = 200 - 115. Suppose 4*j = -j - p. Let d = 25 + j. Does 8 divide d?
True
Suppose -2*s - 181 = -4*f + 171, -170 = -2*f - 2*s. Is f a multiple of 7?
False
Suppose 5*k + 212 = 4*h, -h - 3*k + 0*k = -53. Is 9 a factor of h?
False
Suppose -5*z + 769 = -5*p - 341, 5*p + 2*z + 1096 = 0. Let i = 14 - 8. Does 17 divide (-6)/9 - p/i?
False
Let l(y) = -15*y + 3. Is l(-3) a multiple of 12?
True
Let m = 4 + -2. Let n = m - -1. Is n a multiple of 3?
True
Suppose 0*c = 2*c - 4. Suppose c*q - 64 = -0*q. Is 16 a factor of q?
True
Let n(s) be the first derivative of -s**3/3 - 7*s**2 + 19*s - 6. Is n(-13) a multiple of 9?
False
Is 3 a factor of ((-4)/6)/((-24)/612)?
False
Let s(g) = -g**2 - 8*g - 2. Let z = 7 + -14. Let h be s(z). Suppose h*p - 5 - 15 = 0. Is 2 a factor of p?
True
Let m(d) = -d**3 - 5*d**2 + 10*d + 2. Let u be 4*-1*77/44. Is m(u) a multiple of 15?
True
Does 8 divide 33/4 - 4/16?
True
Let k = -18 - -54. Does 9 divide k?
True
Let n(a) be the second derivative of a**6/360 - a**5/20 - 13*a**4/24 + 5*a**3/6 - 5*a. Let y(w) be the second derivative of n(w). Is y(9) a multiple of 7?
True
Let d = -3 + 1. Let s = -5 - d. Is s*((-14)/1)/2 a multiple of 17?
False
Suppose 0*u + 6 = 2*u. Is 8 a factor of 13 - 0*u/9?
False
Let v(q) = q**2 + 5*q + 7. Is 8 a factor of v(-8)?
False
Let i = 92 + 43. Is 15 a factor of i?
True
Let g(o) = 8 - 8 + 64*o**2 + o. Is g(1) a multiple of 16?
False
Let f(q) = q + 2. Let g be f(7). Does 3 divide (36/20)/(g/30)?
True
Let r = -2 - -2. Suppose -f + 5*u - 48 + 158 = r, -2*f + 5*u = -210. Does 31 divide f?
False
Suppose 0 = -3*n + 40 + 8. Suppose 2*p - n = 48. Suppose 0 = -j - 0*j + p. Is j a multiple of 19?
False
Suppose 7*h - 4*h + 48 = 0. Let g = 31 + h. Does 15 divide g?
True
Let m(q) = q**3 - q + 8. Let l be m(0). Suppose l*s - 90 = 6*s. Does 9 divide s?
True
Let x(l) = -l - 1. Let t be x(-4). Let u(g) = g**2 + 3*g - 3. Is 15 a factor of u(t)?
True
Let v = 33 - 22. Let a = 24 - v. Is a a multiple of 12?
False
Let c(x) be the third derivative of x**6/120 - x**5/5 - 5*x**4/12 + 7*x**3/6 + x**2. Is 19 a factor of c(13)?
False
Suppose -2*g - 2*x = -42, 2*x - 11 - 79 = -5*g. Let w = g + 14. Is w a multiple of 10?
True
Suppose -j + 138 + 60 = 0. Is 45 a factor of j?
False
Let u = -3 - -7. Suppose 0*z = -u*z + 12. Suppose 4*p - 151 = -t, z*p = -p + 2*t + 166. Is 13 a factor of p?
True
Suppose -3*y + 4 - 22 = 0. Is 22 a factor of ((-8)/y)/((-4)/(-66))?
True
Let f be (-27)/(-9) + 0/1. Suppose -4 = f*z - 7*z. Let x(s) = 28*s**3 + s**2 - 1. Is 13 a factor of x(z)?
False
Let q = -8 + 11. Suppose 4*p - 37 - q = 0. Let b = 22 + p. Is 16 a factor of b?
True
Suppose 5*a - 105 = 2*o - 3*o, 4*a + 2*o = 90. Is 10 a factor of a?
True
Let z(d) = 4*d**2 - 3*d - 2. Is z(3) a multiple of 7?
False
Let y(r) = -2*r + 2. Let m be y(-3). Let c be (-22)/4 + m/(-16). Let u(d) = d**2 - d. Does 14 divide u(c)?
True
Let l = 91 - 65. Is 13 a factor of l?
True
Suppose -j + 2*y + 54 = -y, -3*y + 66 = j. Is j a multiple of 13?
False
Suppose -9 + 39 = r. Suppose 0 = -5*w + s + 113, -4*w - s + r = -55. Does 11 divide w?
True
Is 16 a factor of 1 + (-4)/(8/(-90))?
False
Let n be 3/(-12) - (-27)/(-4). Let f = n + 20. Suppose -3 = u - f. Does 7 divide u?
False
Let u(r) = r + 6. Let k be u(0). Let p = 44 - -39. Suppose p = 4*t - f, k = 3*f - 9. Is t a multiple of 14?
False
Let s be 6*38/4*1. Let q(u) = -u**3 + 10*u**2 - u - 11. Let n be q(8). Let w = n - s. Is 22 a factor of w?
False
Suppose 7*k - 2*k - 19 = 3*p, -p + 3*k = 13. Let w = 10 + -5. Suppose p + 53 = w*l. Is 11 a factor of l?
True
Is 45 + 8/(3 + 1) a multiple of 13?
False
Let z be (-206)/(-8) + 1/4. Suppose z = i - 0*i - 5*x, 2*x = -4. Is i a multiple of 8?
True
Let n(l) = 0*l**2 + 5*l - 6 + 0*l**2 + l**2 + 0*l**2. Is n(-8) a multiple of 8?
False
Suppose -f - 2 + 7 = 0. Is 5 a factor of f?
True
Does 20 divide (502 - 1)/(9*(-3)/(-9))?
False
Let l = 6 + -8. Let m(d) = 2*d**2 + 3*d + 1. Let w be m(l). Let t = w + 16. Is 8 a factor of t?
False
Suppose -3*m = o - 17, 0 = 5*o - o - 4*m + 12. Suppose o*s - 7 = 3. Let a = s - -15. Does 10 divide a?
True
Is (384/20)/(3/10) a multiple of 14?
False
Let t = 5 + -8. Let g(q) = -2*q**3 - 4*q**2 + q + 4. Is 7 a factor of g(t)?
False
Suppose 0 = -4*y + 3*y + 4. Suppose -1 = -y*t - 17. Let i = t + 8. Is 4 a factor of i?
True
Suppose -2*y = 3*y - 1400. Does 27 divide y?
False
Suppose 3*h = t + 12, -4*t - 3 + 0 = -3*h. Suppose 6*r = t*r + 18. Suppose -r*q = -3*q - 51. Is q a multiple of 17?
True
Suppose -5*p - 15 = 0, -35 = -4*a - 0*p + 5*p. Suppose 37 + 156 = a*j - y, 0 = j - y - 37. Is j a multiple of 13?
True
Let u = 18 + -12. Does 11 divide 1 - -2 - (-9 - u)?
False
Suppose 6*s - 35 = s. Suppose -u + 4*c - 18 + 7 = 0, 3*u = -3*c - 3. Let b = u + s. Is b even?
True
Let z(n) = -n**3 - 14*n**2 + 15*n + 9. Let y be z(-11). Does 19 divide (-2)/9 + y/(-27)?
True
Suppose 2*c + 5*y + 29 = 9, 0 = 2*y + 8. Suppose c = x - 4*o - 40, 6*o + 85 = 4*x + 5*o. Does 10 divide x?
True
Is 4 - (4 - 2*48) a multiple of 32?
True
Suppose -2*a + 4*x - 2 = 0, 0 = -2*a + x + 7 + 3. Does 7 divide a?
True
Suppose 5*y = 80 + 145. Suppose -f + y = -5*q, 2*f - 7*f - 4*q + 167 = 0. Is f a multiple of 12?
False
Let d(k) = 9*k**3 + k**2 + 5*k**3 - 1 + 0 - 2*k**3. Is 6 a factor of d(1)?
True
Let v be ((-3)/2)/(2/(-4)). Suppose -g = 2*x, 2*g + x = v*x + 6. Suppose 3 = g*a - 65. Does 17 divide a?
True
Let a(i) = -248*i - 5. Is a(-1) a multiple of 27?
True
Let f = 4 - 0. Suppose 0 = -3*x - 5*a + 9 + 12, 0 = -5*x - f*a + 22. Does 2 divide x?
True
Let a = -144 - -201. Does 19 divide a?
True
Let i(r) = -r**2 - 7*r - 1. Let d be i(-6). Suppose -d*q + 15 = -0*q. Is q even?
False
Let o be ((-1)/2)/(1/26). Let i = o - -30. Is i a multiple of 10?
False
Suppose 0*q = -3*q. Suppose -d - 7*n + 4*n + 15 = q, 4 = 4*d - 2*n. Suppose -76 = -4*l + 4*o, -d*o = -4*l - 8*o + 31. Does 7 divide l?
True
Suppose -4*k = 5*g - 3*k, 4*k = -4*g - 16. Is 546/14 + (g - 0) a multiple of 8?
True
Let z(q) = 2*q**2 + 0 + 5*q + 1 + 0*q**2 - 2*q. Is z(3) a multiple of 17?
False
Let w = 27 + 4. Suppose -4*d + d + 28 = 5*m, d - 4*m - 15 = 0. Let l = w - d. Does 14 divide l?
False
Let o(t) = -t**3 + 4*t**2 + 5*t + 7. Let d be o(5). Suppose d = 3*u + 1. Suppose 0 = 5*h - j + 2*j - 111, u*h - 47 = -3*j. Does 9 divide h?
False
Let s(h) = h - 3. Let d be s(-4). Let l = d - -7. Suppose l = 4*b - 20, -5*n - b + 265 = b. Is n a multiple of 17?
True
Suppose -b + 175 = 5*j, 0 = 4*b + 2*j - 4*j - 744. Does 37 divide b?
True
Suppose 0 = -j - 3*a + 6*a - 2, -5*j = 4*a - 66. Suppose d - j - 18 = 0. Is d a multiple of 14?
True
Let r(v) = -5*v. Let d be r(-7). Suppose d = 4*t + t. Does 2 divide t?
False
Suppose -2*n = 54 - 150. Is n a multiple of 12?
True
Let k be 6/4*(-6)/(-9). Suppose -a + 0 = k. Does 14 divide 30/2 + a*1?
True
Let l(q) = q**3 - 17*q**2 + 19*q + 3. Is 17 a factor of l(16)?
True
Suppose s + s = 140. Suppose s = -4*p + 182. Does 14 divide p?
True
Let v be 7/(-2)*(-20)/35. Does 12 divide v + (3 + -2)*22?
True
Let i = -88 - -144. Is i a multiple of 14?
True
Let b(c) = 3*c. Let u be b(7). Suppose 3*l = 12 + u. Does 11 divide l?
True
Suppose q - 5*w + 50 = 0, 3*q = 3*w - 115 + 25. Let b = q - -59. Is 12 a factor of b?
False
Let o(q) = -2*q**2 - q + 1. Let n be o(5). Let z be (-1122)/(-7) - 2/7. Is 1/(z/n - -3) a multiple of 9?
True
Suppose -m + 27 = -0*m. Is 8 a factor of m?
False
Let b be 2/(-6) - 142/6. Let a be -9*(-5)/(30/(-4)). Let q = a - b. Is q a multiple of 9?
True
Let b(y) = 2*y**3 + 23*y**2 - 11*y - 7. Let s(p) = -p**3 - 12*p**2 + 6*p + 4. Let j(k) = 6*b(k) + 11*s(k). Is 10 a factor of j(-3)?
False
Let v = -14 - -24. Suppose -a - 3*a + 416 = -4*d, -4*d = -a + 116. Is ((-16)/v)/((-8)/a) a multiple of 10?
True
Suppose 5*x + h + 3*h = 516, 0 = -4*h - 4. Is x a multiple of 13?
True
Suppose -3*k = -j + 3*j - 4, -3*j + k - 16 = 0. Is (-30)/j*(-32)/(-20) a multiple of 11?
False
Suppose -p + 5*d - 11 = 0, -4*p + 19 = 3*d - 6. Suppose -2*n - 4*g + p = -8*g, 3*n - 5*g = 6. Suppose 4*y - n = 3*a, -4*a + 5*a = -y + 11. Does 4 divide a?
False
Suppose -75 + 735 = 5*l. Is 33 a factor of l?
True
Let 