le of 34?
False
Let h = -329 + 465. Is 34 a factor of h?
True
Let z be 4 + (-2)/2 - -2. Suppose 4*w + 15 = -z*s - 0, -5*s = 15. Suppose w = 3*f - 38 + 2. Does 7 divide f?
False
Let t(v) = v**2 + 2*v + 2. Let k be t(-3). Suppose m - 2 - 5 = 2*u, 0 = m - k*u + 8. Is 17 a factor of m?
True
Let j = 5 + -4. Does 12 divide 2 - j - -1*45?
False
Let r(d) = -6 - d + 3*d - 6*d + 2*d. Let q be r(-4). Suppose h + 3*f = 7*f + 44, -5*h + 166 = -q*f. Is h a multiple of 16?
True
Suppose -v - 3*v - 120 = 0. Let m = v - -51. Is m a multiple of 4?
False
Suppose b - 3*o = 24, 7*b - 25 = 2*b - 4*o. Let t = b + -4. Let m(h) = -h**3 + 4*h**2 + 6*h + 2. Is m(t) a multiple of 3?
False
Let z(y) = 6*y**2 - 5*y - 5. Is z(-3) a multiple of 16?
True
Let k = 57 - 25. Suppose -40 = 3*b + k. Let r = b - -40. Is 16 a factor of r?
True
Let q = -1 - 0. Let c be (0 - -2)/(-2)*q. Let o = 5 - c. Does 3 divide o?
False
Suppose -4*j + 0*j + 392 = 0. Is 22 a factor of j?
False
Let z(s) = s**3 - 6*s**2 + 2*s - 9. Let k be z(6). Suppose -k*r + 3*u = -2*u + 28, -u = -4*r - 9. Does 19 divide (-23)/(-3 - r - -1)?
False
Let m(q) = q**2 - 3*q - 10. Let g be m(5). Suppose -5*f = -p - f + 98, 5*p - 5*f - 505 = 0. Suppose 3*y + 24 - p = g. Does 7 divide y?
False
Let c be (-2 + 3)/(2/20). Let d = 16 - c. Suppose -2*g - g + d = 0. Is g a multiple of 2?
True
Let l be (10/(-2 - -3))/2. Suppose 211 = l*u + 3*c, -u - 3*c = u - 88. Does 29 divide u?
False
Suppose -2*g = -7*g + 10. Suppose g*s + 3*u = -3*s + 247, 3*s - 149 = -u. Is s a multiple of 30?
False
Is 16 a factor of (-6)/33 - 708/(-22)?
True
Let k(q) = 3*q - 5. Let s(a) = -2*a + 5. Let o(n) = 3*k(n) + 4*s(n). Let y be o(-12). Let w = 15 + y. Is w a multiple of 5?
False
Suppose 0*k + 25 = 5*k. Let j = k + -6. Does 11 divide (0 + 2 + j)*23?
False
Let w(o) be the first derivative of 1/4*o**4 - 1 + 2*o - 5/2*o**2 + 4/3*o**3. Does 2 divide w(-5)?
True
Let k(s) = s**2 + 10*s + 8. Is k(-12) a multiple of 8?
True
Let p = -11 - -186. Does 22 divide p?
False
Suppose 0 = -14*i + 13*i + 104. Is i a multiple of 14?
False
Suppose 62*c - 85 = 57*c. Is c a multiple of 17?
True
Suppose 7*f - 1444 = 614. Is f a multiple of 42?
True
Suppose k = 5*m - 41, 10*m - 5*m = -2*k + 38. Suppose -3 = 3*w - 12. Is (w + (-3)/3)*m a multiple of 8?
True
Suppose 2*m - 33 = -b, 7*m - 4*m + 126 = 3*b. Let j = -12 + b. Is j a multiple of 13?
False
Suppose 15 - 43 = 4*a. Let w(u) = -u**3 - 6*u**2 + 2*u - 4. Is 14 a factor of w(a)?
False
Suppose -5*y - 16 = -b, -b + y + 20 = 2*b. Is (132/(-15))/(b/(-15)) a multiple of 11?
True
Let c be (-1)/(-2)*-4 - -40. Suppose -4*s - s = 25, c = 2*v + 2*s. Is v a multiple of 12?
True
Suppose -4*f - 16 = 0, -2*z + 6 = 3*z + f. Let p = z + 5. Does 7 divide p?
True
Let y be 84/20 + 1/(-5). Suppose 0*d = y*d - 612. Suppose -c + 0*c - 157 = -4*j, 4*j + 3*c - d = 0. Does 13 divide j?
True
Suppose 2*o - 4 - 2 = 0. Does 13 divide o*-13*3/(-3)?
True
Suppose 0 = -k + 10 + 16. Does 13 divide k?
True
Suppose l + 2 = 4. Suppose -v - v = 2*c + 6, -l*v - 2 = 0. Is -1 - (c - -1)*9 a multiple of 4?
True
Let h = -47 - -143. Is 32 a factor of h?
True
Let p = 154 + -90. Is p a multiple of 32?
True
Suppose -z + 24 + 3 = 0. Does 3 divide z?
True
Let w = 12 - 20. Let p = -5 - w. Suppose -p*t = -0*t - 45. Is 15 a factor of t?
True
Does 5 divide (3/(-2))/(-1)*(-50)/(-15)?
True
Let r = -6 - -8. Is 15 a factor of (-82)/(-4)*(4 - r)?
False
Let g(c) = -7*c + 5. Is 9 a factor of g(-7)?
True
Let h(j) = j**3 + 4*j**2 - 10*j - 7. Let o be h(-6). Let l(m) = -2*m - 24. Is 7 a factor of l(o)?
True
Let i = -2 - -1. Let s(q) = -9*q**3 + 2*q**2 - 1. Does 8 divide s(i)?
False
Suppose 2*z - 4*z = -100. Suppose o + 4*o = -5*y + z, 5*y = o + 38. Does 2 divide y?
True
Suppose 24 + 6 = 5*x. Suppose -4*v + 6 = -x*v. Let k(q) = -3*q - 2. Is 7 a factor of k(v)?
True
Suppose 0 = -2*f + 7 + 3. Suppose -2*a + 4*a = -f*s + 232, 2*a - 94 = -2*s. Suppose -2*u + 36 = -5*x, 4 = 4*u + x - s. Is u a multiple of 6?
False
Let s(l) be the first derivative of l**4/4 + l**3/3 - l**2/2 + 3*l + 1. Let i be s(0). Suppose 2*h + i*h = 25. Does 5 divide h?
True
Suppose 2*s + 0*s = 24. Suppose -4*n - s = -60. Does 12 divide n?
True
Let q(w) = w**3 - 6*w - 4*w**2 + 0 - 3*w + 0*w + 3. Is 13 a factor of q(6)?
False
Let q(z) = -z**2 + 5*z + 8. Let y be q(6). Suppose -52 = -y*r + 108. Is r a multiple of 16?
True
Let l be (-2)/(-3)*(-45)/(-6). Suppose l*d + 5 = 55. Is d a multiple of 10?
True
Let p = 20 + -9. Suppose -4*q + 3*x + p = -14, 0 = -5*x + 5. Let k = q - -7. Is k a multiple of 14?
True
Let g be (-2)/(-4) - (-38)/4. Let i be (1*(1 + -14))/(-1). Suppose 3*s + 6*c = c + g, -2*s + i = -3*c. Is s a multiple of 5?
True
Is ((-4)/(-6) - -2)*(-99)/(-6) a multiple of 13?
False
Does 22 divide 2*3*(2 - -9)?
True
Suppose 2*f + 3 = -f. Let h(u) be the first derivative of 13*u**3/3 + u**2/2 + u - 2. Does 8 divide h(f)?
False
Suppose 5*m + 4 = 4*w, -5*m - 4 = -2*w - 2. Let g be (-3 + 3)/(w + -2). Suppose g = 4*k - 14 - 122. Is 15 a factor of k?
False
Let c be (-509)/(-13) - 6/39. Let w = c + -20. Is 19 a factor of w?
True
Suppose 2*i = -2*i + 5*l - 8, -i - 13 = -4*l. Suppose i*q - 1 = 8. Suppose 0 = -y + 6 - q. Is y a multiple of 2?
False
Let z = 112 - 69. Suppose 7 - z = -2*m. Is m a multiple of 6?
True
Let p(w) = w**2 - 3*w - 7. Does 16 divide p(-4)?
False
Suppose -3*j = -5*c - 376 + 1861, -3*c - 4*j = -891. Does 15 divide c?
False
Suppose g = 5*i - 736, -3*g = 3*i - 247 - 209. Is 10 a factor of i?
False
Let i(f) = f**3 + 8*f**2 + 6*f - 3. Let h be i(-7). Suppose -2*j - 16 = -2*r + 2*j, -2*r = 4*j + 16. Suppose r*m + 88 = h*m. Is 11 a factor of m?
True
Suppose 6*q - 3*q - 3 = 3*y, -2*q = -y - 3. Is 23 a factor of (y + 45)*(6 - 5)?
True
Let t be ((-3)/(-1))/(1/95). Suppose t = 4*l - 3*g, -4*l + 155 = -2*l + g. Does 15 divide l?
True
Suppose 3*q = c + 174, 4*q - 232 = -2*c - 0*c. Does 9 divide q?
False
Let i(y) = y**3 + 7*y**2 + 7*y + 5. Let l be i(-5). Is 19 a factor of (l/25)/((-4)/(-230))?
False
Suppose 13 = 3*j - 5*f - 264, -f = -3*j + 257. Is j a multiple of 14?
True
Suppose 4*b + 172 = -0*b. Let p = 107 + b. Does 16 divide p?
True
Let k(b) = -b**3 - b**2 + 4. Let s be k(0). Suppose 32 = s*c - 4. Does 3 divide c?
True
Let r be ((-4)/(-2))/((-4)/(-10)). Suppose r*n = n. Suppose 2*i + 2*i - 204 = n. Is 17 a factor of i?
True
Suppose -28*q = -25*q - 27. Does 5 divide q?
False
Let o = 201 + -105. Does 24 divide o?
True
Let w = -86 + 220. Let d = w + -25. Let p = -38 + d. Is 28 a factor of p?
False
Suppose 0 = -2*b + 3*j + 4, -13 + 3 = 4*b + 3*j. Let d = 18 + b. Is 6 a factor of d?
False
Suppose 5*q + 15 = 3*k, 3*k + k - 20 = -2*q. Let z be (-56 + -4)*(q + -1). Suppose z = -c + 6*c. Does 12 divide c?
True
Let j = -7 - -10. Let i be (1/j)/((-3)/(-18)). Suppose -64 = -4*o + i*p, o + p = 2*o - 17. Is o a multiple of 13?
False
Let i = 46 + 134. Is i a multiple of 9?
True
Let p = 39 - 79. Let o be 24/(2*(-6)/p). Suppose 2*r - o = -24. Does 14 divide r?
True
Is ((-1)/(-3))/(11/231) a multiple of 2?
False
Let d(b) = -66*b**3 - b. Let z be -1*(0 + -3 - -4). Does 18 divide d(z)?
False
Is ((-144)/15)/((-6)/20) a multiple of 7?
False
Suppose 0 = 2*c - f + 38 + 68, -4*c - 196 = 2*f. Let t = -11 - c. Is t a multiple of 20?
True
Let f(b) = 8*b**3 - 2*b - 1. Let o be f(-1). Let g(k) = k**2 + 7*k + 5. Let d be g(o). Suppose 13 = d*n - 82. Is 8 a factor of n?
False
Suppose -4*q = -11*q + 252. Does 18 divide q?
True
Let d(q) = q**2 - 21 - 46 - 2*q**3 + q**3. Let w be d(0). Let o = -26 - w. Is o a multiple of 12?
False
Let g(z) = z + 13. Let x(p) = -p + 7. Let n be x(7). Is g(n) a multiple of 5?
False
Let c(s) = s**3 + 20*s**2 + 15*s + 20. Is c(-19) a multiple of 6?
True
Let j(s) = 0 + 0*s - 4*s + 2*s - 1. Is 4 a factor of j(-3)?
False
Suppose -2*o - 5*k + 14 = 0, -2*o - 13 = 2*k - 39. Is 2 a factor of o?
False
Suppose 18 = -20*y + 21*y. Suppose -2*m = -0*m - y. Is 5 a factor of m?
False
Does 57 divide (-2032)/(-6) - 5/(-16 - -1)?
False
Let n(t) be the first derivative of -1 + 8*t - 1/2*t**2. Does 4 divide n(0)?
True
Let o(j) = -j**3 + 7. Let i = 0 + 0. Let a be o(i). Suppose -a = -2*z + 17. Is 7 a factor of z?
False
Let p(x) = 2*x**2 + 2*x - 2. Let s be p(-2). Is 4 a factor of 2/((-120)/(-57) - s)?
False
Is 7 a factor of (-3)/4 + 227/4?
T