 + (-69)/g?
True
Let z(k) = -k**2 - 3*k. Suppose -3*s - q - q - 5 = 0, s + q + 1 = 0. Let u be z(s). Suppose u = -3*o + 5*x + 296, -5*x = -2*o + o + 92. Is 34 a factor of o?
True
Let v = 2399 - 1170. Is 58 a factor of v?
False
Let y(q) = -q**3 - 8*q**2 - 14*q - 8. Let z be y(-6). Let d be (1/(-3))/((-4)/348). Suppose d = w - 5*t, z*w + 0*t = -t + 32. Does 4 divide w?
False
Suppose -4*x = -0*x - 432. Suppose -x = -19*w + 17*w. Is 7 a factor of w?
False
Let i(s) = 182*s - 10. Let u be i(2). Suppose -f = f - 2*y - u, 2*f = -3*y + 369. Is f a multiple of 9?
True
Let c be (0/2 - 5) + 4. Is 4 a factor of 224/20 + c/5?
False
Suppose 12*n - 84 = 11*n. Is n a multiple of 4?
True
Let d = 37 + -27. Suppose -2*s + 0*s = 4*r - d, -r + 10 = -s. Is r a multiple of 4?
False
Let p = -219 - -247. Is p a multiple of 7?
True
Let u = 2494 + -624. Does 85 divide u?
True
Let h(t) = t**3 - 4*t**2 + 2*t + 2. Let l be h(4). Let r be (0 + l/(-3))*-36. Suppose -j = -2*j + 4, -2*o - j + r = 0. Does 29 divide o?
True
Let k(t) = 8*t - 5. Let x(b) = 1. Let c(z) = k(z) - 4*x(z). Is 15 a factor of c(9)?
False
Suppose 15*j - 485 = 250. Suppose 2*b - 193 + j = 0. Is b a multiple of 6?
True
Let f be ((-6)/7)/(12/(-42)). Suppose v = 4*c + 5*v - 60, 0 = f*c - 2*v - 45. Is 11 a factor of c?
False
Suppose -11*h = -0*h - 1100. Does 20 divide h?
True
Suppose 0 = 6*o - 1574 - 1006. Does 15 divide o?
False
Let j(f) be the first derivative of -f**5/60 + f**4/4 + 4*f**3/3 + 1. Let y(h) be the third derivative of j(h). Is 11 a factor of y(-8)?
True
Suppose -6 + 4 = -h. Suppose -5*j = -2*d - 17, 0*j - 3*j + 31 = 4*d. Suppose -14 = -j*k + h*x, -x - 7 = 2*k - 6*x. Is k even?
True
Suppose 2*h + 18 = 2*y, 37 = 3*y + 2*h - 7*h. Let g be (-1068)/(-8)*16/(-6). Is (-2 + y)*g/(-8) a multiple of 18?
False
Suppose 0 = -9*l + 6824 - 893. Does 25 divide l?
False
Let j(m) = -m**3 - 15*m**2 - 25*m + 15. Let c be j(-13). Does 4 divide 16/(-10)*(-15)/(c + -1)?
True
Suppose -3 + 8 = g. Suppose 195 = 6*j - j + g*p, -2*j + p + 90 = 0. Suppose -4*k - 2*q = -108, j - 14 = k + q. Is 18 a factor of k?
False
Let w(a) = a**2 - 7*a + 6. Let m be w(6). Let b(o) = 2*o + 8. Let c(s) = -4*s - 17. Let x(q) = 5*b(q) + 2*c(q). Does 6 divide x(m)?
True
Let n(w) = 5 - 11*w**2 - 103*w**3 + 11*w - 2*w + 104*w**3. Is 9 a factor of n(11)?
False
Let b = -317 - -491. Suppose b = 7*i - 4*i. Is i a multiple of 9?
False
Suppose -13*m + 2*m = -110. Suppose -m*o + 88 = -92. Is 18 a factor of o?
True
Let i(h) = -30*h + 5. Let f(k) = -10*k + 2. Let a(c) = 10*f(c) - 3*i(c). Let m be a(4). Let p = m - -67. Is 18 a factor of p?
False
Let w = 1 + 71. Suppose -214 = -5*j - l, -j - j + 3*l + w = 0. Is j a multiple of 21?
True
Let v = -17 - 19. Let n = -20 - v. Is (-7)/((-42)/n)*12 a multiple of 14?
False
Suppose 0 = 2*w + 281 + 493. Let z = -227 - w. Is 6/9 + z/12 a multiple of 7?
True
Let q = -704 + 2039. Is 5 a factor of q?
True
Let j = -1 + 58. Let p = j - 42. Does 6 divide p?
False
Suppose 4*k = -2*b + 26, 5*b + 2*k - 20 = 3*b. Suppose -8 = 7*w + w. Let u = b - w. Is 6 a factor of u?
False
Does 9 divide (-6006)/52*(-12)/2?
True
Let a(l) = 2*l**2 - 29*l - 16. Let r(o) = -o. Let h(n) = -a(n) + r(n). Is h(12) a multiple of 16?
True
Suppose 212 = -18*a + 16844. Does 22 divide a?
True
Let t = 18 + -14. Suppose -2*u + 4 = -t. Suppose -n = -3*k + 48, 5*k = 4*k - u*n + 29. Is 3 a factor of k?
False
Suppose -21 = 3*n + 18. Let j = n + 20. Suppose 3*z - j*z = -a + 27, -3*a = z - 29. Is 3 a factor of a?
False
Let w(c) = -c**3 - 14*c**2 + 16*c + 9. Let q be w(-15). Let v be ((-32)/q)/(5/30). Suppose m - 3*m + 4*f = -42, -4*m - 5*f + v = 0. Does 13 divide m?
True
Let p(d) be the second derivative of d**4/12 - 8*d**3/3 + 13*d**2 + 23*d. Does 6 divide p(17)?
False
Is 20 a factor of (3 - 183/15)/((-3)/600)?
True
Let f(y) = 2*y**3 + 24*y**2 - 87*y + 7. Is 3 a factor of f(5)?
False
Suppose -4*v + 7 = 3. Suppose 0 = -r + 5 - v. Suppose 0 = h + 3*o + 2, 2*h - r = -5*o + 3*o. Is h a multiple of 2?
True
Let p be (-2)/7 + 990/(-14). Suppose -383 = 14*k - 481. Let o = k - p. Is 39 a factor of o?
True
Let s be (3/4)/((-9)/(-24)). Suppose -s*o - 24 = -3*o. Suppose 0 = -p + 24 + o. Does 24 divide p?
True
Let i(l) = l**3 + 7*l + 82*l**2 - 5 - 39*l**2 - 30*l**2. Is i(-12) a multiple of 11?
True
Let g = 1090 - 755. Is 38 a factor of g?
False
Let c be (-309)/7 - 15/(-105). Let m = 64 + c. Is m a multiple of 5?
True
Suppose -f + 2*f + 5*r = 936, -r + 1 = 0. Is 10 a factor of f?
False
Suppose 10 = -7*t + 45. Is (-1)/(((-25)/105)/t) a multiple of 7?
True
Suppose 9*n = 12*n - 60. Is n a multiple of 3?
False
Let z(s) = -233*s - 7. Does 13 divide z(-4)?
False
Suppose -130 = -4*n + 58. Let i = n - 21. Does 14 divide i?
False
Suppose 3*j = 0, 5*m = 3*m + 3*j + 6. Is -40*(2 - m) - 4 a multiple of 18?
True
Suppose 315 = -5*c + 5*j, -c - 5*j - 69 = -3*j. Is c/10*(-28)/2 a multiple of 25?
False
Let p = 152 - 149. Suppose p*u - 632 = 43. Is 9 a factor of u?
True
Suppose 92152 - 380872 = -72*l. Is 69 a factor of l?
False
Suppose -17*w = -20*w + 15. Suppose 0 = -4*z - 17 + w, 4*z = v - 98. Is 21 a factor of v?
False
Suppose -4*l = 12, 0 = 4*n - 4*l + 3*l + 37. Let s = n + 13. Suppose -3*w = s*q - 192, 2*w + 18 + 55 = q. Is q a multiple of 29?
False
Let t(l) = 3*l + 65. Is t(-12) a multiple of 24?
False
Let r = -424 - -584. Is r a multiple of 26?
False
Is 20 - 0 - (9 - 4) even?
False
Let f(j) = 2676*j + 1. Let i be f(1). Let n = i - 1603. Is n/42 + 3/7 a multiple of 9?
False
Is 19 a factor of (4/(-6)*-103)/(34/255)?
False
Suppose -4 = p, 2*d + 5*p = 5*d - 20. Suppose d = 4*w + 3*y - 619, y = 4*w + 278 - 909. Is w a multiple of 22?
False
Let a(i) = i**2 - i. Let l(p) = p**2 - 16*p + 8. Let f(s) = 2*a(s) - l(s). Is 2 a factor of f(-15)?
False
Let h(a) = -a**3 - 4*a**2 + 4*a. Let j be h(-5). Let l(b) = -72*b. Let r be l(-1). Suppose -4*c + 2*k = -2*c - r, j*k = 4*c - 140. Is 13 a factor of c?
False
Let w = 34 - 33. Is 24/8 + 63/w a multiple of 4?
False
Suppose -5*c = 1052 - 4022. Does 22 divide c?
True
Let p(j) = -j. Let u be (-3 + 15/3)*-1. Let z be p(u). Suppose 0 = -z*h + 10 + 52. Is h a multiple of 8?
False
Let o be -2*(-3)/2 - -67. Suppose 0 = -3*y - 2*y + o. Let d = 25 - y. Is 5 a factor of d?
False
Let s(n) = 2*n + 2. Let v be s(1). Suppose -3*z - v*w + 411 = -0*w, 3*z - 432 = 3*w. Does 28 divide z?
False
Let h(d) = -132*d - 185. Is 3 a factor of h(-3)?
False
Let v be (-148)/(-28) - 4/14. Suppose 40 = -v*d + 75. Does 7 divide d?
True
Suppose 3*h = -0*h + 6. Suppose -3*i - d = h*i + 61, -5*i = 3*d + 63. Let k = -6 - i. Does 2 divide k?
True
Suppose 4 = 2*r - 2. Is 5 a factor of (12/(-14))/(r/63*-1)?
False
Let y(w) = w**3 - 5*w**2 + 3*w + 855. Is y(0) a multiple of 9?
True
Let r = 13 - 15. Let t = r + 48. Does 8 divide t?
False
Suppose 5*q - 3*p - 1026 = -238, 160 = q - 3*p. Let m(v) = v**2 + 36*v - 179. Let h be m(9). Suppose 4*c + 2*y = h, 0*c + q = 3*c + 4*y. Is 9 a factor of c?
False
Let c = 71 + -70. Is (-29)/((-42)/112*c/3) a multiple of 25?
False
Let y be 1/2*(-5 + 5). Suppose -5*r + b = 355, y*b = -3*b + 15. Is 4 a factor of 20/r + 58/7?
True
Let v = 26 - 17. Let y(w) = w**3 - 8*w**2 - 5*w + 3. Let z be y(v). Let x = z - 10. Is x a multiple of 29?
True
Let d(w) = -w**3 - w**2 + w. Let b(o) = -4*o**3 - 10*o**2 + 4*o - 11. Let z(c) = -b(c) + 6*d(c). Is 39 a factor of z(-4)?
True
Let j(z) = -4*z**3 + 4*z**2 + 4*z - 1. Let b(x) = x**2 + x. Let g(w) = -6*b(w) + j(w). Let l be g(-1). Is 8 a factor of 1/l + (-62)/(-3)?
False
Let u(f) = 42*f**2 + 45*f**2 + 46*f**2 + 1 - 134*f**2 + 9 - 19*f. Suppose 0 = 4*o - 0*o + 64. Is 29 a factor of u(o)?
True
Let z be (2/6)/((-2)/(-6)). Does 15 divide z/(-10)*2 - (-1416)/5?
False
Suppose 2*t + 154 = 7*t + s, 5*s - 170 = -5*t. Suppose -3*b - 4*q + 152 - t = 0, q = 5*b - 188. Is b a multiple of 19?
True
Suppose 2*u - 6 = 0, 5*u = -3*y + u + 303. Let r = y - 61. Does 3 divide r?
True
Suppose -910*t + 916*t - 1176 = 0. Does 4 divide t?
True
Let n = 8 + 1. Let b = n - 5. Suppose 11 + 45 = b*f. Is f a multiple of 6?
False
Let d(q) = 15*q - 23. Let z = -21 + 26. Is d(z) a multiple of 10?
False
Let z be (-3 - 0) + 10*6. Suppose b + 2*x = 61, -b - 3*x + z = -2*x. Is b a multiple of 15?
False
Let b be -1 + -1 + -2 - (-10 - -8). Let x(y) = -25*y - 5 - 5 