?
True
Suppose 5*m + 17738 = 3*u, 5*u - 36518 = m - 6940. Is 116 a factor of u?
True
Let h be (-2)/4 - (-4)/(-6 - -14). Suppose 0 = 5*d - 5 + 10. Is ((d - 2) + h)*392/(-21) a multiple of 28?
True
Let o = 90 + -87. Suppose 3*u = 3*w + 152 + 643, o*w = 2*u - 532. Suppose z - 4*z = -2*r - 266, 3*z = -r + u. Is z a multiple of 8?
True
Let j(r) = r**2 + 37*r - 15. Let a be j(-32). Let b = -26 - a. Is 29 a factor of b?
False
Suppose 0 = 4*l - 3*v - v + 92, 5*l + 115 = 3*v. Let f = l + 26. Suppose -f*s - 3*h = -216, s + 2*s = -h + 218. Is 27 a factor of s?
False
Let u(p) be the second derivative of p**7/1260 + p**6/360 - 11*p**5/30 - 19*p**4/12 + 14*p. Let f(i) be the third derivative of u(i). Does 12 divide f(6)?
False
Let r(i) = 76*i + 12. Let m(g) = 189*g + 30. Let l(y) = -5*m(y) + 12*r(y). Does 24 divide l(-6)?
True
Suppose -2*n = 156 - 160. Suppose -n*j + 5*t + 2470 = 3*j, -2*j + 990 = -t. Does 31 divide j?
True
Let t(n) = n**3 - 20*n**2 + 34*n + 36. Let c be t(18). Suppose -6*w = 3*d - 4*w - 118, c = -2*d - 2*w + 82. Is d a multiple of 6?
True
Suppose 136*a = 4*m + 137*a - 25230, 37866 = 6*m - 2*a. Is 13 a factor of m?
False
Is -11 - ((5 - -9) + -1537) a multiple of 27?
True
Suppose -16 + 26 = 2*w + i, 5*i - 14 = -w. Is (-6*w/(-12))/(6/2781) a multiple of 12?
False
Let p(r) = -r**2 + 100*r - 93. Does 3 divide p(15)?
True
Let x(u) = 2*u**3 - u**2 + 4*u - 3. Let g be x(2). Let a be 4*(-1)/(-12) + 10/6. Suppose -l - a*c = -g, -3*c + c + 42 = 2*l. Is l a multiple of 24?
False
Let d(z) = 735*z**2 + 492*z - 1956. Does 81 divide d(4)?
False
Is 58 a factor of 1/(-7) - 8798414/(-2758)?
True
Suppose -l + 5 = -4*z, -2*l - 25 = -7*l - 3*z. Suppose -5*v + 2460 = l*j, 513 + 467 = 2*j + 4*v. Is j a multiple of 19?
True
Suppose 240 = 8*g - 3*g. Let k = g + 14. Let c = -26 + k. Is c a multiple of 18?
True
Let t(v) = v - v**2 + v**2 + 28 + v**2 - 7*v. Let o be t(11). Let x = o - 32. Is x a multiple of 8?
False
Let y(b) = -3*b**2. Let l be y(-5). Suppose 6*p + 135 = 4*p - 3*i, 68 = -p - 2*i. Let w = p - l. Is w a multiple of 3?
True
Let t = 92254 - 31195. Is 86 a factor of t?
False
Let m(k) = -7*k**3 - 3*k + 3. Let z(y) = 7*y**3 + 2*y - 4. Suppose 3*h = -14 + 5. Let c(b) = h*m(b) - 2*z(b). Is c(2) a multiple of 10?
False
Let h be 216/(-36) - (-36 + -2). Suppose -40601 + 11481 = -h*c. Is 26 a factor of c?
True
Let u(i) = 343*i - 2. Let f be (-40 - -45)*1/5. Is u(f) a multiple of 11?
True
Let u = 50 + -45. Suppose -180 = -u*n - 0*n. Is 3 a factor of ((-10)/(-4))/(15/n)?
True
Does 4 divide (-27)/((-405)/400)*(-645)/(-20)?
True
Let l be (-1)/(-2) + 3/6. Let p(x) = -2*x**3 + 79*x**2 - 42*x + 121. Let r be p(39). Does 14 divide 46 + (l/r*4 - 4)?
False
Suppose 11*u = 13*u + 144. Let p = -56 - u. Is 16 a factor of (-14)/((6/16)/((-24)/p))?
False
Let v(i) = -i**2 - 47*i + 324. Does 19 divide v(-45)?
False
Let c = -351 - -354. Suppose 0 = 5*l - c*p - 18, 0 = -9*l + 11*l + 2*p - 4. Is 2 a factor of l?
False
Is (-16864)/(-128) - 1/(-4) even?
True
Let n(q) = -202*q - 72. Suppose 4*t + 3*b = -27, 12*b = -2*t + 7*b - 17. Does 38 divide n(t)?
True
Suppose 150 = 5*n - 1045. Let z = 225 + n. Suppose 364 = 4*r + o + 4*o, -5*r = 4*o - z. Does 12 divide r?
True
Let o(t) = -2*t**3 + 8*t**2 - 2*t - 8. Let n be o(0). Let k(g) = 17 + 2*g - 3*g + 5*g**2 + 3*g**2 + g**3. Is 13 a factor of k(n)?
False
Suppose 19 = 3*h - 2*u + 3, 2*h - 3*u - 19 = 0. Let b(s) = 78*s**3 + 3*s**2 - 6*s + 6. Does 63 divide b(h)?
True
Let f(g) = 21*g**2 - 11*g - 16. Suppose 6*j - 44 + 74 = 0. Is f(j) a multiple of 12?
True
Let b(m) = m**3 - 6*m**2 - 26*m - 19. Let u be b(-11). Let c be (0 - u)*1/10*-44. Is (-4)/14 - c/77 a multiple of 17?
True
Suppose 8*q - 10*q + 34 = 0. Suppose -15*d + 6 = -q*d. Is 4 a factor of ((-15)/d - -2)*(-3 + 5)?
False
Does 81 divide (-24442)/(-3) + 200/75?
False
Let v = 3515 - 3312. Is 7 a factor of v?
True
Let a(h) = -819*h - 756. Is 125 a factor of a(-10)?
False
Let c(w) = 3*w**2 - 228*w - 204. Does 9 divide c(79)?
False
Let y(r) = 31*r**3 - 2*r**2 - 4*r + 4. Let l(h) = 2*h - 46. Let w be l(24). Does 9 divide y(w)?
False
Let g = 273 + -269. Is 3 a factor of (g + -5)/(((-1)/(-33))/(-1))?
True
Let z = -243 - -254. Let g(c) = c**3 - 10*c**2 + 6*c - 20. Is 40 a factor of g(z)?
False
Suppose -5*r = -k - 13, -4 = -r - 5. Is (-2373)/k - 3/(-18) a multiple of 4?
True
Let w(s) = 2*s**3 - 112*s**2 - 49*s + 1048. Does 14 divide w(60)?
True
Does 24 divide ((-65816)/(-114))/((-6)/(-27))?
False
Suppose -161*m + 164*m - 102 = 0. Suppose -32*b + m*b = 864. Is b a multiple of 48?
True
Suppose 2*c + 41 = -5*l, c - 6*c = 2*l + 29. Let d be -4 - (l/1 + 0). Suppose d*a + 192 = 7*a. Is 12 a factor of a?
True
Let z(t) = t**2 - 22*t + 44. Let g be z(20). Suppose 3*d = g*d - 81. Suppose 3*j = -2*o + o + d, -5*j + 128 = 4*o. Is 28 a factor of j?
True
Let c(p) be the first derivative of -1/3*p**3 + 9*p - 7/2*p**2 - 9. Does 3 divide c(-6)?
True
Let z(x) be the first derivative of x**7/840 - x**6/180 - x**5/60 + x**4/12 - 7*x**3 + 2. Let n(d) be the third derivative of z(d). Is 13 a factor of n(6)?
False
Suppose 0*m = 4*k - 3*m - 17, 3*k - m - 14 = 0. Suppose k*h - 452 = 3*d, d = h - 5*h + 365. Is h a multiple of 6?
False
Let s = 8801 + -1782. Is s a multiple of 21?
False
Let h = 337 - 513. Is (h/(-110))/((-2)/(-215)) a multiple of 7?
False
Let x = 3076 - -1188. Is 104 a factor of x?
True
Let z(f) = -31*f + 330. Let u be z(11). Is (-10558)/(-11) - 2/u a multiple of 48?
True
Suppose 5*s = -17*w + 21*w - 77624, 3*s + 97004 = 5*w. Is 373 a factor of w?
True
Suppose 14*i = -0*i + 462. Let w = 66 - i. Is w a multiple of 3?
True
Suppose 1284 = 3*l - 2322. Suppose 1213 + l = 5*f + 5*a, 1455 = 3*f + a. Is f a multiple of 54?
True
Suppose 0 = -46*z + 41*z + 148320. Is z a multiple of 24?
True
Let t(n) = -28*n + 7*n**3 - 28 + 14*n - 12*n - 6*n**3 + 19*n**2. Does 23 divide t(-20)?
True
Suppose 2*w + 79 = g, 2*w + 1 = w. Suppose -72*f = -g*f. Suppose f*t - 4*q = -2*t + 58, -5*t - 2*q = -145. Is 7 a factor of t?
False
Let g = 160 + -156. Suppose 0 = g*j + 5*p - 1071, 0 = -3*j + 10*p - 13*p + 807. Does 67 divide j?
False
Let y be (-16)/18 + 18/(-162). Let d = y + 46. Suppose d = -w + 175. Is w a multiple of 35?
False
Suppose -34*h = -38*h - 3*v + 81329, -5*v = -3*h + 60946. Is 54 a factor of h?
False
Let z be 5/(-40) + 6725/40. Suppose z + 0 = 3*h. Is 14 a factor of h?
True
Let r = 7299 + -1331. Does 78 divide r?
False
Let v be (0 - 3)*(-14)/(-21). Is 3883/143 - (v - 28/(-13)) a multiple of 9?
True
Let u(y) = -43*y - 81. Let r be u(-2). Suppose -73 = -r*s + 47. Is 24 a factor of s?
True
Let h(a) be the second derivative of a**4/2 - 2*a**3/3 - 3*a**2/2 - 17*a. Suppose -4*f - 10 = 5*v - 2*f, -2*v - 3*f = 4. Is h(v) a multiple of 3?
False
Suppose 144 = q - 3*x, -4*x - 179 = -4*q + 413. Let j be q/(-45)*(-2)/(4/3). Is j*(-112)/20*-1 a multiple of 7?
True
Let y(f) = 7*f**2 + 18*f + 17. Is y(44) a multiple of 49?
False
Let o(t) = 2*t + 22. Let i be o(-17). Let l be -3*(-40)/i*55/(-2). Let j = l - 137. Does 40 divide j?
False
Suppose 0 = -v + 2*h + 8, -2*h = -v - 3*h + 2. Suppose -v*n = -75 - 605. Suppose 4*x - n - 34 = -4*g, -x - 3*g = -47. Is 16 a factor of x?
False
Let r(l) = -235*l + 101. Does 15 divide r(-11)?
False
Suppose -823 = -2*c - 3*h, 0 = 3*c + 5*h - 2*h - 1239. Let t = 539 - c. Is 5 a factor of t?
False
Let n = 134 + -277. Let t = 369 - n. Is 32 a factor of t?
True
Let t(g) = -2*g**3 + 16*g**2 + 22*g - 19. Let o = 548 + -539. Is 4 a factor of t(o)?
False
Let q(d) be the second derivative of 67*d**3/6 + 4*d**2 + 2*d + 57. Is q(3) a multiple of 11?
True
Suppose -154*m = -144*m - 420. Suppose -5*o + m = -588. Is o a multiple of 6?
True
Let z(p) = -p**2 - 21*p - 45. Let f be z(-12). Suppose 5*x = -4*h + h + f, -h = -5*x - 1. Is 4 a factor of h?
True
Suppose 15*a - 12*a = 0. Let x(p) = 11*p + 255. Is x(a) a multiple of 15?
True
Suppose 5*o - 4*a + 13 = 0, 4*o + 5 = 3*a - 5. Let r(u) = -573*u + 58. Is r(o) a multiple of 42?
False
Let t be 8/(-20) - 110/(-25). Is 8177/52 - (2 + (-7)/t) a multiple of 17?
False
Is 93 a factor of -274*(220/(-12) - 1/(-3)) - 3?
True
Suppose s - 2142 = -5*u, -3*u - 569 = -575. Is s a multiple of 4?
True
Let u(w) = 13 - 9 + 629*w - 2 - 12. Is u(2) a multiple of 52?
True
Let m(r) = r + 16. Let j