+ 2088. Which is greater: g or 349?
349
Let n = -0.66 + 8.36. Let r = 8 - n. Let w = 572.3 - 572. Is w > r?
False
Let h = -518501/23121 + -10/3303. Which is smaller: 2/5 or h?
h
Let y be (-45)/54*3/20 - 1545/120. Let h = 4 - -1. Let d = 11/2 - h. Which is smaller: d or y?
y
Let d(y) = 115*y**2 + 120*y**2 - 236*y**2 + y + 3. Let p be d(2). Is 1/7 at most as big as p?
True
Let a be (455/(-56) - -8)*4314. Which is smaller: -539 or a?
a
Suppose -27 = j + 15. Suppose -19*z - 949 = -170. Which is smaller: z or j?
j
Suppose 0*w + 5*w + 1 = -h, 2*w - 32 = -4*h. Let u be (-1)/14 + 42176/896. Suppose 2*t - u = -4*l - 29, -3*l = 2*t - 17. Are t and h equal?
False
Let u be (-16*(-9)/102)/(-2). Let p = u - 27/34. Which is greater: -0.03 or p?
-0.03
Suppose 2*v = -5*c + 1726 - 22237, 0 = -4*c + 28. Is -10274 at most as big as v?
True
Let m = 33 - 34.81. Let i = -1.19 + m. Let y be (-1 - 8/(-6)) + -1. Is i greater than or equal to y?
False
Let q be (-23)/1*(18 - (-5 - -10)). Let k = -285 - q. Let t(l) = -5*l - 3. Let n be t(-3). Do n and k have the same value?
False
Suppose o - 5*x = -4*o - 20, -o + 3*x - 12 = 0. Suppose o*k = 2*k - 2. Is k <= -104?
False
Let m be (24/14)/(66/(-105)). Let s be (-17)/(-1) + ((-18)/3 - -6). Suppose -5 = -4*w - s. Which is smaller: w or m?
w
Let l = 272 - 127. Suppose l = 10*o + 1145. Let c = o - -1001/10. Is -1/3 != c?
True
Suppose -3*m - 8*m + 66 = 0. Let l be ((-6)/m)/((-1)/9). Suppose 8 + 1 = l*k. Which is greater: 2/139 or k?
k
Let g = -761 + 742. Let n be (g/38)/((-3)/822). Which is bigger: n or 3?
n
Let n be (-10383384)/12240 - (-6)/(-9). Let g = n - -849. Is g >= 1?
False
Let j(b) = -b**3 - 5*b**2 + 53*b + 281. Let s be j(-6). Which is smaller: -1/20630 or s?
s
Suppose -15536 = 32*o + 5931 - 1467. Is o greater than or equal to -4376/7?
True
Let j be 0 - (-4)/8*0. Suppose j = -12*d + 10*d + 18. Suppose 11*h - 50 = 6*h. Which is smaller: h or d?
d
Let w = -66 - -117. Let t = w + -51. Is 9/34 < t?
False
Let v(o) = -27*o - 2. Let y be v(1). Suppose 6*x - 6*x = -x - 30. Is y at least x?
True
Suppose 0 = -5*x - 4 + 44. Suppose 0 = -4*i - 4*b + 4, -4*b = -2*b + x. Let u be (-4 + 19/i)/(-4 - -3). Which is smaller: 1/68 or u?
1/68
Let y = 339.036 + -0.036. Let m = y + -340. Suppose -5*d + 3*r - 1 + 11 = 0, -5*d - 5*r = 30. Is d at least as big as m?
True
Suppose 3*f + 91 = 5*z - 19, 5*z = 5*f + 100. Let s = z + -25. Let h be (-6)/45 + (-58)/(-660). Which is bigger: s or h?
s
Let g = -111.5913 - 0.1087. Let t = -131 - g. Let a = 19 + t. Are a and 1/6 non-equal?
True
Suppose -3*k - 19 = 3*b - 61, -3*k + 25 = 2*b. Let f = b + 12. Let s = 4 + f. Is 33 < s?
False
Let s = -0.1713 - -88.2713. Let m = s + -88. Which is greater: m or -90?
m
Suppose o + 3 = 4*o, -5*y = 2*o + 303. Let c = 3944 - 4006. Is c less than or equal to y?
True
Let v = -17 - -18. Suppose -183 = 10*g - 453. Let d be (-5)/5 + g/24 + 1. Which is bigger: d or v?
d
Let x = -96901 - -96870. Let d(w) = w + 7. Let g be d(-5). Suppose 6*h - j = 2*h - 130, 4*j - 72 = g*h. Is x != h?
True
Let h = -2.6 - 9.2. Let v = -12 - h. Suppose -c = -2*n + 69, -4*c = -n + 37 + 8. Which is smaller: v or n?
v
Suppose 37*t + 16613 = -0*t. Let w = -388 - t. Which is smaller: 58 or w?
58
Suppose -148 - 2640 = 108*w + 236. Is w at least -9?
False
Let a(r) = -r**2 + 8*r - 16. Let m(x) = -3*x - 25. Let b be m(-10). Let d be a(b). Let c = 3 + d. Is -1 > c?
False
Suppose 0 = -41*k + 58*k - 102. Suppose 4*f + 2*m - 22 = 0, f = 8*m - k*m - 2. Is 4 equal to f?
True
Let y = -81532/15 + 5445. Let j = y + -126/5. Let o = 419/27 + j. Are -1 and o unequal?
True
Let p = 19.62 - 2.62. Let j = p - 32. Is j less than 1/4?
True
Let m = -2496012/43 + 58047. Let p be (-1)/((-2)/(-6)*3). Is p less than m?
True
Let d be (-5 - -1289)/(4/10). Let u be 4/(-7) - d/42. Is 1 <= u?
False
Suppose 43*t - 30*t = 41*t - 616. Let o = 57 - 40. Does o = t?
False
Let z be 425/34*(-28)/(-5). Let r be 64/(-128)*(z + 0 + 0). Let v = 33 - r. Are 67 and v equal?
False
Let z be (-1 - 235/(-217))/(-7 - 117247/(-16744)). Is z >= 35?
True
Suppose -d + 2*x = -37, d - 19 = -0*d - 4*x. Suppose d*f - 34*f = 9. Let w be f/(-2)*9/27. Which is smaller: w or 1?
w
Let v = 2956 + -23649/8. Does 0.1 = v?
False
Suppose -130 = x + y - 84, x + 50 = -5*y. Suppose 18*h = 11*h + 14. Is x at least h?
False
Let k = 199.79 + -199.48. Let x = 37/4 - 109/12. Which is smaller: k or x?
x
Suppose 2*n - n + 6 = 2*w, -2*w - 4*n = -16. Suppose -3*k = l - w, -3*l - 12 - 8 = k. Is -8 greater than l?
False
Let s(z) = -z**3 + 7*z + 4. Let m be s(-5). Let d be ((120/27)/5)/(10654/426 - 25). Which is smaller: d or m?
m
Suppose -3*v = v - j + 9, 5*v = -3*j - 7. Let l be -3*(v - -3) + (-16)/(-2). Suppose -l*c = -8*c + 3. Which is greater: 1/50 or c?
c
Let m = 3 + -0.5. Let l = -0.5 + m. Suppose -1638*x + 759*x + 2448 = -828*x. Is l at most as big as x?
True
Suppose 2*o = -u - 35, 0 = -4*o + 1 + 11. Let a(w) = 5*w - 75. Let g be a(15). Suppose g = 27*b - 26*b + 40. Which is bigger: u or b?
b
Suppose -2*n = -3*o + o, 2*o + n = -3. Let v be (-340)/2890 + (-365)/(-935). Which is greater: o or v?
v
Let l be -1*(-4)/6*30. Let f be (-14)/l*4/(-7). Let n = -31773 + 31774. Which is smaller: f or n?
f
Let k = 0.0799 + -631.0799. Let g = k - -627. Which is smaller: g or 63?
g
Let c(i) = i**3 + 21*i**2 + 28*i + 38. Let g be c(-20). Let w be (100/80)/(5*1). Which is greater: w or g?
w
Let k = 108 - 106. Suppose h + k*f + 17 - 23 = 0, 2*h + f = 3. Which is smaller: h or 131?
h
Suppose -37*u = 6*u + 19221. Let x be -451 - (-12)/10*20/6. Are x and u unequal?
False
Suppose 767*h = 758*h - 351. Let a be (h/(-12) - 3) + (-1)/36. Which is greater: a or -116/5?
a
Let k(o) = o**2 - 2*o - 1. Let j(z) = 6*z**2 + 2*z. Let d(v) = 8*v - 9. Let y be d(1). Let l be j(y). Let h be k(l). Is h less than 7?
False
Suppose -165735 = -19*t - 242*t. Is 636 at least t?
True
Let a = -130.7602 + 131.7. Let o = a + 0.0602. Are 114/7 and o nonequal?
True
Suppose -2*t + 4 = 0, 3*j + 2*t = t + 38. Let m be j/(-60) + (-3)/(-15). Which is smaller: m or 5?
m
Let u be (-130)/(-8)*(62 - 70). Let k = -184 - u. Is k > -55?
True
Suppose 24*d - 330 = 2*d. Let a be 7/(-4) - d/(-20) - 48. Which is smaller: a or -50?
-50
Suppose 2*d + 113 + 159 = -i, 5*d + 4*i = -677. Which is greater: -73 or d?
-73
Let g = -113 + -1528. Does g = -1641?
True
Let t be 450/(-350) - 64877/(-50449). Is t <= -1?
False
Let p = 1062314/23 - 46176. Which is smaller: p or 11?
11
Let w be (-3 - (-12)/6)*(-7 + 7) - -2660. Which is smaller: w or 2661?
w
Let z be (20 + -8)/(-2) - ((2 - -5) + -57). Is z at most 192?
True
Let m = -17.7 + 10.7. Let n = -6 - m. Is n greater than or equal to 0.8?
True
Let r = 157 - 148. Let j be 6/r - 21/(-63). Is -1/89 greater than or equal to j?
False
Suppose -3*r + 207 = -5*u, -u - 24 = 5*r + 23. Let i = u - -61. Let t be (2/4)/(-6*3/(-12)). Which is bigger: t or i?
i
Let s = 81.862 - -0.138. Suppose 60 = 2*x + 60. Which is greater: s or x?
s
Let c(p) = 714 - 708 + 5*p - 4*p. Let w be c(2). Is w greater than or equal to 12?
False
Let k = -29.1 - -13.5. Let d = 15.64 + k. Which is smaller: d or -0.9?
-0.9
Let q be (-8)/(-3)*(-1)/(-18). Suppose 1 = -3*d + 13. Suppose 0 = -5*l + d*r + 1, -l = -2*l + 3*r - 2. Which is smaller: q or l?
q
Suppose -5*m = j + 2*j - 380, 304 = 4*m + j. Let f = m - 106. Do -32 and f have the same value?
False
Let o(q) = -1080*q + 8843. Let d be o(10). Which is smaller: -1958 or d?
-1958
Suppose -6*p + 10*p = 12. Suppose 0 = 4*a + p*w + 362, -7*w + 194 = -2*a - 2*w. Is -88 greater than a?
True
Let w = -5.57 - -4.57. Let i = -48.9 - -50. Is w < i?
True
Let v = -122 - -90. Let o = v + 32. Let n = -901 + 18931/21. Do o and n have the same value?
False
Suppose -3*a + a = -11*a - 101331. Which is smaller: -11260 or a?
-11260
Let t(b) = b**3 - 5*b**2 + 2. Let s be t(5). Suppose 5*p + s*k = -854, -4*p - 502 = -p - 4*k. Let r = 249 + p. Are 79 and r nonequal?
False
Let k(v) = 2*v**2 - 21*v + 7. Let y be k(11). Suppose y*m + 0*m = -2574. Which is greater: -144 or m?
m
Let c(b) = b**3 - 2*b**2 + 1. Let k = -14 + 18. Suppose 6*i = 8*i - k. Let t be c(i). Which is greater: t or 2/3?
t
Let f be 12/(-10) + (-2)/(-5). Let j = 6.2494 + -15.2494. Is j at least as big as f?
False
Suppose 102766 + 46072 = 434*g + 477