-l, 0 = 5*a - 4*l + 1142. Which is bigger: a or -9?
-9
Let q = -30.08 - -30. Let i = q - -0.272. Let t = i - -0.008. Is 0.21 at least as big as t?
True
Let c = -1043 + 1773. Let i = c - 727. Which is greater: 15/8 or i?
i
Let m be (-9 - -1) + (-4 - -2). Let o be (-6)/2*(-30712)/99. Let n = o - 942. Which is smaller: m or n?
n
Let u be (-6)/(-15)*((-63)/(-30))/((-60)/(-100)). Which is smaller: u or -1.3?
-1.3
Let h = -131.74 + 2.74. Let c = 2739.8 + -2739.8. Is h at least as big as c?
False
Let o = 22147 + -22150.6. Which is greater: 16/55 or o?
16/55
Let u be 6/63 + 412/84. Suppose u*b = i + 253, 254 = 4*b + i + 57. Which is smaller: 51 or b?
b
Let m = -242/3 - -1078/15. Which is smaller: 14 or m?
m
Let j = -20.676 + -0.024. Let p = j + 20.5. Let t = 22.22 - 22. Which is greater: t or p?
t
Let i = 1173 - 1172.88. Let n be (-1)/4 - 81/(-36). Which is smaller: i or n?
i
Let g be (-40)/60 - 194/(-492)*2. Let p = -1048 + 1049. Which is bigger: g or p?
p
Let g(h) = h**3 + 8*h**2 - 9*h - 2. Suppose -4*x + 5 - 17 = 0. Let d be 4 + (x/6*4 - 11). Let q be g(d). Is -2.1 smaller than q?
True
Suppose 0 = 12*l - 306 + 18. Suppose 0 = l*t - 15*t - 153. Let r be 35 - 16 - (0 + 0). Is r greater than t?
True
Let j be (12/36*3)/((-1)/(-13)). Suppose 5*r = -j*r - 54. Which is smaller: r or 0.1?
r
Suppose o + 3 = 0, -4*o = 15*n - 20*n + 682. Suppose -n = -3*c - 38. Which is greater: c or 30?
c
Let m(c) = -3*c**2 + 18*c. Let d = -161 - -167. Let q be m(d). Is -12/43 >= q?
False
Suppose -16 = 4*s, 23*f - 18*f - 912 = 3*s. Is f < 141?
False
Let l(k) = -9*k**2 - 55*k - 6. Let z be l(-6). Let a be z*(-4)/(-32) + 6/9. Are a and 115 unequal?
True
Let k = -35 - -38. Suppose c + 5 = 4*o, -3*c + k*o - 9 = -3. Which is smaller: c or 4/89?
c
Let y(s) = s**3 - 12*s**2 - 15*s + 16. Let t be y(13). Let n be -4*(-85)/(-10)*-1. Let u = n + -89/2. Which is smaller: t or u?
u
Suppose 35*y + j = 40*y + 385, -292 = 4*y - 4*j. Which is greater: -2/209 or y?
-2/209
Let d(x) = x + 2. Let s be d(-4). Let k = -17184 - -17390.99. Let q = k - 207. Is q greater than or equal to s?
True
Let f = -14 - -17. Let s(g) = -9*g - 1. Let t be s(f). Let w be 5/(60/36) + -31. Is t < w?
False
Suppose 0 = -2*h + 7 + 3. Suppose -4*t + 5 = -3. Suppose 0 = -h*i - t + 7, 3*i - 33 = -5*l. Do l and 36/5 have the same value?
False
Let t(i) = -30 + 10 - 14*i + 10 + i**2. Let k be t(15). Let d = -3/56 + 297/56. Which is greater: d or k?
d
Let y be 180/(-1110) - (-7728)/79143. Let g(o) = -o**3 - o**2 - 2*o. Let m be g(-2). Suppose 0*s = 2*l - s, 2*l + 3*s + m = 0. Does y = l?
False
Let g = -17347/106745 + 1/2885. Suppose 0 = -4*x - 4 + 8. Which is greater: x or g?
x
Let t = -3458 + 3459. Is 16/99 at least t?
False
Let m(h) = 47*h + 293. Let a be m(-8). Which is bigger: -85 or a?
a
Let k be (5 - 2) + ((-882)/5145)/(4/(-710)). Suppose 12 = 3*h, -4 - 44 = -2*v + 4*h. Is v smaller than k?
True
Let l = 14037 - 14036. Is -2/25437 not equal to l?
True
Let q = -0.1613 + 10.1613. Is -143 greater than q?
False
Let v(j) = -435 + 2*j + 4*j + 3*j + 3*j - 3*j. Let c be v(0). Do 0.1 and c have the same value?
False
Let s = -4/881 + 3680/34359. Suppose 5*j + 3*o - 12 = 7*o, 5*j + o - 22 = 0. Suppose -3 = -i - j*g, 3*i - 23*g + 2 = -24*g. Is s >= i?
True
Let i = -62.34 - -0.04. Let s = 0.01281 - 62.01281. Let a = i - s. Which is bigger: 0.1 or a?
0.1
Suppose -8*c = -7*c + 590. Let z = c - -2379/4. Let q = 0.2 - 0.1. Which is smaller: z or q?
q
Let z(w) = w**2 + w - 1. Let u be z(3). Let m = 1104 + -1104. Suppose -67*f + 45*f + 176 = m. Is f bigger than u?
False
Let c(g) be the second derivative of 3*g**5/5 + g**4/12 + g**3/3 + g**2 + g. Let p be (((-28)/16)/(-7))/((-22)/88). Let l be c(p). Is l less than -8?
True
Suppose -4*m - 692 = -2*m. Let p be m*((0 - 0) + (-38)/76). Which is greater: p or 174?
174
Let c = 2617 + -2578. Suppose 4 = -0*a - a. Let u be 38/8*-2*a. Is u < c?
True
Let o(n) = 10*n - 98. Let w be o(13). Let g be (0 - -1)*(-5008)/w. Is g >= -158?
True
Suppose -w + 149 = 145. Suppose 5 = -5*g - 0*k - 2*k, 0 = -5*g - w*k - 15. Is g at least 1?
True
Suppose -2*g + 8 = 6*g. Let u be 1/(-1*(g - (0 - 0))). Which is greater: -7/4 or u?
u
Let s = 0.9 + 0.1. Let g = s + -1. Let p = -6488 + 6490. Which is smaller: p or g?
g
Suppose -3*z = 6 - 0, w - 5*z - 14 = 0. Suppose 80 = 4*m + w*u + 24, -u - 41 = -4*m. Let v = -2227 - -2237. Which is bigger: m or v?
m
Let s be 12/8 - (-468)/(-104). Is s <= 5/58?
True
Let o = 3250 - 1756. Does o = -1/5?
False
Let n = -64.2 - -65.5. Let f = -8.7 - -0.7. Which is smaller: f or n?
f
Let w = -0.502 - 329.498. Let x = w - -322. Is 24 at most as big as x?
False
Let y = -617 + 4345/7. Let w = -6 + 13. Let q = w + -2. Which is smaller: y or q?
y
Let f = -1.01101 - -0.01101. Is f <= 1600/3?
True
Suppose 120*u - 6592 + 2366 = 7774. Which is smaller: u or 109?
u
Let s = 6877.1 + -6877. Is -56.64 smaller than s?
True
Let x be (362/(-2) - 1*-9)*(-12)/(-296). Which is smaller: x or -8?
-8
Let q be ((-6)/33 - 112723/572)/((-3)/4). Is q at most as big as -6?
False
Let n be 2 - (1/(-1) + 0). Suppose 0 = -3*y - 3*m + 57, n*m + 0*m = 4*y - 55. Suppose p + 3 = y. Are p and 12 nonequal?
True
Suppose 0 = 154*c - 121*c + 33. Is 2/3247 less than c?
False
Let p = -2/184749 - 1845724/163133367. Which is greater: 0 or p?
0
Let h = 0.06 + 15.94. Let w = -618 + 612.05. Let u = -6.05 - w. Which is greater: h or u?
h
Suppose 2*x = 3*t + 4 + 2, 9 = t + 3*x. Let q be 742/13965 + 2/(-21). Is t at most as big as q?
False
Let p = 0.003 + -1.503. Let h = 12.3 - 13.3. Does h = p?
False
Let n = 885.1 + -954. Let p = -54.1 - n. Which is greater: p or -1/2?
p
Suppose 5*q - 16*q - 16836 = 81*q. Is -157 < q?
False
Suppose -22*y + 0*y + 880 = 0. Let k(z) = -17*z + 4. Let o be k(-14). Suppose -7*v = -52 - o. Is y > v?
False
Let g = -14 + -68. Suppose -8*q + 158 = -2*w - 12*q, 5*q - 329 = 4*w. Which is bigger: g or w?
w
Suppose -180 - 7800 = 30*p. Let u be (-4)/30 + p/570. Is 2/9 at most as big as u?
False
Let h = -8/8827 - 65769945/35308. Which is smaller: h or -1864?
-1864
Let d = -2232.3 - -1644.3. Is d > -1/8?
False
Let w = 715 + -971. Which is smaller: -259 or w?
-259
Let r = 84 - 67. Let o be (r/((-204)/(-40)))/(1/(-3)). Is o less than -10?
False
Let t be (-33)/(-2002)*(-85)/(-306). Which is smaller: 1 or t?
t
Let v = 92.135 - 1.135. Is -4 smaller than v?
True
Let v be (-106)/(-10) + (-2)/(-5). Let n = -6 + v. Let u = -7105 - -7110. Is n <= u?
True
Let r be -2 + ((-9)/(-2))/((-51)/(-68)). Suppose -2*y + r*z - 172 = 0, -18*y + 23*y + 2*z = -418. Is -84 > y?
False
Let z = -218 + 219. Let a = -180 + 43. Let l be 1/a*(-6)/3. Are l and z nonequal?
True
Let g(k) = 370*k + 4146. Let a be g(-11). Which is smaller: 0 or a?
0
Let m be 20/12 - -907*(-3)/(-153). Let j = m + -58/3. Are j and 1 non-equal?
True
Suppose 0 = -12*b + 14*b + 4*c - 1246, b = 2*c + 619. Is 3106/5 less than b?
False
Let z = 3034 - 3068. Let i be (4*(-3)/(-30))/2. Which is smaller: i or z?
z
Let n = 1100 - 83599/76. Let t(l) = -23*l**2 + 793*l + 421. Let q be t(35). Which is greater: n or q?
q
Let a(t) = 4*t - 71. Let n be a(17). Let r be (-4 - 0)*9/(-6). Let f = -10 + r. Which is smaller: f or n?
f
Let i = 302 - 301.9. Let c = 4.1 - i. Let p = -6/193 + 476/2895. Which is smaller: p or c?
p
Let n(l) = -78*l + 919. Let k be n(10). Do -0.24 and k have different values?
True
Let y(n) = -6*n**2 + 28*n + 66. Let w be y(23). Is w < -2464?
False
Let r = -0.3 + 0.4. Let z = -0.03593 - 209.96407. Does r = z?
False
Let f be ((-2)/2)/(1/(-26)). Let m be (910/140)/(1/(-8)). Let r = m + f. Which is smaller: r or -27?
-27
Let n(w) = 2*w**3 - 2*w**2 + 5*w - 22. Let t be n(7). Is t at most 600?
False
Suppose 0 = 3*t - c - 135 - 27, -4*c = -4*t + 216. Suppose -f = 5*k - 3*k + t, -k = 2*f + 102. Which is bigger: f or -6?
-6
Let s = 27335 + -5795031/212. Let n = 16/53 + s. Which is bigger: -0.02 or n?
n
Suppose -r + h - 20 - 5 = 0, 0 = 3*r - 5*h + 65. Suppose -18*x + 1457 = 29*x. Suppose -x = -33*o + 34*o. Is r greater than or equal to o?
True
Let b(c) = 2*c**2 + 2*c - 7. Let v be b(-3). Let o be -2 - -6 - (10/v - -3). Which is greater: o or -11/25?
-11/25
Let i = 22 - 26. Let j = i + 8. Suppose -11 = j*v - 27. Which is smaller: v or -1/2?
-1/2
Let u = -3975 - -3974.988. Let r = 20