et x(t) = t**3 + 9*t**2 + 6*t + 41. Is 16 a factor of x(h)?
False
Let s be (10/10)/((-2)/18). Let i(l) = l**3 + 11*l**2 + 9*l + 3. Let d(k) = -3*k**3 - 34*k**2 - 28*k - 8. Let j(p) = -2*d(p) - 7*i(p). Does 29 divide j(s)?
True
Suppose t - 24 = 15. Does 39 divide t?
True
Let m = -105 + 185. Let i = m + -62. Does 5 divide i?
False
Let v = 68 + -68. Let y(n) = 2*n + 68. Does 7 divide y(v)?
False
Let o = -7 + 8. Let q be o + -2 + 3*1. Suppose -q*c - 14 = -50. Does 8 divide c?
False
Let n(r) = -r**2 + 15*r - 10. Suppose -4*i - 16 = -4*w, 3*i = -4*w - 0*i + 9. Suppose -2*a + 68 = 5*l, -5*l = -w*l - 4*a - 8. Is n(l) a multiple of 13?
True
Suppose 2*u - 3*u + 22 = 0. Let g = -20 + u. Does 7 divide (1 + g - -11) + -3?
False
Let t(u) = -271*u + 37. Is t(-3) a multiple of 10?
True
Let k(a) = a + 19. Let m be k(-16). Does 39 divide 28*m - (-4 - -1)?
False
Let w(i) = 2*i + 17. Let z be w(-8). Does 3 divide z*(-81*2)/(-6)?
True
Let t(s) = s**3 - 3*s**2 + 4*s - 2. Let u be t(2). Let z be ((-100)/15)/(u/(-15)). Suppose z = 5*m - 35. Is 17 a factor of m?
True
Let i(s) be the first derivative of s**5/60 - s**4/24 + 5*s**3/6 - 3*s**2/2 - 6. Let c(p) be the second derivative of i(p). Does 3 divide c(0)?
False
Let r(x) = -45*x + 39. Let d be r(-4). Suppose -2*z + d - 83 = 0. Is z a multiple of 14?
False
Suppose 2*g + 1371 = 3*n, -5*n + 0*n + 4*g = -2283. Suppose -m + 4*m = n. Suppose 4 = -4*f, -5*b - 10 = -3*f - m. Does 20 divide b?
False
Let v be 0*(1 - (-2)/(12/(-9))). Suppose 6*i - 16*i + 400 = v. Does 5 divide i?
True
Let n = 79 + -44. Let l = -3 - 16. Let d = n + l. Is d a multiple of 6?
False
Suppose u - 18 - 26 = 0. Does 18 divide u?
False
Let f(l) = l**2 + 12*l - 4. Let d be f(-7). Let t = 64 + d. Let s = t + 5. Is s a multiple of 12?
False
Let a(y) = 8*y - 31. Let n be a(6). Suppose -2445 = 2*h - n*h. Is h a multiple of 6?
False
Let o = -11 - -11. Suppose -27*d + 31*d - 80 = o. Does 9 divide d?
False
Suppose 383 = 2*l + 61. Does 31 divide l?
False
Let k(g) = 4*g**3 + 2*g**2 - 7*g + 10. Let d(o) be the second derivative of -o**5/20 + o**3/6 - o**2/2 - 6*o. Let p(r) = -6*d(r) - k(r). Does 7 divide p(3)?
True
Let u(t) = -t**3 - 11*t**2 + 10*t + 5. Let g(n) = n**3 - 12*n**2 + 11*n - 11. Let s be g(11). Let a be u(s). Let c = -55 - a. Is c a multiple of 13?
False
Suppose 648 = 9*s - 5*s. Does 34 divide s?
False
Suppose 0*v + 6 = 3*v. Does 19 divide (8 - 10)/(v/(-57))?
True
Let a(d) = -d**3 + 10*d**2 + 2. Let g be a(10). Let p be g - (-3 - 75)/2. Suppose -p = -5*q - 1. Is q a multiple of 8?
True
Let m(s) = -12*s**3 - 7*s**2 + 2*s + 14. Let g be m(-5). Is 6 a factor of 6/(-27) + g/27?
False
Let j be 4 + (-6)/(-2) + 457. Let o = j - 296. Is o a multiple of 28?
True
Suppose 0 = -5*c + 2*h - 357, -4*c + 3*c - 4*h = 67. Let q = 81 + c. Is q a multiple of 2?
True
Let r be (1 - 6/10)*-30. Is (r/(-10))/((-34)/(-935)) a multiple of 12?
False
Let i(l) = 4*l**3 - 3*l + 3. Let r be i(1). Suppose 117 = -r*b + 13*b. Is b even?
False
Let m be 1 + 6/(-4) - (-1149)/6. Let p = m - 101. Is 30 a factor of p?
True
Let k be 4/18 - 3492/(-324). Let y be (-2)/3 + (-40)/(-6). Suppose k*u = y*u + 500. Does 16 divide u?
False
Suppose 5*q = 23 + 202. Does 2 divide q?
False
Let g(d) = 2*d**3 + 5*d**2 - 5*d - 4. Let q be g(4). Let u = -2 + 5. Suppose -s + q = u*s. Is s a multiple of 11?
False
Let r(a) = -a**3 + 3*a**2 - 9*a + 2 + 5*a**2 + 17*a. Let g be (-21)/(-14)*(14/6 + 3). Is 11 a factor of r(g)?
True
Let k be -7*(-1)/((-30)/33 - -1). Suppose k = -3*n - 2*g + 235, -n - 5*g = -31. Does 7 divide n?
True
Let t(n) = 44*n + 4. Let k be t(1). Suppose v = -4*o + 138 + 28, -3*v - k = -o. Does 14 divide o?
True
Let f = -792 + 793. Let g be 4/10 + (-2)/5. Is 31 - g/(-4) - f a multiple of 6?
True
Let z be (-2)/20*4 - 2156/10. Is (4 + -1)/((-9)/z) a multiple of 12?
True
Let o = 1519 + -772. Is o a multiple of 42?
False
Let j(d) = d**3 + 3*d**2 - 3*d + 3. Let l be j(-4). Let i = l + 6. Suppose -64 = -i*o + 86. Is o a multiple of 25?
False
Is 3030/20*2/3 a multiple of 5?
False
Let h be 3/2 + 6/(-4). Suppose -2*y - 10 - 10 = h. Let v = 29 + y. Is v a multiple of 16?
False
Let c(i) = -i**3 - 14*i**2 - 17*i - 25. Does 13 divide c(-13)?
False
Is 15 a factor of (((-16)/(-28))/1)/((-2)/(-1393))?
False
Let i(d) = -5*d - 7. Let w be i(-5). Let t = w - 13. Suppose t*n = -4*m + 160, -n = 3*m - m - 26. Is 12 a factor of n?
True
Let n(c) = -c**3 + 14*c**2 + 8*c + 10. Suppose y - 5*y = -56. Let p be n(y). Is p/12 - 4/24 a multiple of 5?
True
Let b = 299 - 171. Does 20 divide b?
False
Let i be -2*178/(-4) + 2. Suppose 2*g = -i + 23. Let r = g + 58. Does 8 divide r?
True
Let k(h) = -h**2 - 13*h + 7. Suppose 0 = -8*p + 13*p - 10. Let n(q) = -3*q**2 + 4*q - 3. Let c be n(p). Does 9 divide k(c)?
False
Let f(u) = 8*u - 5. Let a be f(12). Let d = 5 + a. Suppose -b - 2*b = -5*z + 262, 2*z + b = d. Is z a multiple of 20?
False
Suppose 17*v - 22515 - 44159 = 0. Is 37 a factor of v?
True
Let l = 13 - 8. Suppose -l*a + 44 = -141. Is 14 a factor of a + (-3 - (-1 - 5))?
False
Let j(f) = -19*f - 15 + 48*f - 10. Does 12 divide j(6)?
False
Is 103*(-1)/((-8)/152) a multiple of 106?
False
Let v(t) = 131*t**2 - 17*t + 3. Is 9 a factor of v(-3)?
True
Let l = -15 - -6. Let s = l - -23. Suppose 2*o - s = 18. Is o a multiple of 16?
True
Let q(d) = d**3 - 7*d**2 + 4*d - 6. Let a be q(3). Is 6 a factor of a/(-45) - (-338)/6?
False
Let m = -207 + 306. Is m a multiple of 9?
True
Let k be (9/(-36))/(2/(-16)). Let d = k - -3. Is 5 a factor of d?
True
Does 54 divide 4 - -262 - 0*(-1)/2?
False
Let a(n) = 4*n + 2. Suppose 2*k + 5*q + 15 = 0, -k - 2*q - 10 = q. Let w be a(k). Suppose -2*y = -4*y + w. Does 7 divide y?
False
Let f = 112 - 45. Let l = 95 - f. Is 4 a factor of l?
True
Let k(x) = -x**2 + 13*x - 31. Let u be k(8). Does 6 divide (u/6)/(-1)*(-40)/3?
False
Suppose -5*k + 63*h = 68*h - 1840, 3*k - 1096 = -5*h. Is 3 a factor of k?
True
Let p = -4 + 7. Suppose 0 = p*k - 31 - 38. Is k a multiple of 22?
False
Let q(r) = 1005*r - 140. Does 25 divide q(3)?
True
Let l(o) = 515*o - 271. Does 11 divide l(2)?
True
Suppose -20 = 16*n - 21*n. Suppose 5*f = n*w + 132, 7*w - 2*w = -f + 9. Is f a multiple of 3?
True
Let d be -1*(2 + -3)*3. Suppose -d*y + 283 = -2*y. Suppose 5*b - 813 = -y. Is b a multiple of 27?
False
Let u = 55 + -51. Suppose 9*w = u*w + 180. Is 12 a factor of w?
True
Does 38 divide (-36)/((48/342)/(-8))?
True
Let y = 31 + -29. Suppose -5*u = 2*i + 3*i + 15, 43 = -5*u + y*i. Let k(x) = -x**3 - 6*x**2 + 6*x + 13. Is k(u) a multiple of 20?
True
Is 54192/96 - (-1)/2 a multiple of 73?
False
Let p = 99 - -263. Is p a multiple of 14?
False
Suppose 7*f - 6*f + 9 = 0. Let g = 18 + f. Suppose 0 = -r + 27 + g. Is 12 a factor of r?
True
Suppose 2*c - 3704 = -5*q, -q + 527 + 215 = c. Is q a multiple of 60?
False
Let d(x) = 2*x**3 + x - 1. Let m be d(1). Suppose -m*f - n + 286 = -4*n, 133 = f - 4*n. Suppose -f + 41 = -2*i. Is 18 a factor of i?
True
Let y(c) = 5*c**2. Let m be y(1). Suppose -m*i - 25 = -5*j, 0*i - i + 3*j - 15 = 0. Suppose i*k = -k + 10. Is k a multiple of 10?
True
Let q be -2 - 5/(10/(-8)). Suppose 13 = q*i - 27. Is i/6*408/20 a multiple of 14?
False
Let u be 0 + 24/(-20)*-5. Let a(r) = -2*r**2 + 12*r - 5. Let w be a(u). Let q = w - -10. Is 5 a factor of q?
True
Is (-208373)/(-95) + 32/20 + -1 a multiple of 34?
False
Let y(t) = t**2 - 10*t + 34. Is 26 a factor of y(16)?
True
Let a be 101/(-2) - (-3)/6. Let s = -30 - a. Let t = 36 + s. Does 14 divide t?
True
Let m be (-16)/(-12) + (-104)/(-12). Is -3 + (-4)/(-10) + 306/m a multiple of 28?
True
Suppose 5*g = 4*m + 13 + 180, m = -2. Suppose x + 2*y - 45 = g, y - 167 = -2*x. Is 7 a factor of x?
True
Let w(q) = 2*q - 8. Let n be w(14). Let h = -17 - -8. Let d = n + h. Is d a multiple of 3?
False
Let o be 1/((14/204)/7). Does 23 divide 12/4 - (0 - o)?
False
Let g(p) = -p**2 - 5*p + 11. Let a be g(-6). Suppose -4*n + 224 = -3*l + 28, -a*n = -4*l - 246. Suppose 194 = 6*q - n. Is 10 a factor of q?
True
Let z = 56 - 52. Suppose -2*l + 34 = z. Is 2 a factor of l?
False
Let b = -1178 - -1256. Is 39 a factor of b?
True
Suppose -2*m = -11 + 5. Suppose 0 = -4*c - 3*v + 37, 3*c - 9 = -m*v + 18. Let q(o) = -o**2 + 15*o - 9. Does 16 divide q(c)?
False
Suppose -2*u - 222 = -3*u. Suppose 0 = 6*i -