24. Let z(i) = -176*i - 2. Let l be z(o). Suppose -360 = -2*g + 4*x, 8*g - 2*x = 4*g + l. Does 29 divide g?
True
Let x be (5 + -4 - 12)*(-14)/154. Let o(q) = -3*q - 1 + 2 + 1 + 143*q**2. Is 33 a factor of o(x)?
False
Let y be (-12)/28 + 1 + (-600)/21. Let j = y - -123. Does 19 divide (j/3)/((-19)/(-57))?
True
Suppose -5*q - 3*v + 30 = -2*q, -3*q - 2*v = -34. Suppose 0 = 2*u - u - q. Is (44/6)/(u/105) a multiple of 11?
True
Let m be 4 - (1 + 47)/(-2). Suppose 27*c = m*c - 330. Is 33 a factor of c?
True
Suppose 4*f - 35 = -5*h, 7*f - 4*f = 5*h. Suppose 3*w - 6 = -4*m + 2*m, -f*m - w = -15. Suppose 36 = m*g - 2*g + j, 0 = 4*j. Is g a multiple of 18?
True
Does 3 divide -312*(20/(-3) - (-45 + 42))?
False
Let h = 9660 + -7084. Is h a multiple of 23?
True
Suppose m - 2 + 12 = 5*b, -m = 2*b - 4. Suppose m = 5*c - 0*y + 2*y + 69, -2*y = 2*c + 24. Let d = c - -60. Is d a multiple of 9?
True
Let f = -1484 - -2437. Is 15 a factor of f?
False
Suppose 15*d - 4*d = 6556. Let u = 1106 - d. Is 28 a factor of u?
False
Let z = 129791 + -88578. Is 9 a factor of z?
False
Let r(s) = 3 + 53*s**2 - 11*s + s**3 - 45*s**2 - 22 + 3. Let x be r(-9). Suppose x*f - 144 = a, -5*a - 215 - 155 = -5*f. Does 10 divide f?
True
Let j(x) = 133*x**2 - 33*x - 76. Is j(-4) a multiple of 12?
True
Let u = -29 - 13. Let f = u - -44. Is 10 a factor of -58*(1/f)/(-1)?
False
Let d(w) = -2*w + 51. Let a(h) = h**2 + 5*h - 101. Let m(q) = 3*a(q) + 7*d(q). Let x be m(0). Suppose x = 2*p - 42. Does 12 divide p?
True
Let u(l) = -5*l + 1 + 23 + 4*l. Is 3 a factor of u(-23)?
False
Suppose -5*c = 9*b - 13*b + 1262, -1266 = 5*c - 2*b. Suppose -4*m = -0*m - 1500. Let a = m + c. Does 11 divide a?
True
Suppose -1342 = 2*j - g, -3*j - 1485 = -3*g + 534. Let n = -641 - j. Does 2 divide n?
True
Suppose -q = 2*q - 4*c + 12, -q + 12 = 4*c. Suppose q*x + 18 = -6*x. Is 50 - (0/3 + x) a multiple of 38?
False
Suppose 2*b = 0, -2*i = -7*i + 2*b + 585. Suppose 78*n = 75*n + i. Suppose 44*q = n*q + 1610. Does 46 divide q?
True
Suppose -20 = -5*i, 70343 = 5*s - 4*i - 41166. Is s a multiple of 15?
True
Let c(z) = -z**3 - 3*z**2 + 4*z - 4. Let a be -16 - -15 - (-1 + 1). Let w = -4 + a. Does 13 divide c(w)?
True
Let f(v) = v**2 + 14*v - 12. Let u(h) = -3*h**2 - 41*h + 37. Let i(p) = -7*f(p) - 2*u(p). Suppose 0 = -8*j - 99 - 29. Is 3 a factor of i(j)?
False
Suppose -30 + 3 = -9*a. Let p(w) = -7*w + 41. Let z(j) = -7*j + 39. Let f(t) = a*p(t) - 2*z(t). Is 19 a factor of f(-14)?
False
Let q(i) = -786*i - 2. Let z(r) = r**3 + 13*r**2 + 10*r - 25. Let u be z(-12). Let c be q(u). Suppose c = -2*b + 10*b. Is b a multiple of 7?
True
Suppose 2*j + 4*n = 20, j + 2*j - 8 = 5*n. Let m = 1643 - 1568. Suppose j*i - 681 = m. Is i a multiple of 9?
True
Let x be 7/(((-80)/26 - -3)/(-1)). Suppose -83*o - 3528 = -x*o. Does 21 divide o?
True
Let v(w) = w**3 - 8*w**2 - 16*w - 17. Suppose -i - u + 6 = -5*u, i = -5*u + 15. Let c be v(i). Let s(q) = -q**2 + 25*q - 12. Is s(c) a multiple of 27?
False
Suppose -15*y - 2*y + 100259 + 92266 = 0. Is 151 a factor of y?
True
Let s(a) = a**2 + 32*a + 9. Let i be s(-31). Let h(k) = k + 54. Does 25 divide h(i)?
False
Let w be 102 - ((-8)/18 - 322/207). Suppose 0 = -w*v + 115*v - 18194. Is 28 a factor of v?
False
Suppose 7*j - 2455 - 26812 = 0. Is j a multiple of 113?
True
Let b = 260 + -610. Does 10 divide ((-8260)/b)/((-1)/(-5))?
False
Let l(w) = 2*w**2 - 5*w + 12. Let q be l(5). Let z be q*(2 + 0/(-4)). Suppose z - 338 = -4*n. Is 27 a factor of n?
False
Let t(u) = -30*u - 316. Is 42 a factor of t(-47)?
False
Let j = -1714 - 431. Is j/(-21) + (-1)/7 a multiple of 17?
True
Suppose -43*j = -40*j - 18. Suppose -9*s + j*s + 111 = 0. Does 37 divide s?
True
Suppose 5 = k - 21. Let j be (k/39)/(0 + 2/15). Suppose -4*f + j*x + 572 = 0, 3*f + f - 2*x = 584. Is f a multiple of 37?
True
Suppose 12392 + 1000 = 3*f - 1296. Is 9 a factor of f?
True
Suppose 49 = -2*v - 1. Let t(h) = h**2 - 8*h - 19. Let k be t(12). Let f = k + v. Is f a multiple of 4?
True
Let h(y) = 9*y**3 - 7*y**2 + y - 19. Let x(j) = -2*j**3 - j + 1. Let r(n) = -h(n) - 5*x(n). Does 10 divide r(-5)?
False
Suppose -2*j = 5*q - 10721, -2*q + 4*q = -4*j + 4282. Is 21 a factor of 4/30 - (-13)/(q/135113)?
True
Suppose 62664 = -110*m + 138*m. Does 25 divide m?
False
Suppose -2*t + 2*u + 10308 = 0, 5*u - 41206 = -5*t - 3*t. Is 14 a factor of t?
True
Suppose 3*c - 40 = 110. Let t be 12/(-10)*(-3)/(45/c). Is (1/1)/(4/272*t) a multiple of 9?
False
Suppose -u = 2*s - 340, -5*u - 5*s = -u - 1348. Suppose 166 = g - u. Does 24 divide g?
False
Let f(t) = -4*t + 36. Let h be f(9). Suppose -2*b - 3*i + 105 - 3 = h, -25 = -b + 5*i. Is b a multiple of 5?
True
Suppose -4*w - 358 = -2*i, 2*w = 4*i + 3*w - 707. Is i even?
False
Let j be (10/(-8))/((-13)/52). Suppose j*q - 3 = 27. Suppose -2*v - 2*g + 78 = -q, -4*v = -g - 188. Is v a multiple of 23?
True
Suppose -2*j - 30 + 90 = 0. Let q = j - 7. Does 6 divide q?
False
Let x be (-2)/1*(-3)/((-6)/(-7)). Suppose -x*l + 12 = -l. Suppose -l*r = -5*y - 49, -4*r + 10*y + 73 = 5*y. Is 8 a factor of r?
False
Let z = -995 + 1814. Let w = z - 534. Is 18 a factor of w?
False
Suppose -5*u + 3*l = 1635, -2*u - 3*l = u + 957. Let a = u + 335. Is a a multiple of 9?
False
Suppose 2*q - 1314 = -2*m, 3*q - 7*q = -4*m + 2668. Does 39 divide m?
False
Let b = 994 + -454. Suppose 7*y = 10*y - 18. Suppose 3*u - 540 = y*x - x, -3*u = x - b. Does 9 divide u?
True
Suppose -5936 = -5*r + 7064. Suppose 4*j - r = 9*j. Is j/39*3/(-2) a multiple of 5?
True
Let x = -635 - -3805. Is 56 a factor of x?
False
Let m = -47 - -1629. Is m a multiple of 3?
False
Does 17 divide (8346/(-216) + (-2)/18)*-108?
False
Let x(k) = k**2 + 6*k - 5. Suppose -20*s - 38 = -18*s. Does 19 divide x(s)?
False
Suppose 19*v = -633 + 3811 + 774. Is v a multiple of 8?
True
Let z = -1822 - -2742. Let k(j) = -171*j - 34. Let g be k(-4). Let m = z - g. Is m a multiple of 45?
True
Let i(s) = -216*s**3 + 5*s**2 - 3*s - 16. Does 52 divide i(-3)?
False
Let x = -83 + -122. Let o = -53 - x. Does 20 divide o?
False
Is 59 a factor of (0 - (-592264)/136) + -4 + (-140)/(-34)?
False
Let g(b) = -b**3 - 5*b**2 + 12*b + 8. Let z = -84 - -89. Suppose z*k - 4*j = -57, j = -k - 3*k - 33. Is 16 a factor of g(k)?
True
Let o = -898 + 900. Suppose -5*h + 2 = 22, -o*w = -4*h - 392. Does 12 divide w?
False
Let r(j) = -2*j + 5. Let g be r(5). Let l(y) be the first derivative of -y**3/3 - 3*y**2 + 3*y - 4. Is l(g) a multiple of 3?
False
Let n(l) = 400*l**2 + 29*l**2 - 1 - 227*l**2 + 499*l**2. Is n(1) a multiple of 50?
True
Does 36 divide 183844/14 - (-338)/1183?
False
Let m(q) = -5*q**2 + q - 1. Let x be m(1). Let z = 20 + -23. Is 12/x*70/z a multiple of 21?
False
Suppose -2*k - 21231 = -3*j - 2787, -2*j - 4*k = -12312. Is j a multiple of 5?
True
Let x(s) = s**3 - 2*s**2 + 4*s - 5. Let b be 574/205 - (1 - 1/5). Suppose -7 = b*t - 17. Does 10 divide x(t)?
True
Suppose 6 = -3*a - a - 5*t, 14 = -5*a - 3*t. Is (26*(-35)/6)/(a/24) a multiple of 70?
True
Is 6670 + 5*(1 - 2) a multiple of 180?
False
Let n(y) = -y**3 + 19*y**2 - 2*y + 58. Let s be n(19). Suppose 3*i - 540 = 3*f, 3*i - 18*f = -s*f + 535. Is 46 a factor of i?
False
Does 72 divide (-162)/(3*(-6)/117 - (-2737)/22100)?
True
Let j(b) = b**2 - 8*b + 28. Let q = -28 + 31. Is j(q) a multiple of 2?
False
Does 19 divide ((-1)/(-5))/(13/(-12350)*4)*-238?
True
Let k(l) = -l**3 - 4*l**2 + 9*l + 2. Let f be k(-6). Let o(j) = 45*j**2 + 11*j**2 - f*j**2. Does 16 divide o(2)?
True
Suppose -3*k - 2*l - 2*l = -40, 2*k - 3*l = 4. Let x be 4/k*(-36)/(-3). Suppose 2*t - 144 = -x*t. Is t a multiple of 6?
True
Suppose 15*v - 12*v = 279. Let n be (-6)/18*-2*v. Suppose 0 = -10*r + 8*r + n. Is r a multiple of 9?
False
Let t be ((-2)/(-2))/((12 - 9)/12). Let i(v) = 8*v**2 + 6*v - 4. Let b be i(5). Suppose b - 54 = t*x. Is x a multiple of 8?
False
Let u be 0/1 - 5 - -4662. Suppose 16*c = -u + 13201. Does 14 divide c?
False
Let r(m) = m**2 + 12. Suppose -11*q + 4*q = -21. Suppose 39 - 9 = -q*k. Does 16 divide r(k)?
True
Suppose -84 - 24 = 3*y. Is 10 a factor of (y/(-6) + -4)*25?
True
Let y = -5 + 10. Suppose 3*t - 177 = -i, 1145 - 170 = y*i - 3*t. Suppose 6*n = 2*n + i. Is 8 a factor of n?
True
Suppose -2*b + 27356 = 5*o, -2*o + 207*b + 10946 = 206*b. Is 4 a factor of o?
Tru