s 46 divide b?
False
Suppose 0 = 7*t + 8110 - 25764. Is 97 a factor of t?
True
Let g = 51 + -51. Suppose 3*a - 2*a - 8 = g. Does 17 divide (6/9)/(a/324)?
False
Is 6 a factor of ((-12)/(-3) + 0)*-2742*(-5)/120?
False
Let t = -15 + 18. Suppose -14*b - 4*q + 850 = -11*b, 0 = -t*b - q + 865. Is 7 a factor of b?
False
Suppose -2*p + 1653 = f, 3*f = -34*p + 29*p + 4955. Suppose f + 357 = 13*i. Does 45 divide i?
False
Let g = -258 + 260. Suppose -5*u = -g*q - 3440, 2*u - 7*u + 5*q + 3455 = 0. Is u a multiple of 14?
True
Suppose -3*t + 5*c - 213 = 0, 371 = -5*t + c + 2*c. Let u = t - -79. Suppose -u*b = 2*b - 865. Is 41 a factor of b?
False
Let b(u) = 2*u**2 + u - 25. Let r(v) = -3*v**2 - v + 20. Let x(z) = -4*b(z) - 5*r(z). Let j = 5 - 3. Does 12 divide x(j)?
False
Suppose 175515 = 5*z - 287*u + 285*u, -u = 2*z - 70197. Does 21 divide z?
False
Suppose m + 6*n = 3679, m - 1197 = -4*n + 2478. Is m a multiple of 50?
False
Let z = 394 + -360. Is 39 a factor of z*27/36*(-10)/(-3)?
False
Let a(b) = -796*b - 972. Is 50 a factor of a(-7)?
True
Let r(p) = 503*p - 452. Let h(w) = 168*w - 153. Let u(c) = -11*h(c) + 4*r(c). Does 3 divide u(3)?
False
Suppose -u + 14784 = g, 5*g - 261*u + 256*u = 73890. Is 75 a factor of g?
False
Is 1057 + 8586 - 1*10/(-2) a multiple of 48?
True
Let j = 159 + -142. Is 5/(5/6) + j a multiple of 7?
False
Let b(a) = a**3 - 28*a**2 + 54*a - 52. Let i be b(26). Suppose i = 3*s - w - 2062, -s - w = -5*s + 2748. Is 13 a factor of s?
False
Suppose -5*p = -5*j + 575, -3*p = 5*j + p - 611. Suppose 5*a = j + 101. Let b = -16 + a. Does 14 divide b?
True
Does 7 divide 9/((-9)/(-9)*(-2)/(-4032))?
True
Let i = -30 + 36. Suppose -3*m + m = -i, x + 40 = m. Let l = -10 - x. Does 9 divide l?
True
Let p(y) = y**3 + 5*y**2 + 7*y + 15. Let m be p(-3). Does 27 divide 9/((-270)/m)*-1085?
False
Suppose -w - b = -3*w + 39, 61 = 3*w - b. Suppose 0 = 3*p - 35*x + 31*x - 66, -p + 3*x = -w. Does 11 divide p?
True
Let r(j) = -3*j**2 - 3*j + 62. Let d be r(0). Suppose -11*q - 12954 = -d*q. Does 5 divide q?
False
Does 22 divide (-14 - -5)/(-1) + -2 + 1473?
False
Let c(n) = n**2 + 12*n + 22. Suppose -780 = 5*p + 8*p. Let t = p - -42. Is 26 a factor of c(t)?
True
Let z = 5020 - 2083. Is 33 a factor of z?
True
Let z(h) = 7*h**2 + 10*h - 24. Let l = -734 - -727. Is 15 a factor of z(l)?
False
Suppose -156*o + 16326 = 2*x - 159*o, -5*o = 0. Is x a multiple of 117?
False
Let n(d) = -26*d - 16. Let u(f) be the second derivative of -13*f**3/6 - 4*f**2 - 23*f. Let y(v) = -6*n(v) + 13*u(v). Is y(-4) a multiple of 11?
True
Let m(n) = -4*n**3 - 20*n**2 - 16*n + 12. Is m(-4) a multiple of 8?
False
Let n = -869 + 884. Does 19 divide n*2223/27 + -4?
False
Let j be ((-5)/3)/(1/(-12)). Let t be (0 + (-4)/6)*(-30)/j. Does 7 divide 4/(-2)*(t - 36)?
True
Let v = 1145 - 608. Suppose -n + 4*j + 533 = 0, n - 3*j = -0*j + v. Does 17 divide n?
False
Let z(y) = y**3 + 16*y**2 - 21*y - 7. Let k be z(-17). Let l = k - 101. Let g = l + 52. Is g a multiple of 3?
True
Suppose 32*h - 100170 - 18610 = -11132. Does 4 divide h?
True
Is (-8198)/(-6)*((-10 - -9) + -6 - -58) a multiple of 250?
False
Suppose -25997 = -4*i + 4*g + 12275, g - 19136 = -2*i. Does 32 divide i?
True
Let x = 6 + -3. Suppose -3*f + 6*f = -x, f = -b + 3. Suppose -9*w + b*w = -720. Does 18 divide w?
True
Let w be 1 + (-6)/(-6) + 233. Suppose 0*u + 2*u = -2*x + 170, w = 3*x - u. Does 5 divide x?
True
Let b = -129 + 134. Is 2 + 1007/b + (-6)/15 a multiple of 8?
False
Suppose -313265 = 80*f - 1654705. Is 70 a factor of f?
False
Let m(x) = -97*x**3 + 2*x**2 - 174*x - 1556. Is m(-8) a multiple of 132?
False
Let u(t) be the second derivative of t**4/24 - 2*t**3/3 - t**2 + 12*t. Let o(w) be the first derivative of u(w). Does 3 divide o(15)?
False
Let n = 2825 + -2555. Is 10 a factor of n?
True
Let u(d) = d**3 + 8*d**2 - 13*d + 284. Is u(-11) a multiple of 10?
False
Let l(n) = -74 + 176 + 18*n - 77 - 68. Suppose -4*k = -53 - 11. Is 35 a factor of l(k)?
True
Let t be 29 - (-1)/((-3)/12). Let b be (60/t)/(1/285). Suppose -q = -5*q + b. Does 40 divide q?
False
Let r = 8174 - 6500. Does 6 divide r?
True
Let x(n) = -4*n - 1. Let h(r) = 28*r + 1. Let a(d) = h(d) + 6*x(d). Suppose -5*k + 3*k = -10. Is 3 a factor of a(k)?
True
Let r = -218 + 222. Does 11 divide (5 - -291) + (r - (0 - -3))?
True
Let o(v) = -8*v + 155. Let k be o(-7). Let n = k + -169. Is n a multiple of 6?
True
Let c(t) = -5*t**3 + 2*t**2 - 3*t + 2. Let a be c(5). Let q = 927 + a. Suppose -2*k = 2*l - 907 + q, 276 = l + 5*k. Does 35 divide l?
False
Suppose -5*d + 3*d = -4. Suppose 0 = d*z - 74 - 76. Suppose -1245 = -9*b - z. Is 24 a factor of b?
False
Suppose 8384112 = -86*h + 354*h. Is 132 a factor of h?
True
Suppose -38*r + 18360 = -4*r. Is r a multiple of 15?
True
Let f(b) = -b**3 - 9*b**2 + 17*b + 4. Suppose 3*p - l = -38, 3*p - 2*p + l + 18 = 0. Let z = p + 3. Is f(z) a multiple of 6?
False
Let u = 3228 - 2112. Is 18 a factor of u?
True
Let y(a) = 3*a**2 + 31*a - 18. Let t be y(-11). Suppose -4*c + 57 = 2*i - 69, 4*i + t*c = 236. Is i a multiple of 11?
True
Let r = 6 - -3. Let v(o) = -3*o**3 - 15*o**2 + 19*o + 21. Let g(q) = q**3 + 8*q**2 - 10*q - 11. Let n(w) = -5*g(w) - 2*v(w). Is 7 a factor of n(r)?
False
Let y(t) = -2*t - 5. Let p be y(-5). Let h = 118 - 115. Suppose p*g + 4*b - 75 = 0, 2*g + b = 36 - h. Does 13 divide g?
False
Let f(x) = -2*x**3 - 87*x**2 - 178*x + 37. Does 131 divide f(-43)?
False
Suppose -25*p - 7620 = -10*p - 20*p. Is p a multiple of 156?
False
Let o = 341 - 156. Suppose 0 = -2*g + 99 + o. Is g a multiple of 7?
False
Let v = -166 - -179. Suppose 5*w - v*w = -7528. Is w a multiple of 9?
False
Does 84 divide (5 - -6) + 3646 + -9?
False
Let d be (1/3)/(-1) + 7/21. Suppose d = -5*j - 5*y - 255, -4*j + y + 4*y - 240 = 0. Let i = j - -93. Does 19 divide i?
True
Let y be (-4)/12*-12 - -614. Suppose 0 = 3*x + x - 3*a - y, -4*x + 616 = -4*a. Is x a multiple of 14?
False
Is 287 - (-9 + (16 - -7)) a multiple of 4?
False
Let c = -183 + 306. Let p = -17392 - -17318. Let n = c + p. Does 3 divide n?
False
Let u = -3391 + 20519. Is 69 a factor of u?
False
Let d(m) = 23*m**2 - 18*m - 77. Does 29 divide d(-12)?
True
Let h(x) = -80*x + 19. Let s(a) = 79*a - 19. Let c(v) = -5*h(v) - 4*s(v). Does 52 divide c(6)?
False
Suppose 0 = 4*w + i - 41, -2 = -w + 3*i + 18. Suppose 0*c + 38 = 4*c - 5*m, 5*m = -3*c + w. Suppose -3*n + 160 = c. Is n a multiple of 7?
False
Suppose -18015 - 238030 = -36*r + 93047. Is r a multiple of 29?
False
Suppose 7*f - 6*f - 3 = 0. Let k be 415/2 - f/(-6). Suppose -3*z - s + 304 = -0*s, 2*s = 2*z - k. Is 17 a factor of z?
True
Suppose -410*a + 267*a = 468*a - 8447075. Does 7 divide a?
True
Let s = -85 + 7153. Is s a multiple of 62?
True
Let w be 102*(2/(-4) + 6/36). Does 35 divide (w - -23)*(-1)/((-3)/(-33))?
False
Suppose 19*c = 12*c - 7. Let z(d) = 709*d**2 + 3*d + 3. Does 68 divide z(c)?
False
Let c be ((-6)/(-4))/((-3)/(-30)). Suppose 4*g - 4*q - c + 47 = 0, 11 = -2*g + q. Does 13 divide 1365/10*((-5)/g - 1)?
True
Let g(l) = l**3 - 76*l**2 + 11*l. Is 13 a factor of g(78)?
True
Let h be ((-4)/(-8))/((-703)/704 - -1). Suppose 5*q - a = 854, -3*q - 3*a - h = -5*q. Suppose 6*l - q = 10. Is 5 a factor of l?
True
Suppose 253*j = 54*j + 400786. Is j a multiple of 5?
False
Suppose 0 = 2*i - 6, 5*i - 299 = -3*o + 160. Let b(w) = -w**2 + 8*w + 158. Let j be b(-12). Let z = o + j. Does 6 divide z?
True
Is 98 a factor of (10094 - (6 - 6))/(-4*(-4)/16)?
True
Let a = -290 + 162. Suppose -4*k + 242 = 3*i + 1018, 4*i - 970 = 5*k. Let f = a - k. Is f a multiple of 22?
True
Let n = -20 - -22. Suppose -m + 4*p - n = 0, -m + 6*m - 28 = p. Is ((-1144)/12)/((-4)/m) a multiple of 13?
True
Let i(p) = -528*p - 285. Is i(-4) a multiple of 6?
False
Suppose -5*d + 48101 = -b, -5*d + 1246*b = 1248*b - 48098. Is 65 a factor of d?
True
Let c(w) = -w + 63. Let i be c(11). Does 7 divide i*(150/40 + 3/12)?
False
Suppose -3*u + 7*u = -32. Let b be 1/8 - 223/u. Suppose -13*d + b = -12*d. Does 6 divide d?
False
Suppose 2*a - 56 = 22. Suppose -1050 = -a*h + 36*h. Is 50 a factor of h?
True
Suppose 8*o = 1911 + 1761. Is o a multiple of 7?
False
Let f(z) = -6*z**3 - z**2 + 2*z + 40. Is f(-5) a multiple of 81?
False
Let s(r) = -3*r**3 - 54*r**2 + 41*r - 564. Is 8 a factor of s(-2