 - 2. Let t be v(-2). Suppose 0 = -2*q + 4*w - 142, 6*q - 4*q + 151 = w. Let k = t + q. Is k a multiple of 8?
False
Suppose 794074 = -8*o + 80*o - 2821982. Is o a multiple of 14?
False
Suppose -3*b + 5060 = 5*v, 0*b + 4*b + 4080 = 4*v. Suppose 7*n - v = 1701. Does 11 divide n?
False
Let o(b) = -6*b**3 + 13*b**2 + 16*b + 16. Does 16 divide o(-8)?
True
Let l be (-4071)/115 - 6/10. Let d = -77 + -17. Let x = l - d. Does 34 divide x?
False
Suppose 29328 = 5*z + 3*b, -9076 = -2*z + 4*b + 2650. Is z a multiple of 17?
True
Let i(t) = t**3 + 4*t**2 - 43*t - 72. Let k be i(-11). Let r be (-33)/((-2)/(-44)*3). Let l = r - k. Does 28 divide l?
False
Suppose 0 = 3*s - 9, -5*q - 54 = 2*s - 335. Suppose q*d - 51*d + 244 = 0. Let m = d - -130. Does 9 divide m?
False
Suppose 8*b - 18*b = -770. Suppose -43 = -l + b. Is l a multiple of 12?
True
Suppose -j - j = -g + 61, j + 2*g + 33 = 0. Let f = -27 - j. Suppose -4*q = 5*c - 114, -f*c = 3 + 5. Does 17 divide q?
False
Suppose 0 - 6 = 3*u, 5*f - 2*u = 9. Let o be (7 - -2) + -10 - (f + -29). Let d = 42 - o. Is 5 a factor of d?
True
Let q(v) = -127*v - 114*v - 2 - 17*v + 60. Let s be q(8). Does 10 divide (-54)/72 + s/(-8)?
True
Let f(h) = 2*h**2 + 14*h - 49. Let c be f(17). Let k = c + -399. Does 16 divide k?
True
Suppose -5*f + 0*g + g - 1242 = 0, 738 = -3*f + 3*g. Suppose 0 = -11*b + 29826 - 29793. Does 16 divide f/(-6)*(b - 1)?
False
Let q(u) = 1. Let f(b) = 14*b - 2. Let l = 68 - 73. Let a(c) = l*q(c) - f(c). Does 23 divide a(-9)?
False
Suppose 3*s - 1500 = -i, -4*s + 2000 = -i - 3*i. Suppose 4*t - 3*t = -l - 108, 5*t - s = 5*l. Let g = 399 + l. Is 11 a factor of g?
False
Let v(i) = -12*i - 44. Let a(x) be the second derivative of -x**5/20 - x**4/4 + 5*x**3/3 + 3*x**2 - 22*x. Let g be a(-4). Does 43 divide v(g)?
True
Let u = -703 + 688. Does 6 divide (102/(-15))/1*u?
True
Suppose -46 = 29*p - 6*p. Let u(w) = 176*w**2 - 3*w + 4. Is u(p) a multiple of 17?
True
Suppose -7*m = 658 + 406. Let n = m + 807. Suppose 5*w - w - 836 = 4*g, 3*w = -4*g + n. Is 42 a factor of w?
False
Suppose l = -z + 85 - 6, 79 = l - z. Suppose l*h = 67*h + 9288. Does 18 divide h?
True
Let m = 505 + -435. Does 10 divide m?
True
Suppose i = j + 3, -3*i + 4 = -j + 3*j. Suppose 5*f = 4*s + 778, -3*f + i*s = -4*f + 150. Is f a multiple of 14?
True
Suppose 7*v = 357 + 371. Does 3 divide v?
False
Suppose 85*c - 53*c = 17472. Suppose -c = -7*m - 231. Is m a multiple of 5?
True
Suppose -12562 = -82*l + 886. Is l a multiple of 6?
False
Suppose -5*h + g = -99936, 5*g - 9*g = -16. Does 4 divide h?
True
Let z be (-78*6/27)/(2/78). Let m = z + 1076. Is m a multiple of 40?
True
Let s be ((-1809)/36)/((-2)/(-8)). Let f = s - -481. Does 28 divide f?
True
Suppose -4*h = -k - 173513, -k - 477 = -484. Is h a multiple of 90?
True
Suppose 41*k - 309072 = 311012. Does 38 divide k?
True
Let i(l) = 32*l - 2. Let g be i(-2). Let c be 17507/246 + (-1)/6. Let q = g + c. Is q even?
False
Let n be ((-25)/125)/(2/(-70)). Is 26 a factor of (-35 + 7)/n*-42?
False
Let f(n) = -217*n - 20. Let h = -563 - -561. Does 22 divide f(h)?
False
Let m(s) = -380*s - 73. Is m(-11) a multiple of 20?
False
Suppose 9 - 12 = -f. Let i be ((-73)/(-3))/(1/3). Let x = f + i. Is x a multiple of 32?
False
Suppose -3*l = 2*c - 59085, 0 = 2*l - 2*c - 49542 + 10152. Is l a multiple of 15?
True
Suppose -5*p + v = 3245, 10*v = 6*v. Let w = p + 1108. Is w a multiple of 39?
False
Let f = 20817 + -10430. Is f a multiple of 108?
False
Suppose -2*m + 16492 = -2*h, -4*m = 3*h - 17760 - 15203. Is 19 a factor of m?
False
Let f(w) = -231*w**3 + 5*w**2 + w - 6. Does 51 divide f(-3)?
True
Let w(j) = -j**2 - 7*j - 6. Let x be w(-3). Let r(s) = -9*s + x*s + 4 - 5. Is 2 a factor of r(-5)?
True
Let w = 175 + -267. Let y(b) = -b**3 + 37*b**2 - 5*b + 115. Let h be y(37). Let i = h - w. Is i a multiple of 17?
False
Let q = -2766 - -10206. Is q a multiple of 30?
True
Suppose 887 = -25*i - 1013. Suppose -154 = 2*n + 238. Let g = i - n. Is 20 a factor of g?
True
Let v(r) = 11*r + 3. Let i(y) = -y**2 - 8*y + 7. Suppose 0*p - 30 = 5*t - 2*p, -50 = 5*t + 2*p. Let n be i(t). Does 8 divide v(n)?
True
Suppose 53*u - u - 8736 = 0. Is u a multiple of 23?
False
Let s(g) be the second derivative of 9*g**3/2 + 3*g**2 - 7*g - 3. Suppose 0 = -4*c + 3*k + 14, -2*k - 2 = -k. Does 6 divide s(c)?
True
Does 31 divide (3/(-4))/((-27292)/2480 + 11)?
True
Let j be (13/1)/(10/(-20)). Let w be -3 - 77/(-28) - 653/(-4). Let i = w - j. Is 27 a factor of i?
True
Let a(x) = 27*x + 9. Suppose -128 = 5*t + 3*t. Let q = t - -19. Is a(q) a multiple of 15?
True
Suppose -18*x + 17458 - 5947 = -9*x. Does 4 divide x?
False
Let p(r) = -r**2 - 51*r + 109. Does 40 divide p(-31)?
False
Let c(b) = -12*b - 157. Let i be c(-7). Let y = 107 - i. Is 17 a factor of y?
False
Let w be (-12)/(-2 + 23/10). Let r be 24/w + 1534/(-10). Let g = 65 - r. Does 21 divide g?
False
Suppose -5*h + 31 = -64. Is 2 a factor of (-30*h)/(-6) + 0?
False
Suppose 4*s + 11*j + 5572 = 8*j, 0 = 3*j. Does 39 divide (-21)/(-3)*(5 + s/(-49))?
True
Suppose 19*s - 11 = 8*s. Suppose m - 287 - s = 0. Is 9 a factor of m?
True
Let u(b) = 42*b**2 + 24*b + 60. Does 18 divide u(-2)?
True
Let l be ((-5 + 5)/6)/(-1). Suppose 2*v - 457 = p, 2*p - 894 = -4*v - l*p. Is v a multiple of 33?
False
Let k = -43809 - -65654. Does 101 divide k?
False
Suppose 354*s - 374*s + 94640 = 0. Does 91 divide s?
True
Is (60/45 - 2 - 190/12)*-518 a multiple of 6?
False
Let j(n) = 262*n - 90. Suppose 37*f = 272 - 50. Does 13 divide j(f)?
True
Suppose -737*a + 5627927 + 5544256 = 0. Is 31 a factor of a?
True
Let p(c) be the second derivative of -c**5/20 - c**4/2 + c**3/2 - 7*c**2/2 - 15*c. Let t be p(-7). Suppose -189 = -7*v + t. Is 3 a factor of v?
True
Let r be ((-484)/(-495) + (-2)/(-9))*-15. Let d be (-50)/r + 4/18. Suppose -d*a - 374 = -3*p + 2*a, p = a + 128. Is p a multiple of 7?
True
Suppose 9*l + 22604 - 80357 = 0. Does 9 divide l?
True
Let i(u) = -26*u - 52. Let t = -263 + 256. Is 5 a factor of i(t)?
True
Let i be (0/7)/9*(-1)/3. Suppose 0 = -3*c - 6, i*c = x + 3*c - 288. Is x a multiple of 42?
True
Let v(l) = -5*l**2 + 324*l - 123. Does 140 divide v(55)?
False
Let u(m) = 7615*m**2 - 40*m - 39. Is 17 a factor of u(-1)?
True
Let y = 155 - -150. Suppose -61*d + 51*d = 1690. Let s = d + y. Does 27 divide s?
False
Let s(g) = -g**2 + 37*g + 11. Let m(f) = -f**2 - 16*f + 36. Let b be m(-13). Let o be (-20)/(5/(b/(-10))). Is s(o) a multiple of 17?
True
Let c = -26 + 28. Suppose -c*f + 3 = j, -4*j + 17 - 57 = -5*f. Suppose f*y + 6*s - 352 = 2*s, 2*y - 3*s - 171 = 0. Is 16 a factor of y?
False
Let x(m) = m**2 + 35*m - 118. Let l be x(-21). Let i = l - -664. Is i a multiple of 7?
True
Suppose -54 = 13*c - 301. Suppose c*v - 286 = 17*v. Is 11 a factor of v?
True
Let u = -2379 + 4749. Is 7 a factor of u?
False
Suppose 0 = -10*i + 7*i + 27. Suppose -t + 0*t + 6 = -2*o, 3*o = 2*t - i. Does 12 divide 5/((-20)/(-236)) - t?
False
Suppose c = -3*x + 2*c + 43, 5*x = 5*c + 65. Let z be ((-144)/10)/(1/x). Is (z/(-40) + -3)*(-200)/(-3) a multiple of 10?
True
Suppose 0 = -d - 3*k + 12, 0*k + 16 = 3*d - k. Suppose -5*y - 5*u + 1005 = 0, u = 9 - d. Is 14 a factor of y?
False
Suppose -55316 - 9827 = -31*c - 3608. Is 2 a factor of c?
False
Suppose -111*u + 124*u - 234 = 0. Does 2 divide (u/(-36))/(2/(-20)) + 53?
True
Suppose 99*h - 922845 = 977163. Does 133 divide h?
False
Is 4 a factor of (-36)/(-702)*-13*-2892?
True
Let t = 208 - -840. Suppose t = 4*q - 2*s, 4*q - 1381 = 5*s - 321. Does 27 divide q?
False
Suppose m = l - 3, 4*m - 2*m + 12 = 5*l. Suppose 0 = -2*z + 5*c + 22 + 312, -306 = -2*z - l*c. Does 10 divide z?
False
Let f(g) = 89*g - 105. Let b be (-1 - 8/(-28))/((-3)/21). Is f(b) a multiple of 20?
True
Let g = -124 - -133. Suppose 0 = -g*b + 14*b + 10. Is 33 a factor of (-2)/b - (-3 + -95)?
True
Let f(h) = 32*h + 156. Suppose -v - 29 = -4*x, -14*x + v = -15*x + 1. Does 12 divide f(x)?
True
Let x(n) = n**2 - 6*n - 17. Let h be x(8). Let t be (3*10/45)/(h/(-57)). Suppose -3*g + 112 = -t. Is g a multiple of 26?
False
Let b(z) = -152*z**3 - 3*z**2 + z. Let l(i) = i**2 - 6*i + 9. Let k be l(4). Let s be b(k). Is 26 a factor of 3/(-6)*(s - 2)?
True
Suppose 0 = 2*f + 3*a + 411, 3*f = 5*f + 5*a + 409. Let c = -496 - -149. Let j = f - c