76. Let a = 664 - 664.03. Which is bigger: o or a?
o
Suppose -5*y - 14 = -29. Suppose y*r + 12 = 3*q, -r + 0*r + 4 = 3*q. Let j = -5 + 7. Is j < q?
False
Suppose -7 - 2 = -k. Let i = -113/2 + 66. Is i at least as big as k?
True
Let x(n) = n**3 + 3*n**2 - 4*n - 5. Let p be x(-4). Suppose 2*b = -4*z - 42, -5*b = 4*z + 8 + 49. Are z and p non-equal?
True
Let u(o) = -8*o + 1. Let w be u(1). Let q = 15 + -15. Suppose q = -0*j + 2*j + 4*r + 20, r = 4*j + 22. Which is smaller: w or j?
w
Let d(b) = -b**2 + 25*b - 19. Let t be d(22). Let j = 234/5 - t. Which is greater: j or 0?
0
Suppose 3*r = -4*m - 36 - 11, 0 = -m - 5. Let a = -33 - r. Which is greater: -25 or a?
a
Let l(k) = 25*k - 118. Let a be l(10). Is 132 less than a?
False
Let n = -6 + 10. Let a(z) = 3*z - 6. Let r be a(3). Suppose 4*j - 28 = -4*y, 2*j + 15 = r*j + 5*y. Which is smaller: j or n?
n
Suppose -2*p + 3*p + 13 = 0. Let b(z) = -2*z + 10. Let d be b(4). Let g be d + ((-320)/(-35))/(-4). Is g at least p?
True
Let s(l) = 16*l - 534. Let r be s(8). Do -407 and r have the same value?
False
Suppose -x + 18 = -5*m, x + 2*m + 4 = 1. Suppose x*h = 4*h - 5. Suppose -h*c - 15 = 3*u - 2*u, 5*c + 45 = 5*u. Which is bigger: u or 6?
6
Let z = -96 + 93.7. Let l = -56/75 - -2/25. Do l and z have different values?
True
Let o = -0.07 - -7.07. Let z = -12 + o. Let x = 1 + z. Are -0.2 and x non-equal?
True
Let m be ((-12)/5)/(12/(-40)). Let r(l) = -2*l + 44. Let b be r(24). Let k be (-4)/12*-33 + b. Is k > m?
False
Let k(w) = -14 + 0*w + w - 8 + 1. Let q be k(19). Are 1 and q nonequal?
True
Suppose 4*a - 2*q - 118 = 0, 0*a - 5*q + 56 = 3*a. Let c = a - 14. Which is smaller: 14 or c?
c
Let t = -71/54 - -931/270. Which is bigger: t or 1?
t
Let n = 580 - 2303/4. Suppose 0 = -5*z + 34 + 16. Let v(a) = -a**3 + 11*a**2 - 10*a + 5. Let i be v(z). Which is greater: n or i?
i
Let l(g) = g - 2. Let q be l(0). Let b(r) = -3*r**2 - 9*r - 6. Let a(n) = n**2 + n - 1. Let o(v) = 2*a(v) + b(v). Let k be o(-4). Is k > q?
True
Let f = 119 + -116. Let o(w) = -w**2 + 3*w + 1. Let j be o(3). Let b be -1*j*2/2. Which is bigger: f or b?
f
Suppose 2*k + 42 = -5*j - 73, 3*k + 166 = -j. Let r = -56 - k. Is r > -44?
True
Let v be -7 + 5 - (-2 + 2/9). Let n(i) = i**3 - 3*i**2 - i + 2. Let m be n(3). Let f = m + 1. Which is bigger: f or v?
f
Suppose -z - 1 = -0*z. Let h be 1 + -2 - (z + -3). Which is bigger: 5 or h?
5
Suppose 89 - 77 = 4*y. Suppose 3*s = -y*d - 6, 6*d + s = 4*d - 4. Which is smaller: -22/13 or d?
d
Let a = -0.9 - -1.9. Let y be ((-2)/134)/(2 + -1). Let d = -125/603 + y. Which is smaller: a or d?
d
Let g be ((-1)/(-20))/((-2)/(-1324)). Let m = g + -67/2. Let p = 16 - 15. Is m greater than p?
False
Let x(p) = -124*p + 4. Let t be x(1). Let z be (36/(-15))/(9/t). Which is greater: z or 33?
33
Let u be (0 - 0) + 18/7. Let n(i) = 5*i - 38. Let l be n(-7). Let c = l - -74. Which is smaller: u or c?
c
Let u = -3649/4422 - 6/737. Let h = 1 + -3. Is u at least h?
True
Let r be -2 + 1 - 1/((-28)/20). Which is greater: -0.89 or r?
r
Let d be (2/(-3))/((-6)/108). Which is smaller: d or 168/13?
d
Let q = -140 + 170. Which is smaller: q or 32?
q
Let y = -38 - -36. Let h be -3*((-273)/54 - y). Is h at least as big as 8?
True
Let s be (10/(-25))/(-2)*1510. Is 302 bigger than s?
False
Let h(v) = -v**3 - 6*v**2 - v. Let l be h(-4). Let n be (-4*(-4)/l)/((-2)/(-2)). Is -2 smaller than n?
True
Let u = 102 + -73. Let r = 28 - u. Which is smaller: 1/20 or r?
r
Let x = 3.23 - 3.2. Let a = x + -0.03. Which is smaller: a or 1/31?
a
Let n = 1.7 + -11.7. Let j be 20/2340*-13 + 19/9. Which is smaller: n or j?
n
Let z be (-4)/22 - 8/2860. Which is smaller: -1 or z?
-1
Let t = -1321 - -1297.03. Let f = -24 - t. Which is smaller: 3/5 or f?
f
Let l = 32 - 33. Suppose -3*q + 4*q - 16 = -5*a, 2*q = 5*a - 13. Which is smaller: l or a?
l
Suppose -21 - 35 = -7*h. Suppose -548 + 124 = h*f. Which is bigger: f or -51?
-51
Suppose 9*v - 4*v - 25 = 0. Suppose -40 = v*q - 0*q. Let r = q + 15. Is 7 bigger than r?
False
Let a = -10.11 - -5.08. Let r = a - -0.03. Let t = -3766 + 3766.4. Is t less than or equal to r?
False
Let f = -1205/4852 - 2/1213. Which is bigger: f or -2.4?
f
Let c be (3*312/18)/(-2). Let y = 6 - c. Is 31 != y?
True
Suppose -c = 9*c + 120. Let a be c/(5*8/60). Which is greater: a or -17?
-17
Let o = 171 + -170. Do o and -2/1207 have different values?
True
Let o be 2/(-4)*(9 - 1). Let m be 24/o + 4/(-2). Which is smaller: m or -7?
m
Let d(s) = -s + 8. Let n be d(-4). Suppose -n*x + 10*x = -12. Suppose x*h + 62 = 14. Does h = -9?
False
Let m be ((1*-6)/3)/(-268). Let t = m + -1077/670. Let b = t - -37/20. Is 3/2 bigger than b?
True
Suppose -3*f = -0*f. Suppose -3*v - 135 = -f*v. Let t be 3/v + 2/(-6). Is -2 != t?
True
Let d = -4 - -4. Suppose -v + 6*v = 75. Suppose -u + 6*u + v = d. Which is smaller: u or 3?
u
Let a be 3 + 18/(-10) - 3. Let h be (-1 + (-58)/(-60))*64. Let u = h - a. Which is bigger: u or -2?
u
Let y = -122/83 + 10394/747. Which is smaller: 11 or y?
11
Suppose -4*p = -9 - 23. Let y = -4 + p. Suppose -3*v - 2*j = -j, v + 13 = y*j. Are -1/2 and v equal?
False
Let p be (-199421)/441 + 2 - 24/(-108). Let b = p - -450. Is 0 equal to b?
False
Let m = -67.67 + 77.8. Let t = m - 0.53. Is t > 0?
True
Let m be 12/9*144/(-52). Is -3 equal to m?
False
Let l be 5/10*1*-4. Let w be 2/l - (-14 + 1). Let p be -4*(-21)/w*1. Which is smaller: 8 or p?
p
Let d = -12 + 8. Let x = -8 - d. Let i(m) = -3*m + 39. Let c be i(13). Which is bigger: x or c?
c
Suppose 48*k + 1300 = 35*k. Let h = 206 + -306. Is h less than k?
False
Suppose -4*n - 5*r + 4 = 0, 9*n - 10*n - r = -1. Which is smaller: n or 2/1369?
2/1369
Let p be -4 + 11 + 3/(0 - 1). Suppose o - 4*o - 34 = 5*b, 4*b + 26 = -2*o. Let r = o - -6. Do p and r have different values?
True
Let x be 663564/1404 + (-4)/(-26). Let b = x - 483. Let z = b - -169/18. Which is smaller: -1 or z?
-1
Let s be (-112)/(-56)*(-2)/4. Which is smaller: 35 or s?
s
Let r be ((-2)/6)/(88/(-72)). Suppose -54 = 2*g - 6. Let d be 6/g - (-1)/4. Which is greater: r or d?
r
Suppose 11 = 5*m - 9. Suppose -5*t + 4*l = 306 - 1474, -2*l = m. Let i be (-2)/5 - t/20. Is i greater than -23/2?
False
Let m(y) = -5 + 8*y**2 - y + y**3 + 23*y**2 - 20*y**2. Let a be m(-11). Are 7 and a equal?
False
Suppose p + 4 = i, 2*p - i = -8 + 1. Let f = -79 - -391/5. Is f smaller than p?
False
Let p = -156 - -155. Which is smaller: 2/771 or p?
p
Let k = 599/154 - 42/11. Let y = 28 + -17. Let x = 11 - y. Which is smaller: k or x?
x
Let m(c) = 2*c**2 - 3*c + 7. Let o(a) = a**2 + 1. Let p be o(-1). Let g be m(p). Which is greater: 10 or g?
10
Let p = 575 - 5177/9. Let w = 2 - -1. Let t = w + -5. Which is smaller: p or t?
t
Let v = 831 - 291683/351. Is 1 at least v?
True
Let i = 10.4 + -0.4. Let b = -5 - i. Let h = 18 + b. Do h and 7 have the same value?
False
Let i = -847 - -861.3. Which is smaller: i or 1/4?
1/4
Let n = 119 + -107. Suppose -17*s + n*s = 5. Is s at least as big as -3/11?
False
Let q(v) = -v**2 - 2*v + 37. Let c be q(5). Suppose 0 = -2*w + 4*w + 2. Is w <= c?
True
Let h(c) = c**2 - c + 3. Suppose 0 = -a + 3*a - 4. Let n be h(a). Suppose -4*r = -n*r - 1. Is r less than -3?
False
Let c = 0.67 - 0.97. Which is smaller: 34 or c?
c
Let b be (-12)/54 + 1 + (-13)/9. Is -3/5 <= b?
False
Let t = -46.55 - -55. Let a = 8.6 - t. Is 2/7 at most as big as a?
False
Let r(k) = -4*k**2 - 41*k - 101. Let p be r(-3). Suppose -d - 3 = -3*f, 4*d + f - 20 + 84 = 0. Which is bigger: d or p?
p
Let d be 4 + 326/(1 + -2). Is -322 at least d?
True
Suppose -6*c = 1001 + 787. Let j = -613/2 - c. Which is smaller: j or -10?
-10
Let l(w) = -9 + 5*w**2 + w**3 + 2*w**2 - 20*w**2 + 14*w. Let p be l(12). Which is greater: -1 or p?
p
Let i(g) = g**2 - 7*g. Let d be i(7). Suppose -5*s - 12 + 72 = d. Suppose -4*a = 3*u - s, 5*a + 3*u = 6*u + 15. Are 2 and a equal?
False
Let x(a) = -a + 11. Let p be x(-13). Is 165/7 <= p?
True
Let j be (327/1)/(-3 - -6). Let t be 10 - 8 - (111/j - -1). Is t equal to -1?
False
Let w(p) = p**3 - 2*p**2 + 4*p - 3. Let v be w(2). Let b be (4 - v)/(2/4). Let l be -1*(-3 - -1 - b). Do l and -1/6 have different values?
True
Let r be ((-393435)/(-40340))/(-3) + -5. Let z = -2/2017 - r. Which is greater: z or 7?
z
Let z be ((-1)/(-3) - 7/3)/(-2)