Let c = 3155 - 1859. Is c a multiple of 6?
True
Let v be (-2)/7 - (-12324)/14. Suppose -11*p = -7*p - v. Suppose 5*a = -0*a + p. Is a a multiple of 7?
False
Suppose 2*f - 59 = -159. Let b = f + 122. Is b a multiple of 30?
False
Suppose 155 = -3*p + 4*t + 2810, 3*p = t + 2646. Does 38 divide p?
False
Suppose -5*d + 273 = -3*d - 5*q, 0 = 5*d + 4*q - 732. Is 6 a factor of d?
True
Let k(h) = -2*h**3 - 3*h**2 + 3*h - 3. Let i be k(-3). Let g = i - 13. Suppose -c - 3*c = -g*x - 106, -9 = -3*x. Does 14 divide c?
True
Suppose 0 = x - 5*x + 16, -3*x = 2*v - 22. Suppose -2*z - z - 3 = 0. Let f = v + z. Is f a multiple of 4?
True
Let v(m) = -19*m - 18. Let y be v(-10). Is 13 a factor of y/2*2/4?
False
Let j = 6029 - -199. Is 12 a factor of j?
True
Let i(m) = m**3. Let g be i(0). Suppose g = -2*c - 3*w, -4*w = c + c + 2. Let t(d) = d + 1. Does 2 divide t(c)?
True
Let h(j) = 3*j**2 - 11*j + 4. Let b be h(4). Suppose -2*k = -b*k + 60. Is k even?
True
Is (-4)/(0 + 2) + (320 - 316) a multiple of 2?
True
Suppose -g - 3*g = 92. Let m = g - -28. Suppose -2*o + m*d = -126, 4*o - 204 = -5*d + 3*d. Is 9 a factor of o?
False
Is ((-224)/35)/(4/(-40)) a multiple of 64?
True
Suppose -2*y - 5*s = -s - 600, -5*s = -2*y + 582. Is y a multiple of 37?
True
Let l(c) be the first derivative of c**7/840 + c**6/60 + c**5/40 + c**4/4 + c**3/3 - 5. Let y(p) be the third derivative of l(p). Is y(-5) a multiple of 4?
True
Let l(b) = 475 - 491 - 71*b + 22*b. Is 10 a factor of l(-4)?
True
Let g(x) = -15*x. Let c be g(-1). Suppose f = -4*f + c. Suppose f*i + i = 92. Does 18 divide i?
False
Let g(y) = -y**2 - 20*y - 10. Suppose 4*l - l = 15, -5*l + 1 = -4*q. Let p(u) = -4*u + 11. Let o be p(q). Does 16 divide g(o)?
False
Suppose 338*v - 380*v + 35364 = 0. Is 8 a factor of v?
False
Suppose -3376 = -4*r + 4*g, 3*r + 4*g = -1029 + 3547. Suppose 3*u + r = 5*b - u, -4*b + 4*u + 672 = 0. Does 16 divide b?
False
Let j(f) = f**2 - 9*f + 9. Let k(h) be the third derivative of h**5/30 - h**4/24 + h**3/6 - 6*h**2. Let g be k(-2). Does 18 divide j(g)?
False
Suppose 4*n - 2*q = 2*q + 120, 0 = -3*n + 2*q + 87. Is 27 a factor of n?
True
Let v(p) = 2*p**3 - 3*p + 2. Let u be v(2). Let t be (1 - 3/u)*32. Suppose f = 6 + t. Does 13 divide f?
False
Let t(d) = 19*d**2 + 11*d + 15. Let j be t(7). Suppose j = 3*v + m, 2*m + 350 = 2*v - 340. Is 38 a factor of v?
True
Suppose 13*r = 4*q + 9*r - 4620, 0 = 3*r + 9. Is q a multiple of 6?
True
Let b(p) be the first derivative of -5/3*p**3 + 3*p**2 + 8*p + 1/4*p**4 - 9. Is 25 a factor of b(6)?
False
Suppose 4*a + 24 = -48. Let s(m) = -m**3 - 18*m**2 - 9*m - 4. Let t be s(a). Let g = t + -86. Is 24 a factor of g?
True
Let j(z) = z**3 - 7*z**2 + 11*z - 8. Is j(10) a multiple of 7?
False
Does 15 divide 69641/273 + 2/(-21)?
True
Let x(h) = h - 3. Let n be x(5). Let m(a) = 5*a**2 - 8*a + 2. Let r be m(n). Is 37 + (r - 4) - -2 a multiple of 24?
False
Let s(n) be the first derivative of 31*n**2/2 + 3*n + 8. Is s(4) a multiple of 19?
False
Let d = 19 - 28. Let q be 2/6 - 141/d. Let w(o) = o**2 - 13*o - 5. Is w(q) a multiple of 12?
False
Let r = -33 - -28. Is 20 a factor of (-32)/(-2*(-1)/r)?
True
Let j(i) = -i**3 + 4*i**2 + 2*i - 5. Let z be j(4). Suppose 2*f + 0*f + 22 = l, 2*f = z*l - 78. Is l a multiple of 7?
True
Suppose 2*z + z - 540 = 0. Suppose 6*d - z = -3*d. Is 3 a factor of d?
False
Suppose 2 - 4 = 2*a, k = -2*a + 20. Let n be 3/(-2)*-2 + k. Suppose 5*t - 3*c = n, 0 = 4*t + 3*c + 3 + 4. Does 2 divide t?
True
Let j = 14 + -12. Suppose -2 = -3*g - 4*x - 3, j*g - 4*x = -34. Let d(l) = -15*l + 15. Is 15 a factor of d(g)?
True
Let u(w) = -42*w + 33. Let v be u(-10). Is 13 a factor of (-4)/(-10) + v/5?
True
Suppose 688*v - 13 = 687*v. Is 4 a factor of v?
False
Suppose 4*b = -2*b + 36. Let c be (-1)/b + 1525/6. Suppose -4*w - 188 = -2*a, 2*a + w = -a + c. Does 34 divide a?
False
Let v = 4 - 6. Is 25 a factor of v/(147/75 - 2)?
True
Let v be 1 - (-1 - (3 - 5)). Let q(u) = -80*u - 2 + 3 + v. Is 23 a factor of q(-1)?
False
Let i(b) = 2*b**2 - 13*b + 7. Let n be i(6). Is 14 a factor of 0 + n + (-280)/(-4)?
False
Suppose -5*v = -0 - 35. Let f = v + -3. Suppose l = f*o - 22 - 151, 3*l + 57 = o. Is o a multiple of 9?
False
Let u = -23 + 247. Suppose -5*z - 3*k = -2*k + 362, -4*k = 3*z + u. Let i = z + 132. Does 20 divide i?
True
Let z(b) = b**2 - 5*b. Let v be z(5). Suppose -2*x + 4*x - 24 = v. Let m = x - -27. Is m a multiple of 8?
False
Let s = 147 - -13. Is s a multiple of 10?
True
Let p(w) = 8*w**2 + 53*w + 80. Does 60 divide p(-20)?
True
Suppose -3*f = -6*f - 4*s + 693, f = -5*s + 231. Suppose 0 = 6*a - f - 3. Does 39 divide a?
True
Let j be ((-6)/(-8))/(9/24). Suppose -3*q + 142 = -z, 35 = -j*q - 2*z + 127. Is 9 a factor of q?
False
Let x(y) = 139*y**2 + 1. Let n be x(-2). Let r = 882 - n. Is 10 a factor of r?
False
Suppose -3*y - k + 31 = 0, -5*y - k + 28 + 21 = 0. Suppose -5*r = 2*n - y, 4*n = 4*r - 0*n + 4. Is 1/(r/2) - -16 a multiple of 9?
True
Is 139 a factor of ((-174)/116)/((-6)/17024)?
False
Let y be (4 - 0/(-6))*(-531)/4. Let r = -331 - y. Does 25 divide r?
True
Suppose 0 = -2*l - 16 + 52. Let v = l + 40. Is 23 a factor of v?
False
Let p(z) = -5*z - 12. Let s(r) = -r. Let q(y) = -p(y) - 2*s(y). Is q(6) a multiple of 18?
True
Let p(b) = 5*b - 22. Let g = 30 + -20. Is p(g) a multiple of 4?
True
Let q = -2729 - -5338. Is 136 a factor of q?
False
Let h(z) = z**3 - z**2 - 3*z - 3. Let d be h(3). Let k be d/9*15/1. Does 5 divide 48/k + 3/15?
True
Is 23 a factor of (228/(-8))/(-6*(-2)/(-368))?
True
Suppose -610*p = -600*p - 1910. Is 9 a factor of p?
False
Let k = -474 - -695. Does 17 divide k?
True
Let h = -276 - -752. Is h a multiple of 6?
False
Suppose -r - 25 = 30. Let z be (363/r)/((-1)/10). Suppose -5*t + z + 24 = 0. Is t a multiple of 18?
True
Let u(s) = -s + 23. Let y = -32 - -52. Let v be u(y). Suppose 0 = -4*q + v*w + 105, w + w = -5*q + 114. Does 14 divide q?
False
Suppose -2*h = 3*h, 5*h = g - 19. Suppose 0 = 3*b - g - 14. Does 11 divide b?
True
Let s(n) = -n**3 - 9*n**2 - n - 11. Suppose -5*r - 47 = -2. Let w be s(r). Does 11 divide (-1)/(3/264*w)?
True
Suppose g = 3*g. Suppose -9*p + 12*p - 135 = g. Is 7 a factor of p?
False
Let p(z) be the first derivative of z**7/840 - z**6/72 + z**5/120 + z**4/24 - 2*z**3 - 3. Let o(y) be the third derivative of p(y). Does 2 divide o(5)?
True
Let c be 97/(-2 - (-3 - -2)). Suppose -4*u = -7*u - 54. Let b = u - c. Is 27 a factor of b?
False
Let l = 5 - 24. Let f be (-2)/(-7) + l/(-7). Suppose f*d - 98 - 31 = -3*a, a + 149 = 3*d. Is d a multiple of 16?
True
Let u(l) be the second derivative of -l**7/2520 - l**6/90 - l**5/40 - 5*l**4/12 + 3*l. Let o(j) be the third derivative of u(j). Is 6 a factor of o(-6)?
False
Let h(f) = 2*f - 11. Let j be 70/5*12/14. Is h(j) a multiple of 8?
False
Let j(b) = b**3 - 15*b**2 + 11*b - 3. Let u(x) = -x**3 + 14*x**2 - 11*x + 2. Let g = 3 - 9. Let c(p) = g*u(p) - 5*j(p). Does 7 divide c(8)?
False
Let b(g) = 4*g**2 + 5*g - 5. Let p be b(4). Suppose -p = -5*t - 34. Is 9 a factor of t?
True
Suppose 4 = j - 89. Let s = 164 - j. Is 16 a factor of s?
False
Suppose -3*s + 315 + 21 = 2*p, -2*s = -2*p - 214. Does 5 divide s?
True
Does 27 divide (-1090)/109*(0 + -199)?
False
Suppose 2*w + 8 = 12. Suppose -5*t = 4*f - 828, -3*f - f + w*t + 800 = 0. Does 22 divide f?
False
Let p(b) be the second derivative of -b**4/12 - 11*b**3/6 - 9*b**2/2 + 5*b. Is p(-7) a multiple of 3?
False
Let r(l) = -66*l - 179. Is 23 a factor of r(-17)?
True
Let i = 3113 + -1547. Is 7 a factor of i?
False
Let d be 32/(-6) - (6/9 + 0). Is 19 a factor of (5565/d)/(-7) - (-5)/10?
True
Let r(m) = 9*m - 21. Let z be r(4). Suppose -z*l + 360 = -6*l. Does 18 divide l?
False
Let g be 14080/(-24) - 2/(-3). Let m = 986 + g. Is (-12)/5*m/(-32) a multiple of 9?
False
Let p(l) = 4*l**2 - l + 1. Let c be p(1). Suppose 0 = c*h + 5*j + 3, -3*h + h + 2*j = -12. Suppose h*m - b - 138 = 2*b, -5*m + 216 = 2*b. Is m a multiple of 15?
False
Suppose -3*u = -6*u - 81. Let y = 49 + u. Does 3 divide y/(-99) - (-92)/9?
False
Let r(b) be the first derivative of -b**4/4 - 7*b**3/3 - 13*b**2/2 - 5*b - 1. Is r(-5) even?
True
Let v(i) = 6 + 3 - 4 + 2*i. Is 5 a factor of v(4)?
False
Suppose 0*g + g + b - 16 = 0, -5*g + 3*b = -48. Let t(n) = n**2 - 6*n - 2