k + u = -k. Is 4 a factor of k?
False
Let i(v) = 3*v**3 + 3*v**2 - v - 4. Suppose a - 37 + 35 = 0. Is 10 a factor of i(a)?
True
Let y(s) be the third derivative of -43*s**4/24 - 13*s**3/6 - 39*s**2. Does 32 divide y(-7)?
True
Suppose 2*i - 8 = 2*w, 3*w + 3 = -2*i + 1. Let b be (w + 7 + -4)*1. Is (-114)/(-2) + 0/b a multiple of 19?
True
Suppose -k - 216 = 2*k. Let i be 19/((-52)/(-24) + -2). Let o = i + k. Does 21 divide o?
True
Let p be (4/(-8))/(4/104). Let n = p - 5. Let b = n + 30. Does 6 divide b?
True
Let n(i) = i**3 + 2*i**2 - 7*i + 7. Let y be n(-6). Let u(p) = -p**2 + 19*p - 22. Let t be u(15). Does 34 divide 590/(-4)*t/y?
False
Suppose 0 = 10*c + 2*c - 60. Let l = 0 - 0. Suppose 0 = -4*w - 0*i - 4*i + 364, c*w + 2*i - 440 = l. Is w a multiple of 29?
False
Suppose -6*m + 16 = -2*m. Suppose 0*o + 364 = -3*o - m*x, -12 = 3*x. Let q = o + 164. Is 16 a factor of q?
True
Let s(i) = 43*i - 35. Is s(5) a multiple of 5?
True
Let i(l) = 2*l. Let o be i(1). Suppose q = -o + 4. Suppose -4*z + q*u + 72 = 0, 0*z + 36 = 3*z + 3*u. Is 10 a factor of z?
False
Suppose 3*q + 467 - 28 = -s, 0 = -q + 2*s - 151. Let w = -94 - q. Is w*(5 - 2)/3 a multiple of 11?
False
Suppose -20*x = -23*x - 123. Let y = x - -47. Is 3 a factor of y?
True
Let y be (2/6)/((-2)/(-12)). Suppose -2*l + 3*f + 20 = y*l, 2*f = -2*l - 4. Suppose 0 = -l*i + i + 5. Does 4 divide i?
False
Suppose 10*s - 3*q - 4859 = 5*s, 3*s = 4*q + 2922. Does 10 divide s?
True
Suppose -4*m = -3*k + 79, 3*k + 5*m = 5*k - 55. Let y(s) = -3*s - 7. Let v be y(-3). Suppose -23 = -v*b + k. Does 12 divide b?
True
Let b(c) be the second derivative of c**5/20 - 17*c**4/12 - 3*c**3/2 + 23*c**2/2 + 19*c. Does 26 divide b(18)?
False
Let y(z) = -20 - 3 + 7*z + 10*z. Is 14 a factor of y(3)?
True
Let h(x) be the second derivative of -x**5/15 + x**4/24 - 2*x**3/3 + 4*x. Let s(n) be the second derivative of h(n). Is s(-7) a multiple of 17?
False
Let z(u) = -u**2 + 14*u - 13. Let o be z(12). Let x(c) = 6 - o - 11*c - c**2 + 3. Is 14 a factor of x(-5)?
True
Is 24 a factor of -1 - (-3)/4 - 12684/(-48)?
True
Let k(d) be the first derivative of 9*d**2/2 + 3*d + 4. Let n be k(-4). Let z = -20 - n. Does 13 divide z?
True
Suppose -40 = -5*p - 2*g, -4*g = -6*g - 10. Let w be (8/p)/(2/5). Is 1/w + 54/4 a multiple of 7?
True
Let p = -126 - -223. Suppose -22 = 3*c - p. Does 4 divide c?
False
Let l(f) = 4*f**3 - 17*f**2 + 9*f + 18. Is l(6) a multiple of 12?
True
Let j = 22 + -33. Let s(u) = 4*u - 5*u + 33 - u - 28. Is s(j) a multiple of 22?
False
Suppose -18 = -5*t + 7. Suppose -z - 90 = -6*z - 2*s, -z + 18 = t*s. Is z a multiple of 9?
True
Let i be ((-12)/(-9))/(6/45). Suppose 3*b - i = -2*b. Suppose -2*h = -20 + b. Is 3 a factor of h?
True
Let t = -7 - -11. Let d(g) = 15*g - 38. Let f be d(3). Let v = f + t. Does 7 divide v?
False
Is 93 a factor of 56*(0 + -5 + 26)?
False
Suppose -50 = -k - i - 2*i, -132 = -4*k + 5*i. Let z = k - 42. Does 16 divide 1248/18 + z/(-6)?
False
Suppose -45830 - 78738 = -92*p. Is 10 a factor of p?
False
Let r = 5 + -1. Suppose -r*i + 6*i = 4. Suppose -6*o + i*o + 172 = 0. Does 21 divide o?
False
Suppose o - 16 = -4*w - 171, 2*o - 170 = 4*w. Does 25 divide 60/w - 503/(-2)?
True
Suppose 6*q + 78 = 9*q. Is (q/(-39))/(2/(-312)) a multiple of 41?
False
Let i(s) = -2*s**2 + 46*s + 21. Does 15 divide i(21)?
True
Suppose 24 = -2*o + 208. Suppose -5*x = -38 - o. Does 5 divide x?
False
Suppose 0 = 2*h - 5*q - 866, 17*h = 14*h - 2*q + 1337. Is 90 a factor of h?
False
Suppose n - 3*m - m = 0, m = -1. Is 8 a factor of 5/(-55)*-530 + n/22?
True
Is 51 a factor of 4096/8 - -5 - 7?
True
Suppose -71*j + 119132 = -13*j. Is 79 a factor of j?
True
Suppose -4*y + 3*a + 6052 = 7*a, -3*y + 4*a + 4511 = 0. Does 13 divide y?
False
Let o be 5 - (6 - (2 - -1)). Suppose 5*h = -3*l - 2, -o*l + 0*l - 13 = h. Let d = 15 + l. Does 6 divide d?
True
Let x(f) = f**2 + 7*f + 58. Is 44 a factor of x(23)?
True
Let z = 16 + -8. Suppose -6*k + z = -2*k. Suppose -k*a + 124 = -0*a. Is a a multiple of 26?
False
Suppose -2*w + l = -56, 4*l - 51 - 49 = -4*w. Let h be 4/(-6)*w/(-6). Let t(f) = 17*f - 4. Does 14 divide t(h)?
False
Let b(t) be the second derivative of -t + 1/3*t**3 + 2*t**2 + 0. Is b(11) a multiple of 13?
True
Suppose -5*w - 14 = -9. Does 8 divide (1 + w/3)/(9/1296)?
True
Is 30 a factor of 73395/15 + 27/(-3)?
False
Is 6/(-39) - (-47334)/91 a multiple of 59?
False
Let q(l) = 3*l. Let h be q(0). Suppose h = 77*k - 82*k + 135. Is 6 a factor of k?
False
Let t = -188 - -341. Does 9 divide t?
True
Let f = 2261 - 1325. Does 9 divide f?
True
Suppose 0 = -4*w + 20, -f + 57 + 322 = -w. Is 59 a factor of f?
False
Let u be -1 + 0 - 162/12*-4. Let v = -10 + u. Is 6 a factor of v?
False
Let a be 5/10*(10 - 0). Suppose 4*u = -a*d + 1049, 5*u = -2*d + 5*d - 659. Is d a multiple of 21?
False
Suppose 7*j - 2*j + 3*i = 26, -5*j + 38 = -i. Suppose -j*b + 406 = -756. Is b a multiple of 25?
False
Let m = 2237 + -1413. Is m a multiple of 18?
False
Let q(f) = -f**3 + 7*f**2 + 5*f - 1. Let a = -17 + 24. Suppose t + a = 2*t. Is 8 a factor of q(t)?
False
Let h(o) be the first derivative of o**3/3 + o**2 + 23*o - 11. Does 14 divide h(0)?
False
Let p = -2520 + 4413. Is 22 a factor of p?
False
Suppose -4*c + 2 = 3*o - 46, 4*c + 4*o = 52. Let s = c + -7. Suppose 2*l = s*r + 14, -4*l + 6 = -2*r - 22. Does 4 divide l?
False
Suppose 0 = 36*k - 591 - 32961. Is k a multiple of 50?
False
Suppose -2*p = 2*p + 3*j - 198, p - 40 = 4*j. Is p even?
True
Suppose 0*w - 4*p = w - 4, 4*w - 4*p = 36. Suppose b + s = -0*b + w, 0 = b - 5*s + 10. Suppose 3*j - 96 = -3*z, 0 = -3*z + b*j + 89 - 25. Is z a multiple of 4?
True
Let f(b) = -4*b**3 + b**2 + 5*b - 10. Let r(x) = 20*x**3 - 5*x**2 - 25*x + 51. Let o(p) = -11*f(p) - 2*r(p). Is 38 a factor of o(4)?
True
Suppose 4*z + 2 = 38. Suppose 4*r + 0*x = 2*x - 10, -3*x + z = -3*r. Let w = r + 34. Does 16 divide w?
True
Is 32 a factor of (-144 + 16)*(-1 + -1)?
True
Let h = -247 + 347. Suppose -4*m + l + h = 6*l, m = -3*l + 32. Is m a multiple of 11?
False
Suppose 0 = 2*d + 4*s - 946, -17*d + 3*s = -21*d + 1867. Does 18 divide d?
False
Suppose -25 = -3*g + 4*p, g + 3*g = 4*p + 28. Suppose 0 = 3*b - 3*t + 3, -g*b + 3*t + 1 = 2*b. Let v = 6 + b. Is v a multiple of 2?
True
Suppose -5*l + 4718 - 738 = 0. Is l a multiple of 9?
False
Let q(c) = -c**3 - 16*c**2 - 58*c + 21. Is 7 a factor of q(-11)?
False
Suppose -2032 = -18*y + 8534. Is y a multiple of 41?
False
Suppose 10*f - 11*f + 81 = 0. Does 20 divide f?
False
Suppose 4*y - 101 + 37 = 0. Let r = y + -8. Does 4 divide r + 0 + (-7 - -3)?
True
Suppose 5*p + m = 204, -3*m - m + 160 = 4*p. Let y = -18 + p. Is 11 a factor of 6*(-2 - y/(-3))?
False
Suppose -6*a = 5*i - 4*a - 13948, 8367 = 3*i + 3*a. Does 90 divide i?
True
Suppose 8*q = -338 + 466. Does 3 divide q?
False
Let d(q) = -258*q - 3. Is 17 a factor of d(-2)?
False
Let m be 0/(-1) - (2 + 5). Let u be (-1 - m)*(17 - -2). Suppose -5*v + 161 = -u. Is 18 a factor of v?
False
Suppose 8 = -23*q + 123. Is 2 a factor of q?
False
Let a(w) = w + 52. Is a(-13) a multiple of 39?
True
Let q = -14 - -22. Suppose 5*t + 3 = q. Is 7 a factor of (12 + -19)/(-1*t)?
True
Let h be (-1)/(-5) + (-116)/(-20). Suppose -3*n + h = 0, -i - i = -4*n - 280. Suppose i = 3*r + r. Is r a multiple of 18?
True
Let p(s) = -163*s + 4. Let t be p(-2). Suppose -g = -7*g + t. Let j = -16 + g. Does 39 divide j?
True
Suppose 955 = m + 4*p, -5*p = 4*m - 204 - 3671. Is m a multiple of 25?
True
Let n = -3 + 5. Let g = 103 - 103. Suppose g = -n*b + 6 + 10. Is b a multiple of 3?
False
Let x = -34 + 39. Suppose -x*z + 4*l + 139 = 0, 4*z - 5*l - 104 = -0*l. Is z a multiple of 5?
False
Let g(l) = 5*l + 3. Let s = 17 - 22. Let w(f) = -f**3 - 4*f**2 + 3*f - 5. Let k be w(s). Does 7 divide g(k)?
True
Let h(z) = z**3 + 4*z**2 + 3*z + 4. Let b be h(-3). Suppose 2 - 6 = -b*v. Is 1/(v + (-10)/11) a multiple of 11?
True
Suppose 5*y - 3*y - 4 = 0. Suppose -1 + y = x. Is (4 - 5)/(x/(-5)) a multiple of 5?
True
Is 7/(-70) - 666/(-60) a multiple of 11?
True
Let r(w) = 8*w**2 - 9*w - 54. Is r(-6) a multiple of 19?
False
Let d(g) = g**2 + 8*g - 15. Let l be d(-10). Suppose -q + 6*q = -l*t + 350, 5*t - 353 = -4*q. Is t a multiple of 18?
False
Suppose 187*a - 190*a + 585 = 0. Does 47 divide a?
False
S