 - 7. Let r be l(5). Let c be ((-9 - -18) + -8)*-23. Let p = c - r. Is 3 a factor of p?
True
Let m be (-368)/5 + 70/(-175). Let t = m + 107. Is t a multiple of 2?
False
Is 159/(-106) - (-597)/2 a multiple of 9?
True
Let v = 5953 - 3950. Is 7 a factor of v?
False
Let r be (-27 + 0)/((-12)/16). Suppose -s = s - r. Is 5 a factor of s?
False
Suppose -6*q = 3*q - 180. Suppose -23*n + q = -22*n. Is n a multiple of 6?
False
Suppose -25 = -5*k + 2*h, 4 = -2*k - 4*h + 2*h. Suppose 5*c - 96 = 2*r + 200, -5*c + 281 = k*r. Is 12 a factor of c?
False
Let w(t) = -t**3 - 6*t**2 - 5*t + 12. Let d be w(-7). Suppose -141 = -y - 2*y. Let v = d - y. Is v a multiple of 14?
False
Let a(q) = 33*q - 1. Let t be a(1). Let c = t + 8. Does 9 divide c?
False
Suppose -62*p - 513 = -65*p. Does 92 divide p?
False
Let p = 50 + -19. Suppose -4*j + 32 = 4*o - 8*j, 4*j = -5*o + p. Does 6 divide o?
False
Let y = -107 + 109. Suppose y*i - 191 = -3*l, -4*i + l + 208 + 153 = 0. Is 6 a factor of i?
False
Suppose 88 = 4*s - 168. Let z = -43 + s. Is 3 a factor of z?
True
Let p(z) = 3*z + 2. Let b(q) = 18*q + 11. Let c(d) = -6*b(d) + 34*p(d). Let k be c(1). Is 13 + (-2)/4*k a multiple of 5?
True
Let b(x) = x**2 + 83. Is 51 a factor of b(-10)?
False
Let m(p) = -2*p**3 - 7*p**2 + 16*p + 24. Is m(-7) a multiple of 17?
True
Let j be 10 - (-3 - (4 + -4)). Suppose -2*g + 6 = 2*v - 2, j = 3*g + 2*v. Suppose 19 = t - g*d + d, 0 = -3*t + 3*d + 84. Does 7 divide t?
False
Is (-5 + 3)*(-2 - (-222)/(-4)) even?
False
Let i(x) = -x + 6. Let r be i(8). Let s be (-1 - r) + (6 - 5). Suppose -45 = -s*t + 5. Is t a multiple of 5?
True
Let r = 361 + -148. Does 10 divide r?
False
Let x = -7 - -11. Suppose -12*a = -x*a. Suppose -2*r = -a*k + 3*k - 40, -k - 10 = -r. Is 4 a factor of r?
False
Let c(t) be the first derivative of 12*t**2 - 4*t - 1. Let l(w) = 15*w - 71. Let g be l(5). Is c(g) a multiple of 23?
True
Suppose -d - 2*d - 11 = -5*n, -4*d = -n - 8. Suppose -5*j = -n*j + 63. Is 21 a factor of 2/(-6) + (-3927)/j?
False
Suppose 5*s + 33 = -j + 12, 0 = -4*j + 2*s - 194. Suppose 3*q + 5*c = -67, 3*q - 112 = 7*q + c. Let x = q - j. Is 3 a factor of x?
False
Suppose -4*r + 3*r + 163 = 0. Does 6 divide r?
False
Let i(y) = 12*y + 3 - 8*y - 8*y - 5. Let g be i(1). Is 10 a factor of (-6)/12 - 177/g?
False
Let p be ((-20)/15 - -1)*0. Suppose p = -3*b - 3*s + 11 + 37, 4 = b - 3*s. Is 2 a factor of b?
False
Let n(u) = -u**3 - 8*u**2 + 15*u - 11. Is n(-10) a multiple of 2?
False
Let b be 721 - ((-3)/(-1) - 2). Suppose -9*v + 12*v = b. Is v a multiple of 30?
True
Let d be (10/(-15))/(4/(-30)). Suppose 3*t - 2*z - 32 = 0, 2*t + d*z - 35 = -2*t. Suppose 5*f = t, 2*n - 48 = -2*n + 4*f. Is 3 a factor of n?
False
Suppose -65*y - 9*y + 1776 = 0. Is 6 a factor of y?
True
Is 74 a factor of 1094 + 9/(-27)*12?
False
Let r(s) = 8*s**2. Let o be r(1). Let l = 6 + o. Is l a multiple of 14?
True
Suppose -3*u + 150 = 2*u + 2*r, -3*u - 4*r = -104. Let m(i) = -i**2 - 67*i**3 + u*i + 29*i - 56*i. Is m(-1) a multiple of 13?
True
Suppose -728 = 2*z - 6*z. Let b = z + -107. Suppose -b = -5*n - 20. Does 3 divide n?
False
Suppose -13*h + 7 = -6. Is 46 + -1 - h/((-1)/3) a multiple of 8?
True
Let p(a) be the first derivative of a**2 + 17*a - 4. Is p(0) a multiple of 4?
False
Let o(t) = t**2 + 7*t + 18. Does 9 divide o(-7)?
True
Let q(s) = 32*s**2 + 2*s - 3. Let g be q(3). Suppose -7*u = -8*u + g. Is u/4 - (-3)/(-4) a multiple of 23?
False
Let u be -1 + 1*(4 - 1). Suppose -u*k = -k - 2. Suppose 3*g = k*g + 26. Is 11 a factor of g?
False
Let m(u) = 7*u. Let a be m(3). Let f = a - 7. Let n = 25 + f. Does 16 divide n?
False
Let i(u) = -14 + 15*u + 0*u**2 + 0*u**2 - u**2. Is 6 a factor of i(13)?
True
Suppose 3*q = 4*i - 0*q + 23, 4*i = 4*q - 20. Let t be 2/i + 9/4. Suppose -3*d + 89 = -5*k, 0*d - t*d = 5*k - 51. Is d a multiple of 14?
True
Suppose 8976 = -14*w + 62*w. Is w a multiple of 21?
False
Let o = -111 - -72. Let f be (-111)/o + 2/13. Let j = 11 - f. Is 3 a factor of j?
False
Let m(c) = 3*c**3 - 2*c**2 + c + 7. Is 3 a factor of m(3)?
False
Let v = -460 + 959. Is v a multiple of 11?
False
Suppose -2*k - 325 = 2*k + 5*c, 0 = -5*k + 3*c - 397. Let m(r) = r - 2. Let y be m(6). Is 7 a factor of (y/10)/((-2)/k)?
False
Suppose 0 = 3*m + u - 17, -2*m + 2 = m - 2*u. Suppose 4*i - 6 = 2*l + m, 4*i + 3*l = 35. Does 5 divide i?
True
Let x(b) = 112*b - 211. Does 27 divide x(19)?
True
Suppose 138 = -22*n + 556. Does 18 divide n?
False
Let t = -346 + 2094. Does 28 divide t?
False
Suppose 3*q + 4*h - 286 = 0, -4*h - 6 - 158 = -2*q. Does 15 divide q?
True
Suppose 29 = -6*x + 5*x. Let j = x + 20. Let k = j - -15. Is k a multiple of 2?
True
Suppose k + 7 = 17. Let x = k + -7. Suppose 5*y = 4*o - 11, -4*o + x*y + 46 = 5*y. Does 9 divide o?
True
Let c = 419 - 394. Let a(i) = i**3 - 7*i**2 - 5*i + 5. Let x be a(8). Let v = x - c. Does 4 divide v?
True
Suppose 2*l + 28 = 10. Let b(p) = p**3 + 4*p**2 - 5*p - 6. Let j(k) = k**2 + 1. Let d(u) = -b(u) - 4*j(u). Is d(l) a multiple of 19?
True
Let c be 2/7 + 16/(-7). Let p be (c + 3)*(3 + -2). Does 27 divide -3 - 0/p - -32?
False
Let p be 4 + 2 - (-9)/(-3). Suppose -p*u = -3*h - 444, 3*h = -2*u + 58 + 228. Suppose -3*t + 3*s + 29 = -55, 5*t - u = 2*s. Is 10 a factor of t?
True
Let c(d) = d**2 + 5*d - 100. Is c(14) a multiple of 23?
False
Let p = -14 - -74. Suppose -4*h - p = 4*a + a, -3*h - 5*a = 50. Is ((-8)/(-3))/(h/(-45)) a multiple of 4?
True
Suppose 0 = -5*a - y + 5*y + 6, -2*a - 2*y = -6. Let i be (-207)/15 - a/10. Let j = 24 + i. Is 5 a factor of j?
True
Let d(g) = -g**2 - 7*g - 6. Let p be d(-5). Suppose -5*f + 163 - 41 = p*h, 0 = -4*f + h + 106. Is 26 a factor of f?
True
Suppose -2745 = -3*g - 4*w + w, -2*g + 1818 = -2*w. Is 12 a factor of g?
True
Let m(c) = 5*c**2 - 7*c + 2. Let f be m(4). Suppose -898 = -4*l - f. Is l a multiple of 38?
False
Suppose -j + 51 = 2*w, w = -3*j - 2*j + 219. Let b be (-2)/3*(-138)/4. Let n = j - b. Is n a multiple of 17?
False
Suppose 3 = -2*q + 5*q. Let w be q/((-1 - -5)/20). Suppose -9*a = -5*a + p - 141, 3*a = -w*p + 93. Is a a multiple of 12?
True
Suppose 2*p = -4*d + 206, -4*d + 11*p + 216 = 15*p. Is d a multiple of 49?
True
Let l = -621 - -1072. Does 41 divide l?
True
Let d be (-4)/(1 - 29/27). Suppose -j - 2*j = -d. Is 5 a factor of j?
False
Suppose -26*r - 2903 + 20661 = 0. Is 52 a factor of r?
False
Suppose -10*r + 1954 = -1196. Suppose -6*v + r = -225. Is v a multiple of 10?
True
Let x be (27/6)/(21/(-28)). Let g = x - -12. Suppose -2*b - g*i + 78 = -2*i, -5*b - 5*i + 190 = 0. Does 8 divide b?
False
Let i(s) = s**2 + 20*s + 8. Let b be i(-7). Let x = b - -89. Is 2 a factor of x?
True
Let k(m) = -m**3 + 14*m**2 - m - 13. Let c be k(13). Let d = c - 53. Is 18 a factor of d?
True
Let p(q) = -q**2. Let c(n) = -25*n**2 + n - 3. Let j(v) = -c(v) + 5*p(v). Is j(2) a multiple of 27?
True
Suppose -32 = -9*u + 571. Does 16 divide u?
False
Let r(q) = -25*q - 1. Let v be r(-2). Suppose 16 - v = -a. Let l = a + 17. Is 26 a factor of l?
False
Let c be 1128/(-12) + 1 + 1. Let y = c - -130. Does 10 divide y?
False
Suppose -h - 191 = -3*z, 12 = -4*z - 4. Let n = 84 + h. Let o = -85 - n. Is 10 a factor of o?
False
Does 6 divide -6 + 3 - (-1223 + -7 + 6)?
False
Suppose 0 = -3*r + 5*c - 13, 5*r - 2*c - 14 = -4. Suppose -5*t + 400 = -3*y - y, -2*t - r*y = -188. Does 28 divide t?
True
Let y(k) = 3*k**2 - 8*k + 19. Let g = -47 + 51. Is 7 a factor of y(g)?
True
Suppose 0*s = -s - 4*s. Suppose s = -4*v + 10*v - 180. Is v a multiple of 5?
True
Let a = 585 + -57. Is 12 a factor of a?
True
Let i(o) = 2*o**2 - 3*o - 5. Let s = -2 - -9. Does 8 divide i(s)?
True
Let m = -32 - -60. Suppose -31*n = -m*n - 387. Is 28 a factor of n?
False
Let i(p) = -2*p**2 + 56*p + 70. Is 4 a factor of i(23)?
True
Let o(y) = y**2 - 11*y + 8. Let h be o(7). Is 14 a factor of 42/((-20)/(-16)*(-8)/h)?
True
Suppose 2*x - 1133 - 1163 = 0. Is x a multiple of 28?
True
Let v be (-2*22/4)/1. Let z = v - -24. Let t = 32 - z. Is 15 a factor of t?
False
Let t(r) = 12*r**3 - 2*r**2 - r + 6. Let u be t(2). Let y(z) = 2*z + 7. Let f be y(-5). Is 9 a factor of u/3*f/(-2)?
False
Is (-22)/(-110) + 3409/5 a multiple of 20?
False
Let a = -106 + 90. Let w = a + 38. Is w a multiple of 11?
True
Let k = 215 - 113. Let x = -63 + k. Is 5 a 