4)/1830)/((-6)/400)*6/4?
True
Let a(t) = 108*t**2 + 343*t - 1352. Does 25 divide a(4)?
False
Suppose -56958 = -5*s - 2*r, -45564 = -4*s + 242*r - 246*r. Is 32 a factor of s?
True
Let y = 781 + 2352. Does 12 divide y?
False
Let a = -51 + 15. Let u(y) = y**2 + 32*y - 12. Is u(a) a multiple of 11?
True
Suppose 0 = 5*c + 29 - 24. Let j(q) = q**2 + q. Let v be j(c). Suppose 0 = -a - v*a - 3*p + 5, p = 2*a - 17. Is 4 a factor of a?
True
Let w(z) = -2*z**3 - 7*z**2 + 15*z - 16. Let o be w(-7). Suppose -9*u - o = -15*u. Does 2 divide u?
False
Let d(a) = -a**2 - 13*a + 13. Let z(c) = -c**2 - 14*c + 14. Let i(g) = 5*d(g) - 6*z(g). Let r(b) = -b - 21. Let x be r(0). Does 4 divide i(x)?
False
Let l be 4 + 15/(-3) - 5. Let v be (-808)/8 + 3 + (l - -2). Is (-7718)/v + (-2)/(-6) a multiple of 38?
True
Suppose 19 - 4 = -3*n. Let h(x) = 49*x**2 - 9*x - 3. Let g(r) = -18*r**2 + 3*r + 1. Let y(p) = -11*g(p) - 4*h(p). Does 3 divide y(n)?
True
Suppose 0 = 180*f - 13*f - 1300930. Is 15 a factor of f?
False
Let l = 867 - 860. Suppose -l*d + 3*b + 1601 = -6*d, 3*b = -4*d + 6374. Is 29 a factor of d?
True
Let b(l) = 15*l**2 + 26*l - 76. Is 9 a factor of b(-21)?
False
Let g be (-69)/3 - (8 + -8). Let t = g + -14. Let y = t - -81. Is y a multiple of 3?
False
Suppose -53101 - 772054 = -62*u + 49355. Does 155 divide u?
True
Let v = -20723 + 21908. Is 2 a factor of v?
False
Suppose -n + 62 = -4*o - 125, -5*o = 2*n + 237. Let q = o + 62. Suppose -q*k + 1957 = 697. Is 14 a factor of k?
True
Let q(r) = r**3 + 6*r**2 - 6. Let a be q(-6). Let v be ((-54)/(-15))/(a/(-40)). Let d = 185 - v. Is d a multiple of 23?
True
Let k(z) = 32*z - 222. Let n = 10 + -1. Is 11 a factor of k(n)?
True
Suppose 6 - 16 = -5*k. Suppose -g = -k*g + 3. Suppose -4*u = -3*i + 32, g*u = 4*i - 19 - 33. Is i a multiple of 16?
True
Let l(x) = -x + 25. Let d be l(-6). Let y(n) = 4*n**2 - 3*n + 2. Let j be y(1). Let g = j + d. Is 6 a factor of g?
False
Let m = 72224 - 44191. Is m a multiple of 17?
True
Let x be (-1)/((5 + 1)/(-24)). Suppose -2*c + x = -0, 5*t + c = 657. Is t a multiple of 48?
False
Let r(b) = -262*b**3 + b**2 - 10*b - 11. Let u = -353 - -352. Does 10 divide r(u)?
False
Let z(i) = -73*i + 15. Let a be 1*(2 - 30/6). Is z(a) a multiple of 26?
True
Does 2 divide 3019 + ((-4)/(-1) - (-21)/14*2)?
True
Suppose 8*p - 3*r = 4*p + 1481, 3*r = 2*p - 733. Let k = -131 + p. Is k a multiple of 15?
False
Let q = 38 + -27. Suppose 8*h = -q - 5. Is h/((-6)/21) - (4 - 2) even?
False
Does 31 divide -26 - -138*(-6939)/(-81)?
False
Is 4 - 480/30*2046/(-8) a multiple of 64?
True
Let g(j) = 21*j**2 + 14*j + 9. Is g(-4) a multiple of 3?
False
Suppose -3*m + 53436 = l, -2*l + 5079*m - 5082*m = -106896. Does 135 divide l?
True
Suppose 4*h + 5*t + 7 + 3 = 0, -3*t - 6 = -4*h. Suppose 3*w + 51 - 18 = h. Let q(g) = -g**2 - 13*g + 6. Is 14 a factor of q(w)?
True
Suppose -2*p - 924 + 1289 = -3695. Does 5 divide p?
True
Let k = -19 + 40. Let z = k - 19. Suppose v = -5*d - 3*v + 280, -z*d + 3*v = -135. Is d a multiple of 12?
True
Suppose 4*i - 620 - 308 = 0. Suppose 0 = 5*y - i - 518. Does 6 divide y?
True
Let c = 43 + 629. Suppose -f = -9*f + c. Suppose 0 = m + 2 - f. Is 16 a factor of m?
False
Let i(l) be the second derivative of -l**5/60 - l**4/3 - l**3 + 9*l**2 - 23*l. Let y(c) be the first derivative of i(c). Is 2 a factor of y(-5)?
False
Suppose 103*y + 9342 = 53529. Is 6 a factor of y?
False
Let h(u) be the first derivative of -3/2*u**2 + 9*u + 37. Is 9 a factor of h(0)?
True
Suppose 4*j - 22 = -5*h, 11*j - 14*j - h = -22. Suppose -j*i + i = -8743. Is i a multiple of 106?
False
Suppose 109*b = 123*b - 64834. Suppose -65*k + 62*k = -m - 2782, 4*m = -5*k + b. Is k a multiple of 9?
True
Let n(m) = 2*m**2 + 8*m - 10. Let b = -60 - -85. Suppose -23*w = -b*w + 10. Does 40 divide n(w)?
True
Let a(c) = -15*c**2 - 111*c - 5. Let w(d) = -10*d**2 - 75*d - 3. Let q(i) = -5*a(i) + 7*w(i). Is q(-20) a multiple of 16?
False
Let i(b) be the first derivative of -b**5/8 - b**4/12 - 5*b**3 - 10. Let o(g) be the third derivative of i(g). Is 37 a factor of o(-10)?
True
Let v(s) = 19843*s**3 - 59*s**2 + 59*s. Is v(1) a multiple of 83?
False
Let v(c) = 36*c**2 - 68*c + 355. Is 67 a factor of v(6)?
False
Suppose 0 = -2*g - 5*i - 6, -5*g - 5*i = -0*g. Suppose 2*z - 2164 = -4*x, -g*x + 4*z - 6*z + 1084 = 0. Is x a multiple of 54?
True
Let n be (12/(-14))/((-1)/(-28)). Is 20 a factor of (18/n*-8)/((-6)/(-20))?
True
Let t be (4 + 0)*(-6)/12. Does 2 divide (17/51)/(t/6)*-94?
True
Suppose 0 = -30*k + 32*k - 516. Suppose -5*i = -1257 - k. Does 7 divide i?
False
Suppose 8*g - 7 = 9. Suppose 2*i = 3*d - 2*d, 2*d = -g*i + 12. Suppose -79 - 193 = -i*v. Does 21 divide v?
False
Suppose 54*g - 3164 - 19840 = 0. Does 142 divide g?
True
Let g(p) be the third derivative of -p**4/12 - p**3 + 13*p**2. Let a be g(-6). Suppose 120 = a*d - 2*d. Is 15 a factor of d?
True
Let l(s) be the first derivative of 10*s**3 + s**2 - 5*s - 114. Does 16 divide l(-2)?
False
Let q(n) = 2*n + 17. Suppose -4*a - 2*x = -26, -2 - 6 = -4*a + 4*x. Let r be q(a). Suppose -107 + r = -4*u. Is u a multiple of 9?
False
Let o(q) = 586*q**2 + 1. Let d be o(1). Suppose 0 = -3*s + 3*b - 2805, 4*b - d = s + 363. Is 26 a factor of 4/(-16) + (2 - s/8)?
False
Let s = 9346 - 5899. Is s a multiple of 11?
False
Let y(x) = 11*x**2 - 10*x + 11. Let w(b) = b. Let m(t) = 3*w(t) + y(t). Is 19 a factor of m(8)?
False
Let m be 24/(-120) - 512/(-10). Suppose 3*w = 447 - m. Does 66 divide w?
True
Let r = -796 + 1412. Let j be r/(-5) + (-3)/(-105)*7. Let d = 376 + j. Is d a multiple of 11?
True
Let i = -241 - -241. Let k(b) = -2*b**3 - 2*b**2 - 2*b + 174. Does 4 divide k(i)?
False
Let o be 2/(-10) - (246/(-5))/6. Suppose 11*j + o*j = 76. Suppose -5*g - 3*l + 112 = 0, -72 = -j*g - 0*l + 2*l. Is g a multiple of 10?
True
Let p(h) = 3*h**3 - 28*h**2 - 20*h. Let a be p(10). Suppose a = 7*r - 12*r + 1295. Is r a multiple of 37?
True
Let a = -2 - -19. Suppose i = a + 156. Suppose 4*j - 323 = i. Is j a multiple of 31?
True
Let k = 20897 - 14540. Does 21 divide k?
False
Let j = 1303 + -763. Let w = j - 346. Does 2 divide w?
True
Let n be -3 - (-318 + 1)*4 - -1. Does 14 divide (-2)/(-4) + (n/12 - 8)?
True
Let s(x) = 2*x**3 + x**2 - 8*x - 1. Let p be s(2). Suppose y - p*o - 1156 = 0, -5*o = y + y - 2334. Is y a multiple of 83?
True
Suppose -u + a = -8284, 0*a - 5*a = 3*u - 24820. Does 40 divide u?
True
Suppose 3*h - 12 = -3*i, -10 = -4*h - 0*i - i. Is (-7)/(-1) + (-1 + h)*3 a multiple of 5?
True
Let n(x) = x**2 + x - 20. Let t be n(-19). Suppose 4*c - 5*l + t = 3*c, -5*l - 372 = c. Let g = c + 488. Is 25 a factor of g?
False
Let h = -45 + 52. Suppose 13 + h = -4*m, m - 13 = -3*n. Does 3 divide n?
True
Let p = 3 - 1. Let y be (-74)/(-111) - 4/(-3). Suppose -2*l = -0*q - p*q + 38, 0 = -y*l. Is 17 a factor of q?
False
Let a(z) = 340*z**2 - 2*z - 2. Let c be a(-2). Suppose -390 + c = 6*g. Is g a multiple of 11?
False
Let a(i) = 35 + 96 - 30*i - i**2 + 0*i**2. Is a(-28) a multiple of 27?
False
Let a = 12631 - 4946. Is a a multiple of 29?
True
Suppose -5*n = 4*h - 28045 - 998, 2*n = 3*h - 21742. Is h a multiple of 37?
True
Let b(o) = 2*o - 14. Let v be b(7). Let u(h) = h**3 - 4*h**2 + 64. Is u(v) a multiple of 16?
True
Let s(z) be the second derivative of -4*z**3/3 - 3*z**2 + 4*z. Let b be s(17). Let n = -98 - b. Does 10 divide n?
False
Let b(m) = 62*m**2 - 154*m. Is b(12) a multiple of 118?
True
Suppose 224*v = 225*v + f - 8650, -2*f = -4*v + 34570. Does 8 divide v?
False
Let m = 369 - 371. Does 98 divide ((-21888)/266)/((-2)/(-42)*m)?
False
Is (65886/210 - 16/112)/((-6)/(-105)) a multiple of 56?
True
Suppose 2*a - 1392 = -2*y, 7*a = 4*y + 6*a - 2769. Is 19 a factor of y?
False
Suppose 11*t - 10304 = -5*t. Let h = t - -403. Is h a multiple of 11?
False
Let a(c) be the second derivative of -c**8/3360 + c**6/360 + c**5/120 - 7*c**4/6 + 5*c. Let l(k) be the third derivative of a(k). Does 18 divide l(-3)?
False
Let v(w) = w**3 - 19*w**2 - 94*w + 22. Is 12 a factor of v(27)?
False
Suppose 64 = 6*t - 8*t. Let d = t - -298. Does 38 divide d?
True
Suppose -3*f + 764 + 910 = -5*k, -k = -5*f + 348. Let j = -11 - k. Is 23 a factor of j?
True
Let x = -405 - -794. Let l = -279 + x. Is l a multiple of 16?
False
Suppose -61*i = -59*i -