17 a factor of j?
False
Let p(c) = -33*c - 37. Let a = 440 - 445. Is 36 a factor of p(a)?
False
Let a(d) = d**2 - d. Let c be a(2). Suppose 3*j + 2*j = -25, c*y + 3*j = -9. Suppose -y*t + 31 = -5. Is t a multiple of 2?
True
Let g = 6576 + -5677. Is 30 a factor of g?
False
Suppose 13*y - 9*y + o = -2723, -665 = y - 5*o. Let q = -43 - y. Is 13 a factor of q?
True
Suppose m = -3*s - 2*m - 174, 3*s - 4*m = -202. Let w be -1 + 20*((-69)/(-12) + 0). Let u = w + s. Is 13 a factor of u?
True
Let l(o) = 194*o + 86. Let b(a) = -129*a - 57. Let y(c) = 8*b(c) + 5*l(c). Is y(-9) a multiple of 28?
True
Let b(a) = a**3 - 62*a**2 + 37*a + 2. Is 137 a factor of b(63)?
True
Suppose 0 = -10*z - 3*a + 89709, -3*z + 5*a = z - 35865. Is z a multiple of 138?
True
Let o be (-2499)/(-11) - 2/11. Let i = -212 + o. Is i a multiple of 15?
True
Let d(l) = 25*l + 4287. Is 6 a factor of d(-124)?
False
Let i(v) = v**3 + 15*v**2 - 19*v - 13. Let j be i(-15). Suppose -35*y + 4997 - j = 0. Is 15 a factor of y?
True
Let q(m) = 3*m**3 - 22*m**2 + 29*m - 23. Let l(c) = c**3 + c**2 - 1. Let b(w) = 2*l(w) - q(w). Does 39 divide b(22)?
True
Suppose -2*l = 0, -160*l - 18176 = -4*j - 162*l. Is 64 a factor of j?
True
Suppose 15*x = 19*x + 32. Let c = 347 - x. Suppose 4*y = 9*y - c. Is y a multiple of 11?
False
Let n be (2 - 225/(-12)) + (-22)/(-88). Is (-3 - n/(-6))*1882 a multiple of 78?
False
Suppose 3*n - 57*q = -56*q + 30553, 3*n = -5*q + 30529. Is 13 a factor of n?
False
Let u(z) = 3*z**2 + 19*z - 4. Let j be u(-19). Suppose 4*k - 2*n - 1491 = -5*n, -2*k + 4*n + j = 0. Is k a multiple of 9?
True
Suppose -5*t + 21449 = 3*l, -21437 = -5*t - 20*l + 21*l. Does 8 divide t?
True
Let y(s) = -95*s**2 + 96*s**2 - s + 3 - 1. Suppose m = 0, -7*i + 3*i = -3*m - 24. Is 6 a factor of y(i)?
False
Suppose 57 = y + 2*y + a, 3*a - 99 = -5*y. Let d(g) = g**3 - 3*g + 13*g - 3*g - 21 - 4*g - y*g**2. Does 11 divide d(18)?
True
Let s(u) = -u**2 + 20*u + 44. Let j be s(22). Suppose -4*v + 2*m + 124 = -3*m, v - 4*m - 20 = j. Is ((-15)/20)/((-27)/120)*v a multiple of 24?
True
Suppose 4 = 2*p, 2*p - 103 = -3*n + 3. Is 3 a factor of n/187 - 2372/(-22)?
True
Suppose 6378 + 62751 = 42*i - 4665. Does 6 divide i?
False
Suppose 47 - 15 = 4*v. Suppose 0*n - 2*n - v = 0. Is 5 a factor of (-2)/(-4) + (-129)/24*n?
False
Let x = -52984 + 117555. Does 13 divide x?
True
Let i(b) = b - 10. Let o be i(6). Let s(p) = -2*p**3 - 4*p**2 + 5*p + 11. Let k be s(o). Suppose -2*d + 53 + k = 0. Is d a multiple of 8?
False
Let i = -113 - -109. Is 54 + (-2 + -7 - i) even?
False
Suppose -3812 = -5*c - 972. Is 2 a factor of c?
True
Suppose -265*b - 68*b + 386930 - 15302 = 0. Is 93 a factor of b?
True
Suppose 2*f - 32464 = -2*h, 16216 = f + 166*h - 161*h. Does 164 divide f?
True
Suppose -97 = -167*j + 166*j. Suppose -5*u = -4*x + 57, 3*x - u = 43 - 3. Let g = j - x. Does 21 divide g?
True
Let q(r) = -r + 3*r + 6*r - 24 + 16*r. Let i be q(-10). Let n = i - -397. Does 31 divide n?
False
Suppose 0 = -114*m + 116*m - 6. Does 4 divide ((-6)/m)/(-1*1/16)?
True
Does 131 divide (155628/297)/((-4)/(-166))?
True
Suppose -109 = -15*g + 56. Suppose g*t - 5684 = 4*t. Is 58 a factor of t?
True
Suppose 0 = -9*f + 4428 - 1755. Does 45 divide f?
False
Suppose 0 = -3*v + t - 4, -t - 2*t - 24 = 3*v. Let y be -5*(v + 1 + 1). Suppose y*d = -3*u + 168, d - 13 = -5*u + 3. Does 36 divide d?
True
Let g be ((8 - 4) + -5)/1. Let o be (4 + -5)*g*3. Let p(n) = 5*n + 5. Is 10 a factor of p(o)?
True
Let p = -288 + 319. Suppose -p*f + 19*f = -3360. Is f a multiple of 9?
False
Suppose 2*a = -0*v + 4*v + 70, 0 = 4*a - v - 119. Suppose -3*f = -3*x + 6, -3 = 5*x - f - a. Suppose z + 2*b - 32 = 0, -4*b + 16 = z - x. Is z a multiple of 21?
True
Let g(x) = -2*x**2 + 17*x + 66. Let u(d) = d - 1. Let z(k) = -g(k) - 2*u(k). Is 2 a factor of z(-4)?
True
Let s(r) = -79*r - 162. Suppose -5*c = 4*i + 22 + 3, -4*i - c - 21 = 0. Is 5 a factor of s(i)?
False
Let m(p) = -181*p - 3. Let h be m(1). Let r = -122 - h. Is r a multiple of 3?
False
Let p = 5734 - 1870. Is 42 a factor of p?
True
Let g be (-84)/(-126) - 26/3. Is 16 a factor of ((-4)/g - 20/(-8)) + 109?
True
Suppose 0 = -4*c + 3*p + 143, 5*c - p - 78 = 109. Let h = c - -32. Is h a multiple of 10?
True
Let k = -26 - -29. Let g be 3*(k + -1) + -2. Suppose -i - g = 0, -q - 3*i + 396 = 3*q. Is 29 a factor of q?
False
Suppose 2*w = 2*u + 26, -w + 17 = -0*w + 3*u. Suppose w = 4*i + 3*i. Suppose -4*h + l + 88 = 0, 3*h + i*l - 62 = -7. Does 12 divide h?
False
Let d = -218 + 222. Suppose d*i + 1807 = 17*i. Is i a multiple of 23?
False
Suppose s + 65 = -4*s. Let n(z) = -z**3 - 14*z**2 - 13*z - 9. Let w be n(s). Let y(u) = -8*u. Is y(w) a multiple of 12?
True
Let y(b) = 2*b**3 + 19*b**2 - b + 50. Is 14 a factor of y(5)?
True
Suppose -k = -0*s - 5*s - 88, s = 3*k - 306. Let t = k - 90. Let j(d) = d**2 - 16. Does 51 divide j(t)?
True
Does 110 divide (-443850)/(-99) - 12/9?
False
Suppose 1027 = 2*f - 5251. Is f a multiple of 73?
True
Suppose 5*h = 2*z - 0*z - 21, 9 = -3*h. Suppose -3*m = z*m - 774. Is 36 a factor of m?
False
Suppose 2*t - 10*i - 38066 = -13*i, -t + 19061 = -2*i. Is 13 a factor of t?
True
Suppose -4*s + 176 = 36. Let q = 38 - s. Suppose -q*l - 34 = 4*w - 150, 0 = 2*l + 4*w - 84. Does 16 divide l?
True
Is 0 + 1 - (-1898)/(-182)*-7217 a multiple of 28?
True
Let j(y) = -2*y - 4. Let m be j(-10). Let t(x) = -m*x + 2 - 5 - 4. Is 25 a factor of t(-8)?
False
Let r(l) be the second derivative of l**5/30 - l**4/12 - l**3/6 + 3*l**2 + l. Let o(h) be the first derivative of r(h). Does 17 divide o(5)?
False
Suppose -825*g = -833*g + 14016. Is g a multiple of 8?
True
Suppose 48888 = -99*k + 260285 - 10328. Is 44 a factor of k?
False
Let y(l) be the third derivative of l**4 - 19*l**3/6 + l**2. Suppose -5*z - 4*v = -9 - 35, -2*v = -4*z + 56. Is 14 a factor of y(z)?
False
Suppose -9*j + 6115 = 283. Let o = -198 + j. Is o a multiple of 25?
True
Let s(y) = 101*y**2 - 409*y - 22. Is s(13) a multiple of 24?
False
Let d(c) = -2*c**3 + 10*c**2 + 6. Let k(f) = -f - 5. Let n be k(-10). Let g be 32/80 - (-23)/n. Is 6 a factor of d(g)?
True
Is 11/(2915/212)*(21715/2 - 0) a multiple of 32?
False
Let t(u) = -12*u + 33. Suppose d + 55 = 4*d - i, 0 = -3*i - 12. Suppose -21*r = -d*r + 24. Is t(r) a multiple of 7?
True
Let w(f) = 25*f - 5. Let b(a) = -13*a + 3. Let r(d) = 5*b(d) + 3*w(d). Let s be r(1). Let x(y) = 10*y - 2. Is 28 a factor of x(s)?
False
Let p(a) = 12*a**2 - 162*a + 5100. Is 13 a factor of p(55)?
False
Let i = -775 - -996. Is i a multiple of 141?
False
Let w(g) = 47*g + 39 + 443*g - 494*g. Let v(z) = -2*z + 1. Let q be v(4). Does 8 divide w(q)?
False
Let m(p) = -56*p - 70*p - 155 + 36*p. Does 55 divide m(-6)?
True
Let r = -43 + 57. Suppose -r*s + 2 = -13*s. Suppose -4*o - j = -s*j - 213, -j = 3*o - 165. Is 9 a factor of o?
True
Let h be (1521/4)/(96/(-64))*-2. Let k = 1324 - h. Does 20 divide k?
False
Let a(f) = 20*f**2 - 5*f + 18. Let s be a(-4). Let v = s - 263. Is 5 a factor of v?
True
Let i(z) = 11*z - 50. Let y(a) = a**2 + 5*a + 9. Let j be y(-4). Let f be i(j). Suppose -2*v + 206 = f*w, -3*w - 3*v = -30 - 90. Is w a multiple of 14?
True
Suppose 1930 = -311*t + 316*t. Let i = 500 - t. Is 6 a factor of i?
True
Let j(q) = -9*q**3 - 53*q**2 - q - 8. Let y(w) = 27*w**3 + 159*w**2 + 2*w + 24. Let s(o) = -8*j(o) - 3*y(o). Does 11 divide s(-6)?
False
Suppose -3*c + 17757 = 2*f, -30142 - 5373 = -4*f - 5*c. Suppose -3*z + f = z. Does 41 divide 6/(-27) - z/(-27)?
True
Suppose -2*a = 5*c - 7127, 2*a - 1 = 1. Suppose -10*m - 9*m = -c. Is m a multiple of 3?
True
Suppose 0 = -60*v + 2123712 + 801828. Is 90 a factor of v?
False
Let r(i) be the third derivative of -i**4 + 67*i**3/6 + 106*i**2 + i. Does 23 divide r(-6)?
False
Let p be 2/4*(2 - -6). Let u = 5639 + -5598. Suppose 195 = p*f - u. Is 10 a factor of f?
False
Let m be (1 - 0) + (-2 - 15/(-3)). Suppose 0 = -5*q - m*q + 8163. Is 29 a factor of q?
False
Let k = 20496 - 14614. Does 17 divide k?
True
Let p(z) = 29*z - 458. Does 22 divide p(42)?
False
Suppose -141*k = -3*r - 150*k + 16131, -26904 = -5*r + 4*k. Does 28 divide r?
False
Let u = 5 - 5. Suppose 0*i + 2120 = 5*i - 2*s, -4*s = u. Is i a multiple of 46?
False
Let t(r) be the second derivative of -r**4/12 + 3*r**3/2 - r**2/2 + 27*r. Let 