of w?
True
Let o(d) = d**3 + 16*d**2 - d - 14. Let w be o(-16). Suppose w*k = 3*k - 28. Does 7 divide k?
True
Let a = 84 + -42. Suppose -3*l + l + 43 = 3*y, 3*y = 3*l - a. Does 5 divide l?
False
Let m(x) be the second derivative of 3*x**5/20 - x**4/12 + x**3/2 - 5*x**2/2 - 8*x. Let k be m(3). Let c = -46 + k. Does 7 divide c?
False
Suppose -19*c + 4136 = 450. Is 17 a factor of c?
False
Suppose 90138 = 79*x - 25439. Is x a multiple of 19?
True
Let h be (4/6)/(4/18). Suppose -3*w = -4*w + h. Suppose 24 = 2*s + 4*o, s = -3*s + w*o + 103. Is 7 a factor of s?
False
Let z = 4275 + -2507. Is 13 a factor of z?
True
Suppose -50 = -5*t + 5*j, 3*j - 29 = -2*t + 2*j. Suppose -2*k + t = c, 7*c = -3*k + 4*c + 15. Does 7 divide k?
False
Does 49 divide -12*21/28 - -401?
True
Let d(s) = 2*s - 6. Let p(n) = -n + 3. Let x(f) = -2*d(f) - 5*p(f). Let u be x(10). Suppose -u*j = -5*j - 22. Is 3 a factor of j?
False
Let q be -1 - 3 - (0 - 0). Let j(b) = 12*b**2 - 3*b - 8. Let p(t) = 6*t**2 - t - 4. Let w(k) = -6*j(k) + 13*p(k). Is 24 a factor of w(q)?
True
Does 14 divide (-419 + 1 - 2)*(-8)/6?
True
Let r(z) = z**3 + 8*z**2 + 10*z + 9. Let s be r(-7). Let l(j) = -j**2 - 12*j + 1. Let b be l(s). Let a(i) = 21*i + 1. Does 7 divide a(b)?
False
Let b = 27 + -28. Let u be (2 + b + -2)*33. Is 2 a factor of (-5)/20 - u/4?
True
Suppose -5*o + 9*o - 88 = 0. Is o a multiple of 22?
True
Suppose -3*c = -6*c - 2*v + 10, c - 6 = -2*v. Suppose -c*a + 3 + 17 = -4*b, 2*b + 3*a + 10 = 0. Let x = 7 - b. Is x a multiple of 12?
True
Let g = 3721 - 2521. Is 40 a factor of g?
True
Suppose u - 5*j - 15 = 0, 2*u + 2*j = -4 - 2. Does 3 divide 98/7*3/2 + u?
True
Let f = 10 - 2. Suppose 73 = -3*h - 5*t, 4*t + 28 = f. Does 13 divide 0 - (0 + 3 + h)?
True
Let v(w) = -w - 1. Let u = 10 - 15. Let s be v(u). Suppose 0*k + 2*r = -2*k + 68, k = s*r + 49. Is 17 a factor of k?
False
Let k(g) = g + 4. Let t be k(-2). Let a(p) = 4*p**3 - 4*p**2. Let j(b) = b**3 - b**2 + b. Let n(u) = a(u) - 2*j(u). Is 4 a factor of n(t)?
True
Suppose 0 = -2*d + 2*i - 2, -13 = d + i - 5*i. Suppose 2*g + 12 = -d*z - 26, 2*z - g = -16. Does 16 divide (-4)/z - (-1428)/30?
True
Let c be 3/3*(-1 + -4). Let r(w) = -w**2 - 5*w + 5. Let p be r(c). Does 15 divide (7 + -10)*(0 - p)?
True
Suppose 4*m - 7 = -5*z - 6, 5*m - 29 = 3*z. Let u be 3 - (z + 3 + 15). Let l(f) = f**2 + 12*f + 8. Is 8 a factor of l(u)?
True
Let f = -28 - -67. Let m(p) = -p**3 + 15*p**2 - 24*p - 19. Let j be m(13). Suppose -l - j = -f. Is 8 a factor of l?
True
Let d = 50 - 46. Suppose -2*k + 576 = d*k. Is k a multiple of 21?
False
Does 2 divide 6 - (-3 + (-70)/1)?
False
Suppose -4*i - 1 - 3 = 0. Is 38 + i/((-1)/2) a multiple of 10?
True
Let q(b) = b + 0*b + 3*b - 8. Suppose -5*o + 0*g + 32 = g, 3*g - 19 = -4*o. Is q(o) a multiple of 17?
False
Is 11 a factor of 20/(-5) + 888/2?
True
Suppose 0 = 2*o + 6, 2*z + 3*z - 402 = 4*o. Let a = z - 52. Suppose 2*l + a = 4*l. Is 6 a factor of l?
False
Suppose w = 19 + 20. Suppose -w = -4*p + 3*x + 85, -4*p = -2*x - 120. Is p a multiple of 4?
True
Let s(k) be the first derivative of k**4/4 + k**3 + k**2/2 - 2*k + 2. Let g be s(-2). Suppose g*l + 5*l - 270 = 0. Does 18 divide l?
True
Let i(a) = 5*a + 7. Let k be i(5). Let x(h) = h**2 - 7*h + 16. Let j be x(3). Suppose g = j*b - k - 0, 3*b - 24 = g. Is 4 a factor of b?
True
Let q(w) = 3*w**2 - 8*w + 127. Does 37 divide q(-13)?
False
Let f = -89 + 791. Is 26 a factor of f?
True
Suppose -3*k = -o - 73, 4*o - 61 = -3*k + 7. Let d = k + -19. Does 17 divide (-231)/(-5) - d/25?
False
Let t(i) = i**3 - 9*i**2 - 8. Let w be t(9). Let b(g) = 7 + 8*g + 12 - 7*g. Does 11 divide b(w)?
True
Suppose 3 = o, b + 20*o - 21*o - 1715 = 0. Does 53 divide b?
False
Let y = -138 - -79. Let d = y + 129. Suppose 2*n + d = 3*n. Is n a multiple of 20?
False
Suppose g - 450 = -8*g. Does 7 divide g?
False
Let y(q) = -q**3 + 12*q**2 + q + 5. Let t be y(12). Suppose 0*c + 176 = 4*c. Let s = c - t. Is s a multiple of 17?
False
Let y(g) = 4*g**3 + 8*g**2 - 15*g + 19. Is 23 a factor of y(5)?
True
Suppose -108*o = -31*o - 102564. Is o a multiple of 36?
True
Suppose -18*v + 4193 = -1315. Is v a multiple of 17?
True
Let f = -80 - -84. Suppose z - f - 30 = 0. Is 2 a factor of z?
True
Suppose -10*x = -17*x + 42. Is 27 a factor of ((-196)/x)/(-1*3/9)?
False
Let z(g) = -g**3 + 13*g**2 - 34*g + 13. Is 3 a factor of z(8)?
False
Let w(s) = s**2 + 6*s + 39. Does 33 divide w(-9)?
True
Let q(c) = -6*c - 44. Does 41 divide q(-21)?
True
Is 29 a factor of 1/(-6 + 18104/3016)?
True
Let q(h) = 4*h**2 + 2*h + 8. Suppose 21 - 1 = -5*u. Let m be q(u). Let n = m + -20. Is n a multiple of 11?
True
Suppose 5*h - 152 = -1662. Does 14 divide 26 + -23 + (h/(-2) - 0)?
True
Let i = 293 + -519. Suppose 0 = 3*a - 2*j - 4, -4*a - j + 5*j = 0. Does 19 divide 1/2 - i/a?
True
Suppose k - 5 = 6. Suppose 1 + 1 = -2*l + 2*i, -2*l - k = -5*i. Suppose 3*y - 75 = l*y. Is 20 a factor of y?
False
Let p = 338 + -206. Let x = 195 - p. Is x a multiple of 39?
False
Let j be 8/12 + (-163)/(-3). Suppose -a - 5 = 0, -3*g - 2*g = -a + j. Let p = -5 - g. Is p a multiple of 4?
False
Is 9 a factor of 2/8 + 1894/8?
False
Let j(f) = 16*f - 182. Is 6 a factor of j(26)?
True
Let u(r) = r**2 - 22*r - 21. Is u(34) a multiple of 23?
False
Let l(a) = a**2 + 15*a + 4. Let t be l(-15). Let m be t/(-24)*4*3. Does 13 divide 0 + (-3 - -44) + m?
True
Let o = -861 - -915. Does 9 divide o?
True
Let o(v) = v - 5. Let g be o(3). Let d = g + 6. Suppose -2*u + 5*w = -171, d*u + 130 = 3*w + 465. Is 21 a factor of u?
False
Does 22 divide 3413 - 6 - (-4 + 4)?
False
Let l(d) = d**3 - 3*d**2 + d - 2. Suppose -5*a = -w - 6 - 11, 3*a + 2*w - 18 = 0. Let s be l(a). Let j = 24 + s. Does 15 divide j?
False
Suppose -2*u + 28 = 3*g, -31 - 13 = -5*g - 2*u. Suppose -k = -15 - g. Is k a multiple of 6?
False
Suppose 102 = -3*b - 5*k, -5*b + k - 102 = -2*b. Let j = b - -136. Is j a multiple of 34?
True
Suppose 0 = -3*s - 3*g - 6, 5*s - s = 5*g + 37. Suppose -h + 364 = s*h. Suppose 2*j - d - 69 = 0, -2*j = 5*d - 8 - h. Does 17 divide j?
False
Is ((-464)/(-6))/((-11)/((-693)/14)) a multiple of 12?
True
Let h(c) = -4*c**3 + 19*c**2 - c + 8. Is h(-5) a multiple of 19?
True
Suppose -5*z = -3*l + 47, 69 = 5*l - 3*z + 4*z. Suppose -336 = -18*a + l*a. Is 12 a factor of a?
True
Suppose -3*i - q - 7 = 0, -3*i + 4*q - 6 = 11. Let a be i/15 - 26/(-5). Let c = 73 + a. Does 26 divide c?
True
Suppose -5*x = -3*n + 523 - 174, 4*n = 5*x + 457. Is 4 a factor of n?
True
Suppose -3*q = 2*s - 0*s - 212, 8 = -4*s. Suppose q = 5*r - 2*r. Is 8 a factor of r?
True
Suppose -x + 532 = -1314. Is x a multiple of 20?
False
Let b = -62 + 79. Suppose 4*t + j - b = 4*j, -13 = -5*t + j. Is t even?
True
Suppose -4*g = -l + 102, 5*l + 0*g - 474 = 2*g. Suppose -5*u + 4 = b, 0 = -2*u + u - 4. Suppose w + b = l. Does 20 divide w?
False
Suppose 2*n = 3*n - 3. Let s(f) = -4*f - n*f + 4*f + 10 + 4*f. Does 5 divide s(-5)?
True
Let m = 8 - 8. Suppose 6*c = o + c - 18, 2*c = m. Let w = 62 - o. Is w a multiple of 10?
False
Suppose 0 = 21*s - 11*s - 7260. Does 33 divide s?
True
Let k = 24 + -20. Suppose 3*x + 35 = l - 139, 0 = -k*l - x + 670. Is 12 a factor of l?
True
Let u be (-4 - -5 - -3) + -2. Let g(l) = l**3 + 3*l**2 - l. Let o be g(-3). Suppose u*y = -o*y + 50. Is 5 a factor of y?
True
Let c = -2 - -5. Suppose c*o = -0*o + 15. Let d = o - -4. Does 2 divide d?
False
Is (-8778)/190*(1 + -31) a multiple of 14?
True
Is 57 a factor of 4 - -235 - (-4 - -11)?
False
Suppose -24 = 4*n - 704. Is 40 a factor of n?
False
Let u(r) = -r**2 + 9*r + 18. Let t = 45 + -36. Does 14 divide u(t)?
False
Let b(r) = -35 + 17 + 21 - 5*r. Is b(-2) a multiple of 13?
True
Let w = 464 - 57. Is 68 a factor of w?
False
Suppose -3*h = -17*h + 8680. Is h a multiple of 17?
False
Let u = 2038 + -1959. Does 2 divide u?
False
Suppose -2*s = 2*j - 18, -4*j = -3*s - j + 51. Let o(t) = -t**3 + 12*t**2 + 18*t - 8. Does 19 divide o(s)?
True
Suppose -5*v = 4*v - 90. Is 2/10 + 4138/v a multiple of 13?
False
Let q = 96 + -163. Let a = 96 + q. Is 7 a factor of a?
False
Suppose -4*c + 166 = -282. Is 8 a factor of c?
True
Suppose -3*n = 4*h - 1574, 4*n - 2*h - 1149 = 957. Suppose -n = -5*r + 5*w + 39, -222 = -2*r - 2*w. Is 23 a factor of r?
False
Suppose 2*d - 2*w + 62 = 186, 5*d + 2