*b**2 - b - 8. Let z = -5 + -1. Let p be k(z). Is 4*1*(p + 3) even?
True
Let r = 28 - 28. Suppose 1 - 7 = -g + 5*p, r = -3*g + p + 46. Is g a multiple of 4?
True
Let r(y) = 10*y + 560. Is r(40) a multiple of 12?
True
Let n(p) = p**3 + 9*p**2 - 5*p + 5. Let y be 81/6*8/(-12). Does 10 divide n(y)?
True
Let h(d) = d**2 + 5*d - 1. Let g(k) = k**2 + 5*k - 1. Let b(l) = 4*g(l) - 5*h(l). Let o be b(-6). Does 12 divide 24 - (o - (-5 + 3))?
False
Let k(l) = -l**2 + 6*l + 3. Let p be k(6). Suppose p*j - 12 = 2*j. Is 3/(j/(-8))*-12 a multiple of 12?
True
Suppose 0 = 5*t - 3004 + 94. Is t a multiple of 21?
False
Let z be (0 + -65)/((-3)/(-4 - -1)). Let h = z - -129. Is h a multiple of 12?
False
Let a(j) = 172*j + 106. Is a(11) a multiple of 26?
False
Let r(u) be the second derivative of u**5/20 - u**4/6 + u**3/6 + 2*u. Let x be r(1). Suppose 0*w = -4*k + 5*w + 47, -2*k + 4*w + 16 = x. Is k a multiple of 6?
True
Suppose -4*v = 3*i - 4263, 3*i - 3 = -0*i. Is 16 a factor of v?
False
Suppose -2*d + 38 = 2*z + 2*d, -4*z - d = -41. Suppose u - 2*y - y = z, -4*u - 5*y = -2. Suppose 10 = -0*k + 2*k, 5*b - u*k = 55. Does 7 divide b?
True
Does 8 divide (4104/133)/((-3)/(-21))?
True
Let l = -68 + 134. Is l a multiple of 22?
True
Let t(w) = 72*w - 80. Does 44 divide t(6)?
True
Let t(p) = 120*p**2 + 14*p + 32. Does 16 divide t(-3)?
False
Let p(i) be the first derivative of 11*i**6/360 + i**5/30 - i**4/6 - i**3 + 4. Let x(f) be the third derivative of p(f). Is x(2) a multiple of 11?
False
Suppose 0 = 3*d + 4*x - 44, 2*d + 2*x - 24 = -2*x. Suppose -3*v - 20 = v - 5*r, 0 = -5*r + d. Suppose 10*c - 7*c - 6 = v. Is c a multiple of 2?
True
Let q = -178 + 54. Does 16 divide 5 - (6/2 + q)?
False
Does 36 divide 2/(-17) - 45910/(-85)?
True
Let j(v) = v**2 + 13*v + 4. Let m(d) = -6*d**2 - 90*d - 27. Let a(h) = 27*j(h) + 4*m(h). Is 18 a factor of a(9)?
True
Let k(q) be the first derivative of -q**4/12 + 2*q**3/3 - q**2/2 - 2. Let f(l) be the second derivative of k(l). Is 8 a factor of f(-6)?
True
Let d be (2/(-4))/((-4)/(-816))*-1. Let l = -51 + d. Does 15 divide l?
False
Let h be ((-39)/9)/((-2)/6). Let f = 11 + h. Is f a multiple of 8?
True
Let u = -42 - 296. Let j = u + 497. Does 25 divide j?
False
Let t(n) = -n**2 - 8*n**2 + 11*n - n**3 - 17*n - 15*n. Is 6 a factor of t(-6)?
True
Suppose 6*r + 485 = 3131. Is r a multiple of 49?
True
Suppose 10 = -5*h - 0. Is 7 a factor of ((-237)/9 - 2)/(h/6)?
False
Suppose -d + 1668 = -4*f, 10*f - 3351 = -2*d + 13*f. Is 14 a factor of d?
True
Suppose -187 = -3*z + 602. Is 7 a factor of z?
False
Let o = -329 + 182. Let i = 255 + o. Does 36 divide i?
True
Suppose q - 5*r = -0*q + 71, -q - 2*r + 57 = 0. Let c be (1 - (117 - -2))/(-2). Suppose 4*y + q = 3*s, s = -s - y + c. Is s a multiple of 9?
True
Let h(v) = -19*v - 9. Suppose 0 = 5*y - 3*y + 5*i - 9, -y + i = 6. Is 18 a factor of h(y)?
False
Suppose 0 = -o + 3*o + 2*u - 100, 5*o + 4*u - 246 = 0. Is 4 a factor of o?
False
Let y(n) = 4*n - 12. Suppose k - 31 = -11. Is y(k) a multiple of 17?
True
Suppose d - 38 + 14 = 0. Is d/(-108) - (-382)/18 a multiple of 6?
False
Let n be -23 + (2 + 2)/4. Let f = n + 24. Suppose 2*s + u - 41 = 0, f*u - 38 = -s + 5*u. Does 23 divide s?
True
Let r(w) = 6 + 3*w + 5*w - 9. Suppose 0 = -4*h + 9 + 3. Does 9 divide r(h)?
False
Suppose 2*w - 3*w + 118 = -4*r, -640 = -5*w - 5*r. Is w a multiple of 15?
False
Let r = 155 + 718. Is r a multiple of 5?
False
Let v(n) be the third derivative of -n**4/8 - 5*n**3/3 - 7*n**2. Is 8 a factor of v(-6)?
True
Let j = 26 + -22. Suppose 0 = d - 2*a + a - j, a = -3*d + 28. Is 8 a factor of d?
True
Let t(c) = 3*c + 19. Let d be t(-6). Is 7 + 58 - (d + -1) a multiple of 13?
True
Let g(o) = 2*o**3 - 3*o**2 - 4*o - 1. Suppose -4*f + 3*l = -32, f - 2*f - l = -1. Let j be g(f). Does 10 divide (220/j)/(2/14)?
True
Suppose 3*g = -2*q - g - 12, -3*g = 4*q + 9. Let o = 3 - q. Suppose 2*m = h + 42, o*h = -m + 7*h + 7. Does 9 divide m?
False
Let c = 3 - 4. Let j be c/(20/(-16))*-30. Let t = -12 - j. Does 12 divide t?
True
Suppose 2*b - 4*w - 184 = 0, -93 + 312 = 2*b + 3*w. Is b - 0 - (-1 - 4) a multiple of 24?
False
Suppose 5160 = 4*h - 4*y, -25*y + 20*y + 5 = 0. Is 12 a factor of h?
False
Let u(q) = -q**3 - 7*q**2 + 5*q. Let p be u(-8). Let b be 30/(-10) - (p + 0). Let t = 13 - b. Is 20 a factor of t?
True
Suppose 165 + 127 = 4*d. Let s = 135 - d. Is s a multiple of 31?
True
Let w = 46 - 38. Suppose -42 = w*m - 858. Does 17 divide m?
True
Let y = -807 - -912. Is 21 a factor of y?
True
Let x = -1029 + 1086. Is x a multiple of 5?
False
Let g(t) = 13*t**2 - 4*t - 5. Let c be g(8). Suppose c = 2*q + 3*q. Suppose 4*r - 53 - q = 0. Does 16 divide r?
False
Let x(k) = k**2 + 2*k + 20. Suppose -4*z - 2 = 22. Let p be ((-3 - z) + -3)/(-1). Does 10 divide x(p)?
True
Let l(p) = -p**2 + 29*p + 10. Let v be l(29). Suppose v*r = 25*r - 840. Is 8 a factor of r?
True
Let a(g) = -1019*g**3 + 10*g + 11. Does 5 divide a(-1)?
True
Let m = 4261 - 2581. Is m a multiple of 21?
True
Suppose 3*x - 3*s = -51, -x - 3*x - 5*s = 23. Let f = 19 + x. Is 9 a factor of (9/(-2))/(f/(-14))?
True
Suppose -137*k + 110*k = -16605. Is 4 a factor of k?
False
Let k be 513/38*(1 - -5). Is 12 a factor of 24/28*(k - (2 + -5))?
True
Suppose -8*f - 3 + 27 = 0. Suppose -f*y + 2*b + 0*b + 59 = 0, 26 = 2*y + 2*b. Is 17 a factor of y?
True
Let c(k) = -13*k - 55 + 93 + k. Does 46 divide c(-16)?
True
Let o(g) = -g**3 - 8*g**2 + 10*g + 13. Let a be o(-9). Let n = a - -1. Suppose -4*p - 400 = -n*k, 0 = k + k + 5*p - 193. Is k a multiple of 22?
False
Let j be (2 - (1 - 0))/1. Let r = -139 - -152. Let s = r - j. Is s a multiple of 12?
True
Let a(b) be the first derivative of 4*b**2 + 22*b + 23. Is 14 a factor of a(13)?
True
Suppose 7*i - 3192 = -0*i. Is 31 a factor of (3/(-9))/((-2)/i)?
False
Suppose -r = -h + 8, -3*h + 6 = -5*r - 34. Is -429*r/60 + (-3)/15 a multiple of 20?
False
Suppose 7*l = 5*l. Let j(i) = 2*i**3 + l*i**2 + 8 + 0*i**2 - 3*i + 2*i**2 - 2. Is j(3) a multiple of 28?
False
Let y(b) = -17*b**3 - b**2 - 4*b - 3. Let t be y(-2). Suppose -3*l = -v - 8, l = 1 + 3. Suppose 99 + t = v*u. Does 16 divide u?
False
Let i(z) = -12*z - 14. Let r(g) = -7*g - 9. Let o be r(0). Is 47 a factor of i(o)?
True
Let y be (-1)/(-5) - 135/(-75). Suppose -3*d - g - 181 = 0, -y*g = -3*d - 4*g - 182. Let r = 24 - d. Is 21 a factor of r?
True
Let s(l) = -l**3 - l + 1. Let b be s(0). Suppose 5*y + b = -9. Is -19*2/y - -1 a multiple of 7?
False
Does 9 divide (-2)/3 - 9304/(-24)?
True
Let d(s) = -s**2 - 11*s - 20. Let a be d(-8). Suppose -4*l + a*k - 4 = 72, 4*l + 69 = -3*k. Let h = 27 - l. Is 15 a factor of h?
True
Let q = -327 - -184. Is 13 a factor of (0 - q)/(0/2 - -1)?
True
Suppose 0 = 332*u - 320*u - 16932. Does 83 divide u?
True
Suppose -833*f + 832*f + 2483 = 0. Is 13 a factor of f?
True
Let y = 1492 - 864. Is 20 a factor of y?
False
Suppose 0 = -10*j + 11*j. Suppose -7*l = -j*l - 280. Is 8 a factor of l?
True
Suppose 28*d = 15*d + 3653. Does 5 divide d?
False
Let h(x) = 3*x**2 - 14*x - 65. Does 114 divide h(29)?
True
Let p(j) be the second derivative of j**4/12 + 2*j**3/3 + 17*j**2/2 + 5*j. Does 5 divide p(-6)?
False
Let h(m) = 9*m - 3. Let f(k) = -k + 5. Let g be f(2). Suppose -d + 6 = -g. Is 19 a factor of h(d)?
False
Suppose -4*r + 0 = -16. Let b(x) = x**3 - 2*x**2 + 4*x + 2. Let k be b(r). Suppose -140 = -o - k. Does 18 divide o?
True
Suppose -2*k + 17 - 11 = 0. Suppose 4*m - 1 = k*m. Is (26 - m)*5/5 a multiple of 5?
True
Suppose -192 = 2*i - 6*i. Suppose 0 = 5*q - 5*m - 60, -2*q + 7*q + 4*m - 15 = 0. Let z = q + i. Does 16 divide z?
False
Let g(d) = d**2 - 18*d - 8. Is g(-18) a multiple of 16?
True
Suppose -4*b - 14 = -2*i, -4*i + 2*b + 28 = 6*b. Does 6 divide i?
False
Let j = -164 + 176. Does 5 divide j?
False
Suppose -b = -2*b + 2*o - 32, -5*b = 3*o + 108. Let i = -8 - b. Does 4 divide i?
True
Let z(r) = -16 + 6*r - 11 + 35 + 7*r. Does 19 divide z(7)?
False
Let y(r) = r + 9. Let n = -13 + 8. Let g be y(n). Is 13 a factor of g/(-8) - (-315)/6?
True
Suppose i + 0*i = 4. Suppose 4*s + 16 = 0, i*s = -4*g + 39 + 141. Is 14 a factor of g?
False
Let a = -312 + 512. Does 20 divide a?
True
Let v(s) = -s + 10. Let t be v(11). Let n = 15 - t. Is 11 a factor of ((-33)/(-4))/(4/n)?
True
Let s(z) = -7*z**3