. Suppose -19*s + 24*s = 210. Let k = c - s. Does 14 divide k?
True
Suppose -5*j - 8*j + 52 = 0. Suppose 3412 = 4*i + 3*v - v, -1700 = -2*i - j*v. Does 14 divide i?
True
Let f(y) = y**3 + 34*y**2 + 7*y - 4. Does 213 divide f(-30)?
False
Let u = 61 - 74. Let j = u + 14. Suppose v = -t + j, 5*v - v - 5*t = 40. Does 2 divide v?
False
Suppose -4*k + 923 = 3*p, -2*k - k = -p + 312. Let d = p + -160. Is d a multiple of 19?
False
Let w(z) = -46*z + 24. Let g be w(-2). Suppose g*n + 304 = 118*n. Is 9 a factor of n?
False
Let k(o) = -o**3 - 15*o**2 - 16*o + 18. Suppose -17 = b - 2. Is k(b) a multiple of 35?
False
Let r = 544 - 211. Is 16 a factor of -5 + 7 + -3 + r + 4?
True
Suppose 63*l + 170456 - 1756481 = 18*l. Does 35 divide l?
True
Let o be 9090/(-4)*(-32)/(-24). Is (o/(-12 - -7))/((-2)/(-1)) a multiple of 17?
False
Let q(s) = 3*s - 17. Let b be q(5). Suppose -4*h - j - 89 = 0, 2*h - 4*j - 41 = 3*h. Does 11 divide (-1120)/h - b/3?
False
Let w be (-4)/14 + (-108)/(-84) + 6. Suppose -w*h - 517 + 1763 = 0. Does 42 divide h?
False
Suppose 5*y - 3*t - 6986 = 0, 11*y - 13*y + 2810 = 4*t. Does 25 divide y?
False
Let y(w) = -4*w**2 + 14*w - 19. Let b(r) = 4*r**2 - 15*r + 19. Let v(i) = -2*b(i) - 3*y(i). Is v(5) a multiple of 59?
True
Let v(c) be the second derivative of c**5/10 + 8*c**4/3 - 2*c**3/3 - 31*c**2/2 - 200*c. Does 16 divide v(-13)?
False
Let k = 318 + -309. Does 6 divide (k/(-2))/(2 + 11/(-4))?
True
Let k(h) = -h**3 - 11*h**2 - 8*h - 11. Let a(g) = -6*g - 1. Let j be a(-4). Suppose j + 10 = -3*i. Is 11 a factor of k(i)?
True
Suppose -48633 + 21771 = -20*l + 29878. Is l a multiple of 47?
False
Suppose -4*q = -4*c - 20, -4*c - 18 + 5 = 3*q. Let o be (-7 + (c - -1))/1. Let t(l) = l**3 + 11*l**2 + 5. Is 24 a factor of t(o)?
False
Let r(p) = 18*p - 385. Is r(91) a multiple of 3?
False
Let x(y) = -5*y + 20. Suppose -f + 9 = -5*t, 2*t = -5*f + 20 - 2. Let w be x(f). Suppose w = -5*k + 11*k - 162. Does 4 divide k?
False
Let j = -70 + 72. Suppose -136 = -4*k - 4*b, 0*b = 2*k - j*b - 72. Suppose -6*t = -t - k. Does 2 divide t?
False
Suppose -26 = -3*b - k, 3*k = -3 + 18. Suppose 0 = 4*f - 4*a + b*a - 649, -186 = -f + 4*a. Is f a multiple of 19?
False
Let y(i) = -i**3 + 3*i**2 + 5*i - 1. Let x be y(4). Let k be 6 - (20/(-5) + 6). Suppose 2*b + 52 = 5*f, 0*f = x*f - k*b - 20. Is f a multiple of 2?
True
Let k = -19 - -22. Suppose 5*o + 5*n - 50 = 0, 5*o + k = -n + 41. Suppose 3*a = w - 336, 2*w - o*a - 652 = -6*a. Is w a multiple of 18?
True
Suppose -4*v + 0*v = 108. Suppose 2*b = 4*b - 5*z + 64, -8 = 4*z. Let l = v - b. Does 5 divide l?
True
Let s(q) = q**2 - 12*q + 37. Let j be s(5). Suppose -j*t + 93 = 15. Is t a multiple of 3?
True
Suppose 4*s = -12*s + 6000. Let k = -25 + s. Does 39 divide k?
False
Suppose 167 = -6*c + 1199. Suppose -108 = c*t - 181*t. Does 3 divide t?
True
Let s be 12/9*(-33)/22. Let i be (s/4)/((-3)/888). Suppose q = -q + i. Does 13 divide q?
False
Let t = 3950 + -1652. Suppose 82 + t = 7*r. Does 24 divide r?
False
Let r(u) = 8*u**3 - 13*u**2 + 5*u + 33. Let o(a) = -9*a**3 + 13*a**2 - 5*a - 34. Let k(h) = 6*o(h) + 7*r(h). Is k(8) a multiple of 8?
False
Let z = -585 - -587. Let x(p) = 1 + 4*p - 1 + 3*p**3 - 3*p**2. Is 5 a factor of x(z)?
True
Let q = 55 + -50. Let m(z) = -z**3 + 9*z**2 - 14*z + 12. Let s be m(q). Suppose 45*h - 81 = s*h. Is 10 a factor of h?
False
Suppose -31312 = -7*l - 953. Is l a multiple of 5?
False
Let m(v) = v**2 - 10*v + 15. Let i be m(8). Is 16 a factor of 1*320/(3 - i)?
True
Is 24 a factor of 16921/(-3)*(2/(-5) - 1232/220)?
False
Is (-45981)/(-52) + 1/(-4) a multiple of 31?
False
Let a(t) be the first derivative of -t**5/15 - 10*t**3/3 - 5. Let h(p) be the third derivative of a(p). Does 32 divide h(-12)?
True
Let l be (23/(-2))/((-9)/234). Let w = l - 7. Let z = w - 148. Is 18 a factor of z?
True
Let u = -47 - -50. Let a(i) = -4*i**3 - 13*i**2 - 7*i**u - 4*i**3 + 5 + 16*i**3 - 12*i. Does 11 divide a(14)?
True
Suppose -4*m - 2*h + 4584 = 0, 2*m - 2284 = 43*h - 46*h. Is m a multiple of 41?
True
Let q be (-21)/(-28)*8*1. Suppose 10*a - 3*o = q*a + 417, 2*a - 195 = -3*o. Is a a multiple of 6?
True
Let d = -1554 + 797. Let s = -379 - d. Is s a multiple of 27?
True
Let b(i) = 66*i**2 + 6*i + 5. Let u(r) = -r**3 - 4*r**2 - 8*r - 4. Let x(q) = q**2 + q + 1. Let t(y) = -u(y) - 5*x(y). Let c be t(0). Is b(c) a multiple of 4?
False
Suppose 273 = -10*d + 1023. Let b = d + 91. Does 7 divide b?
False
Let y = 1611 - -2736. Does 69 divide y?
True
Let u(d) = 5*d**3 + 10*d**2 - 22*d - 2. Is 76 a factor of u(8)?
False
Suppose -29*t = 82573 - 314167. Is t a multiple of 22?
True
Let f(n) = 3 - 6 + n**3 + 6 + 4 - 15*n. Let i = 13 - 7. Does 20 divide f(i)?
False
Suppose -1916*j + 1977*j = 1685796. Is j a multiple of 16?
False
Suppose -5*s = 2*x - 2100, -3*s = -x - x - 1260. Suppose 5*l = 5*a - s, -a = -5*l - 42 - 30. Suppose q - 17 = a. Is q a multiple of 20?
False
Let v(u) = 6*u - 18. Let d be v(3). Suppose 3*b - 4*n - 143 = d, -9*b + 6*b + 179 = 5*n. Suppose 4*l = 359 + b. Is l a multiple of 22?
False
Let y = 2091 - -3324. Is 12 a factor of y?
False
Let b(j) = -5*j + 36. Let q be b(-16). Let f = 70 + q. Suppose 2*n = -n + f. Is 31 a factor of n?
True
Suppose -4*j - 5*i + 665 = 172, -3*j = -5*i - 396. Let q = 631 - j. Is 7 a factor of q?
True
Let g(h) = -3*h**3 - 16*h**2 - 91*h. Is g(-7) a multiple of 50?
False
Let i(l) be the second derivative of l**4/4 + 2*l**3 - 3*l**2/2 + 9*l. Let u(p) = 2*p**2 + 12*p - 2. Let n(h) = 3*i(h) - 4*u(h). Is 12 a factor of n(-5)?
True
Suppose a = -4*x - 1355 + 5021, 4*x + 11030 = 3*a. Does 17 divide a?
False
Let f = 4910 + -976. Is f a multiple of 54?
False
Let n(m) = 31*m - 27. Let y be n(13). Suppose -p = -l - y, p + 5*l = 2*l + 388. Is 10 a factor of p?
False
Suppose 471828 = 156*a - 19*a. Is 4 a factor of a?
True
Let n be 0 - 1 - (3 + (-1 - 3)). Let q = 17 + -15. Suppose -q*j + 5*j - 617 = -z, -4*j - 5*z + 808 = n. Is 23 a factor of j?
True
Let a(n) = 5*n**2 + 63*n - 26. Suppose -7*i + 0*i - 133 = 0. Is a(i) a multiple of 33?
False
Suppose -574 = -p - 570, -2*i + p = -10780. Does 57 divide i?
False
Suppose -7*o + 3*o - t + 1175 = 0, 600 = 2*o - 2*t. Suppose 3191 - o = 4*u. Is u a multiple of 42?
False
Let u = 2162 - 1045. Is 8 a factor of u?
False
Let g(z) be the first derivative of 63*z**2/2 - z + 7. Let t be g(3). Let h = t + -86. Is h a multiple of 22?
False
Let z(m) = 5*m**3 - 16*m**2 + 192*m + 41. Is 4 a factor of z(11)?
True
Let o(q) be the third derivative of -q**6/60 + 17*q**5/60 + 3*q**4/8 - q**3/3 - 10*q**2. Let m be o(9). Does 18 divide ((-41 + -2)*2)/m?
False
Let c(o) = -o**2 + 4*o - 3. Let m = 31 - 28. Let q be c(m). Suppose q = v - 7 - 86. Does 13 divide v?
False
Let r = -43 - 8. Let d = r - -76. Suppose -13*n - 4752 = -d*n. Is 22 a factor of n?
True
Let k(q) = 129*q - 96. Let n be 3/(-2)*120/(-45). Is k(n) a multiple of 35?
True
Let z(l) = 2*l**2 + 3*l - 3. Let x be z(-3). Let y be ((-2)/(-6) - 2/x)/(-2). Suppose y = 5*k, -4*k + 480 = 4*q - 3*k. Is 17 a factor of q?
False
Let o(l) = -119*l - 26. Let p = 128 + -132. Is o(p) a multiple of 12?
False
Suppose 3*q - 2*q - s = 1696, 2*q - 3388 = 3*s. Is 50 a factor of q?
True
Let b(m) = -m**2 + 10*m + 214. Let w be b(19). Let o(i) = i**2 - 43*i + 49. Is 6 a factor of o(w)?
False
Let m(k) = 3*k + 8. Let z be m(6). Suppose -2*w + 6 = 0, -3*w = 4*s - w - z. Suppose -s*u = -161 - 124. Does 12 divide u?
False
Let b(z) = 4*z**2 + 9*z + 4. Let c be b(-5). Let m = c - -33. Is (m/(-115))/(4/(-230)) a multiple of 5?
False
Let n(v) = 7*v + 101. Let k be n(-19). Does 8 divide (4/k)/(5/(-14920))?
False
Suppose -3*w + 4*n + 55202 = 0, 2*w = n + 10041 + 26752. Is 34 a factor of w?
True
Let i = -551 - -843. Suppose 2*l = -3*c + 412, -9*c + 3*l + i = -7*c. Does 10 divide c?
True
Let x be (231/(-55))/(9/10)*-27. Let b = -3 + 5. Suppose c + b*c = x. Does 14 divide c?
True
Let w be (1/(-2))/(1144/144 + -8). Suppose 2*j = b - w, -3*j + 3*b = -4*j + 13. Does 13 divide (-1)/j*(43 - 1)?
False
Suppose 181 = 21*o - 386. Suppose o*n + 316 = 2584. Is 12 a factor of n?
True
Let t be ((-22)/4)/((-4)/296). Suppose -a + 666 = t. Is a a multiple of 11?
False
Let w be 80/140 - (-51)/21*722. Let u = w + -1186. Is 8 a factor of u?
True
Suppose -5*u + 122380 = 14*h - 