10 a factor of 6/q + 158/13?
False
Is 84 a factor of 1509/9 - ((-40)/(-24) + -2)?
True
Suppose k + 2 = 3. Let g(p) = 26*p**2 + 1. Let s be g(k). Suppose 32*b - s*b - 150 = 0. Does 15 divide b?
True
Let s = -228 + 158. Let x = 100 + s. Is x a multiple of 15?
True
Let o be 8/(-2) - (4 + -4). Let w be (-4)/(-24)*o*-3. Suppose -w*x + x + 38 = 0. Does 16 divide x?
False
Let h = -1818 + 3438. Is h a multiple of 20?
True
Let x(a) = a**2 - 4*a - 8. Let o(r) = -2*r**2 + 4*r + 8. Let p(b) = -2*o(b) - 3*x(b). Is 16 a factor of p(-9)?
False
Let n be (9/(-21))/((-3)/21) - -1063. Is 1/(-4) - n/(-8) a multiple of 19?
True
Is (328/(-4))/((-23)/828) a multiple of 12?
True
Suppose 3*k - 18 = 3*r - 6*r, 10 = 5*r - 5*k. Suppose 0 = -p + d - 110 + 269, -755 = -5*p - 5*d. Suppose -v - r*v = -p. Does 11 divide v?
False
Let m(y) = -y**2 + 2*y + 28. Let q be m(-16). Let a = 395 + q. Suppose 0 = -0*b + 5*b - a. Is 27 a factor of b?
True
Let p be 605/4 + 9/12. Suppose 0*i + 192 = 3*i. Let s = p - i. Is 24 a factor of s?
False
Let o be (((-132)/3)/(-2))/2. Let b = -12 + o. Let q = b + 5. Does 2 divide q?
True
Suppose 0 = b - 61 - 3. Suppose 2*t = -0*t + 2*r + b, -3*t + r = -98. Let n = t - 9. Is n a multiple of 12?
True
Suppose 34*a = 31*a + 840. Does 28 divide a?
True
Let w = -67 + 159. Is 3 a factor of w?
False
Let m = 71 - 58. Let o = -28 + 20. Let q = m + o. Is q a multiple of 5?
True
Does 11 divide (297/(-2))/9*(-480)/18?
True
Let a(j) = -5*j**3 - 3*j**2 - 4*j + 5. Let f be a(1). Let z be (-2 + -1)*(-2)/(-3). Is 15 a factor of 1/z*546/f?
False
Suppose -14*p - 2295 = -31*p. Does 3 divide p?
True
Let q(c) = 26*c + 231. Is 22 a factor of q(-7)?
False
Suppose 382 + 274 = -8*i. Let x = i + 299. Does 44 divide x?
False
Suppose 0*t - 2 = t. Is -2 - (t - -143)/(-3) a multiple of 25?
False
Suppose -5*b = -0*i + 2*i - 223, 4*b + 5*i - 175 = 0. Suppose 41 = 3*c - 5*z - 25, 0 = 2*c - z - 37. Let j = b - c. Is 9 a factor of j?
False
Let d(v) be the first derivative of 7*v**3/3 - 2*v**2 - 6*v - 2. Is 5 a factor of d(3)?
True
Let w(h) = -4*h**2 + 10*h - 8. Suppose 0*x - 10 = 5*x. Let r(n) = 21*n**2 - 50*n + 39. Let b(q) = x*r(q) - 11*w(q). Does 11 divide b(6)?
True
Let q(i) = -i + 12. Let m(t) = -3*t + 24. Let g(p) = 3*m(p) - 5*q(p). Does 8 divide g(-19)?
True
Is 34 a factor of (-3)/((-9)/511)*(84 + -81)?
False
Let k(d) = 49*d**2 - 8*d - 17. Is k(-4) a multiple of 47?
True
Let n = 5 - 3. Suppose i - 17*l = -13*l + 205, -417 = -n*i + l. Is i a multiple of 27?
False
Suppose 3*j = 6*j - 30. Let f(s) = -s**2 + 8*s + 8. Let o be f(j). Let n = 0 - o. Is n a multiple of 3?
True
Let l(d) = 58*d - 8. Suppose u + 8 = 4*b, 10 = 2*b + 3*b + u. Is 8 a factor of l(b)?
False
Let d be 12/16*(4 + -8). Does 20 divide (-7 - d)/4*114/(-2)?
False
Suppose 44 + 63 = q. Is q a multiple of 55?
False
Let s = -785 - -3161. Is 30 a factor of s?
False
Suppose i = 3, 2*k + 5*i = 610 + 245. Is 6 a factor of k?
True
Let j be 1/(-2) - 33/(-6). Suppose u - 56 = -2*m + 49, -2*u = -5*m - 228. Suppose -b - 4*b - 4*n = -u, j*b - 5*n = 145. Is 10 a factor of b?
False
Let q(b) = 9*b**2 + 41*b + 34. Let y(f) = 6*f**2 + 27*f + 23. Let j(i) = 5*q(i) - 7*y(i). Let c = 768 + -775. Is j(c) a multiple of 11?
True
Suppose 4*t - 56 - 48 = 0. Does 42 divide (t/4)/((-3)/(-78)) - 1?
True
Let p = -12 - -16. Let o be -2*p/(-8) + 8. Suppose 92 = 13*x - o*x. Is 7 a factor of x?
False
Let h(j) = j**2 + 2*j - 11. Suppose q - 45 = -50. Let v be h(q). Suppose 21 - 61 = -v*t. Is t a multiple of 5?
True
Let z = 956 - 654. Is 32 a factor of z?
False
Suppose -5*w - 6*j + 2*j = -10, -j = 3*w + 1. Let y be 4 + -9 - w - -348. Suppose -3*d = 2*d + l - y, -4*d = -4*l - 252. Is d a multiple of 14?
False
Suppose -6*i + 17 = -7. Does 8 divide (i + (-10)/(-2))*(-16)/(-6)?
True
Let f = 15 - 10. Let w be (-4)/10 - 28/f. Let n = 39 - w. Is n a multiple of 15?
True
Let s = -140 + 321. Let v = 47 + s. Is v a multiple of 12?
True
Suppose -3*w + 5*q + 156 = 0, -2*q + 115 = 2*w - 5. Is w even?
False
Suppose 0 = -2*c + 2 - 4, -f + 424 = -2*c. Does 12 divide f?
False
Suppose 5*r = -1 - 9, 5*r + 4864 = 3*d. Is 64 a factor of d?
False
Let u(x) = -71*x**3 + 7*x + 8. Is 18 a factor of u(-1)?
True
Suppose -47 + 128 = 3*z. Suppose -4*t = 3*x + 29, 3*t - x = -5*x - z. Let b(c) = -4*c + 2. Is 7 a factor of b(t)?
False
Let d = 716 - 472. Is 2 a factor of d?
True
Let v = -97 - -221. Does 18 divide v?
False
Let g(v) = -v**3 + 5*v**2 + 8*v. Let a = -8 - -13. Is 20 a factor of g(a)?
True
Let m(s) = -13*s - 238. Is 19 a factor of m(-62)?
False
Let q(i) = 2*i**2 + 11*i - 11. Does 2 divide q(1)?
True
Let w(m) = -m**2 + 1. Let a(r) = r**3 + 10*r**2 + 4*r - 7. Let k(u) = -a(u) - 5*w(u). Let d be k(-4). Is 1/d*168/4 a multiple of 15?
False
Let r(j) = -j**2 + 4*j + 5. Let b be r(4). Let p(l) = -l**3 + 7*l**2 - 4*l - 6. Is p(b) a multiple of 5?
False
Let w = 294 - -2196. Is 23 a factor of (w/(-12))/(-5)*2/1?
False
Let o(w) = 2*w**3 - 3*w + 2. Let t be o(-2). Does 37 divide (-1032)/(-14) - t/28?
True
Suppose -12*r = -11*r - 10. Suppose -r*v + 32 = -6*v + 4*c, -c = -2*v + 13. Does 2 divide v?
False
Let n be (168/(-15))/(1/20). Let t = n + 580. Is 17 a factor of t?
False
Is (-5*(-9)/15)/1 + 188 a multiple of 29?
False
Suppose -18 = 4*d - 146. Let k = 72 - d. Is 10 a factor of k?
True
Let r(p) = -p**3 - 16*p**2 + 11*p - 17. Suppose -3*h + 6*n = 11*n + 31, h - 2*n + 25 = 0. Is 17 a factor of r(h)?
True
Suppose -3*s + 39 - 12 = 0. Let w = 39 - s. Is 15 a factor of w?
True
Let h(l) = -182*l**3 + 2*l**2 - 21*l - 21. Does 8 divide h(-1)?
True
Let g be -1*(3 + -3)*(-1)/2. Is 3/6*((0 - g) + 178) a multiple of 19?
False
Suppose -4*d + 9 = -3*h, -5*h + 8 = d - 0*h. Let j be 32/12 + d/9. Suppose 0 = j*y - 7*y + 180. Is y a multiple of 15?
True
Let q be ((-8)/(-10))/((-4)/1220). Let l = -88 - q. Is 12 a factor of l?
True
Let h(z) = -435*z + 398. Does 16 divide h(-6)?
True
Suppose -5*v + 0*v = -100. Suppose 0*x = 4*x - 4*h - v, h = 5. Does 5 divide 4 + (x - (-3 + 2))?
True
Let q(u) = -14*u**2 + 7*u + 59. Let i(j) = -j + 6*j**2 - 18 - 2 - j**2 - j. Let w(h) = 17*i(h) + 6*q(h). Is w(-13) a multiple of 23?
False
Suppose -7*b = 4*r - 2*b - 2699, -2*b = -3*r + 2007. Does 11 divide r?
True
Let a be (-5)/2*(-27 - -25). Suppose -5*m = a*k - 1005, -13*k - 5*m = -16*k + 627. Is 34 a factor of k?
True
Suppose -3*o = 3 - 24. Suppose 4 = -3*u + o*u. Is 21 a factor of u*47 - (-9 + 9)?
False
Let s be (6 - 0)*(-9)/(-45)*-5. Does 24 divide s/(-27) + (-2 - (-709)/9)?
False
Let u(p) = -3*p + 1. Let x be u(1). Let w(o) = -18*o + 49. Let n be w(0). Is 27 a factor of n - (-3)/(-6)*x?
False
Does 4 divide ((-728)/(-12))/(14/42)?
False
Let y = -1883 - -4798. Does 23 divide y?
False
Suppose -3 - 4 = i. Let h(b) = b**2 - 14*b - 17. Let u be h(16). Let r = i + u. Does 2 divide r?
True
Suppose c + 4*c = -2075. Let g = -108 - c. Is g a multiple of 26?
False
Let f(q) = -q + 3. Let l be f(1). Suppose -3*n = l*u - 117 + 13, 0 = -u - 3*n + 46. Does 10 divide u?
False
Does 14 divide ((-2)/2)/((-4)/9596)?
False
Suppose 3*g + 104 = 7*g. Is (-10)/(((-4)/g)/1) a multiple of 8?
False
Let b be 52*(25/10 - 2). Is 1348/b - 12/(-78) a multiple of 26?
True
Let g(j) be the first derivative of j**7/840 - j**6/60 + j**5/20 + 5*j**4/24 + 2*j**3/3 - 3. Let m(s) be the third derivative of g(s). Is m(6) a multiple of 14?
False
Let m(h) be the first derivative of -h**2/2 + 7*h - 18. Is 2 a factor of m(4)?
False
Let a(i) = -1013*i**3 + 6*i**2 + 2*i - 5. Is a(-1) a multiple of 74?
False
Let z(p) = 8*p**2 - 7*p - 2. Suppose 17 = -4*n + 9. Does 5 divide z(n)?
False
Let p(n) = n**2 + 5*n - 8. Let a be p(-6). Let t be 2/(-4)*a + 19. Suppose -f = 5*o - 3*f - t, 0 = -o - 2*f + 16. Is o a multiple of 3?
True
Suppose 38 = 3*i + t, -13 - 15 = -2*i + 2*t. Let d be (-8)/28 + 74/14. Let v = i + d. Does 3 divide v?
True
Let x(l) = l - 1 + 4*l + 7*l - 4*l. Let i be x(5). Let g = 60 - i. Is g a multiple of 9?
False
Is 68 a factor of (2/4)/((-60)/(-46680))?
False
Let f = -7 - -9. Let n(c) = 108*c - 4. Let x be n(f). Let m = x + -137. Is 23 a factor of m?
False
Let u = 19 + -15. Let o = 10 + u. Suppose 4*f = 3*f + o. Is 14 a factor of f?
True
Suppose -195 = -3*w - 4*v, 8*w - 232 = 4*w + 4*v. Is 5 a factor of w?
False
Let p(r) = 73*r**2 + r. Let w be p(3). Suppose 