re w and o non-equal?
True
Let t = -47.33 + 1.33. Let q = t + 36.3. Let n = q + 22.7. Which is smaller: 3 or n?
3
Suppose -j = -2*k - 74, 0 = 3*j + k - 3*k - 218. Let q be (3 + 5 + -6)*j. Is q >= 144?
True
Let z(q) = -q**2 - 45*q. Let f be z(0). Do -1/2267 and f have the same value?
False
Suppose 5*x = -26*t + 29*t + 300, 0 = -2*x - 5*t + 120. Which is smaller: x or 42?
42
Let d = -1448 + 1447. Which is greater: d or -1/3317?
-1/3317
Let m = 5120 - 4839.5. Which is bigger: m or 0?
m
Suppose 0 = 29*g + 76 - 47. Do 2/4003 and g have the same value?
False
Let a = 5147 - 5093. Let k = -160 + 240. Let w = k - a. Is -2 greater than or equal to w?
False
Let s be (-10)/(-6) - 1 - ((-1760)/(-120) + -13). Which is bigger: s or -10294?
s
Let v be -2*((-4)/(-11))/(-1). Let u(c) = -3 - 2*c**3 + 19*c + 21*c - 32*c + 0 + 11. Let j be u(-1). Which is smaller: v or j?
v
Let c be ((-26)/(-15) - 2)*((-750)/18710)/15. Is 1 bigger than c?
True
Let a be -23 - (-452842)/19630 - 0/(-3). Which is smaller: 0 or a?
0
Let t be 3 + 6/(3 + 0). Let l be -4 - (96/(-40))/((-2)/t). Are -13 and l unequal?
True
Let f(h) = -18*h - 26. Let n be f(-2). Suppose 1872 = 2*g + n*g. Suppose 114*j - 118*j = -g. Which is smaller: j or 41?
j
Let g = -188 + 189. Let v = -316 + 29073/92. Are g and v non-equal?
True
Let z = -2382 - -90517/38. Which is smaller: z or 0.053?
z
Let p = -122875597/3489 + 35218. Let d = p - 79/1678209. Which is smaller: -1 or d?
-1
Let b be 25 - 20 - (1 + 10). Let t = -386/4941 + 5/81. Let a = t + 127/305. Is a smaller than b?
False
Let z(y) = 2*y**3 + 45*y**2 - 25*y - 37. Let q be z(-23). Suppose -2*j + 49 = 11. Is j less than q?
False
Let s be -15*(52/(-12) + 1). Suppose -s*o = -48*o + 18. Let g = -28 - o. Is -18 > g?
True
Let h = 0.0684 + -0.2684. Which is smaller: 6020 or h?
h
Let x be (-5474)/29512 - (-4)/(-62). Which is smaller: x or 2287?
x
Let g = -14 - -11. Let l = -32.5 + 8.5. Let k = 25 + l. Is k greater than or equal to g?
True
Let a be (16 - (0 - -4))/(2 + (-43845)/21630). Which is smaller: -445 or a?
-445
Let j = 2211 - 2211.11. Which is smaller: -15 or j?
-15
Let v = -235.53 + -711.37. Let i = -947 - v. Which is bigger: 326 or i?
326
Let p = -520.9992 - -521. Let l = p - 0.1008. Is -138 > l?
False
Suppose 2*g + 176 = -0*g. Suppose 3*w - 2*y = -240, -w + 173*y - 136 = 177*y. Is w at most as big as g?
True
Let w be 104 + 1 - 0/(-3). Let c = 106 - w. Let l be 60/(-1160)*(c + (-23)/21). Is l greater than 0?
True
Let o = -21.09 + -20.88. Let m = 170 + -212. Let f = m - o. Is f <= -1?
False
Suppose 192 = 10*r - 18*r. Which is smaller: 0.02 or r?
r
Suppose 3*f - 2628 = p, -167*f + 163*f - 4*p + 3488 = 0. Which is greater: 877 or f?
877
Let d be 91200/(-350) - (2 - -16). Is d greater than or equal to 0.1?
False
Suppose -a = -1 - 15. Suppose l = -2*c + 6*l + 30, -4*c = l - 16. Suppose c*n + h = 72, -4*n = n + 5*h - 80. Which is smaller: n or a?
n
Let h be -15 - (117/13 + -19). Let m = -9 + 10. Let k be m - (-5)/(40/(-42)). Is h < k?
True
Let k = 4 + -13. Let h = 5252 + -5259. Are k and h nonequal?
True
Let x = -29 - -110. Let t = 49 - x. Let r = t + 39. Is -1/4 at most r?
True
Suppose -p + c - 18 = 0, 31*p = 36*p - 3*c + 88. Is -223/14 equal to p?
False
Let r be (-61)/(-75) + (-1)/3. Let c(m) = -2*m**2 - 1 - m**3 - 16 - 7*m + 0*m + 28*m. Let j be c(-6). Which is smaller: j or r?
r
Let l(j) = 236*j - 1215. Let a be l(6). Is a > 202?
False
Let v(m) = 16*m**2 - 17. Let d be v(7). Do d and 766 have the same value?
False
Let c = 175 + -175. Let r = -15.04 + -1.76. Let s = -17 - r. Are s and c non-equal?
True
Suppose -2*z + 92 + 284 = -5*w, 2*w = -2*z + 362. Suppose 0 = -5*a - f + z, 0 = -5*a - 6*f + f + 175. Let q = 16 - 15.9. Which is bigger: q or a?
a
Let y be (-4)/(-6)*(-2448)/(-1020). Which is bigger: y or -9/4?
y
Let y be 5 - 2 - -18 - 7. Suppose -45*h - 14 = -y. Do 2/5 and h have the same value?
False
Suppose -44*k - 976 = -12*k + 29*k. Which is smaller: -201 or k?
-201
Let m = 973344 + -979622.064. Let a = m - -6250. Let i = -0.064 - a. Which is bigger: i or 1?
i
Let w(m) = 1003*m + 13. Let s be w(1). Let p = s - 638. Is 378 at least p?
True
Let o = 17246 + -18074. Is -5795/7 > o?
True
Let s be (-37)/(-13) + 20/130. Suppose -3*p + j + 11 = 1, p + s*j - 20 = 0. Suppose 0 = z - 3, 0*d - p*z + 16 = d. Which is smaller: d or -2/217?
-2/217
Let m be (3 - 4/(-6)*-5)*(-846)/1833. Let t be 11/9 + (-4)/18. Let i be -2 + (3 - t) + -1. Do i and m have the same value?
False
Suppose 4*m - 3*f = 651, -8*m + 13*m = 4*f + 815. Is m at most as big as 153?
False
Let b be 0 - (2 + (-391790)/295). Let l = b - 1326. Which is smaller: l or -0.1?
-0.1
Suppose 18*q + 440 + 373 - 291 = 0. Which is smaller: -20 or q?
q
Suppose 3*i = 12, -3*o + 2*o = 3*i - 32. Let w be (48/o)/(-6)*1/2. Is 89 > w?
True
Let y = 76 - 42. Let t be (25 + -21)/(-1 + 38/y). Suppose -t - 2 = 2*c. Which is bigger: -88/5 or c?
-88/5
Let x(i) = 2*i + 16. Let y(d) = -9*d - 66. Let t(q) = -26*x(q) - 6*y(q). Let n be t(5). Which is smaller: -9 or n?
n
Suppose -3*q - 3*k - 16575 = 0, 137*q - 139*q - 11057 = 3*k. Is -5517 >= q?
True
Let c be 18/(-66) - (669/(-33) + 7). Is -19 smaller than c?
True
Let r = 174 + -513. Let y = r + 347. Is y at least as big as -13?
True
Let u be 95 - -17 - (4/(-2) - 3). Suppose -s - u = 7*a - 4*a, 2*a - 5*s = -95. Is a smaller than -39?
True
Suppose -5*b + f = 1473, 4*f = 34*b - 33*b + 268. Is b not equal to -296?
False
Let m be (4/3)/((-2)/(-9)). Let v be (-1 + m)*(-4)/(-36). Is v bigger than 1?
False
Let a(z) = 4*z - 46. Suppose 42 = 28*y - 25*y. Let j be a(y). Suppose 4*i - 46 = 5*u - 3, u + j = i. Which is smaller: 5 or i?
5
Let m be (2 - (1 - 0))*(-20)/(-4). Let d be 12/90 + m/(225/(-6)). Let i = -0.13 - -0.09. Which is bigger: d or i?
d
Let v = -2149 + 1912. Is -475/2 greater than or equal to v?
False
Suppose -10 = 9*f - 55. Suppose 520 = -f*n - 5*m, -m = -7*n + 3*n - 431. Which is bigger: -105 or n?
-105
Suppose -o = -o - 4*o. Suppose o = 9*i - 8*i. Do i and -6/59 have the same value?
False
Let i = 8664 + -8665. Do 3/850 and i have the same value?
False
Suppose 2779 = -23*s - 8278 - 2536. Which is bigger: s or -589?
-589
Let p(m) = m**3 - 44*m**2 + 151*m + 10. Let b be p(4). Is b > -26?
False
Let z be 6/(-51)*(4 - (-525)/(-133)). Is z at least -12?
True
Suppose -y - 2 = 2*f, -148 = -5*y - 4*f - 164. Which is smaller: y or -26/9?
y
Let c be (-7)/(-98) - 318/42. Let u = -2942 + 17597/6. Let f = c - u. Which is smaller: f or 2?
f
Suppose -5 = 5*s, -3*o + 4*s + 4 = -15. Is 116 at least o?
True
Let x be (-9808)/7 + 1182/(-1379). Which is greater: x or -1400?
-1400
Suppose -y = -3*y + 4*u - 8, -4*y - 6 = 2*u. Let q(m) = -m**3 + 5*m**2 + 2*m + 2. Let z be q(3). Suppose -21 = -5*o - z. Is y bigger than o?
False
Suppose -x + 7 = -4*x - 2*r, -17 = 3*x + 4*r. Let l be (159/76)/((-4)/528). Let g = 276 + l. Which is smaller: x or g?
g
Let s = -20232 - -20477. Is s greater than or equal to 231?
True
Suppose j - 209 = -2*d - 675, -d - 4*j - 212 = 0. Is -236 smaller than d?
False
Let x = -20161 + 28299. Does x = 8137?
False
Let t = 52 + -154/3. Let h = 34341 + -34459. Which is greater: h or t?
t
Let d = 13 - 1. Suppose 0 = -w + t + 7, -2*w = -4*t - 25 + 7. Suppose 2*u - 4 = w*y, -2*u + 28 = y - 0*y. Is u <= d?
True
Let s be ((-2)/3)/(4/(-26)) - (-113)/113. Is s greater than -0.4?
True
Suppose -215 = -5*h - 220. Let x be (-2 + -2)/(-23 - (-2 + 0)). Is h at least as big as x?
False
Let b be (105/(-12))/(-1)*(-1 - -485). Which is smaller: b or 4236?
b
Let z = -24.34536 - 0.02464. Is 1/3 less than z?
False
Let k be (-85481)/51 + (-656)/2788. Is k smaller than -1675?
True
Let p = 5022 + -5478. Which is greater: -458 or p?
p
Let g = 48.4 + -193.6. Let o = -147 - g. Which is greater: o or 9?
9
Let m = 275 + -275. Suppose m = 15*o - 16*o - 3*z + 126, -3*o = 3*z - 366. Which is bigger: o or 121?
121
Let b = -293/18 - -33/2. Is -69/2 equal to b?
False
Let i(l) = 6*l**2 - 12*l - 14. Suppose -v - 2 = 0, -5*v = -2*z + 6*z + 14. Let p be i(z). Which is bigger: p or -12?
p
Let a(y) = -264*y**2 - 20*y - 16. Let f be a(-1). Which is greater: f or -254?
-254
Let q be (2349/(-58))/(531/(-120)). Which is greater: 0.2 or q?
q
Suppose 0 = -9*r + 21*r - 336. Let x be (-2930)/(-104) - (-90)/1170. Which is bigger: 