f 5?
True
Let a(z) = 37*z - 4*z + 10*z + 23*z + 11. Does 19 divide a(3)?
True
Suppose 4*w + 1 = 13. Suppose -2*x - 3*x - 5*d + 470 = 0, -w = d. Let a = 179 - x. Is 22 a factor of a?
False
Let h(r) = r**3 + 10*r**2 + 13*r + 10. Let a be h(-9). Let s = a - -6. Is (s/(-50))/((-2)/(-110)) a multiple of 17?
False
Let v be -2 + (-54)/(2 - 3). Let c = v - -53. Let a = 148 - c. Does 14 divide a?
False
Is 2 + -4 + 193 - (-5 - -6) a multiple of 6?
False
Let s be 144/(-76) - 2/19. Let n(i) = 6*i**2 - 3*i - 2. Does 14 divide n(s)?
True
Suppose 2*w = 5*f - 130 - 47, -8 = -2*w. Suppose 5*c - 55 = 2*c - 4*b, 3*c = -5*b + 50. Let r = f - c. Does 9 divide r?
False
Let o = -324 + 2433. Is o a multiple of 37?
True
Let k be 10*390/12 - -2. Let x = k + -145. Does 20 divide x?
False
Let u(o) = -o**2 + 9*o + 26. Let d be u(11). Suppose -d*f + 3*p + 2*p + 181 = 0, -5*f + 219 = p. Does 11 divide f?
True
Is 63*((-365)/(-35) - 7) a multiple of 18?
True
Suppose 4*b + 265 - 1 = 3*x, -4*b + 408 = 5*x. Let g = x + 92. Does 22 divide g?
True
Let c(b) = 28*b - 7. Suppose 4*o - 2*o - 50 = 0. Suppose 0 = -4*d + 2*a + 6, 4*d + a = -d + o. Does 22 divide c(d)?
False
Let w(s) be the second derivative of 0 + s**3 + s**2 + 1/12*s**4 + s. Does 18 divide w(-8)?
True
Suppose 78 = 3*r + 5*k, -3*r + k + 78 = -k. Suppose 2*c = -4*d + 94, 4*c - r = 3*c + 5*d. Is 16 a factor of ((-2)/2 - 2) + c?
False
Suppose -3*c + 476 = -7*c. Let y = -98 - c. Is 12 a factor of y?
False
Let j(k) = -26*k**3 - 3*k**2 - 4*k + 2. Does 18 divide j(-2)?
False
Suppose -k - 10 = 5*f + 4*k, -23 = -f + 4*k. Is 10 a factor of ((3 + 12)/(-3))/(f/(-12))?
True
Let h(b) = 3*b + 83. Does 13 divide h(20)?
True
Does 2 divide (360/(-8) - -7)/(-2)?
False
Let t be (-5 + -80)*(-21)/15. Suppose -6*s = -t - 13. Is 2 a factor of s?
True
Suppose -101*m + 91*m = -3920. Does 8 divide m?
True
Suppose 5*n + 185 = 4*a, 11*a - 4*n = 7*a + 184. Is a a multiple of 29?
False
Suppose 17*z = 4291 + 6113. Does 15 divide z?
False
Let z(w) be the third derivative of w**5/60 + w**4/6 + w**3/3 + 11*w**2. Let g be z(-1). Let p(m) = -119*m + 1. Is 40 a factor of p(g)?
True
Let p be ((-12)/(-3))/(-1 + 3). Suppose p*m = -2*m + 4*g + 244, 0 = -m - 4*g + 66. Is m a multiple of 31?
True
Let r be -6*6/(-9) + 50. Let w = r - 28. Let h = -8 + w. Is 9 a factor of h?
True
Let b = 5 - 1. Suppose -a + 3 = -5*k - 14, -b*a + 11 = -k. Is 7 a factor of (21/2 + 3)*a?
False
Let u = -46 - -20. Is 33 a factor of (-1079)/u*(2 + 0)?
False
Let l = 25 + 173. Suppose 0 = -4*f, -5*d - 5*f + l + 442 = 0. Does 32 divide d?
True
Suppose -84 = 3*s + s. Suppose -5*b + 595 = 30*b. Let i = b - s. Does 19 divide i?
True
Let i(x) be the third derivative of x**5/12 - x**4/24 - x**3/6 + 7*x**2. Let f be i(-1). Suppose -f*r = -3*r - 66. Is r a multiple of 23?
False
Let s = 532 - 516. Is s a multiple of 8?
True
Suppose -5*v + 72 + 78 = 0. Let w = 0 - -1. Suppose w - v = -p. Does 8 divide p?
False
Suppose 5*x = 20, 11*c + 3*x = 12*c - 8. Is c a multiple of 5?
True
Is 130 a factor of 325200/500 + 4/(-10)?
True
Let z(w) = 4*w**3 - w**2. Let m be z(1). Suppose 0 = m*i - 3*r - 336, -i - 5*r - 453 = -5*i. Does 19 divide i - ((-6)/(-1))/(-2)?
False
Suppose -3*j = 2*d - 25, -4*j = 4*d - 48 + 8. Suppose 729 = d*q + 74. Does 28 divide q?
False
Suppose -108 - 32 = -2*i. Suppose 0*d + i = d. Suppose 5*w = 2*h + d, -4*h - 4 = w + 4. Is 4 a factor of w?
True
Suppose -4*r = -2*h - 12, -2*h = 4*r + 3 + 1. Let c be 1/(r + (-18)/21). Suppose 100 = c*m - 2*m. Is m a multiple of 11?
False
Let z be (-106 + -2)/(1/(-2)). Suppose -2*y + z = -76. Suppose 5*b - 161 - 22 = 3*r, 2*r + y = 4*b. Is 18 a factor of b?
True
Let f = 112 - 57. Suppose f = u - 100. Does 6 divide u/6 + 1/6?
False
Let m = 65 - -28. Suppose m = 4*s - 7. Suppose 0 = -0*y + 5*y - d - 80, -5*d + s = 0. Is y a multiple of 17?
True
Let j be 78/4 - (-6)/12. Let x = -21 + j. Is (-18)/x - (-11)/11 a multiple of 7?
False
Suppose 4*l + 135*j - 5186 = 138*j, -4*j = -2*l + 2598. Does 47 divide l?
False
Let k(j) = 2*j**3 + 14*j**2 + 12*j - 5. Is k(-5) a multiple of 17?
False
Suppose 0 = -2*r + 28 - 22. Suppose -r*o = -53 - 13. Is 3 a factor of o?
False
Suppose -5*c + 5*n + 22 = -8, -4*c - 4 = 3*n. Suppose -c*a + 97 = 9. Suppose -2*y + a = -4*g, y - g - 25 = 4*g. Is 6 a factor of y?
False
Suppose -4*y = 4*f, 4*f + 1 = -5*y + 2*y. Is -1*(-2 + f*231) a multiple of 13?
False
Let c(n) be the second derivative of 1/2*n**3 + 2/3*n**4 + 3*n + 1/20*n**5 + 5*n**2 + 0. Is c(-7) a multiple of 10?
False
Let r(i) = 56*i + 1. Let g(l) = 49*l - 5. Let c(x) = 148*x - 14. Let y(z) = -6*c(z) + 17*g(z). Let p(n) = 6*r(n) + 7*y(n). Is 16 a factor of p(-1)?
True
Suppose -2*g - 2*c - 2*c = -74, -g = 4*c - 33. Let q = 23 + g. Is 17 a factor of q?
False
Let o = 233 - 197. Is 12 a factor of o?
True
Let k(z) = 2*z**2 - 5*z + 7. Suppose -4*o + 5 + 11 = 0. Suppose -3*t + 11 = o*p, -4*t - p - 3*p = -16. Is k(t) a multiple of 8?
True
Suppose 5*k = -103*j + 101*j + 26323, -26299 = -5*k + 4*j. Does 82 divide k?
False
Let c be (-1)/((-1)/(6 + -4)). Is 19 a factor of -2*(117/(-6) - c)?
False
Let v = 28 - 23. Suppose v*t - 325 = -5*r, -292 = -3*r - t - 107. Is r a multiple of 8?
False
Let i(b) = b**3 + 8*b**2 + 15*b + 14. Let u be i(-7). Let h = -34 - u. Does 3 divide h?
False
Let b(v) = -v**3 + 4*v**2 + v + 5. Suppose 46 = -3*o + 5*a, 4*o + 92 = -2*a + a. Let h = o + 26. Is 2 a factor of b(h)?
False
Let b be 31 + -6 + (2 - 1). Let l = -4 + 6. Suppose -4*n + b = 2*g - 2, -4 = -l*n. Is g a multiple of 7?
False
Let f(b) be the second derivative of 0 - 3*b - 1/6*b**3 + 9*b**2. Does 8 divide f(0)?
False
Suppose 50*l + 1872 = 56*l. Does 78 divide l?
True
Let w(m) be the second derivative of -m**8/1680 + m**6/720 + m**5/120 - m**4/4 - 8*m. Let u(b) be the third derivative of w(b). Is 4 a factor of u(-1)?
True
Let z = 4695 - 959. Is 13 a factor of z?
False
Let o = -27 - -18. Let t = 25 + -45. Let c = o - t. Does 3 divide c?
False
Does 39 divide 1 + (0 - -2) - (-889 - 5)?
True
Let x = 1325 - -313. Is x a multiple of 39?
True
Let d(b) = 2*b - 3. Let q be d(10). Suppose 0 = -q*g + 15*g + 108. Is g a multiple of 9?
True
Suppose 4*t - 3*a = -4*a + 20, 5*t - 4*a - 4 = 0. Suppose 0*z + 2*z = -t. Let l = 11 + z. Is 9 a factor of l?
True
Let m = 8 - 6. Suppose r = -5*s + 16, 3*r + 12 - 60 = -4*s. Is 2 a factor of (r/(-24))/(m/(-21))?
False
Let h(q) = -q + 1. Let z be h(-1). Suppose -d + 62 = -3*g, z*g = 3*d - 91 - 60. Is d a multiple of 14?
False
Suppose -9*u - 34 + 547 = 0. Let p = u + -39. Does 4 divide p?
False
Suppose 2*l + 2*q = 4260, 35*l + 6380 = 38*l - 2*q. Is l a multiple of 14?
True
Let i(o) = -o**3 - o. Suppose -f = 4*r - 6*f - 21, -3*r = -3*f - 12. Let j be i(r). Let w(u) = 8*u - 1. Is w(j) a multiple of 5?
True
Let l = -52 + 99. Suppose -132 = -48*q + l*q. Is q a multiple of 29?
False
Suppose 3*d = -9, -5*i + 1311 = 2*d - 3543. Is 27 a factor of i?
True
Let i be (-1)/5 - (-52)/10. Is 24 a factor of 83 + i/(-10)*2?
False
Suppose v - 2 = -5*r + 5*v, 5*v - 2 = 4*r. Let y(o) = -2*o**2 + 3*o - 3. Let b be y(r). Let c = 10 + b. Is c even?
False
Suppose -91*s - 4116 = -98*s. Is 49 a factor of s?
True
Suppose 9*p = 3*p + 1170. Does 17 divide (8/5)/(3/p)?
False
Suppose 3*v = s + 22, -5*v + 0*v + 3*s = -42. Suppose v*r - 742 = -r. Is r a multiple of 53?
True
Let l = 1548 + -1201. Is 6 a factor of l?
False
Let o(s) = 33*s**2 - 2*s - 8. Suppose 2*b + 8 = -f, 4*f - 12 = -4*b - 32. Is 16 a factor of o(b)?
False
Let u = -984 - 196. Is u/(-45) - (-4)/(-18) a multiple of 8?
False
Suppose -248 + 23 = -5*y. Suppose 0 = -5*m + y + 85. Let x = m - -19. Is 12 a factor of x?
False
Let a(d) = -7*d**3 - d - 3. Is a(-5) a multiple of 71?
False
Suppose -4*r + 279 = 3*b, 0*b - 185 = -2*b - 3*r. Does 17 divide b?
False
Let w(i) be the third derivative of -i**5/60 + i**4/12 + i**3/6 + 5*i**2. Let q be w(-1). Does 13 divide q/7 - (-468)/21?
False
Let v = 851 - 105. Is 11 a factor of v?
False
Let j(c) = c**3 - c**2 - 5*c - 12. Suppose n - 7 = -2. Is j(n) a multiple of 15?
False
Suppose -v + 1541 = a, -8*a - 4625 = -3*v - 10*a. Is 14 a factor of v?
False
Suppose -1 = 3*r - 2*r. Let p(t) be the third derivative of -t**6/6 + t**4/24 + t**3/6 + 107*t**2. Does 5 divide p(r)?
True
Suppose 0 = 4*y - 7*m + 2*m + 4, 5*y = 2*m +