(4/(-234)). Suppose 2*h = -5*n + 460, h + 34 = n - 65. Let z = n - 54. Which is smaller: f or z?
f
Suppose -5*d + 2 = -8. Suppose 2*g + 14 = -2*j, -4*g = -d*j + 18 - 2. Let c be (-1)/j*18/(-27). Which is smaller: c or 1?
c
Let c(a) = -463*a + 1157. Let b be c(-7). Are 4397 and b unequal?
True
Let h = -3341 - -3341.1. Which is greater: -4962 or h?
h
Suppose 4*a + 15*y - 17*y + 8 = 0, 4*a + 2*y = 0. Which is greater: a or -1/2889?
-1/2889
Let o(g) = -5459*g**3 - 16*g**2 - 26*g - 10. Let w be o(-1). Which is greater: w or 5461?
5461
Suppose 0 = -5*o + 20, 0 = y + 3*y - 3*o - 408. Suppose -6*q + 3*q - 145 = -2*i, 5*q - y = -2*i. Let n = 63 - i. Which is greater: -3/5 or n?
-3/5
Let k be (-1088)/(-1596) - ((-1)/3 + 1). Suppose 24*u - 33*u = 35*u. Which is bigger: k or u?
k
Let y(g) = g**3 + 28*g**2 - 6*g - 83. Let d be y(-28). Suppose -5*c + 25 = d. Are c and -13 equal?
False
Let u = 3964 - 3963. Is 5.52 greater than or equal to u?
True
Let h = -1546642/3 - -510864. Which is bigger: -4684 or h?
h
Suppose 13*g = -39, 13*x + g = 11*x - 1. Let w be -1*(-296)/284 - 1. Is x >= w?
True
Let x(c) = -2*c**2 + 4*c**2 + 1 - c**2 - 4*c. Let o = -12840 + 12844. Let i be x(o). Is i bigger than 5/3?
False
Let s = -134566 + 347853098/2585. Is s < 0?
True
Let b = 601460/33 + -18226. Which is smaller: b or -182?
-182
Let i(t) = t**3 - 6*t**2 - 4*t - 17. Suppose 44 = 5*n + 9. Let k be i(n). Let z be k/(((-4)/(-12))/(3/90)). Which is greater: 0.029 or z?
z
Let a be (-16)/90 - 133/(-399). Which is smaller: a or 1?
a
Suppose 15 = -5*i, 26049841 = -3*x + 7*x + 5*i. Let d be -2 + ((-1)/(-274))/((-8)/x). Let m = 2973 + d. Is m equal to 1?
False
Let w = 0.07265 - -9.92735. Let h = 119 - 108.8. Let n = w - h. Are n and 7/9 nonequal?
True
Suppose -4*u - 76 = -i, -2*i - 2 = 2*u + 46. Let q be u*(9/3 - 2). Let o = -16 - q. Is o less than or equal to -1?
False
Let v(k) be the second derivative of -k**4/3 - 37*k**3/6 - 9*k**2/2 + 7*k. Let f be v(-9). Suppose 2*x = -f*x - 2. Which is smaller: x or -1/115?
x
Let z(v) = -v**2 - 15*v + 24. Let w be z(-16). Let c be (6/w)/(23/46). Are c and -0.5 unequal?
True
Suppose 2170 = -55*d - 738 - 1547. Which is smaller: d or 8?
d
Let q = 3417 - 3257. Is q greater than 171?
False
Let f be (36/1)/2*(-8)/(-12). Suppose f*m - 15*m = -12. Is 52/15 at least m?
False
Let h(r) = -5*r + 81. Let q be h(13). Let o be (-2)/q - 150/(-1240). Is o greater than -1?
True
Let v = 128.78 - 131.78. Do v and 940 have the same value?
False
Suppose 0 = 2*y - 4, 14*m - 13*m = -4*y + 23. Let r be (-4)/18*(-5 + -4). Let o be ((-92)/(-3))/r + 3 + -3. Which is smaller: o or m?
m
Suppose 2*m - 12 + 6 = 0, -2*m - 134 = 4*s. Is -104/3 at most as big as s?
False
Suppose 3*m + 42 = -4*t, 3*t + 4*m + 16 = t. Suppose -557 - 1738 = -45*n. Let v be n/t + (-5)/(-20). Which is bigger: v or -7?
v
Let b(u) = -u**3 - 16*u**2 - 15*u + 13. Let m be b(-15). Let y be (1/(-4) + 1)/(m/312). Let s be (12/y)/(2/3*-1). Which is greater: s or -6/5?
s
Suppose -116 = 572*s - 543*s. Which is smaller: s or 314?
s
Let u be 8/64 - (-19714)/(-26320). Let c = u + 30/47. Let p be 1/4*(-8)/(-10)*5. Which is smaller: p or c?
c
Let g = -110/7 - -1884/119. Suppose 436*w + 30 - 11 = 4 + 15. Is w bigger than g?
False
Suppose 13*n - 79025 = -96*n. Let j(v) = 726*v**2 + v + 1. Let o be j(-1). Is n <= o?
True
Let g be 6 + -12 + (-1638)/(-279). Which is greater: -40 or g?
g
Let a be (-102)/27 + 12/(-36). Let f be ((-6)/(-4))/(42/(-112)). Which is smaller: f or a?
a
Suppose 0 = -5*s - 20, -2060 = -2*w + 4*w - 2*s. Do -1033 and w have different values?
True
Suppose -16*j + 85 = 6 - 65. Is 179/21 less than or equal to j?
True
Suppose 124*u = 129*u - 15. Let f(b) = b**3 - 11*b**2 + 8*b - 7. Let j be f(u). Is j bigger than -53?
False
Suppose -810 = 19*k + 102. Which is bigger: -3/19 or k?
-3/19
Let y = -364 + 370. Suppose y*w = 5*w - 2*g - 2, 3*g = -2*w - 3. Does 2/1923 = w?
False
Suppose 0 + 26 = 2*q. Suppose 0 = -3*d + 4*m - q, -5*d + 3*m - 27 = -m. Let s be (-2)/d + 2/(-28)*-724. Which is smaller: s or 53?
s
Let q = 8569 - 8568.98538. Is -1 less than q?
True
Let w be 32 + 594/(-18) + 4*13. Suppose 3 = 2*c - 97. Which is smaller: c or w?
c
Let w(p) = -17*p - 866. Let v be w(-51). Which is smaller: v or -2/1021?
-2/1021
Let m(j) = j - 4. Let z be m(2). Suppose 302*n = 46*n - 6144. Let s be ((-18)/(-168))/(z/n). Which is greater: s or 1?
s
Let r(w) = -w**3 + w**2 + 3*w. Let t be r(-3). Let p(o) = o**2 + 90*o - 2173. Let k be p(20). Is k >= t?
True
Let t(w) = -w**3 - 7*w**2 + 238*w + 106. Let a be t(-20). Is a at most as big as 551?
True
Let x(w) = -26*w + 62. Let j be x(4). Let z be 46/j + (-57)/(-133). Let d be 3 + (-15)/3 - -3. Is z <= d?
True
Let w be (-1)/((660/84)/5). Is -50 < w?
True
Suppose -15*n - 504 = -4*k - 11*n, 0 = 5*n - 15. Is k at least 128?
True
Let a = 10/1347 - -5278/14817. Is 47 greater than or equal to a?
True
Let t = -5826 - -3965. Is -4 at most as big as t?
False
Let v(b) = b**2 + 57*b + 161. Let z be v(-54). Which is smaller: 2/8165 or z?
z
Let r(b) = b**3 - 10*b**2 + 6*b + 21. Suppose -30 = -3*m - h, -2*m + 3*m + 6 = 5*h. Let q be r(m). Let l be (-11)/(-1) + -2*(q - -5). Which is smaller: 15 or l?
l
Let p = -4.34 - -0.14. Let a = p - -1.2. Let k = 0.08 - 0.18. Which is smaller: k or a?
a
Suppose -4*f - 17 = -3*b + 6, -3*b = -5*f - 25. Suppose -17 = -2*h + 3*p, -5 = 2*p + b. Let v be ((-6)/95)/(1/(-5)). Is h smaller than v?
False
Let m = 12.984 + 7.486. Is -0.1 > m?
False
Let s(m) = -8*m - 106. Let z be s(-24). Let j be 174/(14/(56/8)). Is z >= j?
False
Suppose 0*f = -4*p + 4*f - 3440, 0 = -17*f. Is p greater than -860?
False
Let b = -35.194 - -0.294. Let p = 35.1 + b. Which is greater: 90 or p?
90
Suppose 3*v = 2*r - 156 - 196, 2*v = 4*r - 704. Let i be r/132*-1*(-1)/2. Which is smaller: -73 or i?
-73
Let x = -0.0976 - -0.3976. Which is greater: x or 0.03985?
x
Let n be (-2)/(-2) + 130/(-175). Let s = n + -404/1435. Let g(w) = -834*w + 3336. Let o be g(4). Which is bigger: o or s?
o
Let g = 4828 + -5164. Is 1 at least as big as g?
True
Let l = 10.601 + -33.601. Are 1.18 and l unequal?
True
Suppose -i + 16*i = 0. Suppose -x - 3*j = 6, i = 7*x - 4*x - j + 8. Is x != -11/6?
True
Suppose 0 = -0*k - 4*k - 24. Let p be 5/((-7)/(-63) + (-13)/(-18)). Suppose 2*y - p = 4*c, 6*c - 7*c = 3. Which is smaller: k or y?
k
Suppose k + 4161 = 2*o - 421, o = -1. Which is greater: -4585 or k?
k
Let l = -727/12 - -1421/24. Which is greater: -43 or l?
l
Suppose -157*a = -193*a - 864. Is 0.004 less than or equal to a?
False
Let k = 4 - -95. Let t be 36/(-8)*(-96)/k. Which is smaller: 3 or t?
3
Suppose v - 130 + 126 = 0. Suppose 5*z - 23 = -v*b, -b + 3 = -14*z + 18*z. Which is smaller: b or 4?
4
Let b = -3218 + 3293. Let i = -27 - -46.9. Let w = 20 - i. Does b = w?
False
Let s be 30/(-51) - (-115 + 114). Which is greater: s or 10?
10
Let q be 39 - (-2 + (2 - 2)). Let w = -36 + q. Suppose -w*u + 8*u = 0. Are 3/4 and u unequal?
True
Let v = -24523/31 + 791. Let o = 1 + -3. Let j be (o/6)/(2/6). Is j != v?
True
Suppose 31*o - 24103 - 26618 - 63793 = 0. Which is smaller: 3693 or o?
3693
Suppose -o + o = -2*o. Suppose o = 19*b + 79 - 22. Does b = -24/7?
False
Let x = -301/3211 + 5/338. Suppose -c = 3*w + 15, -3*w = -3*c + w + 20. Which is smaller: x or c?
x
Let a = -16 + 34. Suppose -9*k + a = -3*k. Suppose k*x + 25 = 5*t - 3, -2*x + t = 14. Are x and -4 unequal?
True
Let r = -3.3 + 4. Let i = -5889/8 + 2945/4. Which is greater: i or r?
r
Suppose -2*g + 28 = 5*c, -c = -g - 0*g + 14. Let n be (g/28)/((-1)/(-4)). Suppose n*k = 31 - 3. Which is smaller: k or 12?
12
Let z be 179 + -179 + ((-1)/3 - 1006/6). Is z at least -144?
False
Suppose -2*d + 17 = -g, -173*d + 172*d = -3*g - 1. Is -2.16 > d?
False
Suppose 2*f + 74 = -316. Let i = 192 + f. Which is smaller: i or -11?
-11
Suppose -14*j = 1126 + 2472. Which is greater: j or -0.01?
-0.01
Let y be 184/4 - (2 + -1). Let x = y - 134/3. Let r = -35 - -14. Is x > r?
True
Let w(b) = 7*b + 1. Let c(s) = 160*s + 140. Let l(q) = -c(q) + 20*w(q). Let x be l(19). Is x at least -501?
True
Let g = -199140 - -199140.436. Let t = 2 - 3. Are g and t nonequal?
True
Let f = -9/5 + 13/10. Let h = 3015 + -75364/25. Let x = 178/575 - h. Which is smaller: x or f?
f
Suppose -4*u - 15*u = 15*u 