92)/10). Does 38 divide 1 + 269 + (-2 - u/(-5))?
True
Let n(z) = z**3 + 12*z**2 + 11*z. Let l be n(-11). Suppose 8*j - 4*j - 156 = l. Let d = 31 + j. Does 10 divide d?
True
Suppose 0 = -59*n + 37*n + 105006. Does 37 divide n?
True
Let j(p) be the second derivative of -p**3/3 + 3*p**2 + 15*p. Let r be j(3). Does 25 divide 346/(-2)*(-1 - r)?
False
Let k(f) = -33*f + 38*f - 38*f - 159. Does 28 divide k(-15)?
True
Let l(m) = 8*m + 20. Let v be l(-7). Let q = v + 47. Suppose 0 = -3*w + q*w - 1184. Does 27 divide w?
False
Suppose -38198 = -42*v + 169006 - 6276. Is v a multiple of 52?
True
Suppose -81*w - 720295 = -436*w. Does 3 divide w?
False
Let y(v) = -14*v + 16. Let t be y(2). Is ((-1989)/52)/(3/t) a multiple of 9?
True
Suppose -5*p - 46009 = -4*l, 10*l + 61*p = 56*p + 115145. Is 24 a factor of l?
False
Suppose 11*c = 40 - 18. Suppose 0 = -2*b - 2*p + 458, -c*p + 0*p = b - 230. Is 20 a factor of b?
False
Let a(d) = 94*d**2 + 48*d - 410. Is 28 a factor of a(8)?
False
Is 22/2 - 19/((-418)/624470) a multiple of 13?
False
Let a(u) = 6*u + 33. Let s be a(-10). Let n = -14 - s. Suppose 80 = n*r - 895. Is r a multiple of 5?
True
Suppose 16*p + 20 = 19*p + 2*q, -p - 2*q + 12 = 0. Suppose -c + 15*t - 10*t + 600 = 0, -1844 = -3*c + p*t. Does 20 divide c?
True
Suppose 3*x - 3*j = 2*j + 489, -796 = -5*x + 2*j. Let r = x + -127. Is r a multiple of 13?
False
Let d = 342 + -212. Suppose 281*y + 738 + 1962 = 308*y. Is (d/25)/(2/y) a multiple of 52?
True
Suppose 12 - 9 = 3*x. Let b(p) = -p**3 - 3*p**2 - 10*p - 3. Let a(d) = d**2 + d - 1. Let t(u) = x*b(u) - 4*a(u). Is t(-7) a multiple of 11?
True
Let k(l) = -l - 6. Let h be (-18)/8 - (-12)/(-16). Let p be k(h). Is 3*(-1)/p*-4 - -154 a multiple of 15?
True
Let i(x) = -3*x**2 + 17*x + 7. Let y be i(-8). Let p = 471 + y. Is p a multiple of 8?
False
Is (57/6)/19*2298 a multiple of 22?
False
Let s(k) = -k**2 - 24*k - 54. Let i be (-2 - (0 - -2))*2. Does 2 divide s(i)?
True
Let n(p) = 341*p**2 - 3*p - 11. Let a be n(3). Let t = -2158 + a. Is t a multiple of 11?
True
Let k(f) be the third derivative of f**5/60 - 5*f**4/8 + 49*f**3/6 - 43*f**2. Let b be k(14). Suppose b = -2*v + 3*v. Is v a multiple of 26?
False
Let n(r) = 6*r + 18. Let h = 19 - 22. Let y be n(h). Suppose y = 5*c + 4*p - 146, 9*c - 5*c - 88 = 4*p. Is c a multiple of 4?
False
Let t = 1239 + 8762. Does 14 divide t?
False
Let s = 32765 + -20843. Is 9 a factor of s?
False
Let r(w) = -26*w + 115. Let p be r(5). Is (-5)/(p/2)*16230/20 a multiple of 17?
False
Suppose 8*k - 3*k + 35 = -5*q, 0 = -5*q - 3*k - 43. Let d(z) = 8*z**2 - 24*z + 15. Is d(q) a multiple of 43?
True
Does 5 divide 7/(-49)*-21 - (-1 - 236)?
True
Is 12 a factor of -12*(2 - 170060/60)?
False
Let s(a) = -a**3 - 22*a**2 + 24*a + 26. Let i be (46/(-6))/((-10)/(-30)). Let c be s(i). Suppose -c*v + 2*v = 3, -v = -y + 61. Is 11 a factor of y?
False
Suppose -35*u - 11*u + 854588 = 0. Is 14 a factor of u?
True
Suppose -4*b + 0*b + 28 = 5*s, -4*b = -2*s. Suppose r + 2*p = 215, 4*r + s*p = 363 + 481. Is 23 a factor of r?
True
Suppose 94994 = 25*l - 85256. Does 7 divide l?
True
Is 4*-3573*(7 + (-75)/10) a multiple of 13?
False
Suppose -4*i = 4*t - 26948, -6721 = 220*t - 221*t + i. Is 41 a factor of t?
False
Let i(m) = -2*m**3 + 3*m**2 + 2*m. Let q be i(2). Suppose q = 6*p - 7*p - 3. Is (p - 1 - -8) + 211 a multiple of 28?
False
Let m = 120 - 0. Let i = 26 - 24. Suppose -3*t - 5*x + m = -i*x, -3*t = 4*x - 117. Is t a multiple of 19?
False
Is 4 a factor of ((-1016)/(-40)*2 + 8)/((-3)/(-10))?
True
Let z be ((-7)/14)/(1/(-4)). Suppose 3*d + z*i - 2831 = -876, -4*d - 4*i = -2608. Suppose 9*p + 84 = d. Is p a multiple of 2?
False
Suppose -2*u - 6 = 0, -3*b = 2*b - 4*u - 102. Suppose b*c = 24*c - 66. Suppose -c*y + 4583 - 821 = 0. Is y a multiple of 49?
False
Let l(r) = 2248*r**2 - 12*r + 24. Is l(1) a multiple of 18?
False
Let j = 1168 - 442. Let v be j/102*-1 - (-2)/17. Does 17 divide (-1670)/(-14) - (-2)/v?
True
Suppose -o + 0*o - 15470 = -3*k, -2*k - 3*o = -10306. Is 168 a factor of k?
False
Let j be 122/61 + 0 + 8300. Suppose -j + 246 = -53*k. Does 8 divide k?
True
Let b(i) = -9*i**2 + 12*i + 25. Let j(a) = 5*a**2 - 6*a - 12. Let k(p) = -4*b(p) - 7*j(p). Let c be k(-5). Is 10 a factor of c + (5/(-1))/(-5)?
True
Suppose -58*c - 9*c = 9*c - 408044. Does 59 divide c?
True
Let d = -347 - -162. Let y = d + 100. Let i = -29 - y. Is i a multiple of 25?
False
Let b be -5*10/(-75)*348. Suppose h = -3*a + b, 0 = -3*a + 2*a - h + 78. Is 7 a factor of a?
True
Suppose 59*b - 1615234 = 1754846. Is b a multiple of 12?
True
Suppose 24*l = 21*l + 6. Suppose -5*g - 108 = -l*g. Does 9 divide (2 - 2) + (0 - g)?
True
Let s(y) = 177*y + 3. Let u be s(11). Is 21 a factor of (20/(-6))/(19480/u + -10)?
False
Let f(p) = 6*p - 23. Let s = -78 + 98. Let x be f(s). Let h = x - 79. Is 4 a factor of h?
False
Let u(q) = 3*q - 19. Let o be u(8). Suppose -t + 8*c + 330 = 3*c, 1290 = 4*t - o*c. Does 26 divide t?
False
Let x(w) be the second derivative of 103*w**4/4 - 11*w**3/6 + 4*w**2 - 199*w - 2. Is x(1) a multiple of 5?
False
Let f be 25/15*(0 + 3). Suppose z + 5982 = f*r, 0 = 5*r + 3*z + 677 - 6651. Is r a multiple of 25?
False
Let v(p) = p**3 - 28*p + 513 + 503 - 29*p**2 - 1028. Is 6 a factor of v(30)?
True
Suppose 22*d = -8 + 96. Is 7 a factor of 77 - 1/(-4)*d?
False
Let s(g) = g**2 + 3*g. Let n be s(-3). Suppose -4*k = -3*y, 2*y = -4*k - n*k. Suppose -j + 2*j + z - 105 = y, -3*z + 207 = 2*j. Is 27 a factor of j?
True
Let d(u) = u**3 + u**2 + 1. Let t(b) = b**3 - 10*b**2 + 29*b + 15. Let z(o) = -2*d(o) + t(o). Let y be z(-14). Is ((-68)/4)/(y/11) a multiple of 32?
False
Suppose 4*d - 4*n = -64, d - n = -d - 28. Is (-2588)/d*3 + 6/2 a multiple of 65?
True
Let l be 598/(-3) + (-14)/21. Is 19 a factor of ((-1618)/(-10))/((-40)/l)?
False
Suppose -3*z = -4*m - z + 302, 4*z = -2*m + 156. Let y = m + 9. Let q = -58 + y. Is q even?
False
Is (3 + 22/(-8))*11012 a multiple of 12?
False
Does 9 divide 2*(-10)/4 - 59055/(-127)?
False
Let m be (-1)/(-2)*-5*16. Suppose 4*g + 3*a = -125, -2 = 4*a - 22. Let n = g - m. Is n a multiple of 5?
True
Is (938/134)/(-1 + (-463)/(-231) - 1) a multiple of 77?
True
Let i(r) = -2*r - 8. Let x(v) = -2*v**2 + 3*v + 5. Let q be x(3). Let c be i(q). Suppose c = 12*m - 11*m - 170. Is 36 a factor of m?
False
Let t(j) = -16*j - 1. Let c be t(-5). Let u = -3 + 4. Is 9 a factor of c*u - (-9 + 7)?
True
Is 128 a factor of ((-414)/(-24))/(9/1068) + 7 + -6?
True
Let u = 225 + -452. Let z = -200 - u. Does 14 divide z?
False
Let v = -4 - -202. Let k = 109 + v. Is 15 a factor of k?
False
Let z be (60/(-35))/(2/(-7)). Suppose -5*y + 165 + 120 = 0. Suppose z*n - y = 3*n. Is n a multiple of 4?
False
Let n(k) = -4*k + 16. Let x = -8 - 3. Let p be n(x). Is p/(-8)*-10 - (2 + -5) a multiple of 13?
True
Let x(l) = 5*l - 114. Let s be x(23). Does 2 divide 0/(-21)*s/1 - -4?
True
Suppose 4*p + x + 139 = 2661, -2516 = -4*p + 2*x. Is 3 a factor of p?
True
Let u = 27235 + -206. Is 179 a factor of u?
True
Let u(f) = -f**2 - 18*f + 53. Let v be u(-17). Let i = v - 52. Let b = i + 66. Does 12 divide b?
True
Suppose 14*j - 4660 = -6*j. Let z = j - 167. Is z a multiple of 34?
False
Suppose 26*l = 30*l - 53722 - 20738. Is 51 a factor of l?
True
Let l be (2 + (-5)/2)*6 - -523. Suppose -765 = -2*o - 5*r + l, -4*o - 2*r + 2562 = 0. Does 19 divide o?
False
Let f(y) be the second derivative of y**5/20 - 5*y**4/3 + 23*y**3/6 + 9*y**2 - 2*y. Let s(h) = 19*h + 836. Let p be s(-43). Is f(p) a multiple of 8?
False
Let d be (-2 - 46/(-2)) + 0. Suppose 13 = -4*g + d. Suppose 237 = g*u + u - 3*a, 330 = 4*u + 3*a. Does 9 divide u?
True
Let t be (3595/10)/((-2)/(-4 + 0)). Let o = t + -406. Is 23 a factor of o?
False
Suppose 3*l - l - 5*i + 14 = 0, 0 = -3*l - 3*i. Suppose 2*n + 78*h = 80*h - 2632, 4*n + 5266 = 5*h. Does 12 divide n/(-15) + l - 4/(-10)?
False
Let p(i) = i**2 + 10*i + 16. Suppose 13 = u + 12. Let k be (1/(-2))/(u/24). Is 20 a factor of p(k)?
True
Let v = 167 + -54. Suppose 169*d + 10327 = -658. Let o = v + d. Is o a multiple of 24?
True
Let v = -3357 + 5851. Is v a multiple of 11?
False
Is 6 a factor of ((-4644)/430)/(6/(-1780))?
True
Let p(c) = 32*c - 166. Let t(z) = -16*z + 83. Let s(w) = 2*p(w) + 5*t(w). Does 19 divide s(-5)?
False
Suppose 