402. Is 30 a factor of (-98992)/i - (-10)/125?
True
Let r be ((-4)/3)/(32/96). Does 20 divide (r + -51)/(3/(-72))?
True
Let u(l) = l**2 + 8*l + 7. Let v be u(-7). Suppose v = o + o - 4*h - 22, 0 = 4*o + 4*h + 4. Is 299 + 2 + (-2 - (3 - o)) a multiple of 23?
True
Let k(s) = -s + 100. Let w(l) = 25. Let f(u) = -2*k(u) + 9*w(u). Let o be f(-10). Suppose 3*b + 416 = o*y, 5*y - 178 = -b + 230. Does 21 divide y?
False
Let t be -20*(3 - 7/2)*5. Let i = -48 + t. Suppose -v - j + 18 = -39, j = -i. Is 15 a factor of v?
False
Suppose 0 = -7*v - 25 + 60. Suppose -t - 4*a = 20, 2*a = 5*t - 5 - v. Suppose -11*n + 14*n - 90 = t. Is n a multiple of 30?
True
Let w(r) be the second derivative of 1/12*r**4 + r**3 - 5*r - 11/2*r**2 + 0. Is w(5) a multiple of 13?
False
Let b(n) = -n**2 - 11*n + 1. Let d be b(-8). Let r = d - 36. Let y = r + 28. Is 3 a factor of y?
False
Let s = -2068 + 3741. Suppose 20*h - 13*h - s = 0. Is h a multiple of 6?
False
Does 51 divide ((-8)/(-12))/(57/122094)?
True
Let t(x) = 302*x - 1552. Is t(6) a multiple of 10?
True
Is 93 a factor of (-370)/2035 - 257800/(-22)?
True
Let g(q) = 9*q - 38. Suppose -86 = i - 95. Let k be g(i). Suppose -38*r = -k*r + 75. Is r a multiple of 5?
True
Suppose -74016 - 146064 = -42*y. Is y a multiple of 36?
False
Let a(v) = 154*v - 7770. Is 7 a factor of a(55)?
True
Suppose 0 = -4*a + 20, 5*h - 4*a - 87602 + 12942 = 0. Suppose -16*w + h = 4616. Is w a multiple of 17?
False
Suppose -5*b = 4*n - 292, -9 = -5*b - 29. Suppose -n = -t - 8. Suppose -2*i + t = d, -4*i - 72 = -d - 5*i. Does 16 divide d?
False
Let i be (-2)/16 - (-99)/24. Suppose 5*z = -j + 111, -5*j + 45 + 27 = i*z. Is z a multiple of 2?
False
Suppose 184*i = 189*i + 5*x - 82750, 2*x = -i + 16556. Does 13 divide i?
False
Suppose -4*f = -14 - 10. Let d(y) = -2*y + 17. Let v be d(f). Suppose -v*u = -6*u + 19. Does 3 divide u?
False
Suppose -21 = -5*r + 2*p, -r - 3*p + 7*p = -15. Suppose t + 3*t = -d + 471, 9 = r*d. Does 6 divide t?
False
Let s(o) = -1859*o + 34. Let k be s(-1). Suppose 5*t + 22*l - k = 24*l, t = -4*l + 361. Is 60 a factor of t?
False
Let s = -34 + 32. Let r be 7*s/5*(-80)/(-4). Does 6 divide 2 + r/(-3) + 2/(-3)?
False
Let x(s) = s**3 - 2*s**2 - 3. Let u be x(3). Let c be -2 - 0 - 3*90/(-54). Is 2/(-4) + (3807/u)/c a multiple of 12?
False
Let t(w) = -2*w**3 - 22*w**2 - 2*w - 22. Let l be t(-11). Suppose l = 6*u - 449 - 1687. Is 24 a factor of u?
False
Suppose 0 = -38577*n + 38564*n + 159874. Does 22 divide n?
True
Is 47 a factor of (13 - 13 - -1457)*1?
True
Suppose 5*y = -26*j + 22*j + 143, 0 = -y - 3*j + 33. Suppose 0 = y*k + 5*k - 17280. Is k a multiple of 60?
True
Let d be -459 - 30/(3 - -3). Let l = -291 - d. Does 4 divide l?
False
Let b = 536 - 493. Suppose 36681 = b*y + 7011. Is y a multiple of 25?
False
Let o(x) = 120*x + 765. Is 37 a factor of o(26)?
True
Let i = 9146 + -4596. Is i a multiple of 14?
True
Let v(f) = f**3 - 12*f**2 + f - 15. Let h be v(12). Let c be -4 - -2 - h - -1. Let r = 13 - c. Does 3 divide r?
False
Is 37 a factor of 5307 + 84/(-24 + 28)?
True
Let d = 6084 + -394. Is 6 a factor of d?
False
Let a(g) = 0*g**3 + 2*g**2 + g**3 + 50 + 11*g**2 - 2*g - 2*g**3 + 0*g. Does 12 divide a(13)?
True
Suppose 0 = -10*q + 7*q - 270. Let z be q/135 + 1 + (-772)/(-6). Suppose -f - 4*f + z = n, 0 = 5*n - 2*f - 618. Does 31 divide n?
True
Suppose 4*b - 7 - 25 = 0. Suppose -b*a - 7 + 103 = 0. Suppose a*y - 1037 = 1651. Is y a multiple of 28?
True
Suppose -14 - 6 = -5*g + 2*u, 3*g = -3*u + 12. Suppose 0 = -5*b - 10, -g*d + 46 = 3*b - 6*b. Let x(q) = 9*q + 29. Does 17 divide x(d)?
True
Let r = -2275 + 2296. Does 21 divide r?
True
Let z be -2*(-3)/(-8) - 7470/24. Let x = z - -669. Does 41 divide x?
False
Suppose 3*d = -2*d + 10. Suppose -4*y - d*m = -9*y + 14, 3*y + 3*m = 21. Suppose 9*l - 22 = -j + y*l, -194 = -5*j - 4*l. Is j a multiple of 6?
True
Let b be (75/20)/((-6)/(-8)). Suppose 3*s + 5*o = 2997, 2003 = s + s + b*o. Does 39 divide s?
False
Suppose -2*m + 4*b - 10 = 0, 3*m + 0 + 11 = 5*b. Suppose -d = -64 - 18. Suppose d = m*v - 74. Is 37 a factor of v?
False
Let p(d) = d**2 - 18*d + 66. Let i be p(6). Let w(l) = 35*l**2 - 3*l - 38. Is w(i) a multiple of 21?
False
Let i(a) = 805*a**3 - 19*a**2 + 23*a - 2. Does 9 divide i(2)?
True
Let u(i) = 2*i**2 - 4*i - 1105. Is u(-26) a multiple of 6?
False
Let s = 530 - 154. Let k = s - 219. Does 10 divide k?
False
Let b(s) = -s**2 - 41*s + 48. Let j be b(-27). Suppose -10*d = -j - 4. Is 9 a factor of d?
False
Let p be (-4)/6 - (1491/(-9) + 3). Let s = p + -81. Suppose 335 + s = 4*z. Is 13 a factor of z?
True
Suppose -6*h + 6048 = -14016. Is 19 a factor of h?
True
Let o be (4 - 3)*(7 + -9). Does 33 divide (-2)/(o/139) - 7?
True
Let q be -1 + 5 - (4 + -1 - -645). Let g = 684 + q. Does 10 divide g?
True
Let b be 4/(-24) + 1 + (-50)/(-12). Suppose b*r + r = 0. Suppose -5*y + 275 = -r*y. Is 11 a factor of y?
True
Let m(l) = -9*l - 5. Let z(v) = -18*v - 9. Let c(n) = -7*m(n) + 3*z(n). Suppose -13*o + 39 = -117. Is 29 a factor of c(o)?
True
Suppose 3*z = -z + o + 509, z - 125 = o. Let h = z + -36. Is h a multiple of 23?
True
Suppose 20*f = 22*f. Suppose f = 11*z - 10*z. Suppose 0*o + 4*o + 16 = z, 5*q - 5*o - 900 = 0. Is q a multiple of 16?
True
Is 27 a factor of (-20824)/(-10) - (-16)/(-40)?
False
Let x(w) = -w**3 - 5*w**2 + 5. Let s be x(-5). Suppose -2*v + 615 = s*i - 0*v, 5*v - 492 = -4*i. Let q = i + -113. Is 10 a factor of q?
True
Is 268*(1064/(-16))/(-7) a multiple of 133?
False
Let w(v) = -548*v**2 - 11*v + 5. Let q(x) = 183*x**2 + 4*x - 2. Let d(l) = -8*q(l) - 3*w(l). Let u be d(-1). Is 10 a factor of (-40)/15*u/(-8)?
True
Let h = 18900 - 4470. Is h a multiple of 74?
True
Let s(i) = -2*i**3 - 12*i**2 - i - 13. Let c be s(-6). Is 5 a factor of 84*1 - 42/c?
True
Let b = 129 + -86. Suppose b*p + p = 10604. Does 6 divide p?
False
Let l(b) = -29*b - 21. Let m be l(-6). Suppose -a - m + 546 = 0. Does 10 divide a?
False
Suppose -105624 = 636*m - 654*m. Is m a multiple of 75?
False
Suppose 25*g = 22*g - 9. Let x be -5 - g - 0/3. Let q(s) = 6*s**2 + 2*s - 1. Is q(x) a multiple of 5?
False
Let g(x) = x**3 + 10*x**2 + 10*x + 13. Let j be g(-9). Suppose -18 = -j*t + t. Does 17 divide t + -5 - (-1 - 36)?
False
Is 52 a factor of ((-1)/(-2))/(233/19382338)?
False
Suppose 3652*a = 3662*a - 83700. Is 70 a factor of a?
False
Let q be 15/(-20) + 15/(-12) + 5. Suppose q*z + 177 = b, 3*b - 2*b - z = 167. Is b a multiple of 6?
True
Suppose 2*n - 1 - 9 = 0. Let s be 2/2 - 13473/(-27). Suppose 4*k - n*k + 4 = 0, 3*x - 4*k = s. Is x a multiple of 25?
False
Suppose 4*n = -16, -4*n + 5*n = d - 6. Let i be ((-4)/(-6) - 2)/((-76)/20862). Suppose d*b + 114 = i. Is b a multiple of 7?
True
Let v = 86816 - 22832. Does 24 divide v?
True
Suppose 315*h - 4350 = 309*h. Is h a multiple of 29?
True
Let n = 14111 - 12229. Does 2 divide n?
True
Suppose 0 = -56*l + 17*l + 117273. Is l a multiple of 97?
True
Let n = -25 + 27. Suppose 0 = s + 2*j - 7, j - 9 = n*s - 38. Suppose v = -s + 31. Is v a multiple of 2?
True
Let l(h) = 9*h**3 - 4*h**2 - h. Let p(v) = -v**2 + v. Let s(f) = l(f) - 4*p(f). Is 17 a factor of s(3)?
False
Is 189660/(-8)*(-236)/354 a multiple of 29?
True
Suppose 5*b = 97 + 3. Suppose -24*q + 1372 = -b*q. Does 21 divide q?
False
Let t(r) = 376*r + 2951. Is 9 a factor of t(4)?
True
Let r(o) = -18*o**3 + 3*o**2 + 5*o - 16. Let z be r(-4). Suppose -3*a + 831 = -z. Is 19 a factor of a?
True
Let f be 86*2/20 - (-8)/20. Suppose -14*m = -f*m - 1280. Suppose 0 = -2*p - 2*p + m. Is p a multiple of 11?
False
Suppose -2*z + 15456 = 4*r - 1086, -3*z + 37215 = 9*r. Is r a multiple of 13?
True
Is 6 a factor of 19/76*66224 - -18?
False
Let f(i) = -i**2 - 4*i + 5. Let r(b) = -2*b**2 - 9*b + 10. Let t(c) = 5*f(c) - 3*r(c). Suppose -4*v - 10 = z - 3*v, -2*z - 3*v - 22 = 0. Is 2 a factor of t(z)?
False
Let m = -4197 + 7104. Suppose 2180 = 3*z + 2*p, 4*z = 4*p - 7*p + m. Does 22 divide z?
True
Suppose 4 = 2*p - r, -3*p = -p + 3*r - 20. Let a = 1935 - 1916. Suppose -o - a = -s - 0*s, -p*s + 77 = -3*o. Is 2 a factor of s?
True
Suppose i - 102 = j - 3*j, 4*i = 3*j - 164. Let z(f) = -f**2 + 53*f - 46. Is z(j) a multiple of 2?
True
Is (161871/12 - 4) + (-7)/28 a multiple of 29?
True
Suppose -2*d = 13*d - 30600. Suppose 11*a - d = 5