p) = -p - x + 7 + 20 - 1. Does 3 divide f(0)?
True
Let i(z) = -32*z**3 - 2*z**2 + 2. Suppose -14*u + 6 = -11*u. Let n be ((-27)/54)/(1 - 1/u). Does 3 divide i(n)?
False
Suppose -2*q - 4*a = -7552, -108 = -2*a - 100. Is 15 a factor of q?
False
Suppose -15*o = 11*o - 234. Suppose -a = -5*q - 33, -2*a + o*q + 91 = 4*q. Is a a multiple of 6?
False
Suppose 14*r = -0*r + 1120. Suppose 5*t = -2*y + 264 + r, -t = -4*y + 732. Is 40 a factor of y?
False
Let z(p) = 5*p**2 + 84*p + 4784. Is 22 a factor of z(-86)?
True
Let z = 21 + -23. Let r(j) = 6*j**2 + j - 2. Let b be r(z). Suppose -b = -3*v + 1. Is 7 a factor of v?
True
Let p(l) be the third derivative of l**5/12 + 13*l**4/24 - 2*l**3 + 8*l**2 + 5*l. Is 9 a factor of p(-6)?
True
Let w(p) be the third derivative of -p**5/20 + 11*p**4/24 - 5*p**3/2 - 4*p**2. Let s be w(6). Let q = -48 - s. Is q a multiple of 3?
True
Does 7 divide 18616/13 + (24/(-14))/(12/(-42))?
False
Let v be (5 + -4)/(1/4). Suppose 14 = -v*d - 62. Let f = 0 - d. Is f a multiple of 18?
False
Let g be (2/8)/(2/24). Suppose 2*v - 5*f - 3 + 9 = 0, -4*v = -g*f - 2. Suppose -i + 57 + 62 = -v*h, -4*h = 0. Does 12 divide i?
False
Suppose m - 3 - 1 = 0. Is 409/m + 3/(-4 - 8) a multiple of 17?
True
Let z = -140 + 128. Is (-4)/(-16) - 705/z a multiple of 17?
False
Suppose -5*y + 2*k + 29 = 0, -5*y - 8*k = -13*k - 35. Suppose 3*m + 0*s - 259 = 5*s, m - 103 = y*s. Is m a multiple of 13?
True
Suppose 4*g - 2543 = -4*j + 4137, 5*g = -2*j + 8356. Does 44 divide g?
True
Suppose -86*d - 45 = -101*d. Does 28 divide 148 + -10*5/10 + d?
False
Let y(o) = -o**2 + 7*o - 10. Let z be y(2). Suppose z*j - 4*j = -8. Does 7 divide j - (-4 + -125 - 4)?
False
Suppose -4*g - 156 = -7*g. Suppose 15*a - g = 2*a. Suppose 480 = 9*i - a*i. Is i a multiple of 24?
True
Suppose 2*q - 141 + 53 = 0. Let d = 40 - q. Let g(b) = -48*b - 14. Is g(d) a multiple of 12?
False
Suppose 5*g = 50*a - 51*a + 24187, 3*g - a = 14517. Is g a multiple of 82?
True
Suppose 191*t = 283*t - 1582308. Does 7 divide t?
True
Suppose 3*k = 8*k - 15, 4*f - 5*k = 145. Suppose -t = 4*g - f, 2*t + 2*t - 124 = -4*g. Let q = t - -1. Does 4 divide q?
False
Let k be 0/(-2) - -5*(-8)/20. Let g(s) = -3*s + 10. Let r be g(k). Does 4 divide (-59)/(-4) + 100/r + -6?
False
Let w = 4294 - 1691. Is w a multiple of 9?
False
Let z be (0 - (4 + -3)) + 1 - 434. Let r = 612 + z. Let f = 251 - r. Is 17 a factor of f?
False
Let i(t) = -774*t**3 + 3*t**2 - 8*t - 2. Let y(g) = 776*g**3 - 4*g**2 + 10*g + 2. Let d(r) = -7*i(r) - 6*y(r). Does 7 divide d(1)?
True
Let u(r) = -r**3 + 2*r**2 + 4*r - 16. Let j be u(5). Is j/12*-22 - (-1)/(-6) a multiple of 5?
True
Let f(j) = 6*j + 154. Let n(k) = 5*k + 156. Let y(v) = 3*f(v) - 2*n(v). Is y(29) a multiple of 18?
False
Let c be (-74130)/54 + (-6)/27 - -1. Let m = 2454 + c. Is m a multiple of 60?
False
Suppose 2*g = 5*z - 1326, -3*g - 89 - 437 = -2*z. Let w = z + -121. Does 5 divide w?
True
Let r = 133 + -128. Suppose 0*f = -6*f + r*f. Let y(q) = -q**3 + 4*q + 223. Is 33 a factor of y(f)?
False
Let x(o) = 639*o - 2851. Is x(9) a multiple of 29?
True
Let w = 10803 + -7671. Is 49 a factor of w?
False
Let g = 25 + -78. Let w = -44 - g. Suppose 494 = 4*f + w*f. Does 15 divide f?
False
Let k(m) = -30*m - 145. Let x be k(-5). Suppose -c = 5*t - 5802, -x*t = -4*c - 2694 - 3098. Is t a multiple of 23?
False
Suppose -36*m + 26*m + 830 = 0. Let q = m + 285. Does 16 divide q?
True
Suppose 2*w = 39 - 31. Suppose w*x = 3*x + 3*v + 22, 65 = 2*x + v. Let a = 5 + x. Does 4 divide a?
True
Let x be 2 + (2/5 - (-126)/35). Suppose 70 = -x*j - j. Let f(c) = -c**3 - 10*c**2 - 8*c + 24. Does 21 divide f(j)?
False
Suppose -72 = -3*s - 54. Suppose -1122 - 1218 = -s*t. Is t a multiple of 13?
True
Suppose 2*q + 2*z = 126, -4*q + 207 = 3*z - 50. Let b = -97 - -129. Suppose -4*r = -9*r - 3*a + q, -r + 4*a = -b. Does 5 divide r?
False
Let g(x) = 894*x - 26. Does 3 divide g(7)?
False
Let p = 33 - 67. Let f = p + 37. Suppose -6 = -f*s - 3, 0 = x - 2*s - 26. Is x a multiple of 28?
True
Suppose 70*v + 164385 = 165*v - 82*v. Does 39 divide v?
False
Suppose -483056 = -69*n + 267250. Is n a multiple of 96?
False
Suppose m + 5 = 0, k = -k - 5*m - 149. Let x = k - -104. Suppose -x = -2*n - 32. Is n a multiple of 2?
False
Let r be 10/4*11/55*254. Let v(o) = 2 + r*o**2 - 59*o**2 - 62*o**2 - o. Does 6 divide v(2)?
True
Suppose 0*i = -2*i + 248. Let o be (-8)/12 + (6784/(-3))/(-8). Suppose 5*q + 5*c - i - 146 = 0, 5*q - o = -c. Is 19 a factor of q?
True
Let h = -166 + 162. Does 30 divide 152 + (3/(-6))/(h/(-16))?
True
Let v(h) = 12*h + 98. Let c be v(-10). Let o(j) = -j**3 - 23*j**2 - 25*j - 45. Is 3 a factor of o(c)?
True
Let d(l) be the second derivative of -11*l**3/6 - 99*l**2 + 144*l. Is 11 a factor of d(-21)?
True
Is ((-210)/(-9))/35*5766/4 a multiple of 31?
True
Let a = 268 + -265. Suppose 5*x = -5*w + 700, 2*x = a*x + 3*w - 132. Is x a multiple of 16?
True
Let g(b) = 1006*b**2 - 303*b - 10. Is 23 a factor of g(-7)?
True
Suppose 5*u - 4*x = 90, -6*x - 43 = -2*u - 3*x. Let j be (-81)/378 - 27/(-126). Let i = j + u. Is 2 a factor of i?
True
Let u(q) = q**3 + 20*q**2 + 19*q + 13. Let r be u(-19). Suppose 3465 = r*w - 4127. Does 8 divide w?
True
Suppose 71*z - 4504 = 70*z + 2*j, -3*z = -4*j - 13496. Is z a multiple of 17?
True
Let j = 35997 + -21141. Suppose 18*o + 4236 - j = 0. Does 59 divide o?
True
Let r(d) = 278*d + 3. Let w be r(1). Let b = 145 - w. Let s = -73 - b. Is 9 a factor of s?
True
Let q = -17019 + 23188. Is q a multiple of 199?
True
Suppose 2*b + 1561*s = 1557*s + 2440, 4*b - 5*s = 4841. Does 6 divide b?
False
Let j(h) = -2*h - 1. Let y(l) = -77*l + 74. Let q(t) = -5*j(t) - y(t). Is q(3) a multiple of 6?
True
Suppose 5468 = u + 3*y, -3*u + 2*u - 4*y = -5473. Is u a multiple of 41?
True
Let y(g) = -g**2 + 4*g + 50. Let x be y(9). Suppose -12 = -k - x*n + 973, 3*k = -2*n + 2890. Is k a multiple of 27?
False
Suppose -5*d - 414 = 3*x, -d - 87 = 11*x - 9*x. Let i be (6 + 3)*4*3. Let v = d + i. Is 9 a factor of v?
True
Suppose -321*g + 336 = -313*g. Is 1*2/(-7) - (-44280)/g a multiple of 31?
True
Let m(a) = -6*a + 20*a**2 - 49*a**2 - 6 + 28*a**2. Let v be m(-4). Suppose 4*p - 227 = c, v*p + 0*c - 136 = -4*c. Does 9 divide p?
False
Let b = -192 + 619. Suppose -3*z + 3*j = -24 - 1293, z + 5*j - b = 0. Is 23 a factor of z?
True
Suppose -5190 = -3*q - 3*r, -137*q + 2*r + 5170 = -134*q. Does 9 divide q?
False
Let g(d) be the third derivative of 7*d**5/60 - 5*d**4/24 + 31*d**2. Let z be g(-2). Let k = z - -52. Does 6 divide k?
True
Suppose 0 = -2*h + 940 + 292. Suppose -4*k = -3*t - t + h, 5*t - k - 766 = 0. Does 8 divide t?
False
Suppose -26*v + 581 = -277. Suppose 4*a - 3*f = 467 + v, 5*f - 224 = -2*a. Is a a multiple of 3?
False
Suppose -56 = v + 7. Let a be (0 + 1 + 0)*(v + -16). Does 20 divide a/(-2) + (-2)/(-4)?
True
Suppose -1358*c + 514448 = -1321*c. Is c a multiple of 158?
True
Let y = 12650 - -3180. Is 17 a factor of y?
False
Suppose 23 = -3*x + 4*x. Suppose -20*d + 28 = -16*d. Suppose 26 = d*n - x. Is n a multiple of 3?
False
Suppose 0 = -2*b - 5*p + 2980, 2*p + 1511 = b + p. Is 5 a factor of b?
True
Suppose -4*k + 4*m = -15508, -3*m = 17*k - 12*k - 19361. Is 13 a factor of k?
True
Let x be 0 - -1*63 - -1. Suppose 13*l = 9*l + x. Does 16 divide l?
True
Suppose -5*g + 4*g = -145. Suppose 4*o - 1172 = -4*t + 16, -4*o = -3*t + 877. Let u = t - g. Does 15 divide u?
True
Let p(r) = 674*r + 4849. Is p(14) a multiple of 14?
False
Let l be (17/(-4))/(9/(-36)). Suppose -21*i + 2756 = -l*i. Is i a multiple of 37?
False
Let c(s) be the first derivative of -3*s + 12 + 3/2*s**2 + 2/3*s**3. Is c(-10) a multiple of 34?
False
Suppose -4*n + b - 6*b = 3, 0 = 2*b + 6. Suppose -4*w = -n*o - 414, 2*w = 2*o + 80 + 128. Is 8 a factor of w?
False
Let k = 75 - 49. Suppose 404 = 3*z + 2*i + k, -5*i - 504 = -4*z. Is 6 a factor of z?
True
Let n be 832/(-39)*(-63)/6. Suppose -u = -2*z - 384, z + n = 5*u - 1723. Is u a multiple of 10?
True
Let a(u) = u - 9. Let b be a(7). Let c be b/11 + (-158)/(-22) + -5. Suppose 3*g + 3*k = 2*g + 122, c*k - 224 = -2*g. Does 35 divide g?
False
Suppose 41559 = -160*a + 167*a. Suppose d - 1972 = 2*c + 2*c, a = 3*d - 5*c. Does 64 divide d?
True
Let p be (1/2)/((-5)/(-20)) + -1. Let d be ((-10)/20)/(p/(-