le of 22?
True
Let t(k) = -4*k + 3*k**2 + 0*k + 0*k - 4 - 2*k**2. Suppose -c = -z + 7, 5*z = 3*c - 5*c + 21. Is 8 a factor of t(c)?
True
Let u = 184 - 2. Suppose 2*w = u + 8. Does 19 divide w?
True
Suppose 18 = -5*h - 3*i, 4*i - 22 = -3*h + 4*h. Let y(w) = 7*w - 8. Let m(f) = 10*f - 12. Let c(d) = 5*m(d) - 8*y(d). Is 26 a factor of c(h)?
False
Let v(j) = -4*j + 29. Let t be v(6). Let z(p) = -p**3 + 7*p**2 - p - 9. Is z(t) a multiple of 3?
True
Let g(s) be the second derivative of s**3/3 - 5*s**2/2 - 9*s. Let y be g(2). Is (y + 15)*(2 - 1) a multiple of 3?
False
Let q = 11 - 14. Let x(m) = -m**2 - 3*m + 3. Let o be x(q). Is 34/(-1)*(o + -4) a multiple of 12?
False
Let o = 659 - 365. Is 49 a factor of o?
True
Is 1469 - 2 - 8*35/40 a multiple of 34?
False
Suppose i = 3*v - 71, 2*v - 4*i - 77 = -v. Is 23 a factor of v?
True
Let n(z) be the third derivative of z**5/60 + 7*z**4/24 - 13*z**3/6 - 13*z**2. Let a = 19 + -28. Does 5 divide n(a)?
True
Let i(j) be the first derivative of -2*j**3/3 - 41*j**2/2 + 2*j + 20. Is 7 a factor of i(-20)?
False
Let w(q) = -q**2 + 5*q - 6. Let n be w(5). Let a be (-9)/1*n/(-2). Let r = a + 45. Does 9 divide r?
True
Let l be (-22)/(-6) - (-12)/(-18). Suppose v + 311 = l*r, 7*r - 2*r = -2*v + 500. Suppose 3*s - 45 = r. Is s a multiple of 29?
False
Suppose -5*x = -2*x - 15, 0 = -3*v + x + 1435. Is 20 a factor of v?
True
Let n(z) = -z + 2. Let d(w) = w - 15. Let h(j) = j**3 - 10*j**2 + 2*j - 13. Let x be h(10). Let k be d(x). Is 8 a factor of n(k)?
False
Let m = -1080 + 2225. Is 8 a factor of m?
False
Let b(r) = 4*r**2 - 8*r - 7. Let l be b(6). Suppose 5*f + l - 279 = -5*t, 0 = 3*f - 4*t - 121. Is 5 a factor of f?
False
Suppose 5*u + 122 = 15*b - 13*b, 0 = -b - 2*u + 43. Is 3 a factor of b?
True
Let h(t) = -t**3 - 2*t**2 - 2*t - 4. Let d be h(-2). Suppose -3*a - 5*p + 23 = d, 54 = 5*a - a - 5*p. Is 5 a factor of a?
False
Let p = 3544 + -2489. Is 19 a factor of p?
False
Let y = 46 + -97. Let f = -31 - y. Is f a multiple of 4?
True
Suppose -3*r + 11*r = 432. Is 54 a factor of r?
True
Suppose -c + 2*c = 256. Suppose -8*x = -0*x - c. Does 32 divide x?
True
Suppose -5*p + 3*r - 239 = 0, -5*p + r + 0*r = 243. Let v = p + 75. Does 3 divide v?
False
Let i(m) = 7*m - 2. Suppose -4*p = 7 + 17. Let y = -1 - p. Does 33 divide i(y)?
True
Let g be ((-9)/3)/(15/10). Let j be (2 + -6)/g*1. Suppose -43 = -j*m + 17. Is m a multiple of 15?
True
Suppose -31*x = -34*x + 4485. Does 13 divide x?
True
Let p be (-32)/28*(-14)/4. Suppose 4*m + 5*t = 71, -p*t = 4*m - 2*t - 62. Is 4 a factor of m?
False
Let j = 1055 - 187. Is 28 a factor of j?
True
Suppose 12*r - 14*r + 2*k + 230 = 0, -5*k = -3*r + 335. Does 8 divide r?
True
Let o(s) = -s + 1. Let v be o(-3). Suppose -2*n - 112 = -v*n. Let h = n - 23. Is h a multiple of 23?
False
Let u(z) = -11*z - 8. Let d be -3 + 2 - (-24)/8. Suppose -30 = d*g - 5*i, 3*g - i = 2*g - 12. Does 28 divide u(g)?
False
Suppose 71*l - 53*l = 51102. Does 17 divide l?
True
Suppose 42*p + 224 = 46*p. Suppose -6*n + 8*n = p. Is 7 a factor of n?
True
Let s(m) = m**3 - 8*m**2 - m + 6. Let a be s(8). Let g be (0*a/6)/(-1). Suppose -2*d - w + 12 = g, 10 + 2 = 2*d + 3*w. Is d even?
True
Suppose -5*z + 148 = c, -13 - 12 = -5*z. Let p = 213 - c. Is p a multiple of 17?
False
Let j(w) = w**3 + 8*w**2 + 8*w + 10. Let d be j(-7). Suppose d*f = l - 0 - 10, -l - 5*f - 6 = 0. Suppose 8*v - 88 = l*v. Does 4 divide v?
False
Let n be 2/7 + (-340)/(-35). Let q be (-12)/(-10) + (-2)/n. Let i = 17 + q. Is i a multiple of 18?
True
Let r = 19 - 9. Let a = r + 38. Does 8 divide a?
True
Suppose -60 = -3*t + p + 63, -2*t = -p - 83. Suppose -t = -32*j + 30*j. Is 3 a factor of j?
False
Let x = -45 + 147. Let h = x - 67. Is h a multiple of 5?
True
Let c(o) be the second derivative of o**4/12 + 2*o**3/3 - 5*o**2/2 - 3*o. Let n be c(5). Suppose -3*d = 1 - n. Is 4 a factor of d?
False
Let f = -6462 - -11639. Is f a multiple of 29?
False
Does 4 divide 4 + 2 + (51 - -2)?
False
Suppose 35*r = 33*r + 2*w + 842, 0 = -5*r + 2*w + 2120. Is 71 a factor of r?
True
Let j(i) = -11*i - 4. Let k(t) = -23*t - 7. Let d(l) = -l**3 - 8*l**2 - 6*l + 9. Let r be d(-7). Let n(v) = r*k(v) - 5*j(v). Is n(4) a multiple of 21?
True
Is 22 a factor of (-29 - -31)/(0 - (-2)/326)?
False
Let v be (-38)/4 - 1/(-2). Let f be (v - 6)*6/(-2). Suppose 36 = 2*o + 5*l + 3, 3*l - f = -4*o. Does 9 divide o?
True
Let n(g) = g**3 + 7*g**2 + 3*g - 7. Let y be n(-6). Let b = y - 4. Does 7 divide (3 + -6)/((-1)/b)?
True
Let l = 0 + -1. Let o(k) = -49*k + 1. Let h be o(l). Let i = h - 20. Is i a multiple of 10?
True
Let k(v) = -v**2 - 37*v - 34. Does 9 divide k(-32)?
True
Suppose 0 = 2*d + a - 95, -3*d + d + 90 = -4*a. Let g = 8 - d. Let m = g + 56. Is 10 a factor of m?
False
Suppose -4*k + f + 3*f = -24, 0 = -3*k + 4*f + 16. Suppose l = 5*n + k, 2*l + l = -4*n + 5. Suppose -34 = l*s - 190. Does 26 divide s?
True
Let k(y) be the second derivative of 1/3*y**3 - 3*y + 0 + 1/4*y**4 + 0*y**2. Is 3 a factor of k(2)?
False
Suppose 4*u - c = 0, -2*u - 5*c + 7 = -15. Is 16 a factor of (1 + u)/((-2)/(-80))?
True
Let h(w) = -6*w + w - 3 - w - 5*w. Let c be h(-6). Suppose -m + c = 3*u, -m = 5*u + 4*m - 105. Is u a multiple of 7?
True
Let m = 57 + -45. Is 4 a factor of m/40*2 - 651/(-15)?
True
Let y = 14719 - 9869. Does 16 divide y?
False
Let p(l) be the second derivative of -l**4/12 + l**3/2 + 2*l**2 - 3*l. Let f be p(3). Suppose -3*v = -2*d + 28, -4*d - d + f*v = -56. Is d a multiple of 8?
True
Suppose z + 7 = 17. Let x = -16 + z. Is 5 a factor of (15/(-9))/(2/x)?
True
Let t be (0 - -5)*56/35. Let f be t/(-20) - 6/10. Is 4 + -6 + f + 25 a multiple of 7?
False
Suppose -47 - 85 = -11*f. Is 7 a factor of 243/f + 15/20?
True
Suppose 3*r + x = 494, -r - 11 + 185 = 5*x. Suppose -3*f = -r + 80. Is 5 a factor of f?
False
Let i be ((-53)/2)/((-4)/8). Suppose -v - 7 = -2*x + 2*v, -4*x + 18 = -2*v. Suppose 52 = x*z - i. Is z a multiple of 8?
False
Suppose 307935 = 126*o - 103707. Is o a multiple of 9?
True
Let w(v) = 47*v + 14. Is w(8) a multiple of 65?
True
Suppose 11*w - 1 = 12*w. Is (-9 - w)/(4/(-12) - 0) a multiple of 6?
True
Is (-824)/24*-12*(-6)/(-4) a multiple of 14?
False
Let o be (4 - 4) + -2 - -7. Suppose 5*i + 4*m - 374 = 0, 4*i - o*m - 239 = 93. Is i a multiple of 13?
True
Suppose -2*q + 4*m + 1568 = 2*q, -790 = -2*q + 5*m. Is 65 a factor of q?
True
Let v(g) = -4*g**2 - 43*g - 9. Is 13 a factor of v(-10)?
False
Let f = -30 + 25. Let x be 3/f - (-12)/20. Suppose 2*q + 3*t - 66 = x, -3*t = -3*q - 1 + 100. Does 11 divide q?
True
Let a(h) = h**2 - h - 17. Is 7 a factor of a(-15)?
False
Suppose 0*t - t - 10 = -3*f, 0 = 4*f - 16. Suppose t*h = -3*b + 286, 0 = -b - 5*h + 92 - 1. Is 24 a factor of b?
True
Suppose -13 - 1 = -2*h. Suppose -6*s = h*s - 3003. Is s a multiple of 21?
True
Suppose 3*h + 3*f + 9 = 0, 3*h - 5*h + 5*f + 8 = 0. Let k be h - (-2 + 4 + -168). Suppose -k = -5*b - 5*p, -161 = -5*b + 3*p + 28. Does 8 divide b?
False
Let h = -1788 + 2203. Is h a multiple of 14?
False
Let f(r) = 7*r**2 - 9*r + 34. Does 55 divide f(4)?
True
Suppose -z + 4 - 2 = 0, 0 = 3*q + z - 23. Suppose c - s = q, 4*s + 1 = -4*c + 5*c. Is c a multiple of 6?
False
Let w(q) be the third derivative of q**2 + 0 - 7/24*q**4 + 0*q - 5/6*q**3. Is w(-5) a multiple of 30?
True
Let y(w) = 35*w**3 + 2*w**2 - w - 3. Let d be y(-2). Let n = d - -463. Suppose -3*h = 2*h - n. Is h a multiple of 18?
False
Let s(o) = 16*o**3 - 2*o**2 + o. Let d be s(1). Suppose 0 = -2*v + 5*i + 5, -27 = 2*v - 5*v + i. Let u = d - v. Does 5 divide u?
True
Let v(q) = -q**2 + 10*q + 14. Let w = 14 - 3. Let u be v(w). Does 18 divide (92/3)/(2/u)?
False
Let h = -18 - -1. Let q = 53 - h. Suppose -q = -3*i + 5*a, 3*a - 6 + 96 = 5*i. Is 15 a factor of i?
True
Let i be (-1 + 1)/(-1)*17/17. Suppose i*v - 5*v = -180. Does 4 divide v?
True
Let b = 21 - 16. Suppose -b = q - 2*q. Is (-22)/(-3)*15/q a multiple of 11?
True
Suppose 151 = 4*z + 27. Suppose -3*m + 2*x - 18 = 0, -7 + z = -4*m + 2*x. Let d(k) = 2*k**2 - 3*k - 6. Is d(m) a multiple of 14?
True
Suppose -5*v + 3110 + 4920 = 5*s, 3*s - 4*v = 4839. Is s a multiple of 89?
False
Suppose 4*b - 4156 = -2*k, 4*b - 10326 - 70 = -5*k. Is k a multiple of 16?
True
Suppose -40*n + 44*n - 220 = 0. Let c = 310 - n. Does 14 divid