p be (-2 - -6) + (4 - 1) + -4. Does 8 divide c(p)?
True
Let d(p) = -p**2 + 3*p - 1. Let h be d(2). Let a(t) be the second derivative of 5*t**5/2 + t**4/12 - t**3/6 + t**2/2 + 10*t. Is a(h) a multiple of 14?
False
Let x = -54 - -66. Suppose 0 = 2*i - 9*r + 4*r - 273, -4*r + x = 0. Is 14 a factor of i?
False
Suppose -5*x - 2*x = 504. Is 17 a factor of ((-77)/22)/(2/x)?
False
Suppose -4*r - 106 = 13*d - 8*d, 66 = -3*d - 3*r. Let y = 14 - 41. Is (-680)/d - 6/y a multiple of 19?
True
Let k be -4*1 + 2 - -6. Suppose -k*q + 2*q = 5*c - 277, 4*c + 3*q = 223. Is c + (0/1 - -1) a multiple of 34?
False
Suppose -4*w + 5 = 9. Let h(t) = -35*t**3 + 3*t**2 + 2*t. Is 9 a factor of h(w)?
True
Suppose 0 = 1662*k - 1663*k + 397. Is k a multiple of 5?
False
Let m(g) = -3*g + 16. Let l be m(0). Let n = -7 + l. Is 2 a factor of 4/(-1) + -3 + n?
True
Suppose 0 = -3*x + 704 - 77. Is 7 a factor of x?
False
Suppose -966 = -m - 5*f + 3*f, -4*m + 5*f + 3838 = 0. Is m a multiple of 13?
True
Suppose -1243 - 1235 = -3*m + 5*g, 0 = 3*g. Is m a multiple of 13?
False
Suppose 42*a - 34*a = 1048. Is a a multiple of 9?
False
Suppose -6799 = 5*a - 76554. Is 12 a factor of (a/(-77) - (-2)/11)/(-1)?
False
Suppose 2*x - 42 = -2*s, 5*x - 5*s - 66 = -11. Suppose 87 = 3*b + 3*r, x - 155 = -5*b - 3*r. Is 26 a factor of b?
True
Suppose 2*b + 283 + 90 = w, -3*b + 3 = 0. Does 25 divide w?
True
Let b be (2/6)/((-7)/(-42)). Suppose 88 - 14 = b*j. Does 13 divide 0/(-3) + 2 + j?
True
Let y be (-6 - -2 - -5)*(0 + 1). Let a = y - -115. Is 14 a factor of a?
False
Let z(m) = 29*m - 651. Is z(35) a multiple of 28?
True
Suppose 0 = -4*f + 16208 - 440. Is f a multiple of 25?
False
Let h(p) = -p + 1. Let t(f) = -4*f + 6. Let o(b) = -15*h(b) + 5*t(b). Is 16 a factor of o(-13)?
True
Let a be 22 - 6/(-3) - -1. Let m = -15 + a. Does 26 divide (-2)/m + (-528)/(-15)?
False
Let r(y) be the second derivative of -y**5/20 - y**4/12 + y**3/6 - y**2/2 + 4*y. Let f be r(0). Does 9 divide (2 + 99/(-3))*f?
False
Suppose 0 = 3*y + 2*j - 4773, 0 = -60*y + 58*y + 2*j + 3172. Is 9 a factor of y?
False
Let r(a) = -a**3 + a**2 + 4. Let p be r(0). Suppose 1 = p*l + 4*z + 137, -4*l = -z + 161. Let w = -13 - l. Is w a multiple of 15?
False
Let r = -185 + 347. Is 18 a factor of r?
True
Suppose u + 10 = 5*l, -2*l + 1 + 3 = -5*u. Suppose j + 2*j - 315 = u. Suppose 25 = -2*w + j. Is w a multiple of 14?
False
Suppose 0 = f - 4*f + 9. Suppose 3*x + 3*u - u = 60, -f*x + 75 = -3*u. Is 6 a factor of x?
False
Let q(a) = -a**3 - 7*a**2 - 3*a - 12. Let f be q(-7). Let j(h) = h**2 + f + 10*h + 6*h + 0*h - 4*h. Does 9 divide j(-12)?
True
Suppose -12*b = -54*b + 1806. Is 43 a factor of b?
True
Let y(t) = t**2 + 11*t - 10. Let z be -11 - (-4)/(-8)*8. Does 22 divide y(z)?
False
Let g = 10 + -12. Let v be g/(-4) + 3/6. Is 7 a factor of (-14)/(-2 - v - -1)?
True
Let l(t) = t**3 - 7*t**2 + 7*t - 4. Let r be l(6). Suppose 3*f = 5*s + 588, 3*f - r*s = 2*f + 196. Is f a multiple of 39?
False
Let m = -9 + 2. Let i(w) = 2*w**2 - 3*w - 3. Let u be i(m). Suppose -s = -2*h + 77, -22 - u = -3*h - 3*s. Is h a multiple of 21?
False
Let v(s) = -4*s + 18. Let r(d) = -3*d + 19. Let c(f) = 5*r(f) - 4*v(f). Is c(-7) a multiple of 16?
True
Let m(s) be the first derivative of -5/2*s**2 + 9 - 17*s. Is 3 a factor of m(-6)?
False
Suppose -4*h = -148 - 1036. Let u = 518 - h. Does 37 divide u?
True
Let b = -413 + 408. Suppose 2*k - 7*k - 10 = 0. Is (9/b)/(k/30) a multiple of 10?
False
Is 4/(12/9) - (13 + -401) a multiple of 17?
True
Let s(b) = -2*b**3 - 4*b**2 - 5. Let a be s(-4). Let y(g) = -g**3 - 6*g**2 + 20*g + 10. Let m be y(-8). Let p = m + a. Is 8 a factor of p?
False
Does 12 divide 17158/15 + (-188)/(-1410)?
False
Let i = -761 - -1491. Is 10 a factor of i?
True
Let n be 4/10 - (-182)/70. Suppose 346 = 5*g - n*y, 2*g + 3*y = 4*g - 142. Does 17 divide g?
True
Let u(z) = 63*z**3 - z**2 - 3*z - 2. Let k be u(-1). Let q = -34 - k. Suppose 39 = 4*s - q. Does 16 divide s?
False
Suppose 3*q - 6*q = -2*i - 8, 12 = -3*i + 4*q. Is (-6)/(48/i)*60 a multiple of 5?
True
Let f(b) = -b**2 + 5*b**2 - 10*b - 19 + 4*b. Is f(7) a multiple of 45?
True
Let i be 39 + -1 + 33/(-11). Does 45 divide (-6)/21 - (-9460)/i?
True
Let n(t) = 3*t**2 + 5*t - 3. Let w(g) = -g + 7. Let o be w(4). Let y be n(o). Is y - (2 - 1/(-1)) a multiple of 21?
False
Let v(b) = -b**3 - 7*b**2 - 13*b - 9. Does 33 divide v(-6)?
True
Let p be 15/12*(-20)/(25/(-5)). Suppose 4*d - 873 = -5*m, -622 - 476 = -p*d - 4*m. Is d a multiple of 37?
True
Let u(y) = 2*y**2 - 8*y - 44. Let d = 21 + -10. Does 8 divide u(d)?
False
Let c(y) = -6*y**2 + y - 2. Let a be c(1). Let b(u) = -7*u + 8. Let f be b(a). Let g = f + -24. Is 13 a factor of g?
False
Let q = -130 + 226. Suppose -32*k + 33*k - q = 0. Is 6 a factor of k?
True
Does 25 divide (-25)/(-3*5/15)?
True
Let m = -136 + 146. Suppose p = -2*i + m, 5*i + 5 = -0*i. Does 12 divide p?
True
Suppose -31 - 248 = -3*n. Does 2 divide n?
False
Let l(d) = d**2 + 6*d - 31. Let i be l(13). Suppose -4*w + i = -2*w. Does 12 divide w?
True
Suppose 4*f - 12 = -3*u + 5*f, 0 = -2*f. Suppose 0 = -u*s + 3 + 9. Suppose 0 = s*i - 74 + 5. Is i a multiple of 18?
False
Suppose -1 + 4 = v. Suppose -g - 95 = -3*o + g, v*g - 72 = -2*o. Suppose -2*x + 38 = 5*y, -x = -y - 3*y + o. Is 2 a factor of y?
True
Let p be (-630)/(-54) + 1/3. Let m = p + 9. Does 4 divide m?
False
Suppose 2*f = 4*m - 702, -2*m = -m + 2*f - 163. Suppose 6*u = -5 + m. Is 14 a factor of u?
True
Let q = -124 + 265. Is 37 a factor of (20/(-5) - -6) + q?
False
Let f be (2 + (1 - -4) + 1)/2. Suppose j + 9 = f*j, 2*j = 2*z - 142. Is 14 a factor of z?
False
Let j(z) = -z**2 + 7*z - 4. Let s(m) = -51*m + 5*m**2 + 16*m + 17 + 3. Let w(v) = 11*j(v) + 2*s(v). Is w(5) even?
True
Is 22/(-33) + (-658)/(-6) a multiple of 12?
False
Suppose 2*t + 2*a = 6*t + 2, 0 = 2*t + 3*a - 19. Suppose x + m = -3*m + 21, 6 = -t*x + 4*m. Suppose -z + 12 + x = 0. Is 6 a factor of z?
False
Suppose 0 = q - 5*a + 30, -4*q + 2*a = q + 35. Let y(p) be the first derivative of 2*p**3/3 + 6*p + 3. Is 16 a factor of y(q)?
False
Let d be 4 + -2 - (-2 - 4790)/4. Suppose -18*m = -22*m + d. Is 37 a factor of m?
False
Suppose j + j + 501 = k, -3*k = -5*j - 1507. Let m = k - 350. Does 53 divide m?
True
Let h(m) = m**2 - 2*m + 1. Let q be h(1). Suppose q*a + 135 = 3*a. Is a a multiple of 28?
False
Let k(l) = -39*l - 56. Does 18 divide k(-4)?
False
Suppose 0 = -0*b + 8*b. Suppose b = -5*r + 2*p + 107, 2*r - 5*p = r + 3. Does 8 divide r?
False
Suppose 0*o = o - 56. Suppose -2*y + o = -k - k, 5*y = 2*k + 128. Suppose 2*d - y - 8 = 0. Does 5 divide d?
False
Let r(v) be the second derivative of v**4/3 + v**2/2 - v. Let a be r(-1). Suppose 10 - 115 = -a*z. Does 21 divide z?
True
Let y(r) be the first derivative of -r**4/4 + r**2/2 + 29*r - 10. Is y(0) a multiple of 29?
True
Let f be 65 + (1 - 1)/1. Let i(o) = o**2 - 14*o + 5. Let x be i(14). Suppose 0 = x*t - f + 10. Is t a multiple of 6?
False
Let t(r) = 24*r**2 + 8*r + 20. Is 38 a factor of t(-7)?
True
Suppose -17*n + 505 = -2946. Is 29 a factor of n?
True
Let h be 64/4 + (6 - 3). Suppose -h = -r - 1. Is r a multiple of 6?
True
Suppose -25 = -5*o, -2*k + 3*o - 82 - 49 = 0. Let d = -13 - k. Is 14 a factor of d?
False
Suppose -5*u = -13 + 3. Suppose -2 = u*s - 3*s. Suppose 5*w - 47 = -2*h, 0 = -4*w - s*h + 13 + 25. Does 6 divide w?
False
Let x(z) = 15 - 4*z - 6 + 11*z - 4*z. Let n be x(4). Let h = n - 13. Is h a multiple of 4?
True
Let o be ((-8)/6 - -2) + 32/6. Suppose -4*h + 3*c - o = -52, -4*h + 50 = -c. Is 13 a factor of h?
True
Let m(c) = -430*c - 54. Does 73 divide m(-3)?
False
Suppose -3*l - 5*p = 4, 4*l = 7*p - 4*p + 14. Suppose 4*y - 316 = -5*k, 2*y - 308 = -3*k - l*k. Is k a multiple of 30?
True
Let m = 406 + 328. Is 8 a factor of m?
False
Suppose 3*o - 647 = -5*m, 4*m - 532 = -2*o - 100. Is o a multiple of 14?
False
Let n be (5 - 2)*(-2)/2. Suppose -5*f + 665 = 5*p, -2*p - 87 = -f + 43. Does 5 divide (f/9)/(-4)*n?
False
Let q(c) = 56*c - 6. Is q(1) a multiple of 2?
True
Let t = 8 - 14. Let n(c) = c**3 + 6*c**2 - c. Let g be n(t). Suppose -g*s = -107 - 121. Is s a multiple of 19?
True
Suppose -4*y - 3*b = 63, 3*y + 14 + 49 = 3*b. Is ((-12)/y)/((-2)/(-129)) a multiple of 16?
False
Let a(u) = 2*u**2 - 2*u + 2. Suppose 3*c