e -5*p = 3*t - 132, 3*p - 4*t + 8*t - 77 = 0. Does 26 divide (-2)/(6/p*6/(-60))?
False
Let t = -18 + 22. Let c be (t/(-6))/((-12)/18). Let k = 8 + c. Is k a multiple of 3?
True
Suppose 0 = -22*b + 9*b + 4784. Is 34 a factor of b?
False
Let m = -18 - -18. Suppose -4*n + 12 + 4 = m. Suppose -h - 100 = -r, 7*h + 399 = n*r + 2*h. Does 16 divide r?
False
Let x = 151 + -206. Let c = x - -223. Does 24 divide c?
True
Is (-121534)/(-84) + 20/(-24) a multiple of 27?
False
Let n be (-2 + 23957)/(6/(-4)). Does 10 divide n/(-95) - (-2)/(-19)?
False
Is 39 a factor of (-56 + -10)*((-140)/8 - -1)?
False
Suppose 3*x = 3*s - 0*s - 27, -s + 3*x = -17. Does 5 divide (5/s)/((-1)/(-15))?
True
Let x be (-10)/25 - (-57)/5. Let j be (-4 - (2 + -6)) + 5. Let y = x + j. Is 4 a factor of y?
True
Suppose -2*t - 10 = -2*q, -3*q - q + 5*t + 23 = 0. Suppose q*c = -m + 4, m - 2*c - 28 = -2*m. Does 8 divide m?
True
Suppose 24*o - 34*o + 730 = 0. Does 61 divide o?
False
Does 14 divide 21/(-9)*-21*150/7?
True
Let p(c) = -46*c - 207. Is p(-6) a multiple of 23?
True
Suppose -89*g = -78*g - 3795. Is g a multiple of 23?
True
Let p be (-24)/(-18)*(1 + -22). Does 7 divide 88/7 + (-12)/p?
False
Let r(v) be the third derivative of -v**4/8 + v**3 + 20*v**2. Is r(1) a multiple of 2?
False
Suppose -21*v = -7*v - 3080. Is 4 a factor of v?
True
Let y(r) be the third derivative of r**5/20 - r**3/6 + 6*r**2. Let s be y(-1). Does 10 divide (19 + -2 - -1) + s?
True
Suppose -3*x + 0*d + 8 = -d, x = 2*d + 6. Let a(j) = 6*j - 114. Let s be a(18). Does 9 divide s/(x + 8/(-3))?
True
Let t(b) = 317*b**2 + 1 - 300*b**2 - 2*b + 1. Let i be ((-5)/15)/(1/(-9)). Is 39 a factor of t(i)?
False
Let p = 194 + -163. Is p a multiple of 2?
False
Suppose 3*b + 5*k = 569, -4*k + 5 = 13. Suppose 2*n - 167 - b = 0. Does 9 divide n?
True
Suppose 3*y + 3 = -g - 3, 3*y = 3*g + 6. Let f be (2/(-8))/(294/(-72) + 4). Does 11 divide 26 + g/f + 3?
False
Let c(g) = -g - 1. Let r be (-2)/9 + (-408)/108. Let n be c(r). Suppose v - 16 = -3*z, 107 = 5*v + n*z - 21. Is v a multiple of 8?
False
Let u(k) = -4*k**2 + 43*k - 3. Is 15 a factor of u(9)?
True
Suppose -a + 17 = 2*i, 2*i = -a - 2*i + 11. Is 5 a factor of a?
False
Suppose 0 = -2*k + o + 6378, 19*k + 4*o - 3189 = 18*k. Is k a multiple of 101?
False
Let a(o) = 4927*o**2 - 2*o - 1. Let t be a(-1). Is ((-2)/6 - 0) + t/42 a multiple of 9?
True
Let p(w) = w**3 + 5*w**2 - 6*w + 2. Let n be p(-6). Suppose n*v - 7*v = 40. Does 11 divide 1/v - 4382/(-112)?
False
Does 23 divide 4655475/1377 - (-2 + 64/34)?
True
Suppose -222 = -u + 5*d, 4*d - 22 = -6. Does 11 divide u?
True
Let d = -85 + 197. Is d a multiple of 10?
False
Let d = 727 + -621. Is d a multiple of 15?
False
Let l(j) = 2*j**3 + 7*j**2 - 7*j + 24. Is 72 a factor of l(9)?
False
Let w = 19 - -20. Suppose -131 + w = -4*j. Does 4 divide j?
False
Is 9/(-54) - 4/(-24)*253 a multiple of 42?
True
Suppose 0 = -4*o + 8*o - 680. Suppose -o = -2*q - 3*q. Is (-81 - -1)*(-17)/q a multiple of 8?
True
Let l = 78 - 74. Suppose 36 - l = o. Is o a multiple of 16?
True
Let q(c) = 2*c**2 + 4*c - 25. Does 15 divide q(-7)?
True
Let z(q) = q**3 - 18*q**2 + 86*q + 9. Is 6 a factor of z(15)?
True
Suppose -2*u - 136 = 4*p, -5*p + 79 = 5*u + 244. Suppose -7*x = -84 - 259. Let y = p + x. Is 4 a factor of y?
False
Let y(a) = 332*a**2 - 3*a + 4. Is y(1) a multiple of 9?
True
Does 10 divide 62 + 8/(-4) - -1?
False
Suppose 6 = 5*v - 3*v. Suppose -v*y + 9*y = 156. Does 8 divide y?
False
Suppose 5*d = -7*d + 12. Let x(f) = 281*f - 1. Is 40 a factor of x(d)?
True
Let f(a) = -2*a**3 + 37*a**2 - 7*a - 44. Does 10 divide f(18)?
False
Let p(o) = 10*o**2 - 3*o - 18. Does 13 divide p(-5)?
True
Suppose 2*k - 3*x - 682 = -6*x, -3*x = 0. Is k a multiple of 11?
True
Is (-34)/(-187) - 18/(-33)*535 a multiple of 4?
True
Suppose 0 = -10*f + 5*f - 85. Let w = f + 22. Suppose -w*i = r - 87, -4*r - 48 = -2*i - 0*i. Is i a multiple of 5?
False
Let f(m) = -m**3 - 3*m**2 - 3*m - 6. Let y be (-10)/3 - 1/(-3). Does 3 divide f(y)?
True
Suppose 0 = 4*y - 3*z - 15, -2 = 3*z + 13. Let l be ((-8)/(-2) + y)/1. Suppose 88 = 2*u + l*c - c, 4*c + 8 = 0. Is 8 a factor of u?
False
Let d be (-4 - -8)*4/4. Suppose 3*r - 12 = 0, -d*n + 270 = 3*r - 190. Is n a multiple of 21?
False
Let k = 730 + -498. Is 8 a factor of k?
True
Let l(h) be the second derivative of -h**5/20 - 2*h**4/3 - 7*h**3/6 - 9*h**2/2 + 87*h. Let s(r) = -r**3 + 6*r**2 - r - 2. Let o be s(6). Is 13 a factor of l(o)?
False
Suppose 0 = -0*n + n - 55. Let a = 65 - n. Does 10 divide a?
True
Let m(w) = w**3 + 19*w**2 + 35*w - 28. Is m(-16) a multiple of 18?
True
Let g(z) be the second derivative of z**4/12 + 2*z**3 + 8*z**2 - 9*z. Does 3 divide g(-11)?
False
Does 30 divide ((-302)/5)/((-18)/90)?
False
Suppose -77 + 4257 = 10*n. Is n a multiple of 22?
True
Let z(q) = q**2 + 11*q - 8. Let n be z(-11). Does 9 divide n/(-10) - 830/(-25)?
False
Suppose 18 = -2*q - 2*w, -4*w - w = -4*q + 9. Is 54/q*(-4 + (0 - -2)) a multiple of 9?
True
Let a = -13 - -5. Let r be 32 + 4/a*2. Let h = -12 + r. Is 6 a factor of h?
False
Is 4 a factor of (-1261)/(-4) + (-30)/280*-7?
True
Suppose 7*b = 4*b + 9. Suppose b*x = -5*x + 1440. Does 45 divide x?
True
Does 10 divide (-32 + 31)/(2/(-614))?
False
Suppose 0 = -2*v - v + 6. Let g = 5 - v. Suppose 5*z = -g*w + 19 + 85, w + 35 = 2*z. Is z a multiple of 9?
False
Let p be (-18)/(-81) - 2/9. Suppose o = x + 5, -16 = 5*x - p*x + 4*o. Let q(l) = 3*l**2 - l - 4. Does 15 divide q(x)?
False
Let z be 15/10 - ((-1)/2 + 1). Does 12 divide (-56)/(-3) - z/(-3)?
False
Let q(d) = 6*d + 1. Let j(u) = 13*u + 2. Let n = -2 - -8. Let x(c) = n*j(c) - 14*q(c). Is 23 a factor of x(-8)?
True
Let r(j) = 11*j**2 + 157*j + 33. Is 17 a factor of r(-24)?
True
Let n(m) = -m**3 - 9*m**2 - 2*m. Let z be n(-4). Let y(i) = 103*i**2 + 1. Let l be y(-1). Let q = l + z. Is 16 a factor of q?
True
Suppose -6*m - 814 = -17*m. Let n = m + -64. Is 2 a factor of n?
True
Suppose -f - 18 = 3*f - 2*v, f = 5*v - 27. Let o be (-2814)/(-14)*(f - -1). Is 8 a factor of (-18)/12 - o/6?
True
Is 6*1246/21 + 1 a multiple of 7?
True
Let f = 9 - 4. Let i(b) = 7*b + 8. Does 23 divide i(f)?
False
Let s be 9/(-6)*(36 + 0). Let m be (-2)/2 + (-5 - s). Let p = m + -28. Is p a multiple of 10?
True
Suppose 8 = 2*n + 2*x, -4*x + 5*x = 4. Let p(w) = -w**2 + 2*w + 1. Let f be p(n). Let m(g) = 14*g**2 + 3*g - 2. Is 5 a factor of m(f)?
True
Suppose -5*a = 3*z - 1322, -3*a - 5*z = -7*z - 797. Is 2 a factor of a?
False
Suppose 85 = -l + 6*l. Suppose v - l - 23 = 0. Let a = 49 - v. Is a a multiple of 3?
True
Suppose -5*n = -3*n + 32. Let s = 46 + n. Does 30 divide s?
True
Let b be (-147)/3 - (1 + -1). Let o = 27 + b. Does 5 divide (-4)/o - (-320)/55?
False
Suppose 0 = 8*v + 488 - 4288. Is 48 a factor of v?
False
Let p = -90 - -215. Suppose -4*h = h - p. Is 12 a factor of h?
False
Let a = 1509 - 1072. Is a a multiple of 19?
True
Let a be 2/9 - 1951/(-9). Suppose 117*v - 116*v = 3. Suppose v*d + 81 = z, -2*z = 3*d + 2*d - a. Is z a multiple of 24?
True
Suppose 2*t = -2*t + 12. Suppose 12 = 4*s, -4*s = -t*q + q + 140. Is 31 a factor of q?
False
Suppose 2*s = 2*x + 90, -2*s - x = -47 - 43. Is -64*(4 - s/10) a multiple of 11?
False
Let v(h) = 31*h**3 + h**2 - 4*h - 5. Let x be v(-1). Suppose 6*z - 5*b + 44 = 2*z, 5*b = -z + 14. Let t = z - x. Is 8 a factor of t?
False
Suppose -4*v - 12 = 0, -2*k + 4*k - 4*v = 42. Let q = k + -11. Suppose 0*c - 84 = -q*c. Is c a multiple of 12?
False
Let b(f) = f**2 + 19*f + 31. Let u be b(-17). Let h(n) = 8*n**2 - 3*n - 7. Does 9 divide h(u)?
False
Is 14 a factor of (0 + -1094 - (-22 + 26))/(-2)?
False
Let u = -14 - -19. Suppose 55 = -2*w + u. Is (w/15)/(2/(-48)) a multiple of 18?
False
Let t(q) = q**3 + 5*q**2 - q - 4. Let a be t(-4). Is 16 a factor of 80*(a/7 + 30/(-105))?
True
Let p = -497 + 1081. Let o be (-12)/(-9) + p/12. Is 21 a factor of 5/(o/(-84))*-5?
True
Let c be -3 + 0 + (6 - 328). Let s be c/(-20) - 3/12. Is 15 a factor of (-828)/(-10) + s/(-20)?
False
Let l = -39 + 54. Let p(o) = -o**3 - 2*o**2 + 7*o + 2. Let d be p(-5). Let g = d - l. Is g a multiple of 9?
True
Suppose 11*r - 40 = 840. Does 16 divide r?
True
Let o = 29 + -29. Suppose 2*l = -p + 39, o*l - 5*l + 93 = 4*p. Suppose 4*q - 127 = l. Is q a multiple of 24?
False
Is 9 a f