eater: n or g?
g
Let g be ((-243)/162)/(81/78 + -1) + 0. Which is greater: 126 or g?
126
Let z be -6 + 5 - (2 - 1)*-3. Suppose -4*d = -z*d. Let t = 178/5 - 7308/205. Which is smaller: d or t?
t
Let s be (11/((-11)/(-2)))/((-2)/(-12)). Suppose 2*r + r = -s. Let d(u) = u**2 + 10*u + 22. Let q be d(r). Which is bigger: -38/13 or q?
q
Let i = 211 - 66. Let f be -2*((-58)/i + 678/20). Which is smaller: -68 or f?
-68
Let g = -4611/5 + 281381/305. Let w = -2/671 - g. Is 0.2 at most w?
False
Let b = -16 - -13. Let p = -1927/90 - -335/18. Is p bigger than b?
True
Suppose -6*c - 3421 = -11173. Let t = c + -76221/59. Is 1 != t?
True
Let l = 7 - 3. Suppose -3*o = -5*h + 63, 7*o = 4*h + 2*o - 53. Suppose 0 = -4*k + 2*d + 26, d + 5 = -2*k + h. Is k greater than or equal to l?
True
Let h = -820857/5825 - -3523/25. Which is bigger: 1 or h?
1
Suppose d + 88 = -m, -7*d + 3*d - 184 = 2*m. Let h be 1 + 5 + 472/m. Which is greater: 1 or h?
1
Suppose 6 = 2*j + 2*l, -2*j - 3*l + 4*l = 0. Let t = -142 + 151. Suppose 4*b + b = 4*x + t, 5*x = 20. Which is bigger: j or b?
b
Let h = -3 + 0. Let l = 312 - 309. Let t be (-1)/(-7)*-19 + l. Is t bigger than h?
True
Let f be (3/(-1) + -9 + 11)/(16/368). Is 5.8 < f?
False
Suppose 0 = 2*k + 4*o - 316, -90*k - o = -87*k - 449. Let t = k + -165. Is t greater than -19?
True
Let b be (-117738)/330848 + 1/(-16). Is 1 smaller than b?
False
Suppose 0 = 3*b - 3, -19 = p + p - 3*b. Let x be (-4)/60 + (p/6 - -1). Is 15 greater than x?
True
Let u be (-494)/(-130)*5*1. Let f(i) = i**2 - 20*i - 75. Let l be f(u). Is -92 at most as big as l?
False
Let w(i) be the first derivative of -i**3/3 + 3*i**2 - 3*i - 3. Let u be w(5). Suppose n + n - 4 = 2*t, 0 = -u*n + 4*t + 8. Is 2/27 less than n?
False
Let i be 10/(-8)*2*80864/(-2850). Are i and 71 nonequal?
True
Let r be ((-15)/(-75))/(4/5). Let i = -148 - 51. Let p = i - -1793/9. Is p < r?
True
Let j be (-36 - -28)*(507 - 5). Is -4016 at least j?
True
Let s = 632 + -625. Suppose 190 + 209 = -s*h. Is -59 at most h?
True
Let m be 36 + 444 - ((-1)/1 - -1). Let v be ((-90)/m)/(6/(-8)). Which is greater: v or -1/5?
v
Let f = -0.01 - 0.024. Let j = -0.034 - f. Let m = 7 + 1. Is j greater than m?
False
Let z(j) = -j**3 + 31*j + 129. Let f be z(-11). Which is bigger: 1121 or f?
1121
Let h = -2.33 - -1.93. Let n = -55 + 54.3. Which is smaller: n or h?
n
Let o = 8.98 + 2.12. Let m = -10.9 + o. Which is smaller: -31 or m?
-31
Let o be (66/21285)/((-64)/20). Is 0 >= o?
True
Let v be (-3)/(-14) - 17110/4060 - 1178/16. Is v greater than or equal to -79?
True
Let d(r) = r**2 - 50*r + 555. Let v be d(29). Is v at least as big as -388/7?
True
Let g = -2790.972 + 2802. Let h = 11 - g. Is h greater than -0.1?
True
Suppose -2*l = -t + 13, 0 = 2*l - 6*l - 20. Let q be (-5)/(-3) - (24/(-36))/(-1). Is t at least as big as q?
True
Let n = -220/197 + 392759/350463. Which is smaller: 0 or n?
0
Suppose -7 = z - 3. Let b = 4 + z. Let r = 98 + -7544/77. Which is smaller: b or r?
b
Let q be (4/(-18) - (-91576784)/10296) + 2/(-11). Which is greater: 8895 or q?
8895
Let l be (-132)/(-7) - -1*1/7. Suppose -2*a + 6*a + i = l, -3*i - 3 = 0. Suppose 6*c - a*c = -4*q + 12, 5*q - 15 = 2*c. Is -4/15 bigger than c?
False
Suppose 1341 - 222 = -2*d - g, 2765 = -5*d + 4*g. Which is smaller: d or -2778/5?
d
Suppose 3*i + 20 = 2*w + 81, 5*i = w + 104. Suppose -3*k - i = -42. Which is bigger: k or 73/9?
73/9
Let y = 1 - 2. Let w = 177362/3741 - 1374/29. Is y at least w?
False
Suppose 0 = -s - 2*t - 60 - 948, -s = t + 1008. Which is smaller: -1009 or s?
-1009
Let z = 22851.0305 + -22864. Let o = z + -0.0305. Is -10 <= o?
False
Suppose -11*l - 2112 = -3*l. Let a = 400 + l. Which is bigger: 137 or a?
137
Let w(v) = -v**2 - 4*v - 4. Let l be w(-3). Let d = -3800025/17 + 223184. Let r = 347 + d. Which is smaller: r or l?
l
Let t = -0.031 - -8.031. Let i = 21 - t. Let k = i + -13.1. Is k bigger than 0.6?
False
Let i = -183 - -71/2. Which is smaller: -1 or i?
i
Let l = 0.46 + -0.36. Let s = -214 - -215.09. Let b = 0.59 - s. Is l less than b?
False
Let l be 8/((-48)/(-4266)) + (3 - 1). Let f = l + -687. Is f at least as big as 0?
True
Suppose 5*c + 4 = 169. Suppose 0 = -3*x - 3*b + 117, -b - 55 = 2*x - 127. Is c greater than x?
False
Suppose -s + 8 = -r, 5*s + 523 = -4*r + 500. Which is bigger: -2/2239 or s?
s
Let z = -3641 - -3752. Which is bigger: z or -2/35?
z
Let i = -3993 + 4020. Which is greater: 484/17 or i?
484/17
Let x = 38 - -32. Let i = x + -58. Let d = -3 - i. Is 1/5 less than or equal to d?
False
Suppose -5*o = -4*b + 20, o - 15 = 2*o - 3*b. Let l be (4 + (o - 2))*6/(-24). Which is smaller: l or -0.102?
l
Suppose 78 = -8*p - 10. Let x = p - -16. Suppose 0 = 3*v - 5*k - 2, -13 + 3 = -x*v + 5*k. Which is smaller: 14/3 or v?
v
Let d = 55 - 77. Let z = d - -21. Let x = -1644 - -27938/17. Is z smaller than x?
True
Let y = 29515209335/109 - 270783999. Let x = y + 2262. Let w be -1 + (-12 - -2)/(-10). Is x bigger than w?
True
Let f = 2075/1096 + 19289517/12056. Let q = -1602 + f. Are -1 and q nonequal?
True
Suppose -77*i + 57017 + 28679 = -10092. Which is bigger: 1243 or i?
i
Let t be 3*214/(-27) - 1. Let n = -25 - t. Let j = -0.0612 + 0.0612. Is n <= j?
True
Let s(d) = -91*d - 3197. Let i be s(-35). Let g be (-2 - (-1)/2)*4. Which is bigger: i or g?
g
Let v = -25 - 22. Let t = 14 + -57. Let y = t - v. Which is greater: 3 or y?
y
Suppose 4689 = 17*o - 39919. Are 2622 and o equal?
False
Suppose 541*s - 547*s - 324 = 0. Is 76 < s?
False
Suppose 53 - 4 = 5*a - 41. Are a and 32 unequal?
True
Let k be 10/55 + 5420/(-44). Let y be (-1)/(-4) + (k/12 - 4). Let t = -39 + 25. Is y less than t?
False
Let q = 87.65 + -91. Let h = -3.45 - q. Which is greater: 102 or h?
102
Let g = 23.5 + -106.5. Let w = -123 + 197. Let f = w + g. Is -2/15 smaller than f?
False
Let f = -5 - -3. Let l = 4.31 + -2.6. Let t = -2.91 + l. Which is greater: f or t?
t
Let c(d) = -d**3 - 55*d**2 - 138*d + 57. Let z be c(-53). Which is smaller: 1751 or z?
1751
Suppose -19*b - 104 = -180. Suppose c + 3*o = -40, -36 - b = c - o. Which is bigger: -39 or c?
-39
Suppose -6 = -3*p - 2*j + j, 1 = -5*p + 2*j. Suppose 11115 = n + 18*n. Let f be (60/n)/(4/54). Which is smaller: f or p?
p
Let u = -53 - -69. Suppose -u = -3*t - 5*t. Suppose -7*n - t*n = 270. Which is smaller: -1 or n?
n
Suppose 3*k + 10 = n, -26 = -12*n + 7*n + 3*k. Let z = 1 - 3. Let l be 2 + (z - n/(-86)). Which is smaller: -1 or l?
-1
Suppose j - 31 = 123. Let v = j + -137. Which is greater: v or 18?
18
Let x be (13/(-2))/13 + 6/(36/237). Is 39 >= x?
True
Let q = 7114 - 7133. Which is smaller: q or -102/5?
-102/5
Let o be (-1)/3*((3 - 8) + -118). Let x = 23 - o. Let p = 5 + x. Is p greater than or equal to -13?
True
Let a be ((-49)/14)/(126/(-396)). Is a != 165/17?
True
Let f = 5635/6 - 36170/39. Let i = 11/2 - f. Which is bigger: -6 or i?
-6
Let f be (-7 - (-534)/30)*-60. Which is bigger: f or -645?
-645
Let c be 56666*2/150672 - (-27)/(-36). Let d = c + 11/146. Which is smaller: -1 or d?
-1
Let h = -680 + 690. Suppose -4*y + 74 = -22. Suppose 4*o - y = 2*o. Which is smaller: h or o?
h
Let u = -117 + 123. Suppose 0 = u*z + 5*z - 66. Suppose 2*r - 3 = -2*n - n, -39 = -5*r + 3*n. Is r less than or equal to z?
True
Let b be 1*(-817 + 1 + -5)/(-1). Which is bigger: 822 or b?
822
Let a = 0.03529 + 0.02471. Which is bigger: a or -0.043?
a
Let t be (-280)/(-143) - (1 + 1). Let s(v) = v**3 + 88*v - 184. Let o be s(2). Are t and o nonequal?
True
Let b = -0.7 + 0.8. Suppose 3*x + 48 - 63 = 0. Suppose 0 = 4*f - h + 47, -4*f - 3*h - 50 = -x*h. Which is bigger: f or b?
b
Suppose -5*y = -4*r + 19, 4*r - 4 = -5*y - 15. Let u be (68/(-8))/1*(0 - -2). Is y greater than or equal to u?
True
Let x(l) = -867*l + 8672. Let i be x(10). Is 32/11 less than i?
False
Let a = 2996/15 + -200. Suppose -3*y - 56 = -56. Is y at most as big as a?
False
Suppose 15 = -9*d + 15. Let g = -355/6422 + -4/169. Which is smaller: g or d?
g
Let h be (16/6)/(-8)*-39. Suppose h = 76*m - 77*m. Is m greater than -9?
False
Let q be -579 - -53 - (12 + -3 + 2). Which is smaller: -530 or q?
q
Suppose 0 = 3*c + 5*o - 16 - 25, 5*c + 5*o = 65. Let g be (18/c + -2)*2/(-4). Which is greater: g or 14?
14
Let u be 4/(-36)*12*(-6)/(-38052). Is u <= -2?
False
Let d be (-7)/3*(-