487. Is t a multiple of 57?
True
Let u = 14 - 9. Suppose 4*j - 5*c - 25 = 0, -u*j - c = -2*j - 14. Suppose -4*q + 31 = -j*h + 3, h + 32 = 3*q. Is 2 a factor of q?
True
Let y(g) = -11*g**3 - 2*g**2 - 4*g - 3. Let f be y(-2). Is (-15)/60 + f/4 a multiple of 2?
False
Let c(v) = -14*v**3 + 2*v**2 + v. Let n be c(-1). Let w(l) = 9*l - 67. Does 68 divide w(n)?
True
Let i(f) = -4*f**2 + 27*f - 11. Let q be i(8). Let r be 17/q*(-1 - -13)/(-1). Is (0 - r - -20) + -2 a multiple of 2?
True
Let r(c) = -16 - 2018*c - 36*c**2 + 194*c**2 + 2002*c. Is 18 a factor of r(-1)?
False
Let n(k) = 25*k**2 - 76*k - 840. Is 18 a factor of n(-12)?
True
Does 13 divide (1/(3/221))/(34/5610)?
True
Let p be (317/2 + -7)/(2/(-8)). Let n = -356 - p. Suppose 5*b = 5*x - n, 3*b = x + x - 100. Does 5 divide x?
True
Suppose 4*t + 8 = 28. Suppose t*l = -0*l + 35. Suppose -2*q - 4*u + 73 - l = 0, q + 4*u - 37 = 0. Is q a multiple of 17?
False
Let u(j) = 1149*j**2 + 39*j - 48. Is 82 a factor of u(-6)?
True
Let k(z) = -z**3 + 3*z**2 + 4*z + 3. Let u be 3/(9/(-60)) + 4. Let b be (-13)/4 - 4/u. Is k(b) a multiple of 6?
False
Is 46 a factor of -2 + 2/((-4)/(-287514))*91/273?
False
Let t(i) = -245*i - 586. Does 97 divide t(-21)?
True
Let p(l) = -5*l**2 + 2*l + 13620. Does 13 divide p(0)?
False
Let w be 13983/4 - (-72)/(-96). Suppose 5*h - w = -1255. Is h a multiple of 7?
True
Suppose 0 = 36*y - 1116 - 684. Suppose 29*t - y = 27*t. Does 12 divide t?
False
Suppose -32*t = 55*t - 112*t + 234950. Is t a multiple of 44?
False
Suppose -3888 = -6*m + 1854. Does 3 divide m?
True
Let f(n) = -n - 36. Suppose 6*d + 0*d = -4*d. Let w be f(d). Does 18 divide (w/(-30))/((-2)/(-30))?
True
Let u be 6/(-2) + (3 - -3). Let y(f) = 2*f**3 - 2*f**2 - f + 2. Let v be y(0). Suppose 0 = -u*g + g - 2, -231 = -v*r - 3*g. Is r a multiple of 11?
False
Let a = -45 + 49. Suppose r = -b + 328, 2*b - b + a = 0. Is 25 a factor of 15/(-4 + r/80)?
True
Let z = -8894 + 12645. Is z a multiple of 121?
True
Let b(j) = 2*j + 40. Let p = 39 - 57. Let o be b(p). Does 8 divide (-4 - (1 - o))*-31?
False
Let d be 0 + 0 - (0/1 + -7). Suppose -c + d = -22. Let a = c + 3. Does 8 divide a?
True
Suppose -6*d = -304 - 9080. Suppose v + 3*a = -a + 772, 0 = 2*v - 2*a - d. Does 52 divide v?
True
Let h = 1876 + 1426. Does 22 divide h?
False
Let q(g) = -g**2 - 11*g - 2. Let v be q(-5). Suppose -4*s + v = 8. Suppose 2*p + 0*d = -3*d + 265, s*d - 15 = 0. Does 7 divide p?
False
Suppose 0 = 3*t - 6*t. Suppose t = 7*r - 41 - 22. Suppose -r*v - 84 = -13*v. Is 15 a factor of v?
False
Let h(w) = -w**3 + 30*w**2 - 16*w + 79. Is h(22) a multiple of 59?
True
Suppose -5*l + 8630 = -2300. Is 4 a factor of l?
False
Does 84 divide ((-24900155)/(-14))/(-17)*(-17)/((-765)/(-18))?
False
Let z = 79 - 206. Let x = z - -242. Is x a multiple of 28?
False
Let q(i) = 3*i - 24 - i + i. Suppose -3*j + 7*j + 9 = v, 4*j + 61 = 5*v. Does 5 divide q(v)?
True
Suppose -2*j - 3*j + 928 = -9822. Is j a multiple of 50?
True
Suppose k = 5*y - 51, -5*y = -7*y + 10. Let p = -23 - k. Suppose -109 - 131 = -p*x. Is 9 a factor of x?
False
Let o = 4784 - 4452. Is 12 a factor of o?
False
Suppose -274*m = -238*m - 781128. Is m a multiple of 17?
False
Let b(g) = 5*g**2 - 7*g + 11. Let q be b(-4). Suppose -2*z + 214 = 6*r - 4*r, r - 2*z = q. Does 33 divide r?
False
Suppose 0 = 6*f - f + 2*t - 11709, -5*f + 11718 = -t. Is 33 a factor of f?
True
Suppose 54*i = 51*i + 15. Suppose -3*f + 1588 = -4*v - 1164, -4*f - i*v + 3628 = 0. Does 16 divide f?
True
Suppose -13 = -v - 2*y, 2*v + 0*y + 2*y - 16 = 0. Let w(i) = 5*i**3 - 2*i**2 + 2*i + 3. Is 18 a factor of w(v)?
True
Let i(b) = -12 + 0*b**3 - 4 + 14*b**2 + 8*b**2 + 8*b**3 - 7*b**3 - 9*b. Is i(-22) a multiple of 26?
True
Let c = 151 + -149. Suppose 2*a = 3*h - 1998, -c*h + 537 = 4*a - 811. Is h a multiple of 9?
False
Let a(g) = -g + 1. Let c be a(-3). Let l be (2/(-8) - c)*-4. Suppose -8*b + 7 = -l. Does 2 divide b?
False
Suppose -9*o - 17*o + 109920 = -18*o. Is 60 a factor of o?
True
Suppose 0 = 4*j + 2*y - 958, 14*j - 4*y - 713 = 11*j. Let m = j + -208. Is m a multiple of 31?
True
Let v(y) = -3*y**2 - 7*y + 8. Let s = 87 + -81. Let x be v(s). Let f = 252 + x. Is f a multiple of 13?
False
Let w(f) = -f**3 + f**2 + 3*f + 11. Let d be w(3). Let k(v) be the first derivative of 5*v**4/4 + v**3 - v**2 + 2*v + 5. Is 15 a factor of k(d)?
False
Let g(u) = 15*u**2 + 1461*u + 49. Does 7 divide g(-98)?
True
Let a = -8163 + 8253. Does 2 divide a?
True
Is 90 a factor of 640057/22 + -23 + 3/(-6)?
True
Let y(h) = 293*h + 493. Does 74 divide y(26)?
False
Let x = 125 - -150. Suppose -3*m + x = -133. Suppose -5*o + 2*w - m = -445, -o + w = -63. Is o a multiple of 21?
False
Suppose 5*c + 39 = b, 5*b = -0*b - 3*c + 83. Is b a multiple of 9?
False
Is 42 a factor of 11/((-110)/1028)*50/(-10)?
False
Suppose -242064 = -20*i + 342796. Is i a multiple of 40?
False
Suppose -2*w - 2*y = 604, 2*w + 580 = 2*y + 2*y. Let h = 450 + w. Is h a multiple of 8?
True
Suppose 3*n - 195 = -2*n. Let g = -55 - -106. Let b = g - n. Is 6 a factor of b?
True
Let k(s) = -320*s - 90. Is k(-33) a multiple of 14?
False
Let d be (-23 + 25)*(-1 + 2). Suppose -3*v = d*g - 568, v - g - 192 = g. Is v a multiple of 10?
True
Let u(v) = -5*v. Let z be u(9). Let r = 76 - 75. Does 27 divide ((3*z)/(-5))/r?
True
Let u = 51 - 46. Suppose 9 = 3*x, -4*x + 3 - 1 = u*k. Is 16 a factor of (k + 1 + 4)*48?
True
Suppose 1150 = k + k + 2*m, 0 = 2*k + m - 1145. Let r = k + 355. Does 47 divide r?
False
Let k(h) = h**3 - 13*h**2 + 19. Let u be k(13). Suppose 0 = u*p - 7787 - 4715. Is p a multiple of 47?
True
Let m(y) = -y**2 - 33*y - 143. Let g be m(-28). Is 19 a factor of ((-38)/2)/(g/9)?
True
Let a = -26 + 28. Let u be (14/4 - 4)*a. Does 14 divide -4 - u*28 - -4?
True
Does 18 divide (-8)/(-188) + (-3976)/658 - (-461 - -1)?
False
Let q = 28505 - 24689. Is q a multiple of 72?
True
Suppose v - 4801 = -4*a, -2*v + 2*a + 19132 = 2*v. Is v a multiple of 5?
True
Suppose -4*y + 4758 = -2*p, 261*y + 2*p = 258*y + 3551. Is y a multiple of 13?
False
Let o be (1 - 0)*5 - 0. Let n be ((-27)/(-6) - o)*2/1. Is 15 a factor of (-2 + 0 - n) + 60 + -14?
True
Let m(h) = h**3 - 68*h**2 + 468*h - 27. Does 36 divide m(63)?
True
Let z(a) = a**3 + 15*a**2 - 18*a - 33. Let i be z(-16). Does 36 divide (8 + 1000)*(1 + i/2)?
True
Let k be 1/(((-20)/21265)/4). Let u = k - -6225. Is u a multiple of 116?
True
Suppose 4*d - 4*c - 100 = 0, 5*d - 4*c - 50 - 77 = 0. Suppose 0 = -3*w + d - 42, -4*w + 44 = v. Is 16 a factor of v?
True
Let t(h) = 139*h**2 - 49*h - 65. Is 49 a factor of t(-8)?
False
Let l = 1641 + 677. Does 122 divide l?
True
Suppose -a - t - 12 + 66 = 0, 2*t = 8. Is 10 a factor of a?
True
Let a(r) be the first derivative of -2*r**3/3 - r**2 + 7*r + 37. Is a(0) a multiple of 2?
False
Let k = -14 - -11. Let g be k + 0 + -199*(-2 - -1). Suppose g + 44 = 3*o. Is 8 a factor of o?
True
Let c = 27 - 7. Suppose -c*b + 10*b + 60 = 0. Suppose b*q - 7*q = -32. Does 2 divide q?
True
Let c(s) = -6*s + 8. Let i be c(1). Suppose 4*n = -i*x + 862, 1689 = 4*x + 21*n - 20*n. Does 25 divide x?
False
Let k = 37828 + -18190. Does 111 divide k?
False
Let b be 1/((-6)/111)*2. Let a = b + 47. Suppose -a*k - 360 = -15*k. Is 9 a factor of k?
True
Suppose 0 = -17*b + 16803 + 418. Let u = 2429 - b. Does 78 divide u?
False
Let u(x) = 3*x**2 - 84*x - 394. Is u(-18) a multiple of 22?
True
Let t(z) = 31*z**2 - 109*z + 1541. Is 24 a factor of t(23)?
False
Suppose 0 = 4*i + 5*v - 8769, v = -5*i - 1156 + 12133. Is i a multiple of 12?
True
Let w(h) = -h**3 + 6*h**2 - 7*h + 4. Let q be w(4). Suppose -j + 4*g = -18, -q = 16*g - 12*g. Does 5 divide j?
True
Suppose 5*g = 5*t - 96835, 3*t + 54*g - 59*g - 58099 = 0. Does 9 divide t?
True
Does 22 divide (1*64)/(((-9)/1452)/(-3))?
True
Let n be 248/6 - (-7 + (-175)/(-21)). Suppose 3*j - 254 = -2*m + n, 3*j + 756 = 5*m. Is m a multiple of 6?
True
Let d(y) = 325*y + 846. Is 74 a factor of d(4)?
True
Let j = 8826 + -3954. Is 5 a factor of j?
False
Suppose 9*q - 3*q = 15*q - 97308. Is 9 a factor of q?
False
Let c be (-2 + 1)/(-3 + 3 + 1). Let j be 9/(-6)*-62*(6 + c). Let l = j - 324. Is 47 a factor of l?
True
Let n be (4 + 624/(-88) - -1) + 2/22. Let m(u) = -2*u**2 + 3*u**2 + u**2 + u - 19*u**3 - 2. Does 39 divide m(n)?
True
