 -8. Suppose -218 = -4*t + j*r, 4*t - 87 = -r + 140. Is 21 a factor of t?
False
Let c = -601 + 2857. Is 2 a factor of c?
True
Let r be (-2)/9 + (-152)/(-36). Suppose -r*x = -4*h + 2188, 2*x - 4*x + 2756 = 5*h. Suppose 7*o - h = 2*o. Is o a multiple of 5?
True
Let r(a) = -a**2 + 13*a - 19. Let v = -103 - -115. Let p be r(v). Let o = 88 - p. Is 7 a factor of o?
False
Let v = 219 + -19. Suppose i + 2*i + 4*h - 611 = 0, -i - 5*h = -v. Let o = i + -112. Does 31 divide o?
True
Suppose 6*m - 42 = -36. Does 44 divide m*189 - (-52 - -58)?
False
Let g(l) = -932*l + 3253. Is g(0) a multiple of 5?
False
Let o(d) = d - 26. Let i be o(28). Suppose 3*y = 2*z + 115, 76 = 2*y - i*z - 0*z. Is y a multiple of 2?
False
Let f(s) = 2*s**3 + 118*s**2 + 200*s + 14. Does 5 divide f(-16)?
True
Let b be (-6)/(-4) - (-15)/10. Suppose -4*k + b*k = -1. Is 19 a factor of -76*(-1 + k/2)?
True
Let o(v) = 455*v**3 + 3*v**2 - 4*v + 1. Let u(y) = y - 15. Let s be u(16). Is 57 a factor of o(s)?
False
Does 43 divide (36/(-10))/((-204)/(-510)) + 2403?
False
Suppose 2*t + 35294 = 4*o - 35714, 3*o - 2*t - 53258 = 0. Is o a multiple of 71?
True
Let i(b) = 286*b**2 + 30*b + 21. Let u be i(9). Is u/147 - 6/(-14) a multiple of 15?
False
Let u be 0/((0 - -1)*-1). Suppose 5*r + 20 - 130 = u. Is ((0 - -21) + -1)*99/r a multiple of 18?
True
Let a be ((-2)/(-10))/(2/(-585))*2. Let k = 125 + a. Is k a multiple of 7?
False
Let l = -9947 + 19019. Is l a multiple of 74?
False
Let a(x) = -102*x**3 + x**2 - 1. Let p be a(-1). Suppose -79*t + 76*t + p = 0. Suppose 2*k - t = -14. Does 10 divide k?
True
Suppose -2*v + 340 = 5*r, -4*v + 3502 = -5*r + 2702. Is v a multiple of 5?
True
Suppose 463 = 2*t + 5*k, 0*k - 2*k + 700 = 3*t. Is 6 a factor of t?
True
Suppose 2*f = 14 - 10. Let y be f/3*(-45)/(-6). Suppose -q + 114 - 39 = 4*c, -87 = -y*c + q. Is c a multiple of 9?
True
Suppose -4932 = -4*c - 3*y, 137 - 1433 = -c + 15*y. Does 4 divide c?
True
Suppose 0 = -b + 4*w + 16 + 2, -2*b - 3*w - 8 = 0. Suppose 0*y + 2*l - 56 = 3*y, -2*l - 34 = b*y. Does 17 divide (-4)/y + 13216/144?
False
Suppose -2*o = 4*h - 0*h + 20, 0 = 3*h - 3*o + 6. Let f = -18 + 21. Is (-7)/((-84)/272) - h/f a multiple of 4?
True
Suppose 0 = -3*s + 29 - 11. Let u be 10/20*s*1. Suppose -m = 5*y - 543, -4*y + 99 = -3*y - u*m. Does 24 divide y?
False
Does 17 divide 179*((-918)/3)/(-18)?
True
Let g = -458 - -1098. Let s = g - 415. Is s a multiple of 45?
True
Let f be (-26)/(-10) - 6/(-15). Suppose -l + 0*d = -5*d - 343, -f*l + 5*d + 989 = 0. Suppose -108 + l = 5*n. Is n a multiple of 4?
False
Let f = -3329 + 3435. Let r = 95 - 21. Let w = r + f. Is w a multiple of 15?
True
Suppose 5986*k + 225 = 6001*k. Let i(r) be the third derivative of 7*r**4/24 - r**2. Does 15 divide i(k)?
True
Let k(w) = w**3 - 2*w**2 - 4*w - 4. Let v be k(4). Suppose 667 + 353 = v*i. Suppose 5*m = -d + 187, -2*m + 10*d - 7*d = -i. Is 5 a factor of m?
False
Let c be 2/(4 + (-610)/155). Suppose -h - 5 - c = -5*d, 0 = -4*d + 3*h + 20. Suppose 0 = -d*j + 4*j + 204. Is 4 a factor of j?
False
Suppose -5*k = -5*d + 6*d - 497, 3*k - 312 = 4*d. Suppose 0*c + k = -5*c. Is 35 a factor of (21/(-2))/(((-14)/c)/(-7))?
True
Let z(j) = 2*j + 12. Let f be z(0). Suppose 14*u = f*u + 110. Suppose 60*a - u*a = 140. Is 14 a factor of a?
True
Let i be (2/6)/(25/28725). Suppose k = i - 93. Is k a multiple of 10?
True
Let m(s) = -115*s**3 - 4*s**2 - 6*s - 2. Let r be m(-1). Suppose -k + 7 + 0 = 0. Suppose -k*i - r = -12*i. Does 6 divide i?
False
Let a(n) = -48*n - 158. Let t(b) = 50*b + 154. Let w(j) = 5*a(j) + 6*t(j). Is 8 a factor of w(6)?
False
Suppose 0 = 2*a + 2*a + 5*s - 128, 3*s - 160 = -5*a. Suppose -28*q + 536 = -a*q. Let f = 193 + q. Does 12 divide f?
False
Suppose 0 = -22*p + 29*p - 3528. Suppose -14*o + 17*o = p. Is o a multiple of 14?
True
Suppose 0 = 5*d + 3*y - 2211, 2*y - 2214 = -5*d - 0*y. Is 8 a factor of d?
False
Let q = 115 + -102. Suppose -2*x + q = 4*r - 141, r = -5*x + 61. Is (-4)/r*3 + 3964/12 a multiple of 15?
True
Suppose -5*p + 398475 = 30*p - 0*p. Is p a multiple of 207?
True
Let c be (-1)/(-5) - 2366/(-70). Let h = c + -24. Is (-304)/(-10) - 4/h a multiple of 4?
False
Let m(l) = 4*l - 30. Let u(i) = 5*i - 31. Let v(g) = 2*m(g) - 3*u(g). Let z be (-9)/(-6)*48/18. Does 2 divide v(z)?
False
Let v = 9 - 9. Suppose -32 = -v*b - b. Is 2 a factor of (2/(-4))/((-4)/b)?
True
Let x = -79 - -366. Suppose 6*h + x = 1121. Suppose p - 2*p + h = l, -4*p + 541 = l. Is 16 a factor of p?
False
Let r(q) = -q**2 - 58*q - 181. Let l be r(-54). Let y(i) = 10*i**3 + 2*i**2 - 2*i + 1. Let t be y(1). Let x = l - t. Does 4 divide x?
True
Let y be ((-17)/2)/((-7)/56). Let t = 143 - 142. Let q = y - t. Is 9 a factor of q?
False
Suppose -3*h = -217*k + 220*k - 12693, -4*k + 3*h + 16889 = 0. Does 16 divide k?
False
Let k(y) = y**3 - 3*y**2 - 6*y + 386. Is 2 a factor of k(0)?
True
Let t(s) = -2*s + 20. Let x be t(8). Suppose 527 = -x*i - 145. Let z = -90 - i. Is z a multiple of 6?
True
Let w be (0*4*4/48)/1. Suppose -r = 0, 5*u - 9*u - 2*r + 480 = w. Suppose -20*z = -22*z + u. Does 8 divide z?
False
Let x(k) = -k**3 - 19*k**2 + 5*k + 7. Let l be x(-19). Is 3 a factor of -2*1/2 - l?
True
Suppose -17*i + 261 + 2208 + 880 = 0. Is i a multiple of 9?
False
Let t(n) = -73*n**2 + 35*n**2 - 53 - 53*n + 36*n**2. Does 15 divide t(-22)?
False
Let z = 23 + -25. Let b be (-1)/((1/z)/((-106)/4)). Let j = -30 - b. Is j a multiple of 8?
False
Let y(o) = 127*o**3 - 7*o + 21*o**2 - 65*o**3 + 1 - 61*o**3. Is 37 a factor of y(-21)?
True
Let d(j) = 11*j**2 - 106*j - 4. Does 8 divide d(11)?
False
Let r(o) = -1. Let y(u) = u**3 + 13*u**2 + u + 15. Let s(b) = 5*r(b) + y(b). Let q be s(-13). Does 6 divide 1 + q + -1 + 18?
False
Suppose 0 = 13*u + 1307 - 4323. Is 2 a factor of u?
True
Is 7204 + (-7 - (-13 - 0)) a multiple of 39?
False
Let y(p) = -73*p - 59. Let t be y(-9). Is 13 a factor of ((-16)/(-18) + (-1)/(-9))*t?
True
Let x(v) = v**3 - 7*v**2 - 4. Let a be x(8). Suppose -5*z + a = 140. Does 12 divide (z/6)/(2/(1 + -55))?
True
Let j(u) = 10*u**3 + u**2 - 1. Let w be j(-1). Let d(p) = -36*p - 13. Let m be d(w). Let v = -199 + m. Is 37 a factor of v?
True
Let l = 2657 - 1667. Is 66 a factor of l?
True
Let k(a) = 2228*a - 11671. Does 12 divide k(22)?
False
Let k(j) = -22*j - 161. Let p be k(-7). Let g = 156 - -94. Let s = g + p. Does 27 divide s?
True
Suppose -5*j + 14 = -11. Let o be (2/j)/(-1) + (-19966)/335. Is 12 a factor of ((-4)/(-10))/((-1)/o)?
True
Let w = -46 - -39. Let r be -2 - 15/(4 + w). Suppose -2*z - 4*x = -92, -5*z + 3*z + 127 = -r*x. Is z a multiple of 4?
True
Let b(w) = 3*w**2 + 6*w + 49. Let g be b(-13). Let z = 608 - g. Is z a multiple of 13?
True
Suppose 0 = -3*d - 5*i + 12278, 8*i - 16419 = -4*d + 11*i. Does 56 divide d?
False
Suppose 5*o - 5*x - 22 = -9*x, 5*x - 13 = o. Suppose 1260 = -o*i + 4*i. Is i a multiple of 18?
True
Let c(g) = 65*g**3 - g**2 - 3*g + 3. Let k = -56 + 58. Let t be c(k). Suppose -4*w - 3*a = -2*a - 531, t = 4*w - 5*a. Is w a multiple of 22?
True
Suppose 0 = -2*j + 4*j - 34. Suppose 11*x + 255 = 167. Let f = j - x. Is f a multiple of 5?
True
Suppose 5*w = -5*y - 20, 7*y + 5*w + 20 = 3*y. Suppose 21*a + 552 - 4857 = y. Does 14 divide a?
False
Let v = 30 + -28. Suppose -3*l - 24 = -p - 6*l, 29 = p - v*l. Suppose p*z + 396 = 31*z. Is 21 a factor of z?
False
Let g be 102/24 + (-1)/4. Suppose -g - 81 = 5*f. Let a = f - -41. Does 19 divide a?
False
Let p(v) = -v**3 - 32*v**2 + 43*v - 10. Let s be p(-35). Suppose s = 19*u - 13*u. Is 40 a factor of u?
True
Let g be -8 - (-2 + -28*31). Suppose -1042 = -8*h + g. Is h a multiple of 14?
True
Let a = -3 + 3. Suppose -5*m + 361 - 101 = a. Let i = m + 57. Is 14 a factor of i?
False
Let l(d) = 9*d - 1. Let j be (-1 - -1)*(-2)/(-6) - -6. Suppose -j*r = -8*r + 26. Is 29 a factor of l(r)?
True
Suppose 0 = -2*z + a - 394, -2*z + 2*a - 386 = -a. Is ((0 - z) + 1)*54/45 a multiple of 15?
True
Suppose 3*x = -4*b - 15, -2*b - 2*x - 5 = -x. Suppose -59*p + 69*p - 1450 = b. Is p a multiple of 35?
False
Suppose 7*j = 790 + 526. Suppose 2*a + j = 4*a. Suppose -5*d + 433 = h, -2*h + a = 3*d - 170. Is 12 a factor of d?
False
Let n = -7800 - -11928. Does 258 divide n?
True
Let k be (5/(-5) - -1)/(2/2). Suppose 5*n = -k*n, -4*i + 408 = n. Is i a multip