1 - -1). Does -9/8 = o?
False
Let g be 50/3*(157 + -10). Let l be g/(-1628) + (-57)/(-38). Is -1 > l?
False
Let k be -3 + 248/16*2. Suppose k*b - 1080 = 18*b. Are b and 107 nonequal?
True
Suppose 26*s = 3*s + 138. Let a be (13/s)/13 - 20/(-24). Are 10/7 and a equal?
False
Suppose -1598 = -5*r - 1583. Let k be (-9905)/30975 - (-1)/r. Do k and 0 have different values?
True
Let f be (-555157)/25085 - 4/58. Suppose o = 2*a - 29, -5*o + 3*a + 35 - 159 = 0. Which is greater: o or f?
f
Let d = 16 + 14. Let a be d/80*(-2)/3. Let i = 32/81 - -2/405. Which is greater: a or i?
i
Suppose -17901 - 250549 = -65*c. Which is smaller: 4132 or c?
c
Let k(o) = -17*o + 5*o**2 + 8*o + 13*o + o**3. Suppose -2*x + 5*x + 11 = 2*q, -5*x + 5*q - 20 = 0. Let c be k(x). Is 8 equal to c?
False
Suppose -41*b + 3*b = 152. Let f be 9/(-27) + b + (-51)/9. Suppose -16 = 5*h + 19. Is h at least f?
True
Suppose -49*d - 7227 = 221. Which is smaller: -155 or d?
-155
Let w(p) = -p**2 + 77*p + 498. Let l be w(83). Is l greater than or equal to 1/211?
False
Let j = 48 - 53. Let y = j + 10. Suppose y*d + 65 = -60. Which is smaller: d or -24?
d
Suppose 111*l + 77546 = 140*l. Which is smaller: l or 2675?
l
Let x be ((-8)/10)/(12/(-1500)). Let s be (-76)/x + -2 + 3. Suppose -11 = -8*u - 3*u. Is s equal to u?
False
Let b = -200.9 - -200.9. Let c = -0.2 - -0.2. Let n = c + b. Is 1/2 not equal to n?
True
Let s = -117942/37 - -12518246012/3927143. Is s at most 1?
True
Suppose -3*l = 24, 0 = -259*j + 263*j - l - 12. Is j smaller than 2/1449?
False
Let u = 62.89 - -28.04. Let a = 0.93 - u. Let j = 109 + a. Is j >= -0.1?
True
Suppose -94 - 244 = 338*n. Is n smaller than -2/21415?
True
Let o be (-3)/2 - 57/(-30). Let q = -29.996 - 0.004. Let m = q + 30.1. Is o at most m?
False
Let n = 3746.6 - 3633. Is -0.1 <= n?
True
Let y = -2.1 + 14.7. Let l = y - 8.6. Suppose 4*x + 24 = 4*g, 2*x + 16 = 3*g + g. Is g > l?
False
Suppose g + 40 - 211 = 4*b, -g = 4*b + 173. Is -40 at least b?
True
Suppose 0 = -3*m - 12, 3*m = 5*x - 3971 - 9766. Let p be (4/40)/(-1 + 2739/x). Are -46 and p unequal?
True
Suppose 0 = -2*a + 3*g + 44, -2*a = -g + 5*g - 16. Let b = -15 + a. Let q be (-31)/140 - 206/(-515). Which is smaller: q or b?
q
Let z(a) = a**3 + 13*a**2 + 37*a - 19. Let i be z(-8). Suppose -i*p - 45 = 5*s - 5, 4*p = 3*s + 24. Is -6 bigger than s?
True
Let w = -510 - -519. Let h be 42/189 - (-7)/w. Is h at most -1.2?
False
Let m be ((-25669)/5880)/((-14)/4). Let j = -2/735 - m. Let y = -5 - -5.2. Is j greater than or equal to y?
False
Suppose 0 = -4*u + 5*v - 390, -29 + 219 = -2*u + 5*v. Let n = u + 115. Let w be (-88)/120 + 6/n. Which is bigger: w or -1/41?
-1/41
Let q(f) = 7*f + 18. Let j be q(9). Let u = j + 43. Let g = -125 + u. Which is smaller: -2 or g?
-2
Let k = 1680 - 1679. Is k greater than or equal to 102/89?
False
Let t(q) = -q**3 + 41*q**2 - 104*q + 5656. Let v be t(42). Which is bigger: -2387/5 or v?
v
Let m be 1/3 - (-311)/(-969). Suppose -14*d + 5*t = 35, -4*d - 14 = -67*t + 65*t. Is m bigger than d?
True
Suppose -10*j = -5*j. Let a be (-4 - (2 - j))*-1. Let o = 5 + a. Is o >= 9?
True
Suppose -4*r - 37*c + 32*c = -22, r - 7 = -2*c. Are 93/58 and r unequal?
True
Let f = 164/1219 + -3062514/22745321. Is 1 equal to f?
False
Let p = -26288/6219 - -10/2073. Is -5 greater than p?
False
Let d be (-59)/(-4 - (-40)/8). Which is bigger: d or 8?
8
Let l = -26723 + 26720. Is l > -3304?
True
Let c = 1292837523/13 + -99306457. Let p = -142702 + c. Let b = -119 - p. Is 0 at least as big as b?
True
Let t(y) = -y**2 + 9*y + 1. Let u be (-2 + 0)*-4 - -1. Let m be t(u). Let f = 5315/16 - 332. Which is bigger: m or f?
m
Let c be 1/(-6) - 453/(-36)*2. Suppose 26*v - c*v = 122. Are 121 and v nonequal?
True
Let v be (2 + -1 - -3)*(5 - 39767/8027). Are 0 and v nonequal?
True
Suppose -28 - 20 = 6*o - 18, 0 = 5*j + o + 5. Let w = 0 + 1. Let u be 9/16 - w/1. Which is smaller: u or j?
u
Let f = 109.8713 + -0.8713. Which is smaller: -32 or f?
-32
Let d = -71 + 73.9. Let s = d + 27.1. Let c = s + -11. Which is smaller: c or 2/7?
2/7
Suppose 20*t - 3650 - 4350 = 0. Is 2/3 at least t?
False
Let b = -1358.6 - 4628.4. Is b at least as big as -2/7?
False
Suppose -11*b = -7*b - 4. Let p be ((-6)/(-1))/6*b. Does p = -1/37?
False
Let v(s) = s - 7. Let q(c) = 3*c + 24. Let b be q(-7). Let p be v(b). Let x be ((-38)/p)/((-4)/8). Is -20 at most as big as x?
True
Let b = 330.25 - 32.15. Let p = b + -295. Which is greater: -3/5 or p?
p
Let w be (-57)/(-76)*15024/9. Which is smaller: 1253 or w?
w
Let h = -401 + 87. Is -315 smaller than h?
True
Let d be (-200)/24*5/((-75)/(-1824)). Which is smaller: -1012 or d?
d
Let l be (-13*1 - -1)*(11352/72 + -58). Which is smaller: -1195 or l?
l
Suppose 191*u - 196*u = -1020. Let n = 2267/11 - u. Does n = 3?
False
Let c = 0.2 - 0.285. Let o = 539 - 539.025. Let x = c - o. Which is smaller: -1 or x?
-1
Suppose 2*k - g = 145, 5*k + 51*g - 359 = 50*g. Let i = k - 73. Is i not equal to -1/212?
True
Let w(m) = -13*m + 91. Let b(d) = -d**3 - 22*d**2 - 23*d - 35. Let r be b(-21). Let v be w(r). Is v > 7/32?
False
Suppose -440*y = -449*y + 207. Suppose -3*n - 4 = -5*n. Suppose -5*t - 64 = -n*s, 0 = -3*s - 0*t + 2*t + 74. Which is smaller: y or s?
s
Suppose -5*p + r = -9, 0 = 4*r + 23 - 7. Let o be 20*p + 12/4. Are o and 22 unequal?
True
Suppose -4*w = 3*c - 59 + 27, 2*c = -w + 13. Suppose -j - 56 = 5*r, c*j = j - 3. Are r and -67/6 nonequal?
True
Let q = 8520 - 8520. Which is bigger: -29/21 or q?
q
Let q = -905.1 + 1034. Let i = -127 + q. Let n = i + -7.9. Which is smaller: 0.3 or n?
n
Let v(u) = -u**3 - 64*u**2 + 142*u + 661. Let n be v(-66). Is n greater than or equal to -4/137?
True
Suppose 2*h + 24 = 6*h. Let j(c) = -5*c + 12. Let o be j(h). Let w be 3/3 - o/(-30). Which is smaller: w or -2?
-2
Let y = 8355 + -14654. Which is bigger: y or -6298?
-6298
Suppose -16372 = -24*a + 5060. Which is bigger: a or 892?
a
Let k = 3758 + -3758. Is k at least as big as 2/4677?
False
Suppose m - 2*k + 187 = 0, 0 = -8*m + 5*m - k - 589. Is m not equal to -152?
True
Suppose -24 = -3*f, 2*x - f + 237 = -107. Which is bigger: x or -337/2?
x
Let h = 69 + -83. Let c be h/6 + 245/195. Suppose -3*u + 6 = -u - 2*z, -3*u - 2*z = 6. Is u greater than c?
True
Let i be 20/21 - 2/7. Let o = 0.1106 - 1.6366. Let t = -0.476 - o. Is i > t?
False
Let h(g) = -2*g - 33. Let w be h(-15). Let y be (-5)/((-15)/174) - w. Let b = 60 - y. Is -6/11 >= b?
True
Suppose 83*x + 58023 = -140836 + 37839. Which is smaller: -1941 or x?
-1941
Let p = 4 - 12. Let a(c) = 23*c - 18. Let b(o) = 42*o - 35. Let r(v) = 11*a(v) - 6*b(v). Let k be r(p). Is k not equal to 7?
True
Let f = 226.78858 + -0.84358. Let k = -226 + f. Which is smaller: k or -2/7?
-2/7
Suppose -5*v = -b - 3857, -53*v + 57*v - 4*b - 3076 = 0. Which is smaller: 767 or v?
767
Let y(q) = -11*q**3 - q**2 + 2*q + 6. Suppose -79*a - 4 = -77*a. Let i be y(a). Which is greater: i or 84?
i
Let t be (4 - (-2 - 671)) + -6. Let w be (9/(-18))/(t/(-4)). Which is smaller: w or -1?
-1
Let m = 79 + -43. Suppose 5*g = 3*a + m, 3*a = 3*g + 17 - 53. Let l be 65/150 + a/20. Which is smaller: -0.1 or l?
l
Let q(t) = t**2 - 240*t - 1889. Let y be q(110). Is y at most -32377/2?
True
Let c(b) = b + 2. Let v be c(0). Suppose -m + 2*i = -2*i - 99, -5*m + 2*i = -549. Let w be ((-2)/v)/(3/m + 0). Which is smaller: w or 1?
w
Let n = 203332/7 + -29191. Let i = -144 - n. Which is smaller: -0.8 or i?
-0.8
Suppose 5*o + a = -6, 7*o - a = 9*o + 3. Is o less than 174/383?
True
Let b(y) = -3*y**3 - 2*y**2 + y - 2. Let l be b(2). Let i = l - -31. Is i less than or equal to -62?
False
Let a = -6895.7 + 6896. Is a at least as big as 201/10?
False
Let j be (8 - 11) + ((-92)/19)/(9904/(-6136)). Is 1 not equal to j?
True
Let t = -667706922/55 + 12139505. Let z = t - -621. Are z and -1 non-equal?
True
Let y(g) = 25*g - 8. Let t be y(-2). Let z = t + 117/2. Let k(p) = p**2 - 12*p - 13. Let s be k(13). Which is bigger: s or z?
z
Suppose 2*o = 184 - 192, 1587 = -3*t + 3*o. Let n be (-16032)/30 - 4/(-10). Is t greater than or equal to n?
True
Let o = 25131 + -25130. Is o bigger than -3/496?
True
Suppose -3*a = 2*p + 142, 12 = -5*a + 2*a. Suppose -33*w - 665 - 1480 = 0. Is w less than p?
False
Suppose -13*o + 576 = -10*o. Suppose -2*t