z - 16. Let a be g(3). Which is smaller: a or 147/65?
a
Suppose 41*w + 6098 + 3373 = 0. Which is greater: w or -228?
-228
Let w = 1273 - 2764. Let t be (-2 + (-77596)/(-52))*-1. Let q = w - t. Which is smaller: 0 or q?
q
Let d(h) = h**2 + 17*h + 19. Let w = -26 + 10. Let m be d(w). Let l be (-3)/1 + (-38)/(-30)*m. Is l not equal to -5?
True
Let f = 2745 + -5068. Let l = f - -9357/4. Which is smaller: l or 16?
16
Let y be -14*(-12)/60*5/2. Let d = 13 - 10. Let t be (-8 + 11)/(d/7). Is y < t?
False
Let b be (-4)/26 - 3341088/(-1248). Is 2675 bigger than b?
False
Let c(f) = 6*f**2 - 2*f**3 - f + 4 - 4*f**2 + 0*f**2. Let y be c(2). Let s be (208/(-195))/(2/y). Which is greater: -1 or s?
s
Let u = -352.92 + -2.08. Let f = u - -355.05. Is f less than -0.17?
False
Let s = 14398 + -14538. Do s and 54 have the same value?
False
Let v(g) = g**2 + g - 16. Let p be v(-5). Suppose 0 = f + 5*r - 3, 3*r = f - p + 1. Suppose -4*i - 44 = -f*m, -2 = -i + 3*m - 22. Are -6 and i non-equal?
True
Let l = 16929/6440 + -3/805. Let y be 11 + -8 + 3 + 1. Suppose -15 = -5*s - 5*u, y*s - 5*s = 4*u + 6. Which is smaller: l or s?
l
Let s be -410*20/16*2112/160. Is -0.1 at most as big as s?
False
Let k be -2 + 5 - 18/(-3). Suppose 0 = k*b + 12 - 48. Which is smaller: 5 or b?
b
Suppose 20 = f + 21. Let w be -3*(-5)/760*-8. Is f at most w?
True
Let a be ((28/10)/1)/(5/100). Suppose 63 = f + a. Is 23/4 > f?
False
Let z = -18029 - -18037. Which is smaller: 142 or z?
z
Let q = 147 - 145. Suppose -x - d + 20 = 0, -4*x - q*d = 3*d - 79. Suppose -4*l - h = -2*l - 11, 0 = -2*l - 3*h + x. Is 3 smaller than l?
False
Let b(m) = -11*m**2 - 19*m - 70. Let f be b(-6). Which is smaller: 2/3 or f?
f
Let n(p) = 1396*p + 6902. Let r be n(-5). Suppose 2*w + 70 = -94. Which is greater: w or r?
r
Let p = -22526 - -22526.1. Are p and 23/87 non-equal?
True
Suppose 0 = -4*x + 2*x - 170. Suppose 0 = 3*w - y + 94 + 205, 0 = -5*y - 5. Let i = w - x. Is i > -16?
True
Suppose -161 - 28 = -7*u. Suppose -17*n + 432 = -u. Which is bigger: n or 30?
30
Let c = -0.9361 + 1.0561. Let i = -1.7 - -0.8. Is c < i?
False
Let j(l) = -55*l + 5499. Let q be j(100). Are 34/87 and q nonequal?
True
Suppose -3*p - 3*q = -1761, -q = -5*p + 1759 + 1146. Which is bigger: p or 587?
587
Let b be (3/(-1995))/(4536/750 - 54/9). Which is smaller: b or 1?
b
Let p = 3560 - 103260/29. Let f = p - -265/174. Let a = f + -1/3. Do -1.7 and a have the same value?
False
Let y be ((-234)/(-24))/(-6 + 4/32 - -4). Let r be (-1 - (5 - 2))/(-2). Suppose r*d + d = 3, -b + d = 6. Do b and y have different values?
True
Let a = 41 - 40.5. Let d be (-1102)/5 - 2/(-5). Let f be d/420 + (-1)/7. Is a equal to f?
False
Suppose 402*b - 1280*b = 0. Is -2/303 greater than b?
False
Let j = 11.6 + -14. Let a = j + 1. Let r = a - -2.4. Is r equal to 22?
False
Let c = -6 + 4. Let m = 3976/3 + -7961/6. Which is greater: m or c?
m
Suppose -j = -5*g + 12, 2*j - 2*g = 5*j - 15. Suppose j*y + y + 56 = 0. Suppose 68 = -2*b + 4*f, 50*f - 46*f - 82 = 3*b. Do y and b have the same value?
True
Let h(g) = 11*g**3 + 3*g - 2. Let n be h(1). Let b = 68 + -55. Let p be b/((-6)/4*(-8)/12). Is n > p?
False
Let p = -1380 - -4136/3. Do p and -0.0468 have the same value?
False
Suppose 0 = -2*f - 5*m + 270, -312 = 5*f - 2*m - 929. Suppose -2*w - c = f, -4*w + 4*c - 140 = -2*w. Let n = -64 - w. Is n equal to 1/23?
False
Suppose c = -2*z - 142, 0 = 3*z + 6. Is c greater than or equal to -150?
True
Let t = 10.24 - -304.76. Which is bigger: 3 or t?
t
Let q = 3952 - 3950. Which is smaller: 118.6 or q?
q
Suppose 11*f - 2*f = 0. Suppose k + 1 - 3 = f. Suppose 6 = 4*n + 3*p, -n = k*n + 2*p - 5. Which is smaller: n or -4?
-4
Suppose 3*o - 1272 = p, -1152*o + 30 = -1157*o. Which is bigger: p or -1291?
p
Let a be (495/(-81) + 6)/(16/21). Let c = -16 + 15. Which is smaller: c or a?
c
Let v be 3 + -9 - (46 + 10)/2. Is v greater than or equal to -31?
False
Let r = 0.017 - 0.043. Let u = r - 9.974. Let m = u - 32. Which is smaller: -1/2 or m?
m
Let w be (-6)/5*(-5)/(-1). Let a be ((-54)/8 + 3)/(w/32). Suppose 8*b = 12 + a. Which is smaller: 0 or b?
0
Let r be 16/(-200)*15/(-12)*-4. Is -354 < r?
True
Let g = 43 - 42.7. Let b = -671 + 671.049. Is b at most g?
True
Let f(l) = -32*l**3 + 5*l**2 - 12. Let z be f(-3). Suppose -13*o = z + 2509. Which is greater: -261 or o?
-261
Let i = 2658 - 2682. Let b(d) = -d**2 + 4*d + 25. Let t be b(6). Which is bigger: t or i?
t
Let q = -90 - -86.56. Let c = q + 3.44. Which is bigger: -0.88 or c?
c
Suppose 39 + 29 = 90*b - 22. Is 15/2357 at least b?
False
Let l be -1*((-1)/3 + (-64)/6). Let h be (-3)/6*l/((-21065)/(-20)). Is -2 > h?
False
Let n(q) = -q**3 - 31*q**2 + 57*q - 416. Let h be n(-33). Suppose -i = -4*r + 2*i - 480, 2*i - 240 = 2*r. Which is smaller: h or r?
r
Let v(i) be the second derivative of -5*i**4/12 - i**3/2 - 5*i**2 + 21*i. Let y be v(-3). Let p = 44 + y. Are -4 and p nonequal?
True
Let z(a) be the first derivative of -a**4/12 - 5*a**3/2 - 21*a**2/2 + 9*a + 4. Let k(b) be the first derivative of z(b). Let g be k(-14). Is -7 >= g?
True
Let b(y) = -5*y**2 - 105*y - 433. Let r be b(-8). Are -2/133 and r equal?
False
Let z = -44479 - -44475. Which is smaller: z or -7/9?
z
Let b = -362 - -305. Which is bigger: b or -15?
-15
Let w = 15751 - 79001/5. Do -48 and w have the same value?
False
Let d(f) = -f**3 - 5*f**2 - 5*f + 1. Let j be 9 - 10 - (-6)/(-2). Let w be d(j). Let n be w/(30/5 - -1). Are n and 0 nonequal?
True
Suppose -18 = -5*n - y + 22, 5*n + 5*y = 20. Let u be 2 + (-632)/(-60) - 3/n. Is 12 greater than u?
False
Suppose -4 = -4*h - 0, -5*u - 4*h = -5389. Is 1074 at most as big as u?
True
Let x = -182.8 - -181. Let h = x + 17.8. Let u be 40/78 + 6/(-9). Which is smaller: u or h?
u
Let k(o) = -5*o + 57. Let u(q) = 2*q + 31. Let s be u(-10). Let z be k(s). Let j be (-7990)/(-13113) + 1/(-9)*z. Which is bigger: j or -1?
j
Suppose -4*j - 117 = -2*k + 197, k - 4*j = 161. Suppose -43 + k = -2*b. Which is bigger: b or 0?
0
Let j be 2/(-1 + (-2)/(-4)). Let u be (-20 - -24)/2 + (0 + -2)*1. Are j and u equal?
False
Let p = 0.2564 + 2063.7436. Which is smaller: -0.1 or p?
-0.1
Suppose -4*w = 2*s - 86, w + 5*s = -4*w + 95. Suppose -4*b - 34 = 5*v, -3*v + 18*b - 13*b = 50. Let h be ((-8)/(-16))/(v/w). Do -2 and h have different values?
True
Let k = 0.0975 + 2.9025. Is 1966 at most as big as k?
False
Let g = 233 - 646. Let m = g - -412.2. Suppose -s = 2*j + 3 + 4, -2*s + 10 = -2*j. Is m bigger than s?
False
Let a = 96436 - 2411251/25. Is -13 equal to a?
False
Suppose -1029*k - 34 = -4*r - 1034*k, 5*r - 2*k - 26 = 0. Is -145 less than r?
True
Let h = -1243903/57755510509 + -3/739157. Which is smaller: h or -1?
-1
Let v(s) = 2*s - 20. Let f be v(10). Which is smaller: 1/52 or f?
f
Let p(b) = -9*b**3 - 2*b**2 - b. Let i be p(-1). Let j be (-99)/492 - (-2)/i. Let g = 19206 - 19205. Is g smaller than j?
False
Suppose 0*t + 5*t = 0. Let o = 433.731 + -434. Let d = 0.22 + o. Do t and d have the same value?
False
Suppose 0 = -5*t - l + 4, 8 = t + 2*l - 0*l. Let n be 1757/(-2002) - (-141)/(-1833). Is t greater than n?
True
Let i be 20/16 + (-227875)/300. Let x = -758 - i. Which is smaller: x or -5?
-5
Let v(u) = u**2 + 5*u - 1. Let s be v(-5). Which is smaller: s or 1/19634?
s
Let b = -23.52 - -23.92. Let u = 48.18 - 0.18. Which is greater: b or u?
u
Suppose 14*g + 20360 = 4*g - 10*g. Which is smaller: -1021 or g?
-1021
Suppose -2 = i - 4*u - 15, -i + 18 = -5*u. Is -138/19 smaller than i?
True
Let m = 767919001/2978 + -257864. Is m equal to 1?
False
Suppose 42*x + 48 = 93*x - 45*x. Let w = 14.6 + 0.4. Which is greater: w or x?
w
Let m = -5070 + 5069. Which is smaller: -0.5138 or m?
m
Let y = 28526 + -28691.99. Let j = y - -166. Which is bigger: -5 or j?
j
Let q(d) = -d**3 - 7*d**2 + 11*d + 43. Let x be q(-4). Let u = x + 253/5. Is -1/2 less than u?
True
Let o(q) = -2*q**3 - 64*q**2 + 64*q - 65. Let y be o(-33). Which is smaller: 1/27 or y?
1/27
Let y(t) = -43*t - 257. Let w be -7*(0 + (-18)/(-21)). Let q be y(w). Are -1/173 and q non-equal?
True
Suppose 12*j - 912 + 24 = 0. Suppose -2*i + 21*q = 24*q + 24, 3*i = 5*q - j. Which is greater: i or 5?
5
Let i = 2.24 - 4.24. Let g = -1.6 + 2.5. Which is smaller: g or i?
i
Suppose -3*p = -2*p - 4, p = -5*b + 154. L