c(9). Suppose -35 = 2*o - q. Is 12 a factor of o?
False
Suppose 0 = -4*d - 12 - 4. Let q be d/(-3)*42/(-4). Is (-192)/q + 4/14 a multiple of 7?
True
Suppose -a = -6*a + 4*v - 3195, 0 = -4*a - 4*v - 2520. Does 13 divide (-1)/3 - a/15?
False
Let l = 1 + 4. Suppose -25 = -l*y, -5*y = -5*k - 0*y + 105. Is k a multiple of 13?
True
Suppose x + 303 = 3*j - 347, 5*j - 1050 = -5*x. Is 23 a factor of j?
False
Let b be -1 - (-1 + 18/(-2)). Suppose -u + b = -k, -11 = -u - 0*u - k. Is 5 a factor of u?
True
Let g = -79 + 176. Suppose 0 = -5*h - 4*d + g, 5*h + d - 12 = 91. Is 7 a factor of h?
True
Suppose -6*b + 2*b + 120 = -4*h, -15 = 5*h. Does 8 divide b?
False
Let w be 11 + 2/6*3. Suppose -2*r + w = -r. Is 4 a factor of r?
True
Let y be (-352)/5 - (-4)/10. Let u = y - -133. Is 21 a factor of u?
True
Suppose 10*b - 683 - 287 = 0. Does 9 divide b?
False
Let y(p) = 2*p + 10. Let v(w) = -w - 9. Let g(u) = 4*v(u) + 3*y(u). Is 7 a factor of g(10)?
True
Let f = 0 - 4. Let a be 2 + -1 + 3 + f. Suppose -3*p = -2*b - 193, 0*p - p + 2*b + 71 = a. Is 21 a factor of p?
False
Let q(b) be the third derivative of -b**4/24 + 11*b**3/6 - 2*b**2. Let p be q(9). Does 18 divide (-105)/(-6) + p/4?
True
Let p be 1/(1 + (-12)/15). Let g = 6 - 6. Suppose p*k - 27 - 28 = g. Is 5 a factor of k?
False
Suppose -18 = -3*a - 0. Suppose -f - 4*f + 20 = 0. Let o = a - f. Does 2 divide o?
True
Let o = -7 - -17. Does 9 divide o?
False
Let o be (-1)/(-3) - (-178)/6. Suppose -2*b - 25 = b - 5*r, 0 = 4*b - 3*r + 15. Suppose -2*i + i + o = b. Is 11 a factor of i?
False
Suppose 5*m = 589 - 64. Suppose 2*r = -y + 3*y + 90, y - m = -2*r. Is r a multiple of 18?
False
Let k = -62 - -35. Let d = -11 - k. Is 8 a factor of d?
True
Suppose 0 = -3*r + 3*c + 1164, -5*r + 3*c = -0*r - 1944. Suppose 0 = 7*m - 2*m - r. Is ((-1)/3)/((-2)/m) a multiple of 7?
False
Let y = 44 - 22. Does 11 divide y?
True
Let t(y) = -y + 8. Let a be t(9). Let v = 13 - a. Is 3 a factor of v?
False
Suppose 2*x + 5*m - 136 = 0, 5*m + 0*m + 68 = x. Is 17 a factor of x?
True
Suppose -3*k + 52 = -5*b - 29, -b + 4*k - 6 = 0. Let i be 6/b + (-25)/(-3). Suppose 0 = -5*t + 4*t + i. Is 4 a factor of t?
True
Let p(y) = -7*y + 23. Let s(g) = 17 - 4 + 10 - 6*g. Let v(m) = -5*p(m) + 6*s(m). Is 11 a factor of v(0)?
False
Let a be (-2)/8 + 164/16. Suppose 0 = -4*v + 5*l - a, 0*v - v - 3*l - 11 = 0. Let o = -3 - v. Is 2 a factor of o?
True
Suppose -161 = -10*f - 661. Let w be 4/(-10) - (-944)/10. Let o = w + f. Is 22 a factor of o?
True
Suppose -10 = 2*q - 5*p, 0*p + 10 = -5*q + 5*p. Suppose 0 = 4*c - 4*x, q*c = 4*c + 5*x. Suppose -2*n + c*n + 8 = f, -8 = -2*n - 2*f. Is 4 a factor of n?
True
Suppose -2*f = 4*d - 2*d - 46, -120 = -4*d + 3*f. Is d a multiple of 3?
True
Let c(y) = -y**3 - 11*y**2 - 6*y - 5. Let f(o) = 2*o**3 + 21*o**2 + 12*o + 10. Let r(d) = 7*c(d) + 4*f(d). Let x be ((-2)/3)/((-2)/(-18)). Does 5 divide r(x)?
True
Let g(j) = -28*j + 1. Let v be g(-2). Suppose -v = 2*p - 319. Suppose 0 = -5*l, -5*d - 4*l + p - 31 = 0. Is 7 a factor of d?
False
Let q be (-92)/(-20) - (-2)/5. Let v be (-96)/(-20) - (-1)/q. Suppose v*z = 85 - 20. Does 13 divide z?
True
Let z be (-5)/(-2)*(-224)/(-35). Let g be ((-6)/(-5))/(4/10). Suppose z = -2*h + g*h. Is h a multiple of 6?
False
Let t(b) be the first derivative of -b**4/4 + 7*b**3/3 - 7*b + 1. Is t(6) a multiple of 29?
True
Is 337/3 + 1/(-3) a multiple of 14?
True
Let b = 21 + -10. Is b a multiple of 7?
False
Suppose 4*h + u = 52, 4*h = 8*u - 3*u + 76. Does 14 divide h?
True
Suppose 3*b + 0*b - 2*t = 48, b + 5*t = 33. Is b a multiple of 3?
True
Let x = -4 + 6. Suppose -5*u = x*g + 135, -g - 105 = -0*u - 5*u. Let d = 121 + g. Does 19 divide d?
False
Let d(c) = c**3 - 5*c**2 + 8*c - 9. Let q(t) = t**3 + t - 1. Let z(f) = -d(f) + 2*q(f). Suppose 0 = -k - j - 7, 0 = -k - k + j - 8. Is z(k) a multiple of 16?
False
Let l(p) = -4*p + 15. Let w(d) = -2*d + 8. Let a(n) = 6*l(n) - 11*w(n). Is 10 a factor of a(-4)?
True
Suppose -5*x + 25 = 2*s, 2*s + 0*x - 24 = -4*x. Is 10 a factor of s?
True
Suppose -4*t - 684 = -5*a, a + 2*t - 162 + 28 = 0. Suppose -w + a = 3*w. Let f = 4 + w. Does 19 divide f?
True
Let d = 101 + -49. Is 28 a factor of d?
False
Suppose 6*w = 2*w. Let f(l) = -l**2 - l + 33. Is 7 a factor of f(w)?
False
Let g(v) = 2*v**3 - 3*v**2 - v + 5. Let s(l) = 6*l**3 - 10*l**2 - 4*l + 16. Let y(n) = -11*g(n) + 4*s(n). Let t be y(6). Is (-1)/4 - t/(-12) a multiple of 13?
True
Let x = 23 - -1. Suppose -116 + x = -4*t. Is 23 a factor of t?
True
Let g = -32 + 53. Does 7 divide g?
True
Suppose 4*s = 5 + 35. Is 5 a factor of s?
True
Suppose -i + 12 = i. Is 17 a factor of (-1 - -35)/(i/12)?
True
Let u = 5 + 34. Does 13 divide u?
True
Suppose v + r = -4*r + 28, 0 = -4*v - 4*r + 64. Is v a multiple of 13?
True
Let t be 2/10 - (-8)/10. Let x be (-4)/(-2) + 1 - t. Suppose 0 = -2*p - x*d - 2, p = -4*p - 4*d - 2. Is p a multiple of 2?
True
Let t = -137 + 42. Let c = -52 - t. Is c a multiple of 19?
False
Suppose -3*p + 27 = l, -p - 5*l + 13 = -10. Does 8 divide p?
True
Suppose 0 = n + 3*n - 152. Does 19 divide n?
True
Suppose -5*h + 2*u + 3*u + 110 = 0, 0 = 3*h + 5*u - 26. Is 10 a factor of h?
False
Let s(w) = -5*w + w + 8 + 2*w + 3*w**2 - 3. Is s(3) a multiple of 13?
True
Let j = -223 - -98. Let p = -81 - j. Does 11 divide p?
True
Is (176/(-6) + 2)/(2/(-3)) even?
False
Let s = 203 - -161. Is 14 a factor of s?
True
Suppose 63 + 47 = 5*s. Is 11 a factor of s?
True
Suppose 0 = 5*m - 21 - 34. Is 5 a factor of m?
False
Let q be (-14)/(-2) - 0 - -1. Let a = q + -3. Suppose 2*p + 3*p + 2*o = 95, a*p = 5*o + 130. Is 10 a factor of p?
False
Let h(p) be the third derivative of p**4/12 + p**3/6 + p**2. Let b be h(1). Suppose -12 = t - b*t. Does 3 divide t?
True
Let v = -10 + -19. Let o = -17 - v. Does 12 divide o?
True
Suppose -5*s + 40 = q, -q + 5*q - 5*s - 110 = 0. Is 10 a factor of q?
True
Let n be -17 + 0/3 + 1. Let c be (n/(-20))/((-2)/(-740)). Suppose 86 = -5*o + c. Does 21 divide o?
True
Suppose -m = 3*k - 134, -4*m + 347 = -k - 241. Is m a multiple of 31?
False
Let q = 52 + 52. Does 13 divide q?
True
Does 9 divide 290/6 - (-5)/(-15)?
False
Let w(q) = -4*q - 1. Let i be w(7). Let n = 60 + i. Let v = 44 - n. Is 13 a factor of v?
True
Suppose 0 = -2*w + w. Suppose w = 2*u + 2, -3*s + 31 = -2*u - 46. Is s a multiple of 9?
False
Let x be (-6)/(-3 - 0) - -22. Let n = x + -10. Does 6 divide n?
False
Let k = -13 - -13. Suppose k*r - r + 17 = 0. Is 17 a factor of r?
True
Suppose -i - 1 = -2*i. Suppose 2*d + 3 = -1. Does 16 divide d*(50/(-4) - i)?
False
Let u = 1 - -7. Suppose u = 3*m + m. Suppose -y = -m - 17. Is 19 a factor of y?
True
Suppose -3*q + 50 = 5*s, s + 2*q + 3*q = -12. Suppose -5*v = j - s - 36, 25 = v + 4*j. Is v a multiple of 4?
False
Let s = 43 - 18. Let g = s + -10. Does 10 divide g?
False
Suppose 0 = 2*k - c - 234, 3*k = -3*c + 6*c + 351. Is k a multiple of 33?
False
Let r = -7 + 13. Suppose g + 125 = r*g. Is g a multiple of 14?
False
Suppose -3*p = -71 - 1. Does 24 divide p?
True
Let t(n) be the second derivative of n**4/6 + n**3/2 - n**2/2 + 2*n. Suppose 0*b + 2*b + 6 = 0. Is t(b) a multiple of 8?
True
Suppose 4*d + 3*a = 0, 2*d + 0*a = -a. Suppose -2*l + 48 = -d*l. Does 8 divide l?
True
Let g be (2 - 0 - 3)*55. Let n = -33 - g. Is 5 a factor of n?
False
Let n = 6 + -3. Suppose -y = 4*h - n*h + 101, -h + 5*y = 113. Let f = -62 - h. Is 13 a factor of f?
False
Let u(v) = 5*v - 1. Is 11 a factor of u(9)?
True
Let w = 94 - 47. Does 10 divide w?
False
Let i(g) be the third derivative of 19*g**5/30 + g**4/24 - g**3/3 + 2*g**2. Let q be i(2). Is 1/(-3) + q/6 a multiple of 11?
False
Is ((-55)/(-10) + 6)/((-1)/(-2)) a multiple of 12?
False
Suppose -5*w - 282 + 1012 = 0. Is w a multiple of 25?
False
Let c(o) = o**3 + 11*o**2 + 10*o - 2. Let s be c(-10). Let r = 15 - s. Is 5 a factor of r?
False
Let f = -123 + 191. Is f a multiple of 17?
True
Is (-1 - 29)*6/(-12) a multiple of 10?
False
Let l be -2*(9/(-6) - 0). Suppose q - 2 = 2*q + 2*f, -l*f - 3 = -4*q. Does 8 divide (-8)/((-1 + q)*1)?
True
Let u(b) = 15*b - 1. Suppose 18 = 4*f - f. Let q(c) = c**3 - 5*c**2 - 5*c - 3. Let r be q(f). Does 17 divide u(r)?
False
Is 300/3 - 0 - -2 a multiple of 34?
True
Suppose 4*v = 10 + 10. Suppose 2*m - 96 = -k - 4*k, -k - 186 = -v*