se -85*y + k*y = 147. Is 21 a factor of y?
True
Let a be 20/(-50) - ((-14)/10 + -1). Suppose 5*q = 2*t - 38, a + 11 = t - q. Is 5 a factor of t + (4 - 7) - (-1 + 2)?
True
Suppose -4*h + 68 = -2*o, -13*o + 10*o = 2*h - 26. Suppose h*m = 3019 + 1205. Does 11 divide m?
True
Suppose -4*l = 2*g - 536, -132*l = -131*l - g - 137. Is l a multiple of 27?
True
Let h(x) = -162*x + 105. Is 12 a factor of h(-1)?
False
Let p = 26 + -68. Does 10 divide 108/p*224/(-24)?
False
Let z(c) = 82*c**2 - 3*c + 3*c - 9*c**2 - c - 6. Is z(-2) a multiple of 16?
True
Let m(s) = -40*s**2 - 7 + 4*s + s**3 - 44*s**2 + 70*s**2. Is m(14) a multiple of 7?
True
Suppose r - v = -5, -15*v + 18*v - 9 = 0. Is (-129)/r + ((-30)/4)/15 a multiple of 2?
True
Suppose -s + 14*o + 10154 = 0, -s - 3*s - 2*o + 40210 = 0. Is 14 a factor of s?
False
Let b = -5446 + 8820. Is b a multiple of 9?
False
Suppose 4*b = 7*b + 5*b. Suppose -s + 3*g + 621 = b, 4*g + 172 = 2*s - 1064. Is s a multiple of 7?
False
Suppose -q + 5*j = -9, -4*q + 58 = -2*j - 32. Let h = q - 19. Suppose -h*b + 851 = -3*s + 184, 3*s = -4*b + 512. Is b a multiple of 10?
False
Suppose 0 = -3*f + 3*m + 294, 0*f - 3*f - 5*m = -278. Let a = 223 + f. Is a a multiple of 11?
True
Let o = 50 - 42. Let u be 165/44 + (-6)/o. Suppose 4*j = l + 117, -l = u*j - 47 - 32. Does 7 divide j?
True
Let o(v) be the first derivative of v**6/60 - v**5/20 - v**4/8 + v**3/2 - 9*v**2/2 - 10. Let q(f) be the second derivative of o(f). Does 20 divide q(3)?
False
Suppose -42*g + 17251 = 5*g + 2305. Is 6 a factor of g?
True
Let i(a) = -53*a - 87. Let z be i(-2). Suppose z*w - 7560 = 12*w. Is w a multiple of 99?
False
Suppose 4*c = j + 13, 12*c - 11*c - 3*j = 17. Suppose 0 = 2*s, -4*i = -3*i + c*s. Does 9 divide -4 - (i - (56 - 4))?
False
Suppose 0 = 5*q - 2*y - 4236, 5*q + 6*y - 4*y = 4244. Suppose q*k = 844*k + 5532. Is 70 a factor of k?
False
Let n(a) = -9 - a**2 + 0*a**2 - 11 + 17 + 6*a. Let i be n(2). Suppose -251 = -2*c + f, i*c + f - 630 = 3*f. Is c a multiple of 20?
False
Is 928334/198 + 8 - 4/(-9) a multiple of 30?
False
Let o(d) = -3104*d + 5907. Is 277 a factor of o(-13)?
True
Let a = -301 - -301. Suppose a = 4*k - 16, -4*c - 3*k + 2001 = -331. Is 16 a factor of c?
False
Suppose -b = 2*b, -4*b = -5*t + 8755. Suppose -6707 + t = -6*h. Does 14 divide h?
True
Let x = 230 + -258. Is 11 a factor of ((-392)/x)/(1/13)?
False
Let u be (-2674)/(-3) + (-40)/(-60). Suppose 0 = -61*a + 59*a + u. Is 4 a factor of a?
False
Let o be (9/9 - (-5)/(-2))*-6. Suppose 7*m - 180 = o*m. Let p = -63 - m. Is p a multiple of 4?
False
Let t = 530 + -354. Let x = t + 44. Is x a multiple of 44?
True
Suppose -86*b - 132516 = -2*b - 596280. Is 4 a factor of b?
False
Let x(j) = -j**3 + 57*j**2 - 3*j - 37. Is 15 a factor of x(53)?
True
Let x = -37 - 9. Let g = x + 43. Is 4 a factor of (-187)/(-7) - g/21*2?
False
Let l(c) = c**2 + 8*c + 17. Let o be l(-5). Is 180/o - (-1 - 4)*1 a multiple of 5?
True
Let u = 12608 - -71. Does 72 divide u?
False
Let c(v) = -v - 13. Let s be c(-15). Suppose -7*h + 4*h - 990 = -w, -3*w + 2970 = s*h. Does 10 divide w?
True
Let p be (122 + 2 - -1)*-6. Is 90/(-25)*p/4 a multiple of 30?
False
Suppose -826*t + 828*t = 0. Suppose t = -6*b + 3480 + 1110. Is b a multiple of 15?
True
Let m be (-4 - -2 - 2) + 9. Suppose -3*s = -m*s + 2. Suppose 3*y - 10 + s = 0. Is y a multiple of 3?
True
Let v(a) = 57*a**2 + 149*a - 982. Is 61 a factor of v(8)?
False
Let w = -16008 - -24311. Suppose -20*g = -w - 12817. Is 22 a factor of g?
True
Let b = 13111 - 9356. Is b a multiple of 60?
False
Let m be ((-4 - 30/9) + 4)*-480. Suppose 6*l - m = -4*l. Is 8 a factor of l?
True
Suppose 5*c - 1730 = 4*v, 3*v + 1041 = -8*c + 11*c. Let x = c + -224. Is x a multiple of 5?
False
Let q = 167 + -141. Let g(m) = 3*m**2 + 17*m + 25. Let k be g(-18). Suppose -7*r - q = -k. Is r a multiple of 13?
False
Let y be (78336/(-448))/(2/(-21)). Suppose 378*o - 381*o + y = 0. Is o a multiple of 68?
True
Suppose 14287 = 6*f - 27149. Is 15 a factor of f?
False
Let t be (-4 - 45/(-12)) + 81/4. Suppose 0 = 4*w + t - 148. Let a = w - -21. Does 7 divide a?
False
Suppose 2 + 4 = -3*c, s = -2*c + 21. Suppose 5*p + 0 + 15 = 5*a, s = -5*p - 5*a. Does 47 divide 312/9*(p + (3 - -4))?
False
Suppose -5*n - 42 = 2*n. Let i(g) = g**3 + 8*g**2 + 5*g. Let b be i(n). Let x = -11 + b. Is x a multiple of 7?
False
Let l = -501 - -499. Does 21 divide 124 - (-2)/(-8)*l*4?
True
Let o = 21 - 31. Let g(v) = 2*v + 20. Let a be g(o). Suppose -2*h + 0*h - 2*z + 202 = 0, a = 5*h - 2*z - 484. Does 12 divide h?
False
Let w be 81/(-54) - (-6)/4. Suppose 165 = s + a, -2*s + 3*a - 27 + 347 = w. Does 21 divide s?
False
Let m = -4448 + 6560. Is m a multiple of 66?
True
Suppose 52*p - 64*p + 1488 = 0. Let i = 192 - p. Is 4 a factor of i?
True
Suppose 8*m + 73 = -1319. Let a = 216 + m. Is 14 a factor of a?
True
Let y(q) = q**3 - 10*q**2 - 14*q + 37. Let x be y(11). Suppose 0 = 4*s - x*w - 976, w + 486 = 2*s - 0*s. Is s a multiple of 22?
True
Suppose -3*r + 18*w - 25 = 23*w, 4*w = -2*r - 20. Suppose -4*t - 5*b + 417 = 0, -2*t + 3*b + 117 + 64 = r. Does 14 divide t?
True
Let u = 100 + -140. Is 9 a factor of (-7)/5 - -2 - 12216/u?
True
Suppose 0 = -o - 3*o + 4*a + 16, -5*a - 20 = 0. Suppose o = r - 19 - 22. Let h = 2 + r. Is 6 a factor of h?
False
Suppose 710*q - 36260 = 682*q. Is q a multiple of 11?
False
Let v(d) be the third derivative of -1153*d**4/24 + 47*d**3/6 + 52*d**2 - d. Does 25 divide v(-1)?
True
Suppose 0 = 29*k - 27*k. Suppose 2*i - 8 + k = 0. Suppose 2*m - i*m = -130. Is 17 a factor of m?
False
Let n(x) be the first derivative of -2*x**2 - 3*x**2 - 7*x**2 + 34 + 11*x + 14*x**2. Is n(5) a multiple of 12?
False
Let m = 23510 + -19784. Is 138 a factor of m?
True
Let q(c) = 3*c**3 + 4*c**2 - 7*c + 4. Let o be q(1). Suppose -255 = o*m + 3*v - 1104, -5*m + 1064 = v. Does 34 divide m?
False
Let q = 7 - 5. Let k(y) = 32*y**2 + 4*y - 3. Let i be k(q). Suppose 0 = 5*s + j - 500 - i, -3 = -j. Does 21 divide s?
True
Let x(z) = -1028*z + 122. Is x(-2) a multiple of 18?
True
Let x(a) be the first derivative of -a**4/4 + 5*a**3 + 8*a**2 + 11*a - 4. Let u(d) = -17*d - 1. Let m be u(-1). Is x(m) a multiple of 11?
True
Let h = -654 + 2120. Is h - (-25)/(100/24) a multiple of 39?
False
Is ((-80390)/(-520) + (-4)/(-26))/((-12)/(-48)) a multiple of 10?
False
Let s(p) = 5*p**2 + 3*p + 4. Let u be s(-6). Let x = 213 - u. Does 9 divide x?
False
Let h(p) = 8*p**2 + 13*p - 56. Is h(-8) a multiple of 44?
True
Suppose -14*y - 10 = -16*y. Let u be -1*8/20*y. Does 14 divide (9/u)/(8/(-144))?
False
Let u = 3477 + -1609. Is 7 a factor of u?
False
Let t(a) = -2230*a**2 + 10*a - 11. Let l be t(1). Let x = 3234 + l. Is x a multiple of 9?
False
Let g(q) = -q - 10. Let p be g(-12). Is (755/5 + -5)*p/4 a multiple of 16?
False
Suppose 2*v = -4*y + 19464, 147*v = 152*v - 2*y - 48612. Does 44 divide v?
True
Suppose 4*v + 2*a - 7021 - 5099 = 0, -5*v = -2*a - 15168. Is v a multiple of 4?
True
Let w be 44 - (2 + -4 - -4). Let i = -40 + w. Suppose i*d = -2*d + 2*a + 262, -3*a = d - 83. Is 15 a factor of d?
False
Suppose -s - 11 = -2*d, -3*s - 8 = d + 4. Suppose -3*g = -d*u + 15, 2*g + u - 1 = g. Is 371/28 + -1*g/(-8) a multiple of 4?
False
Let j(b) = 5*b**3 + 28*b**2 - 28*b + 20. Let a be j(9). Is a/23 + 5/(-1) a multiple of 3?
False
Let n(y) = -4 + 4749*y**2 - 4744*y**2 + 149*y - 5. Is 9 a factor of n(-30)?
False
Let k(n) = 39*n**3 - 5*n. Let i(m) = 2*m. Let t(l) = -3*i(l) - k(l). Suppose 3*q + 0 + 3 = 0. Does 20 divide t(q)?
True
Suppose -21*d = -17*d - 172. Suppose d + 24 = -u. Let m = 171 + u. Does 9 divide m?
False
Let k(o) = -129*o + 69. Let d(f) = 193*f - 104. Let v(w) = 5*d(w) + 8*k(w). Does 33 divide v(-1)?
True
Suppose 2*m - 3 = 3. Suppose 4*a = -6*d + 2*d + 1168, -a - 1436 = -5*d. Suppose -m*g = g - d. Is g a multiple of 29?
False
Suppose -78 = -4*t + 5*x - 10, 5*x - 4 = -2*t. Suppose -2*p - p - t = 0. Let a(r) = -2*r**3 - 5*r**2 + 2*r. Is 20 a factor of a(p)?
True
Let v = -2763 + 5510. Suppose -u + 4*k = -845, -v + 148 = -3*u - 4*k. Does 43 divide u?
False
Suppose 5*s = 3*o + 25, -3*s + o = s - 20. Suppose -6*j + 12 = -3*j - 4*y, s*j - 6 = 2*y. Suppose 3*f + 2*a - 233 = j, -2*f - 5*a + 54 = -94. Does 16 divide f?
False
Let u = 96 - 93. Suppose -10 = -l -