s 10 a factor of (g + -10)/((-2)/4)?
True
Let g(a) = a**3 + 43*a**2 + 172. Does 44 divide g(-42)?
True
Let z(m) = 33*m + 17. Let s be (8/(-12))/(2/(-9)). Is 29 a factor of z(s)?
True
Let q(m) = -88*m - 6. Is q(-11) a multiple of 34?
False
Let i = 42 + -89. Let b = i + 137. Suppose 2*h = -0*h + b. Is 11 a factor of h?
False
Suppose -4*h + 608 = 4*v, 5*h - 250 + 98 = -v. Suppose -x + 13 + 155 = b, x - 3*b - v = 0. Does 8 divide x?
False
Suppose -46 + 1906 = 4*w. Is w a multiple of 31?
True
Suppose -4*i + 1113 = -227. Suppose 4*d = 5*r - 383 - 162, -i = -3*r + 4*d. Does 29 divide r?
False
Suppose 4*p + 5*p - 36 = 0. Suppose 48 = p*o + k, -o = 5*k - 8 + 15. Is o a multiple of 3?
False
Suppose -i - 3*w = -851, 2*i - w - 1710 = w. Is 48 a factor of i?
False
Suppose 5*g - 115 = -2*m, -m - 2*m = 5*g - 120. Suppose -5*k = 3*t - 5, 0 = -5*t + k - 3*k + g. Is 3 a factor of t?
False
Does 35 divide 1305 - 2 - (-15 + 23)?
True
Does 15 divide 2589/15 - 3 - 10/(-25)?
False
Let t(g) = g**3 - 6*g**2 + 4*g - 4. Let s be t(8). Let c = 228 - s. Is 24 a factor of c?
True
Let o(q) = -2*q + 9. Let z = 21 - 21. Let u be o(z). Let s(v) = -v**3 + 10*v**2 - 2*v - 9. Does 27 divide s(u)?
True
Let o(y) = 12*y**2 + 2*y - 1. Let k be o(1). Let u = -23 + k. Let r = u + 18. Does 4 divide r?
True
Let q = -206 + 344. Is q a multiple of 51?
False
Let v be -3 + (-2)/(0 + -1) - -4. Does 17 divide v*-3*(-38)/18?
False
Let h(x) be the first derivative of x**3/3 + 7*x**2/2 + 9*x + 7. Is h(-6) a multiple of 3?
True
Let c(k) = k**3 + 4*k**2 - 5*k + 4. Let h be c(-5). Let z(i) = -16*i - 8. Let r(y) = 2*y + 1. Let t(j) = -12*r(j) - 2*z(j). Is 12 a factor of t(h)?
True
Let g = -22 - -10. Let j be (-9)/(-12)*g/(-9). Does 19 divide (4/12)/(j/165)?
False
Let m be -3 - (4 - (0 + 285)). Suppose 5*q - m = 87. Does 16 divide q?
False
Let k = 33 - 118. Let s = -38 - k. Is s a multiple of 8?
False
Suppose -4*h = -4, 0*q = 5*q + 2*h - 532. Suppose l = 3*b - q, b = -2*b - 5*l + 118. Does 7 divide b?
False
Let b = 4288 - 2472. Is b a multiple of 50?
False
Let d(g) = -333*g**2 - g. Suppose 0*o + 5*o = 5. Let a be d(o). Does 21 divide a/(-4) - 1/2?
False
Suppose 0 = -s + 1, 0 = -5*n + n - 3*s + 839. Let w = n + -111. Does 36 divide w?
False
Suppose -i - 6 = -v, -2*v + 16 = 3*v + 2*i. Suppose 12*x - v*x = 336. Does 6 divide x?
True
Let g(d) = -d. Let t be g(1). Suppose 0 = 4*y + 5*f - 43, -y + 4*f - 16 + 32 = 0. Is 20 a factor of y/(-3) + (-44)/t?
True
Let d be -3*(4/(-12) - 1). Suppose -4*t + 2*b + d = 0, t + 2*t - 16 = -5*b. Is (-2)/((-4)/(t - -78)) a multiple of 20?
True
Let h = 299 + -287. Is h a multiple of 10?
False
Let o = 1483 + -942. Does 19 divide o?
False
Let j be (24/15)/((-6)/(-15)). Suppose 6*z + 44 = 3*z - a, -a = j*z + 60. Does 15 divide (-824)/z + 2/4?
False
Suppose 83 = -9*s + 1973. Is 14 a factor of s?
True
Suppose 16*t = k + 17*t - 530, k - 2*t = 524. Is k a multiple of 22?
True
Let n be 6 - (-20)/(5 - 1). Is (-1)/(21/46 + n/(-22)) a multiple of 5?
False
Suppose 10*x + 616 = 21*x. Does 28 divide x?
True
Suppose -c - 6 = d - 6*c, 5*d + 59 = -4*c. Let f(m) = m**2 + 12*m - 16. Let i be f(d). Is (-1 + -14)*36/i a multiple of 10?
True
Let o(h) = -4*h**3 + h**2 - 2*h + 1. Let u be o(1). Does 4 divide 0 + 31 + u + 1?
True
Let v = -47 + 48. Is 2/((v/22)/((-23)/(-4))) a multiple of 23?
True
Let n(r) be the first derivative of 2*r**3/3 - r**2/2 - 16*r - 6. Is n(-8) a multiple of 22?
False
Let j = -13 + 16. Suppose 5*b + j*c + c - 93 = 0, -3*c = -2*b + 28. Does 7 divide b?
False
Is 22 a factor of ((-60)/2)/(-12*(-7)/(-224))?
False
Suppose 10 = 3*m + 1. Suppose 0 = -2*p + m*p - 2. Suppose -c - t + 40 = 2*c, -p*t - 25 = -c. Does 5 divide c?
True
Let s(q) be the first derivative of -q**4/4 - 4*q**3/3 + 3*q**2/2 + 8*q + 29. Let y = 7 - 13. Does 21 divide s(y)?
False
Let g = -164 + 668. Does 24 divide g?
True
Let f be -2 + (-34350)/(-12) - 3/(-2). Is 32 a factor of f/45 - (-4)/10?
True
Let y(c) = -c**3 - 8*c**2 + 8*c - 5. Let z be y(-9). Suppose -z*t - 1756 = 4*g, 8*g = 4*g - 5*t - 1755. Is g/(-50) - 1/(-5) even?
False
Suppose 2*p = c - 138, c - 2*c + p = -139. Let k = c - 89. Is 19 a factor of k?
False
Let z = 17 + -11. Let g be (189/3)/(z/4). Let o = g + -10. Does 16 divide o?
True
Let d(z) be the third derivative of -z**5/60 + z**4/3 + 5*z**3/6 + 278*z**2. Let v = 10 + -2. Is d(v) even?
False
Suppose 280 = -6*u + 1486. Suppose -4*v + 38 = -2*x + 122, 3*v - u = -4*x. Is x a multiple of 12?
True
Suppose 0 = 3*n + 9*n - 1800. Does 27 divide n?
False
Let k = -5 + 8. Suppose 5*t - 31 = 3*c, k*c - 9 = 4*t - 7*t. Suppose 132 - 22 = t*b. Does 5 divide b?
False
Let m be 2744/(-84) + ((-5)/(-3) - 1). Does 3 divide (-2 - m/12)*-3 - -17?
True
Does 21 divide 1911 - (4/10)/(5/25)?
False
Let q(m) = m**2 + 10*m + 10. Let j(x) = -x**2 + x + 1. Let o(c) = 2*j(c) + q(c). Let i be o(13). Is 1 + (i + 3)/1 a multiple of 2?
False
Let r(y) = y + 1. Let p be r(2). Suppose p*x + 3*x - 198 = 0. Does 7 divide x?
False
Does 34 divide (30 - 1 - -5)*9?
True
Let k = -27 + 9. Let n = k - -34. Is -2*(-10)/n*4 even?
False
Let u(f) = f**3 - 7*f**2 + 6*f - 2. Let r be u(6). Let b be r/2*(-2 - 1). Suppose -q - a = -17, 92 = 4*q - b*a + a. Does 10 divide q?
False
Suppose -13*a + 11*a + 4 = 0. Let b be 4 - (-3 + a)*-8. Let y = b + 28. Is 13 a factor of y?
False
Suppose -3*y - y = -32. Suppose 0 = -3*o + y*o + 2*q - 35, -o = 5*q - 30. Does 11 divide (o - -6)/((-1)/(-2))?
True
Does 32 divide 705/3 - (0 - (7 - 4))?
False
Is 999/((-9)/(-27) + (-14)/(-12)) a multiple of 18?
True
Suppose -g + 3 = 17. Let w be (-6)/(-21) - 1536/g. Suppose 4*o + 10 = w. Does 12 divide o?
False
Let u be (-2 - (1 - 2)) + 131. Let z = -84 + u. Suppose 0*m = -5*f - m + 132, 2*f = 3*m + z. Does 14 divide f?
False
Suppose -8*h - 2 = -9*h. Suppose -2*s + 3*s + 5*y = 47, h*y + 370 = 5*s. Is s a multiple of 24?
True
Suppose q + t - 102 = 3*t, t = 2*q - 189. Let c = 236 - q. Does 24 divide c?
True
Let c = -704 - -1865. Is c a multiple of 16?
False
Suppose n - 27 = 3*a - 2*n, -3*a - 3*n - 9 = 0. Let r be ((-12)/36)/((-2)/a). Does 23 divide (-13 + 5)*r*8?
False
Let s = 1025 + -492. Is 9 a factor of s?
False
Suppose -14*b = -4152 - 258. Does 16 divide b?
False
Suppose 7*c = 63 - 7. Suppose -n - 2*t + 28 = 0, -96 = -3*n - 2*t - c. Is n a multiple of 6?
True
Let j = -180 + 114. Is 5 a factor of 1/(-3 + (-201)/j)?
False
Suppose 5*f + 3*j - 18 = 0, 3*f - j + 0*j - 8 = 0. Suppose -f*k = -5*c - 5, 0*k + 3*c + 3 = -3*k. Suppose k = -11*z + 9*z + 48. Is 24 a factor of z?
True
Suppose 2*g - 34 + 10 = 0. Let w = g + 9. Suppose 4*k = 75 + w. Does 8 divide k?
True
Let g be (-3)/9 + (-62)/(-6). Suppose 71 = -g*p + 11*p. Does 12 divide p?
False
Let m = 1 - -5. Let h be 6/4*56/m. Suppose -h*r = -10*r - 8. Is 2 a factor of r?
True
Let b be 5*(-4 - (66/(-10) + 1)). Suppose -b*l + 1854 + 50 = 0. Is 34 a factor of l?
True
Suppose 4*m - 4*f = m + 6652, 3*m + 2*f - 6664 = 0. Does 95 divide m?
False
Let a = -10805 - -15688. Is 12 a factor of a?
False
Let p(a) = 4*a**3 + a - 2. Let g(k) = -16*k**3 - k**2 - 4*k + 9. Let r(n) = -2*g(n) - 9*p(n). Is 43 a factor of r(-3)?
True
Let p(k) = k - 13. Let v be p(12). Let q be (-8 + 48)*v/(-2). Let t = 8 + q. Does 14 divide t?
True
Let m be (-2 + 0)/(28/(-1330)). Let a = 55 + -92. Let x = a + m. Is 17 a factor of x?
False
Suppose -5*d - x - 506 = 0, d - 4*x = 2*d + 86. Let t = d + 243. Suppose -4*f - 21 = -t. Is f a multiple of 15?
True
Let v = -8 - -12. Let y(k) = 2*k**3 - 6*k**2 + 2*k - 4. Does 29 divide y(v)?
False
Let c(i) = -i**3 + 16*i**2 - 10*i + 19. Is 18 a factor of c(14)?
False
Let a(n) = 10*n + 43. Suppose -2*u - u + 62 = 2*x, -5*x = u - 38. Is 32 a factor of a(u)?
False
Suppose -11*m + 15*m = -4*b + 24, -2 = 2*b - 5*m. Is b a multiple of 3?
False
Let z(h) = h - 10. Let s be z(10). Suppose l + 3*a - 3 = 0, 3*l + s*a - 19 = a. Is (-53)/(-3) - 4/l a multiple of 17?
True
Let y(p) be the second derivative of p**5/60 - 3*p**4/8 + 7*p**3/3 - 3*p**2/2 - 4*p. Let z(i) be the first derivative of y(i). Does 18 divide z(11)?
True
Let g be -13*((1 - 0) + -2). Is 10 a factor of (-38)/(-2) - (-26)/g?
False
Let x = 1104 - 144. Is 15 a factor of x?
True
Does 9 divide -1495*(3 - (-1 + (-78)/(-15)))?
False
Suppose -29*u = -23*u - 1446. Is u a multiple of 5?
F