5*h - 221, -4*h - 3*j + 537 = 0. Is 20 a factor of h?
False
Let w be -8*15/1*2/6. Is w/20*(0 + 10)*-44 a multiple of 9?
False
Suppose 54*h = 51*h + 12. Suppose b + 2*s + 11 = -90, h*b + 392 = 4*s. Let f = b - -198. Does 9 divide f?
True
Let n be 7 + (3 - 2) - (-2 + 0). Suppose -4*q = -150 - n. Is 8 a factor of q?
True
Let q(f) be the second derivative of -22*f**4/3 - f**3/3 + 9*f**2 + 18*f. Let x(l) be the first derivative of q(l). Does 28 divide x(-1)?
False
Suppose 44 = 5*l + 2*u, 0 = l - 3*u + 4*u - 7. Let x = l + -8. Suppose 0*f - 4*f + 260 = p, -108 = -x*f + 5*p. Does 8 divide f?
True
Let r(s) = -43*s + 1763. Is r(31) a multiple of 2?
True
Suppose -5*g + 5*a + 235 = 0, -5*g + 75 = 3*a - 160. Let o(w) = -2*w**2 - 6*w - 4. Let f be o(-7). Let b = g - f. Is 8 a factor of b?
False
Suppose 3*t + 5*w - 190107 = 0, 5*t + 2202*w = 2206*w + 316808. Does 28 divide t?
True
Let j(r) = 34*r - 1222. Is j(108) a multiple of 50?
True
Let u(a) = 3*a**3 - 28*a**2 + 54*a + 33. Let k(g) = 16*g**3 - 141*g**2 + 272*g + 165. Let o(p) = -2*k(p) + 11*u(p). Does 29 divide o(24)?
False
Let w = 3795 - -4356. Is w a multiple of 11?
True
Suppose -g - 25 = -3*z, -4*z = -z + 4*g - 50. Suppose 5*f - 695 = -2*y, 5*f - 82 + 1187 = 3*y. Suppose z*j = j + y. Is 10 a factor of j?
True
Let q be 84 + (2 - 1) + 3. Let o(d) = -10 + 95*d + 1 + 3*d**2 - q*d. Does 13 divide o(3)?
True
Let i(m) = -874*m - 1672. Is i(-13) a multiple of 114?
True
Suppose 34506 + 89106 = 4*w + 4*x, 0 = -5*w - x + 154503. Is w a multiple of 15?
True
Suppose 24*x + 8628 - 106332 = 0. Is 23 a factor of x?
True
Suppose r + 470 = 5*u, 8*u = 4*u + 2*r + 382. Let d = u - 65. Does 5 divide d?
False
Does 164 divide ((-1 + -3 + 7)*-38)/((-18)/1710)?
False
Suppose -t - 221 + 500 = -0*t. Let q(k) = 15*k**2 + 4*k - 4. Let r be q(3). Let l = t - r. Is l a multiple of 21?
False
Let q = 26088 + -17532. Does 23 divide q?
True
Let n(w) = w**3 + 5*w**2 + 10*w + 21. Let b(g) = g**3 + 6*g**2 + 11*g + 21. Let p(j) = -5*b(j) + 4*n(j). Does 33 divide p(-9)?
True
Suppose -3*u + 3*h = -414, 0*h + h = 5*u - 706. Let d be 1002/(-10) - (-128)/(-160). Let v = u + d. Is v a multiple of 5?
False
Let g(y) = y**2 + 9*y + 110. Does 60 divide g(25)?
True
Suppose -3*d + 7877 = 1022. Suppose 2*i = -3*o + 1196 + 174, 5*o = -3*i + d. Suppose -3*n = 2*n - o. Does 23 divide n?
True
Let q = -524 + 527. Suppose -q*k = -t + 788, k + 931 + 635 = 2*t. Does 50 divide t?
False
Suppose 0 = -f + 5*f - 6912. Suppose -f = -4*q + q. Suppose -1034 = -10*t + q. Is t a multiple of 23?
True
Suppose 9255 = 2*r + 3*g - 15002, -5*r = -6*g - 60548. Is 73 a factor of r?
True
Let b(z) = -z**3 - 5*z**2 + z - 1. Let c be b(-5). Let g be ((-3)/c)/((-7)/8 + 1). Suppose m = -g*d + 548, -m = -2*d - 4*m + 274. Is d a multiple of 8?
False
Suppose 15*o - 16*o + 4365 = 3*i, 0 = -3*o + 4*i + 13186. Is 42 a factor of o?
False
Let x = -90 - -96. Suppose -21*m + x*m = -6270. Is m a multiple of 19?
True
Let t(z) = 13*z - 43. Suppose -73 = -4*w - 49. Is 35 a factor of t(w)?
True
Let z = -31 + 33. Suppose -8 - 6 = -4*o + z*j, j + 22 = 5*o. Suppose 4*f - 3*h - 403 = 0, -o*f = -3*h + h - 502. Does 20 divide f?
True
Suppose -n + 3*m - 400 + 2488 = 0, -m = -5*n + 10454. Is 17 a factor of n?
True
Suppose -2*a + 0*a - 4*k + 34 = 0, 2*a + 5*k - 31 = 0. Let v = a - 13. Is (1 + -7)*v/(-6) a multiple of 3?
False
Let r(g) = 3*g**2 - 19*g + 282. Is r(47) a multiple of 13?
False
Let y(u) = 2*u**2 - 17*u + 61. Let b be y(25). Suppose 29*i - b = 7959. Is i a multiple of 10?
False
Suppose -2*u + 5 = -u. Suppose -v + 624 = u*v. Suppose -v = 2*k - 274. Does 27 divide k?
False
Does 45 divide (18/(-66) + (-16086)/308)*-30?
True
Let s = 125 - 121. Is 16 a factor of (-2)/(24/(-777)) - 3/s?
True
Let w(d) = 17*d**2 - 12*d + 47. Is 13 a factor of w(-14)?
False
Let d = 20005 + -13943. Is d a multiple of 8?
False
Let p(k) = -k**2 - 40*k - 45. Let x be p(-23). Suppose -62 = 4*j + 4*g - x, -5*g = 2*j - 157. Is j a multiple of 33?
True
Let b = -67 - -70. Suppose b*f + 50 = 2*c + 3, -4*c = -16. Let o(z) = -7*z - 35. Does 16 divide o(f)?
False
Let k = 3109 + -2833. Is 8 a factor of k?
False
Suppose -2*z = 21 + 23. Let a(g) be the third derivative of -2*g**4/3 - 43*g**3/3 + 15*g**2 + 7*g. Is 19 a factor of a(z)?
True
Let j(i) = 170*i**3 + 2*i**2 - 2*i - 8. Let z be j(3). Suppose z + 2714 = 18*d. Does 14 divide d?
True
Is 142/(-497)*(-7)/20 - (-14419)/10 a multiple of 7?
True
Let p = 1993 - 770. Let w = p + -643. Does 5 divide w?
True
Let u = 18441 + -14668. Does 49 divide u?
True
Let z(h) = -21*h - 624*h**2 + 24 + 3 + 626*h**2. Does 19 divide z(11)?
True
Let i = 112 + -109. Suppose 31 = i*s - 4*b, -2*s + 4*b + 21 = -5. Does 10 divide (370/(-14) + s)/(1/(-7))?
True
Let d(i) = i**3 - 16*i**2 + 21*i - 33. Let g(f) = -f**2 - 2*f + 15. Let c be g(0). Let x be d(c). Let o = 221 - x. Does 30 divide o?
False
Suppose 4*a = 5*l - 458, 12 = 2*a + 2*a. Let d = 95 - l. Suppose -2*g - n + 115 = 0, -g + d = -2*n - 54. Is g a multiple of 3?
True
Let r be 6 + (64/(-144))/((-4)/18). Let a(o) = 228*o - 300. Does 60 divide a(r)?
False
Let h(g) = 25*g**2 - 5*g + 6. Let t be h(-5). Suppose -i = 3*i - t. Suppose -i + 52 = -4*l. Is l a multiple of 13?
False
Let y = -1041 + 691. Let l = -1038 - -545. Let w = y - l. Is w a multiple of 12?
False
Suppose -2*b + 0*b - 404 = 2*o, -4*o = 3*b + 805. Let m = o - -216. Is m even?
False
Suppose -16 = 2*w + 2. Is (-2358)/(-12)*(-12)/w a multiple of 11?
False
Let p = -1091 + 1614. Suppose -4*q = d - 128, -4*d - 2*q + p = 3*q. Suppose -4*n + 19 = 3, w = -5*n + d. Is w a multiple of 14?
True
Suppose -5*v + 4*n = -60, -36 = -5*v + 2*v + 5*n. Let i = 675 + -230. Suppose v*c - i = 275. Is 6 a factor of c?
True
Let s be (3 - 5)/(-6 + (-21295)/(-3550)). Suppose 6*v + 298 = s. Is 17 a factor of v?
True
Let g(b) = -b**3 - 9*b**2 + 16*b + 6. Let l be g(-12). Suppose -5*r + 472 = 2*u, 3*u - 2*u + 5*r - l = 0. Is 12 a factor of u?
False
Is 29 a factor of 23194/2 - (27 + (-15 - 15))?
True
Suppose -4*i + 59994 = 5*i. Let w be 2/(-4) - i/(-12). Suppose 4*x - w = l, 0*l + 150 = x + 2*l. Does 17 divide x?
False
Is 5 a factor of 96/(6/4845*19)?
True
Suppose 13 = -3*s - 4*w, 3*w = 4*s + 13 - 4. Let u be ((-1)/(-2)*(s - -3))/2. Suppose -4*n + 7*n - 180 = u. Is 14 a factor of n?
False
Let p be (-24)/(-108) + 52/9. Let n = -428 - -433. Suppose 0 = 2*k + d - p*d - 235, -3*k + 365 = n*d. Does 20 divide k?
True
Suppose -15316 = -2*l + 5*v + 5127, -2*v = 10. Is 58 a factor of l?
False
Let t be ((-15)/(-2))/(20/(-680)). Does 27 divide 114*((-4)/18 + t/(-54))?
True
Let t = -30298 - -55401. Is 34 a factor of t?
False
Does 28 divide (-184720)/(-104) - (-38)/(-247)?
False
Let k be (3/(-2))/(36/(-7248)). Suppose -3*v - k = -1106. Is 4 a factor of v?
True
Suppose 2*a - a - 13 = -2*t, t + 5*a - 20 = 0. Suppose 0 = -2*i - 10 + 142. Suppose 4*v = 5*n + i + 39, -4*n - 129 = -t*v. Does 5 divide v?
True
Let v(u) be the second derivative of 17*u**3/2 + 9*u**2/2 - 28*u. Is 23 a factor of v(1)?
False
Let o = -44579 + 108631. Is 67 a factor of o?
True
Let u = 53120 - 4566. Is 14 a factor of u?
False
Let g(b) = b**3 + 7*b**2 + 7*b - 21. Let i be g(-5). Does 11 divide 3 + ((-1)/6 - 1669/i)?
False
Suppose 0 = t + g + 121, -4*t - 328 = g + 150. Let j = -585 - -366. Let a = t - j. Does 20 divide a?
True
Suppose 45 = 31*d - 22*d. Let l = 57 + 22. Suppose 682 = d*i + 2*w, -i - w = -58 - l. Does 8 divide i?
True
Let o(y) = 2*y**3 - 4. Suppose 18 = 16*h - 14. Is o(h) a multiple of 4?
True
Suppose -5*o + 27 + 153 = 0. Suppose -5*a = 4*c - o, 5*c - 15 = -5*a + 25. Is 2 + 0 + 7 + c + -7 a multiple of 6?
True
Suppose 13*b - 7*b - 702 = 0. Suppose 423 + b = 2*y. Suppose -3*z = -y - 90. Is z a multiple of 24?
True
Let i(x) = -7 - 3 + 2*x**2 - 2*x**3 + 6*x + 0 + 4. Let g be i(3). Does 9 divide (-5)/20 - 2/(g/759)?
True
Suppose 25017 = 2*l - 3*f, -2*f = -242*l + 247*l - 62533. Does 33 divide l?
True
Suppose -4*w - 26 = -3*o, 5*o - 5*w - 14 = 21. Let f be (-107)/(2 - (-6)/(-4)*o). Suppose -7*p = -68 - f. Is 3 a factor of p?
False
Let b(y) = -5*y - 2. Let o be b(-7). Let t = 62 + o. Let n = -31 + t. Is 32 a factor of n?
True
Let u be 3 + (-1 + -1)*1/2. Suppose -k = u*z - 14, -21 = 2*z - 5*z - k. Suppose z*c + 312 = 20*c. Does 3 divide c?
True
Let x be (37 +