s 17 a factor of y?
True
Suppose 4*g - 9*g = 2*z - 1469, 2*z - 1463 = g. Suppose -737*q + z*q + 780 = 0. Does 39 divide q?
True
Suppose 0 = -11*r + 22*r - 16280. Is r a multiple of 10?
True
Let t = 313 - 308. Is 40 a factor of 638/t*(-40)/(-16)?
False
Suppose -4*w - 856 = -5*x + 1229, x - 3*w = 428. Is x a multiple of 11?
False
Let d = -4194 + 11410. Is d a multiple of 44?
True
Does 14 divide 4/(-78) - 40679318/(-2613)?
True
Is 8 a factor of (-252)/(-42)*(48 + 1)?
False
Let j = 8569 + -6240. Is j a multiple of 137?
True
Let a be 2/(-12) - (-209)/66. Suppose a*t - 5 - 7 = 0. Is 20 a factor of 111 + t + 3/(6/4)?
False
Suppose 2 = d + g, 4*d + d - 5*g = 30. Suppose 0 = d*p - 5*j + 8*j - 1186, -2*j = -4. Is p a multiple of 5?
True
Suppose 76979 = 11*v + 8262. Suppose 11*d + 98 = v. Is d a multiple of 43?
True
Let b = -507 - -498. Let s(i) = -i**2 - 27*i - 25. Is s(b) a multiple of 4?
False
Suppose -4*z + 18967 = z + 4*c, -z + 2*c = -3799. Suppose 22*q = 7*q + z. Does 11 divide q?
True
Let k = -1166 - -457. Let m = -373 - k. Suppose 340 = 3*t + 4*c + c, m = 3*t + 3*c. Is 22 a factor of t?
True
Suppose 2*k + 14735 = 9*k. Is 21 a factor of k?
False
Suppose -4*x + 26 = -2*w + w, 4*x = 4*w + 20. Suppose 0 = -0*t - x*t + 35. Suppose -t*o + 95 + 155 = 0. Is 50 a factor of o?
True
Let l = 57 + -51. Suppose -29 = -l*u + 1. Suppose -u*h = 3*d - 137, -5*d + 151 + 68 = -h. Is d a multiple of 12?
False
Let y(u) = 61*u**2 - 22*u + 73. Let q be y(5). Suppose 0 = -1492*v + q*v + 3724. Is v a multiple of 28?
False
Let n = 69 - 69. Suppose 6*h - 1471 - 197 = n. Is 61 a factor of h?
False
Suppose 0 = 4*s + 3*s + 7. Let o be 0 + 6/3 + 3 + s. Suppose -22 = -h - c, -5*h + 47 + 27 = -o*c. Is h a multiple of 18?
True
Let l be 25/10*-2 + -30. Is 27 a factor of ((2856/l)/(-8))/(2/90)?
True
Let m(k) = -2*k**3 + 9*k**2 + 9*k - 22. Let u be m(5). Let n(h) = -170*h + 19. Does 28 divide n(u)?
False
Let q = -168 - -168. Suppose -2*t - 8 = q, -4*j - 5*t = 15 - 179. Is j a multiple of 12?
False
Suppose 479 = 6*b - 817. Let q = b - 194. Does 5 divide q?
False
Suppose -3*h + g = -0*h + 34, -2*h = 2*g + 28. Is ((104/16)/(2/h))/(-1) a multiple of 15?
False
Let p be (-35)/((-2)/(-1 - -3)). Suppose 3*n + 4*n = p. Suppose -8*t = -n*t - 318. Is t a multiple of 21?
False
Let k(w) = w**2 - 9*w + 24. Let l be k(5). Is 18 a factor of 1 + -4 - (l + -98 - -1)?
True
Suppose 634 = -z + 4*z - 5*p, z - 217 = -4*p. Let n = z - 130. Suppose -n*u = -86*u + 759. Does 23 divide u?
True
Let f(y) = -78*y + 34. Let l be f(-17). Suppose 451 = v - b, -3*v - 4*b = -0*v - l. Suppose 0 = 4*n + 2*d - v, n = 4*d + 72 + 41. Is n a multiple of 26?
False
Let q(s) be the second derivative of -25*s - 11/6*s**3 + 0 + 0*s**2 - 1/10*s**5 - 19/12*s**4. Is 6 a factor of q(-9)?
True
Let d(q) = -3*q**3 + 37*q**2 - 4*q + 77. Let i(j) = 2*j**3 - 38*j**2 + 4*j - 75. Let t(a) = -3*d(a) - 4*i(a). Is 20 a factor of t(-41)?
False
Let j be ((-4388)/(-1))/((-16 + -2)/(-9)). Suppose -6*w + j = -254. Is 24 a factor of w?
True
Suppose 3 = -3*q - b - 12, 3*b + 25 = -5*q. Let k = q - -7. Suppose -k*j - 242 = -5*y + 19, -5*j = 15. Does 32 divide y?
False
Let t(o) = -5 - 724343*o + 3 + 3 - o**3 + 724346*o + 3*o**3 - o**2. Suppose -v - 4*v + 5*q + 20 = 0, -v - 2*q = -1. Is t(v) a multiple of 15?
False
Let v(r) = r**3 - 5*r**2 + 6*r. Let h be v(3). Suppose -w - 3*w + 3*f + 2103 = h, 20 = -4*f. Is w a multiple of 58?
True
Let o(p) = 55*p**2 + 22*p - 488. Is o(-23) a multiple of 19?
True
Let o = 171 + -167. Suppose -186 = -o*d + 82. Is d a multiple of 2?
False
Let h be (0/((-4)/(-2)))/2. Suppose h = -2*b + 5*r + 31, b + 4*b = -3*r. Suppose -b*w = 3*u - 26 - 7, -5*u = -25. Does 2 divide w?
True
Let t(b) be the first derivative of 1/4*b**4 + 1 - 2*b**3 - 5*b - 3*b**2. Is t(8) a multiple of 15?
True
Let r = -1548 + 1773. Is r a multiple of 45?
True
Let o(a) = -2*a**3 - 3*a**2 + 11*a + 6. Let v(h) = 4*h**3 + 7*h**2 - 23*h - 11. Let s(f) = -13*o(f) - 6*v(f). Is s(5) a multiple of 23?
True
Suppose 5*q = 52 + 53. Suppose -q*t = -24*t + 24. Suppose 0 = -c + 3*r - t + 108, 0 = -4*r. Does 20 divide c?
True
Suppose 3*v - 4094 = -u, -270*v - 6824 = -275*v - 2*u. Is v a multiple of 4?
True
Let l(y) = -12*y**3 - 15*y**2 - 10*y - 12. Is 4 a factor of l(-6)?
True
Let j(y) = 2*y**2 - 58*y + 96. Is j(45) a multiple of 6?
True
Suppose b + 6*b = 77. Suppose -5*i = -b*i + 2970. Is i a multiple of 45?
True
Suppose 5*h + 25 = 5*c, -5*h + 2*c - 12 = 19. Let t = 7 + h. Is (56 - 1/(-1)) + t/(-49) a multiple of 15?
False
Suppose -2*y + 5482 = 4*j, -5*j + 65*y + 6835 = 70*y. Is j a multiple of 6?
True
Let r be 2/(-6)*(-25 - -10). Suppose -k + 3*b + 179 + 52 = 0, -r*k - 5*b + 1135 = 0. Does 38 divide k?
True
Let c = -18126 + 21367. Is c a multiple of 58?
False
Let u(a) = 4*a**2 - 11*a + 3. Let g(q) = -5*q**2 + 11*q - 4. Let h(x) = -5*g(x) - 6*u(x). Let w = -21 + 8. Is 5 a factor of h(w)?
False
Let w(z) = 8*z - 204. Let o be w(24). Let l = o + 188. Is l a multiple of 17?
False
Let c(v) = -399*v + 6695. Is c(0) a multiple of 65?
True
Let l(h) = -2*h + 8. Let n be l(6). Let m(k) = -2*k**3 - 2*k**2 - 6*k + 2. Let g be m(n). Suppose -g - 110 = -4*f. Does 29 divide f?
True
Suppose -54570 = -106*c + 72*c. Is c a multiple of 3?
True
Let o(d) = -20*d + 7. Let s be 0 + (-2 + -5 - -2). Let w be o(s). Let x = w - 97. Is 3 a factor of x?
False
Does 45 divide (-3)/(12/(-98282)) - (-9 + 133/14)?
True
Suppose -5*v + 2*v + 75 = 0. Suppose -2*z + 52 = 5*u, 2*u + 2 = -2. Let a = z - v. Is 4 a factor of a?
False
Let h be 0 - 1/2*0. Let g(a) = 74 - a + 4 + 23 + 63 + a**3 + 2*a**2 - 29. Does 50 divide g(h)?
False
Suppose 2 - 20 = -g. Suppose g + 0 = 3*m. Suppose -4*i = -2*r + 378, 4*i - 22 = -m. Is 33 a factor of r?
False
Let g(q) be the first derivative of 9/2*q**2 + 8/3*q**3 + q - 12 + 1/4*q**4. Is 6 a factor of g(-6)?
False
Suppose -63*m + 11477 = -10069. Is 14 a factor of m?
False
Let d(a) = -a + 2. Let j(x) = x**3 - 2*x**2 - 4*x - 502. Let w(g) = 2*d(g) - j(g). Is 33 a factor of w(0)?
False
Let j be ((-6)/(-4))/((-6)/8) + 43. Suppose 3*h + 11 - j = -o, -5*o - h = -80. Is 2 a factor of o?
False
Let x be (-3)/1 + 3/(6/124). Let v = 64 - x. Suppose 4*r = -2*i + i + 12, 0 = v*r. Is i a multiple of 12?
True
Suppose 3*p = -5*z + 15854, 39*z = 6*p + 41*z - 31724. Is p a multiple of 17?
False
Let a(c) = 86*c**3 - 4*c + 4. Let d be a(1). Let q = 207 - d. Is 11 a factor of q?
True
Suppose 3*s = s + 2*t - 4, 4 = -4*t. Let g be 0/(s/6*-2). Suppose -n = 4*z - 64, -295 = -4*n - g*n - 3*z. Is 19 a factor of n?
True
Let q(v) = -3*v**2 + 15*v + 10. Let k(l) = -4*l**2 + 16*l + 11. Let z(t) = t**2 - 10*t + 11. Let w be z(8). Let n(r) = w*q(r) + 4*k(r). Is 12 a factor of n(-5)?
True
Suppose 3*i - 8920 = 1498*o - 1503*o, -5*i + 14858 = 4*o. Is 10 a factor of i?
True
Let o = -31093 - -90914. Is o a multiple of 367?
True
Suppose 10*u = 7*u - 9. Let h be (1/u)/(10/60). Is 9 a factor of (527/51)/(h*(-1)/12)?
False
Suppose 280 - 51 = y. Suppose y = 2*t + 3*t - m, -4*m = 3*t - 119. Is t a multiple of 3?
True
Let b(y) be the second derivative of y**5/20 + y**4/2 - 2*y**3/3 - 5*y**2/2 - 5*y. Let n be (-14)/(-56) - (-30)/8. Does 16 divide b(n)?
False
Let m(s) = -s**3 - 17*s**2 + 17*s - 2. Let n be m(-18). Suppose n + 14 = 2*o. Suppose 6*z - 17 = 3*z - k, -5*z + k + o = 0. Is 4 a factor of z?
True
Let a be 2418/9*(-9)/6. Does 13 divide (1*a)/(25 + -26)?
True
Suppose -2*s = -524*s + 104*s. Suppose q - b = 53, -6*q + 3*q + 2*b + 159 = 0. Suppose -2*v + q + 523 = s. Is v a multiple of 48?
True
Let f be (0 - (-1)/(-1))*(0 - 5). Suppose -f*p = -8*p + 183. Is p a multiple of 3?
False
Suppose 4*c + 42 = 5*s, -5*s + 2*s + c = -21. Let y(n) = n**3 - 5*n**2 - 7*n + 10. Let w be y(s). Suppose 508 = w*m - 20. Is m a multiple of 11?
True
Suppose 12 = 5*h - 8. Let x(b) = 3*b**2 - b - 7. Let m be x(-3). Suppose m - 3 = 4*n, -178 = -2*w + h*n. Is 33 a factor of w?
True
Does 32 divide 5*(-10)/(-250) + 5 + 152448/10?
False
Let r = -17 + 80. Let y = r + -12. Let c = y - -25. Is c a multiple of 7?
False
Suppose 4*l = -2*t + 132, 3*l = 5*t + 23 + 63. Is (-12 + (12 - -5))*(l - 1) a multiple of 26?
False
Let n(l) = 23*l**2 + 4*l - 3. Let w(k) = -69*k**2 - 10*k + 8. Let b(z) = -8*n(z) - 3*w(z). Is 9 a factor of b(4)?
True
Let b(a) = a**2 