t h be 3 - (-8 - 6/(-3)). Suppose -3*d + 9 = -h. Does 3 divide d?
True
Let o(g) = -2*g**2 - 13*g + 1. Let h be o(-6). Let l(b) = b**2 + 2*b - 7*b + 5 + b. Is l(h) a multiple of 17?
False
Let n(s) = -s - 2. Let v be n(-2). Suppose -f + 5*f - 144 = 0. Suppose v = 2*c + c - f. Is 5 a factor of c?
False
Let l(t) = -t**2 + 4*t - 4. Let h be l(5). Does 38 divide (-76)/(-8)*(-1 - h)?
True
Suppose -3 = -4*d + d. Suppose t = 1 + d. Suppose 3*z = -5*j - 0*z + 86, j = t*z + 12. Is 8 a factor of j?
True
Suppose 3*m - 27 = 144. Is 19 a factor of m?
True
Let r = -23 - -32. Suppose -n + 11 = i, 0 = -n - 2*n + r. Is 8 a factor of i?
True
Let t(n) = -n**3 - n. Let a(y) = y**3 + 6*y**2 + 3*y - 7. Let k(q) = a(q) + 2*t(q). Let m be k(5). Is m - -6*2/4 a multiple of 13?
True
Let h(p) = p**3 - 5*p**2 - 6. Is h(7) a multiple of 23?
True
Let p be (2 + -3)/(1/(-221)). Suppose k + 2*t - 23 = -2*k, -4*k + 5*t = 0. Suppose 0 = 4*d + k*i - p, -3*d + 2*i = -59 - 101. Is 20 a factor of d?
False
Suppose -t - 101 = -h - 0*t, 5*h - 4*t - 500 = 0. Is h a multiple of 4?
True
Is (-6)/(-4)*(-6 + 40 - 4) even?
False
Let q = -3 + 6. Let o = q - -5. Does 4 divide o?
True
Let z be 6/(0 - 2) + 8. Suppose 3*k - 32 = -z*h, -2 = -3*h + 3*k + 22. Is 6 a factor of h?
False
Let r = 32 - 73. Let u = -17 - r. Does 20 divide u?
False
Let n = -3 + 2. Let u be 0/n - (-5 + 1). Is u/(-16) + 21/4 a multiple of 5?
True
Suppose -5*n - 542 = -2*x - x, -4*n = -2*x + 358. Suppose 5*v = -8 - 2, 5*u + 3*v = x. Does 13 divide u?
True
Let o(z) be the second derivative of z**3/3 - 11*z**2/2 - 2*z. Let y be o(8). Suppose -m = -y*m + 132. Is 11 a factor of m?
True
Let g = 6 + -4. Let z = 15 + g. Does 9 divide z?
False
Let a = -8 - -1. Let l(h) = 5*h**2 - 18*h + 9. Let q(g) = -2*g**2 + 9*g - 4. Let n(u) = -3*l(u) - 7*q(u). Does 4 divide n(a)?
False
Let o(w) = w**3 + 5*w**2 - 2*w - 5. Suppose 5*q - y = -2*y - 30, -10 = 5*q - 3*y. Does 5 divide o(q)?
True
Suppose -1 = 2*x - 7. Let n(f) be the third derivative of 7*f**4/24 - f**3/2 + f**2. Is 9 a factor of n(x)?
True
Suppose 4*p + 126 - 19 = j, 72 = j + 3*p. Is j a multiple of 29?
True
Suppose 5*c - 38 = 12. Suppose -r = -c - 13. Is 23 a factor of r?
True
Let p(h) = -h**2 - 4*h + 6. Let c be p(-5). Let k be (c + 0)*(-1 - -4). Suppose 3*w + 8 = -7, -55 = -4*a + k*w. Is a a multiple of 5?
True
Suppose 0 = 2*p - 7*p. Suppose 4*d = -p*d + 140. Does 15 divide d?
False
Let x(l) = 6*l**2 + 5*l - 4. Is x(-4) a multiple of 24?
True
Let b(k) = k**2 - 11*k + 12. Is 9 a factor of b(15)?
True
Suppose 0 = -2*y - 0*y + 72. Is 9 a factor of y?
True
Is (-91)/(-3) - (4 + (-55)/15) a multiple of 15?
True
Let m(y) be the first derivative of -y**2/2 + y - 4. Let a be m(-2). Is 6 a factor of (-10)/a*(-36)/10?
True
Suppose 0 = 2*x - 7*x + 45. Let z = 7 + x. Is z a multiple of 5?
False
Suppose -5*k = -b + 29 + 16, -2*b + 116 = 3*k. Is b a multiple of 16?
False
Let z = -61 - 67. Let y be (-6)/(-9) - z/6. Suppose -83 = -4*t + 5*q, 5*t - 5*q - 122 = -y. Does 6 divide t?
False
Let f(w) = -2*w + 1. Let z be f(-3). Let y(d) = z + d**3 - d + 1 - 2 - d**2. Is 3 a factor of y(0)?
True
Let b be (-6)/(-4)*(-60)/(-18). Suppose b*z - 93 = 207. Is 20 a factor of z?
True
Suppose -10 = -6*y + y, y - 126 = 4*s. Let l = 55 + s. Is 13 a factor of l?
False
Let m(b) = 16*b - 130. Let f(j) = -3*j + 26. Let p(r) = 11*f(r) + 2*m(r). Does 14 divide p(0)?
False
Suppose -4*w - 3 = -7*w. Is -14*2/(-3 - w) a multiple of 7?
True
Let k(g) = 20*g. Suppose -2*n = -4*n - 2. Let h = 0 - n. Is k(h) a multiple of 10?
True
Let r(w) = -w**2 - 2*w - 35. Let q be r(0). Let b = -11 - q. Is 24 a factor of b?
True
Let f = -19 + 58. Suppose 0 = 4*r + 7 - f. Does 4 divide r?
True
Let y(a) = -a**3 + 11*a**2 - 9*a - 1. Is 3 a factor of y(10)?
True
Let q be ((-6)/(-4))/(2/4). Does 20 divide 3 + (-1)/(q/(-114))?
False
Suppose -4*s - 2*k + k = 18, 0 = -5*s - 2*k - 24. Is 25 a factor of 16/(-4)*50/s?
True
Suppose n = -3*n + 92. Is n even?
False
Let m = -56 - -79. Is m a multiple of 6?
False
Let y = 17 + 9. Is 24 a factor of y?
False
Suppose -o + 29 = 4*o + 4*t, 56 = 4*o - 5*t. Let x = o - 5. Is 3 a factor of x/(-6) - (-28)/6?
False
Suppose -r + 19 = 4*h - h, 3*r - 57 = 4*h. Is 6 a factor of r?
False
Suppose -5*n = -118 - 722. Is 12 a factor of n?
True
Let u be (-15)/(-25) + (-22)/(-5). Suppose -u*l + 66 = -94. Let a = -18 + l. Is 7 a factor of a?
True
Let m be (8/(-10))/((-2)/10). Suppose -q + m*q = 15. Is 5 a factor of q?
True
Let s(h) = -h - 1. Let a be s(-6). Suppose a*m - 53 = 12. Does 5 divide m?
False
Let p(x) = 6*x - 40. Does 7 divide p(16)?
True
Let f = 74 + -41. Does 9 divide f?
False
Suppose b - 5*b = -28. Let o(i) = -i**3 + 10*i**2 + 13*i - 9. Let k be o(11). Let v = k - b. Is v a multiple of 4?
False
Suppose q = -2*q + 87. Let t = 40 - q. Is 9 a factor of t?
False
Let d(l) = 6*l + 46. Is 19 a factor of d(24)?
True
Let u(x) = -x**3 + 9*x**2 - 7*x + 4. Suppose 2*z - 18 = -6. Does 14 divide u(z)?
True
Does 12 divide -4*-3*3/24*40?
True
Suppose 3*c = -2*q + 2, -2*c - 18 = -5*q - 3*c. Suppose 3*m + 63 = q*m. Is m a multiple of 17?
False
Suppose 5*k - 2*o = -0*k - 24, 4*o - 24 = 4*k. Let h = k - -6. Does 2 divide h?
True
Let g be (-9)/(-15) + 35/25. Suppose t - 3*y - 51 = -g*t, -3*y = 3*t - 51. Is 10 a factor of t?
False
Let k be 10/4*6/5. Suppose 0*p = k*p + 117. Does 6 divide p*1/6*-2?
False
Let z(j) be the first derivative of j**6/15 - j**4/24 - 3*j**2/2 + 1. Let m(l) be the second derivative of z(l). Does 5 divide m(1)?
False
Let o = -2 + 54. Is o a multiple of 13?
True
Let g be (6 + 0)*-1*1. Let z(r) be the second derivative of -r**3/3 - r**2 - r. Is z(g) a multiple of 10?
True
Let r(g) be the first derivative of -g**4/4 + 8*g**3/3 - 3*g**2/2 - 4*g + 1. Let a be r(7). Is 16 a factor of 160/12*a/10?
True
Let q(y) be the first derivative of 1/2*y**2 - 2 + 0*y. Is q(5) even?
False
Suppose 5*q + 2*r - 17 - 308 = 0, -5*r = 2*q - 109. Let g = q - 28. Suppose 2*y - 5*y + g = 0. Is 13 a factor of y?
True
Suppose 3*k + 10 - 4 = 0. Let r be ((-4)/4)/(k/24). Is r/(-8)*(-2)/1 even?
False
Suppose -h - n = -21 - 118, -2*h + 290 = -4*n. Does 21 divide h?
False
Suppose 2*v - 2*r = 110, 0*r + r + 115 = 2*v. Suppose -3*m = -3*n + v, -n - m = -26 + 6. Suppose -2*f + g = -3*g - 32, -g = -2*f + n. Does 7 divide f?
False
Suppose 4*v - 3*d - 41 = -v, -4*v + 26 = d. Is 3 a factor of v?
False
Let m = -9 + 15. Suppose 0*u = -m*u + 108. Does 6 divide u?
True
Let g = -7 + 31. Is g a multiple of 17?
False
Suppose -5*l + u + 2*u + 56 = 0, 26 = 3*l + 2*u. Is 5 a factor of l?
True
Suppose -y = 2*i - 40, 0*y = 4*i - 3*y - 100. Suppose -4*q = -3*j - 156, -3*q + j = -90 - i. Suppose -3*a + q = 3. Is a a multiple of 6?
False
Suppose 4*k - 6*k + 30 = 0. Is 12 a factor of k?
False
Let g(r) = 2*r**2 + 2*r + 13. Is g(13) a multiple of 15?
False
Does 31 divide (1 + 379)*(-2)/(-5) - 2?
False
Let d be 15/(-2)*(-64)/80. Is (-5 + d)*(-30)/(-1) a multiple of 15?
True
Suppose 5*s - 327 = 3. Is 22 a factor of s?
True
Let b(q) = -2*q - 10. Let t(g) = 3*g + 3. Let y be t(-4). Let z be b(y). Let s = z - -26. Does 17 divide s?
True
Suppose 4*l = -4*l + 104. Is l a multiple of 13?
True
Let u = 61 - 38. Is 8 a factor of u?
False
Let w(s) = -5 + 5*s**2 - 6*s**2 + 1 + s**3 + 5*s. Let g be w(4). Suppose 21 = 5*k - g. Is k a multiple of 10?
False
Suppose -5 = 2*s + 1. Let n(f) = 2*f + 4. Let r be n(s). Let t(i) = -10*i + 2. Does 19 divide t(r)?
False
Suppose 5*q - 87 = -12. Does 5 divide q?
True
Let k be 14/63 - (-2)/(-9). Suppose k = -4*j + 21 + 39. Is 4 a factor of j?
False
Suppose 8*b = 7*b. Suppose -3*n - 44 + 227 = b. Is 18 a factor of n?
False
Is (-33 + -2)*8/(-10) a multiple of 9?
False
Let y(s) = 6*s**2 + 2*s - 1. Let d be y(1). Is 22 a factor of 4*d/((-21)/(-24))?
False
Let b(c) = c**2 + 4*c - 6. Is b(-6) even?
True
Suppose -3*q - 48 = -0*u - 2*u, -u + 30 = -3*q. Suppose 0 = w + 2 - u. Is 12 a factor of w?
False
Let d = -6 - -6. Let u be (-26)/4*(-2 - d). Suppose 5*o + u - 63 = 0. Does 5 divide o?
True
Suppose 0 = -5*k - 11 + 251. Does 13 divide k?
False
Let m = 17 - -43. Does 15 divide m?
True
Suppose 258 = -5*n - 207. Let r = -45 - n. Let q = r + -31. Is 10 a factor of q?
False
Let n(x) = x + 3. Let s be n(0). Let q be -1*(0 + s*-1). Suppose t - 5*m - 1 + 5 = 0, q*t - 