62788)/10 a multiple of 16?
False
Let y(s) = 42*s. Let l be y(8). Let z(i) = -63*i + 106. Let m be z(-7). Suppose -5*o + 4*x = -m, -3*o + 3*x + l = -2*x. Is o a multiple of 14?
False
Suppose -73*a - 11833 + 38857 + 379221 = 0. Is 14 a factor of a?
False
Suppose 10*o = -71 + 71. Suppose o*n - 9 = -n. Does 3 divide n?
True
Let v = 48563 - 7631. Is 70 a factor of v?
False
Let s(r) = -12*r + 581. Does 38 divide s(15)?
False
Suppose -185*a = -174*a - 34100. Does 20 divide a?
True
Suppose 15*a - 7664 - 9616 = 0. Is ((-2)/(-4))/(8/a) a multiple of 12?
True
Let t(n) = 244*n**2 - 5*n + 7. Let o be t(1). Let k = o - -538. Does 14 divide k?
True
Suppose 0 = 11*h - 15*h + 68. Suppose -9*o + 832 = -140. Let f = o + h. Is f a multiple of 16?
False
Is 153 a factor of (-200)/(-4700) - 32992/(-47)?
False
Let b(x) = -2*x**2 + 2*x**2 + 12*x + 3*x**2 + 5 - 2*x**2. Let c be b(-12). Suppose c*g = 0, 2*y + 4*g = -g + 104. Does 21 divide y?
False
Let x(u) be the first derivative of u**3/3 - 7*u + 7. Let c be x(-3). Let a(v) = 23*v**2 + 2*v + 1. Is a(c) a multiple of 11?
False
Let n(y) = -y**3 - 19*y**2 - 3*y - 43. Let h be n(-19). Suppose 12*i + h*i - 2392 = 0. Is 23 a factor of i?
True
Let r(n) = -n**3 + 22*n**2 + 21*n - 9. Does 62 divide r(-14)?
False
Suppose 14*x - 18*x + 8382 = 5*l, 5*x - 1689 = -l. Is 45 a factor of l?
False
Suppose 0 = 2*b + 4*f - 4842, 2*f = -2*b + 3718 + 1136. Does 176 divide b?
False
Suppose 113*n + 56537 - 307253 - 198685 = 0. Is 41 a factor of n?
True
Suppose -w + o = -988, -3*w = 2*o - 872 - 2067. Let h = w + 25. Is 48 a factor of h?
True
Let c be (-1925)/(-20)*12/3. Let h = c + -55. Does 33 divide h?
True
Suppose -7*i = -6*i + 9. Let j(l) = 5*l - 21. Let m be j(i). Is 2 a factor of (1 + 0)/(-3*2/m)?
False
Let f(d) = d**3 - d**2 - 4*d. Let t(h) be the second derivative of -h**3/6 - 2*h**2 + 20*h. Let n be t(-8). Is f(n) a multiple of 31?
False
Suppose 0*l - 4*l = 2*k - 972, 3*l = -5*k + 2423. Let r = k + -685. Let f = -72 - r. Does 23 divide f?
False
Let r(a) = -18*a**2 - 16*a - 38. Let d be r(-11). Is 7 a factor of (8/20*-1)/(12/d)?
False
Suppose 21*i = 23*i - 4*k - 15710, 5*i - 39347 = -2*k. Is 10 a factor of i?
False
Suppose -2*c - 18 = 4*c. Does 15 divide 144 - (2 + (c - -5))?
False
Let f(j) = -j**3 - 16*j**2 - 50*j - 15. Let z be f(-9). Suppose -2*m - 320 = -0*m. Let w = z - m. Does 4 divide w?
True
Let a = 31700 + -19145. Is 27 a factor of a?
True
Let l = 30169 - -9530. Does 150 divide l?
False
Let o(q) = -2*q - 4. Let s be o(-23). Let g = 119 - s. Does 7 divide g?
True
Let m = 6577 - -24584. Is m a multiple of 47?
True
Let h = 7054 - 3017. Does 19 divide h?
False
Suppose 0 = 7*v - 11 - 10. Suppose 0*n - 7 = -2*n + 5*q, 0 = -v*n - 5*q + 48. Is 49 a factor of (6/(-1))/(n/(-539))?
True
Does 17 divide ((-153)/(-15))/((-239)/(-53775))?
True
Suppose 40*j + 1260 = 45*j. Suppose -44*b = -48*b - j. Let v = 109 + b. Is v a multiple of 23?
True
Is (-30)/40*20 + 1255 a multiple of 104?
False
Let h(z) = 5*z**3 + 5*z**2 + 3*z - 15. Suppose -16 = -2*u - 6*u. Is h(u) a multiple of 51?
True
Let c = -318 + 321. Does 64 divide c/48 + (-4095)/(-16)?
True
Suppose 101*x + 272141 - 821480 = 0. Does 37 divide x?
True
Suppose 0 = -16*p - 0*p + 2400. Let r = p + -112. Is r a multiple of 4?
False
Suppose -34*q + 327600 = -13*q. Suppose -15*o = 9*o - q. Does 25 divide o?
True
Let j = 115799 - 81154. Does 15 divide j?
False
Let g = -223 + 226. Suppose -g*h = h - 3*k - 3063, h = 3*k + 768. Is 45 a factor of h?
True
Suppose 2*t = -10*t + 24. Suppose -7*x - 3*j + 519 = -3*x, -t*x + 5*j + 279 = 0. Is 17 a factor of x?
False
Let c(z) = 11*z**2 - 15*z + 1. Let s be c(-5). Let d = 531 - s. Does 15 divide d?
True
Suppose -2*l - 7747 = -w, -38670 = -5*w - 14*l + 11*l. Is w a multiple of 39?
False
Let l = 70 - 68. Suppose -n + 7 = l. Suppose 5*c + d - 5 = n, 2*d = 5*c - 10. Does 2 divide c?
True
Is 94 a factor of 5 + (-227471)/(-5) + 32/40?
False
Let a(z) = 1485*z - 402. Is 39 a factor of a(4)?
True
Let p(y) = -26*y + 34. Let s be p(-8). Suppose -11*t + 407 + s = 0. Suppose t = 4*k - 77. Is k a multiple of 6?
False
Is ((-16188)/(-1136))/((-1)/(-100)) even?
False
Let q = -49 - -63. Let n(r) = -2*r + 33. Let o be n(q). Suppose 0 = u - o*u + 256. Does 16 divide u?
True
Let a = 8495 + 4154. Does 124 divide a?
False
Suppose -19 = l - 24. Suppose -l*b - 2*x + 18 = 0, -b + 5*b - 18 = 2*x. Is ((-30)/b)/((-66)/176) a multiple of 5?
True
Let m(l) = 3*l + 33. Let i = 22 - 33. Let a be m(i). Suppose a*y + 472 = 4*y. Is y a multiple of 20?
False
Let x(n) be the second derivative of n**4/4 + 4*n**3/3 - 39*n**2 - 7*n - 2. Is x(23) a multiple of 11?
False
Let m(x) = -10 + 1 + 8*x + 27. Does 6 divide m(9)?
True
Suppose -412*v + 4588 = -411*v. Is 7 a factor of v?
False
Let x = 1639 + -878. Suppose 0*z = z - u - x, u - 751 = -z. Suppose 11*o - z = 4*o. Does 24 divide o?
False
Let l = -1549 - -779. Let d = 1100 + l. Is 22 a factor of d?
True
Let q(c) = c**3 - 3*c**2 - 2*c - 6. Let j be q(5). Let a = j + -34. Suppose d + 7*d - 240 = a. Is d a multiple of 3?
True
Suppose 10*z = 18 + 32. Let s be z + -8 - (-3)/(-3). Is 7 a factor of 282/10 - s/(-20)?
True
Does 18 divide 2*701 - -5*(-28)/(-70)?
True
Let z be 3*(-3 - -2) - (-12 + 9). Is (110 - -7) + z + -2 a multiple of 9?
False
Let c be -5*(4/5)/2. Let t be (c/(-3) - 55/15)/(-1). Suppose -2*g - b - 37 = -t*g, 5*g = -b + 179. Does 6 divide g?
True
Let q(y) = -12*y**3 + 4*y**2 + 34*y + 90. Is q(-3) a multiple of 8?
False
Let a be (84/70)/(12/2240). Suppose 0 = 223*m - a*m + 594. Is m a multiple of 66?
True
Let d be 45/(-3)*(-11)/((-198)/24). Let a = d + 77. Is 10 a factor of a?
False
Let g = -163 - -16. Let z = g + 164. Does 7 divide z?
False
Let k(f) = 17*f**2 - f - 2. Let s = 9 + -3. Suppose -2*y - s = 4*y. Is k(y) a multiple of 3?
False
Suppose -3*a + 12 = 0, -2*w - 9*a = -14*a + 36. Does 25 divide 6/w*(-500908)/291?
False
Let g = -8 - -25. Suppose -454 - 2589 = -g*z. Is z a multiple of 47?
False
Let b(i) be the third derivative of 35*i**4/12 - i**3 + 175*i**2. Does 22 divide b(7)?
True
Let k(c) = 59*c - 59. Let x(y) = -20*y + 20. Let l(f) = -4*k(f) - 11*x(f). Is 2 a factor of l(-1)?
True
Suppose 0 = -12*w - 4*w - 448. Is 11 a factor of (-966)/w + 6/(-4)?
True
Suppose -9*b - 3400 = -b. Let n be (-2)/(-6) - b/3. Suppose 5*u - 583 = n. Is 39 a factor of u?
False
Suppose 3*j + 10*h = 8*h + 766, 5*j + 4*h - 1274 = 0. Let b = 437 - j. Is b a multiple of 75?
False
Suppose 1 = c - 2, -2*d = 2*c - 350. Is d a multiple of 2?
True
Is 41 a factor of 0 - -4 - ((7 - 17) + -355)?
True
Suppose -g + v = -4, -5*g + 1 = 4*v - 19. Let u(c) = 2*c + 30. Let y be u(-14). Suppose g*q + y*x - 770 = 0, -4*q + 6*x = 5*x - 767. Is 29 a factor of q?
False
Let i(a) = -3*a**3 - 90*a**2 - 71*a - 632. Is i(-32) a multiple of 61?
False
Suppose -y - w + 12565 = 0, -5*w - 123 = -113. Is 4 a factor of y?
False
Suppose 14*y - 12*y = -2*f + 62266, -4*y = 2*f - 62250. Does 11 divide f?
True
Suppose -328*q + 349*q = 35154. Does 93 divide q?
True
Is 9763/7 + (-40)/1260*-9 a multiple of 15?
True
Let a(n) = 179*n**2 - 45*n + 91. Is 31 a factor of a(4)?
False
Suppose 5*u + p + 1702 = 0, -2*u = u + 2*p + 1017. Let s = u + 405. Is s a multiple of 16?
True
Let g be 140/(-40)*(-1 - 1). Let i(c) = c**3 - 2*c**2 + 11*c + 8. Is i(g) a multiple of 30?
True
Let s(c) = 2*c + 28. Let z be s(-13). Let p be z/((-10)/(-15))*1. Suppose -j = 3*g - 15, p*j = 4*g - g + 21. Is j a multiple of 2?
False
Let g = -50 - -56. Let p be 42/9*g/(-8)*-2. Suppose -109 = -4*b - 5*z, 3*b - p*b = 3*z - 99. Is b a multiple of 7?
True
Let b(x) = -x**3 + 5*x**2 + x - 3. Let l be b(5). Suppose v - l = 1. Suppose -786 = -5*w - 2*j - 258, -v*j + 220 = 2*w. Is 8 a factor of w?
True
Let b = 11056 - 7575. Is b a multiple of 115?
False
Let t be ((-9)/(-9))/((-1)/75). Does 10 divide 15/t*(-1586 + 1)?
False
Suppose -121*y + 4298636 = 42*y. Is y a multiple of 19?
True
Suppose 1370*z + 718428 = 1439*z. Is z a multiple of 226?
False
Let d be 2 + -5 + (7 - 2). Let f(h) = 3. Let t(v) = v**2 - v + 16. Let o(z) = -5*f(z) + t(z). Does 2 divide o(d)?
False
Let x = 267 + -262. Suppose 5*z + x*z = 3860. Is z a multiple of 40?
False
Let b = 43861 - 43561. Does 12 divide b?
True
Suppose 0 = 4*a - a, 0 = -5*d - a + 21105. Is d a multiple 