ppose s = -2*t - s + 30, -d*s + 15 = t. Is 3 a factor of t?
True
Suppose -47 = -n - 7. Let k = n - 32. Is 2 a factor of k?
True
Let g = -18 - -23. Suppose -740 = -g*c + 1045. Is c a multiple of 24?
False
Suppose 0 = -2*d - 2*w - 60, -5*d - 142 = -2*w + 5*w. Let s(n) = -16*n + 6. Let u be s(-3). Let v = u + d. Does 14 divide v?
True
Let z(c) = c**3 - c**2 + 2*c + 3. Let b be z(0). Suppose 112 = -f + b*f. Is 28 a factor of f?
True
Let s(w) = w**3 - 5*w**2 - 6*w + 10. Let z be s(6). Suppose 6*y = 4*y + z. Is y a multiple of 3?
False
Let s(w) = -83*w**2 - w - 2. Let c be s(-1). Is 10 a factor of (c/35)/((-6)/80)?
False
Suppose -w + 0*w = -88. Suppose 2*o = 2*l - 0*o - w, 3*l - 108 = -3*o. Suppose l = -2*p + 120. Does 16 divide p?
False
Let t(p) = -p - 7. Let r be t(6). Let j = -9 - r. Suppose -7*b + j*b + 42 = 0. Is 4 a factor of b?
False
Let q(b) = -b**3 + 17*b**2 + b + 29. Is 19 a factor of q(15)?
True
Let k = 65 - -158. Does 4 divide k?
False
Let j = 8567 - 5003. Is 11 a factor of j?
True
Let j(a) = 138*a**3 - 5*a**2 + 7*a - 2. Is j(2) a multiple of 23?
False
Let t = -30 + 46. Let x = t + -11. Is 5 a factor of x?
True
Suppose n - 1791 = -15*a + 10*a, -5*n + 8877 = -a. Is n a multiple of 74?
True
Suppose 4*q - 84*m - 1240 = -80*m, 922 = 3*q + m. Is q a multiple of 14?
True
Let v(w) be the second derivative of -1/20*w**5 + 1/2*w**2 + 1/6*w**4 + 1/6*w**3 + 0 - w. Does 3 divide v(-2)?
True
Suppose 0 = -w - 15 + 10. Let f be 12*(-3)/w*-5. Is (-27)/f*(-44)/(-1) a multiple of 11?
True
Suppose -6*t + 2*t = -8. Suppose -t*r + u + 94 = -31, 0 = 3*u - 3. Suppose 0*n + r = 3*n. Is n a multiple of 5?
False
Suppose 2*w - 3*w + 7 = 3*o, 5*w = -5*o + 55. Is 16 a factor of ((4 - 1) + w)*4?
True
Let n = -729 + 1234. Is 22 a factor of n?
False
Suppose 0 = -8*j + 10*j - 2. Let z = 25 - j. Does 3 divide z?
True
Let d(n) = n**2 - 11*n + 2. Let a be 22/(-11)*(-22)/4. Let l be d(a). Suppose -l*c + 272 = 3*t, 86 = t - 0*t - 4*c. Is 18 a factor of t?
True
Let p = -634 + 1450. Does 29 divide p?
False
Let c(r) = r - 1. Let b be c(6). Suppose 0 - b = -5*u. Is 2 - -1*9*u a multiple of 4?
False
Suppose 0 = -3*i + 2*l + 2957, -2*i - 81*l + 78*l = -1980. Is i a multiple of 21?
True
Let c be 9/(3 - (2 + 2)). Is 17 a factor of c/18*51*-2?
True
Suppose -18*q - 6800 = -28*q. Is 40 a factor of q?
True
Let y(z) = -z**3 + 8*z**2 + 9*z + 7. Let o be y(9). Suppose o*m - 2*m - 40 = 0. Does 15 divide 4/(m/4) - -43?
True
Let f be (-4)/18 + (-2958)/54. Let s be 5/(-2)*44/f. Suppose -w = s - 32. Does 30 divide w?
True
Let i(j) = -144*j**3 + 3*j**2 - 3. Is i(-2) a multiple of 55?
False
Let d(t) = t**2 - t - 3. Let b be d(-2). Suppose 20 = -s + 5*f, f = 5*s + 7 - b. Does 12 divide 31 - 2*(1 - s)?
False
Suppose -4*w = 2*m - 706, -2*m + 55*w = 60*w - 706. Is 30 a factor of m?
False
Suppose 4*q - 65 = 2*c + 3*c, 2*q - c = 25. Does 42 divide 24/(-15) + 2 - (-1256)/q?
True
Let o = 203 + -127. Let q(h) = -h**2 + 7*h - 6. Let b be q(5). Suppose -4*l = -0*l - b*w - 156, 2*l - o = w. Does 14 divide l?
False
Let v = -17 + 17. Is 0 + v - (-3)/1 a multiple of 3?
True
Let j(l) = -l**2 - 10*l + 5. Let m be j(-10). Suppose 2*w + 2*c = -2*c + 30, -m*w = -3*c - 10. Suppose 2*h = w*h - 42. Is h a multiple of 7?
True
Does 11 divide 61/(-366) - 7526/(-12)?
True
Suppose -3*a = 3*c - 7*a - 6, 22 = -5*c - 4*a. Let f(p) be the third derivative of -19*p**4/24 - 5*p**3/6 - 2*p**2. Is 14 a factor of f(c)?
False
Let l = -35 - -35. Suppose 5*o = p + 26, l*o + 4*o = -4*p + 40. Let v(c) = -c**3 + 7*c**2 - c + 12. Does 10 divide v(o)?
False
Suppose -6*g + 11*g + 2*k - 273 = 0, 272 = 5*g + 3*k. Suppose -187 + g = -4*m. Does 3 divide m?
True
Suppose -2*r = 43 - 159. Suppose -36*l + 37*l = 158. Suppose l - r = 5*v. Is v a multiple of 5?
True
Let w(r) = 7*r - 7. Let j be w(-5). Suppose 3*m - 86 = -n, 175 = 2*n + m + 2*m. Let b = j + n. Is 12 a factor of b?
False
Let v be (2 + (-21)/3)/(-1). Let m be 2*1*v/5. Suppose -26 - 90 = -m*j. Is 29 a factor of j?
True
Suppose -o + 3*o = -4. Let w = 70 - o. Is w a multiple of 12?
True
Let n(x) = x**2 + 4*x - 3. Let l(s) = 2*s**2 + 8*s - 5. Let w(j) = 3*l(j) - 5*n(j). Let k be w(-4). Suppose k = -4*i - 0*i + 36. Does 9 divide i?
True
Let g(n) = n**3 - 9*n**2 + 8*n + 10. Suppose 5*o + 10 = -0*o. Let x = o + 10. Is 10 a factor of g(x)?
True
Suppose 18 = m + 4*i, 3*m + 0*m + 4*i - 38 = 0. Is 6 a factor of -29*2*m/(-20)?
False
Let f(g) = 29*g**3 - 5*g**2 + 7*g - 4. Does 25 divide f(4)?
True
Suppose 866 = 21*j - 142. Is 46 a factor of j?
False
Is ((-12)/(-5 - 1))/(6/597) a multiple of 3?
False
Let h(w) = -8*w**2. Let v be h(-1). Let x(k) = 5*k**2 - 2*k - 73. Does 45 divide x(v)?
False
Let g(x) = -8*x + 744. Does 7 divide g(68)?
False
Let u = -283 - -516. Let q = u + -112. Is 9 a factor of q?
False
Let b be (-5 - (-25)/(-5)) + 5. Is (b - (4 + -3))*8/(-6) a multiple of 3?
False
Let d = 13 - 23. Let y = 54 - 50. Is 5 a factor of y/d + 235/25?
False
Suppose 0 = 2*h - 2*q - 4838, -3*h - 9683 = -7*h - 3*q. Is h a multiple of 55?
True
Is 7600/24 - (-1 - (-2)/3) a multiple of 32?
False
Suppose -2*i + 5*s + 20 = 0, 0*i - 4*i - 3*s + 40 = 0. Suppose 5*c + 42 - i = 3*f, 0 = c - 2*f + 12. Let t(w) = -w**3 - 3*w**2 - 2*w. Is t(c) a multiple of 6?
True
Let d be ((-20)/(-15))/((2 - 1)/3). Suppose 2*l = -d*a + 230, l + 86 = 3*a - 89. Is 29 a factor of a?
True
Let m = -3 - -5. Let k be ((-6)/18)/(m/6). Is 5 a factor of k/(-5) + (-252)/(-15)?
False
Let h(k) be the second derivative of 61*k**4/12 - k**2/2 + 4*k. Is 10 a factor of h(-1)?
True
Let d = -70 - -119. Let v = 63 + d. Is 13 a factor of v?
False
Let c(w) = 104*w + 3. Is 9 a factor of c(3)?
True
Let z be 3/(4/(344/3)). Suppose 6*r - z - 226 = 0. Is 26 a factor of r?
True
Let x(l) = -2*l**2 - 9*l + 1. Let s be x(-4). Suppose -250 = -3*n - 6*d + d, -3*n + s*d = -230. Does 14 divide n?
False
Let u = 3246 - 1320. Is u a multiple of 9?
True
Suppose 5*g = 611 + 289. Is 6 a factor of g?
True
Let v = 2819 - 339. Is v a multiple of 40?
True
Let j be 3786/21 - ((-8)/(-28) - 0). Suppose 0 = -36*u + 31*u + j. Does 12 divide u?
True
Let r be (2/(-5))/((-1)/(-365)). Let z = r + 250. Does 13 divide z?
True
Suppose 212*n - 22176 = 203*n. Does 94 divide n?
False
Suppose -9*c + 23 + 22 = 0. Suppose -c*l + 575 - 35 = 0. Is 19 a factor of l?
False
Let r = 337 - -286. Does 12 divide r?
False
Suppose q + 4*b - 648 = 0, q - 3*b = 3*q - 1296. Is q a multiple of 54?
True
Suppose -580 = 5*v - 7*v. Let n(x) = -x**2 + 2*x - 1. Let f be n(1). Suppose f = -l - 2*p + 44, v = 5*l - p + 26. Is 13 a factor of l?
True
Let w be (-88)/55*10/4. Let g(z) = -4*z**3 - 5*z**2 + 4. Let b be g(w). Is 5 a factor of (b/(-24))/(3/(-10))?
True
Suppose -2 = f + 4*f - 4*w, 2 = 4*f - 5*w. Is 4 a factor of (-2)/((-3)/f*1/(-3))?
True
Suppose 42*j - 37*j - 1715 = 0. Does 49 divide j?
True
Let a = -569 - -833. Does 11 divide a?
True
Let m = -10 - -12. Suppose m*q = 6*q. Suppose -3*v = -q*v - 24. Is v a multiple of 8?
True
Suppose -2*z - 22 - 132 = -4*g, -3*z - 46 = -g. Suppose 0 = -15*c + 193 + 2. Suppose -5*f + c + g = 0. Is 10 a factor of f?
True
Let q = 2025 - 1934. Is 19 a factor of q?
False
Is 2/2 + -30 + 2263 + -2 a multiple of 36?
True
Suppose 0 = -3*s - 2*s - 20. Suppose -2*m - 66 = -5*a, m + 7*a = 12*a - 38. Does 11 divide (-1547)/m + 1/s?
True
Let j(i) be the third derivative of -13*i**4/24 + i**3/6 - 4*i**2. Does 5 divide j(-4)?
False
Does 70 divide 9 + 1171 + (-3)/(6/(-2))?
False
Let x be (-12)/9 + (-268)/6. Let n = 80 + x. Is 3 a factor of n?
False
Let b(q) = q**3 - q**2 - 18*q + 8. Let o be b(7). Suppose 5*p - 2*a = o, -60 = -5*p - 4*a + 98. Is 17 a factor of p?
True
Let y(f) = -4*f**3 - f**2 + 9*f + 12. Let w be y(-5). Suppose 5*o + 2*c = w, 0*o - c - 87 = -o. Is 8 a factor of o?
True
Let q = -19 - -37. Let m be (-1 - 35/(-45)) + 29/9. Suppose -6 = 2*a, m*a = -2*i - 1 + q. Is 13 a factor of i?
True
Suppose 9*q = 3*q + 234. Let r = q - 5. Is r a multiple of 15?
False
Suppose 746 = 6*f - 4*f + 2*y, 3*f = 5*y + 1143. Is f a multiple of 94?
True
Let v be (-2350)/(-94)*(-2)/(-2). Let z = 10 + -6. Let l = v - z. Does 9 divide l?
False
Does 73 divide (-4176)/(-60)*4/((-16)/(-20))?
False
Let r(n) = -n**2 + 4*n + 6. Let u be r(4). Suppose -l - 33 = -t - u*l, -5*t + 65 = 5*l. Suppose -2*c - 7*k = -2*