se
Let x be 10 + -1*(-1 + 0). Suppose 145*o - 630 = 106*o - 123. Which is smaller: x or o?
x
Let a = 280 + -131. Which is greater: a or 151?
151
Let c be (-2)/((-22)/26 - -1). Suppose -4*w + 59 + 62 = -5*n, 0 = -2*n + 2*w - 50. Let t = c - n. Which is bigger: 10 or t?
10
Let x = 12 + -27. Let m be (-110)/x + 4/6. Let d be (12/m)/(12/10). Which is greater: d or 2?
2
Suppose 4*r - 3*w = -6*w - 340, -w + 406 = -5*r. Which is bigger: -81 or r?
-81
Let t be (4/(-8))/(5/26). Is t less than or equal to -2?
True
Let m be (-19396)/19604 - 6/(-26). Which is bigger: -2 or m?
m
Let p be (3/(-26))/((-1)/(-2)). Let h be (12/(-20) + (-475)/(-1000))/(3/6). Which is smaller: p or h?
h
Let j = -2963 + 44461/15. Let o = -2/3 + j. Does o = 1.1?
False
Let i be (4 - 5 - 1) + 3/1. Let z = -6 - -12. Let j = z + -7.4. Which is smaller: i or j?
j
Suppose 78 = 5*w + 313. Let i = w + 237/5. Let o be (-2)/(-2) - (4 - 4). Which is greater: o or i?
o
Let o be (-390)/35 + -2 + 6. Which is greater: -7 or o?
-7
Let w(u) = -3*u - 24. Let b be w(-8). Which is smaller: -16/43 or b?
-16/43
Suppose 8 = -k + 3*k. Let h(s) = s**2 - 19*s - 15. Let c(z) = z**2 - 18*z - 15. Let x(l) = k*h(l) - 5*c(l). Let u be x(15). Are 0.3 and u non-equal?
True
Let v(c) = -65*c - 26. Let l be v(9). Is l bigger than -612?
True
Let v = -3.16 - -2.16. Which is bigger: -4 or v?
v
Let v(d) = d**2 - 5. Let r be v(-3). Suppose r*j - j = 2*w + 34, -2*w - 54 = 2*j. Let s = 33 + w. Which is smaller: 11 or s?
s
Suppose 0 = -3*d + 9, 3*b - 4*b + 2*d = 91. Let z = 76 + b. Let o be (40/(-12))/(1/3). Do o and z have the same value?
False
Let m = -231 + 230. Which is smaller: -0.9 or m?
m
Let q = 2813/22854 + 3/586. Which is smaller: q or 0?
0
Suppose -3*c + 801 = -181*z + 185*z, 267 = c + 5*z. Which is smaller: 266 or c?
266
Let w = 2.04 - 2. Which is smaller: w or -6/5?
-6/5
Let d(f) = -18*f**2 - f. Let b be d(1). Is b > -5?
False
Let b(u) = 14*u**2 + 12*u + 12. Let g be b(-1). Is g greater than or equal to 6?
True
Let m = -0.016 - 2.684. Let k = -1.7 - m. Is k at most 28?
True
Suppose 13*y - 63*y + 7650 = 0. Is 463/3 equal to y?
False
Let v(p) = p - 7. Let w be v(5). Let r(g) = g + 10. Let d be r(6). Suppose -12*q = -d*q. Which is bigger: w or q?
q
Let f = 30 + -20. Let r be (-1 + 0)*f/(-2). Suppose 0*j + r*j = 20. Are j and 7 equal?
False
Suppose -9*y + 400 = -14*y. Let w be (-6)/39 + y/(-13). Is 6 smaller than w?
False
Let w = -6 + 4.2. Let l = w + -11.2. Let a = l + 14. Which is smaller: -8 or a?
-8
Let x = 1044 - 1048. Let v = -1957/558 + -3/62. Which is bigger: v or x?
v
Suppose 0 = 10*s - 9*s + 4*r + 17, -2*s + 3*r = 67. Is -28 smaller than s?
False
Let d be 2*(-4)/(-8) + 3. Suppose -3*h = -f - 10, -5*f - 12 = d*h - 0. Let i be 2/56 - h/7. Are 7 and i equal?
False
Suppose 4*f = 4*u + 5*f - 135, -3*u = 4*f - 85. Let t = -21 + u. Suppose -t*n = -11*n - 3. Which is smaller: -1/4 or n?
-1/4
Let s(h) = 10*h**3 - h**2 + 2. Let p be s(1). Suppose -3*n - 7 = p. Is -6 less than n?
False
Let o(s) = -6*s. Let j be o(2). Let t = 140 - 155. Which is smaller: j or t?
t
Let d = -1123/20265 + -1/579. Let u(n) = -2*n**3 - 10*n**2 - n + 2. Let b be u(-4). Let w = -27 - b. Is d bigger than w?
True
Let c be 1 - 2 - (-4)/(-1). Let k be 13/130*(-2 - -1 - c). Which is greater: k or -2/7?
k
Let x = 5 - -8. Suppose 6*w = 2*w + 52. Is w at least x?
True
Let v = 0.013 + -35.013. Let d = 36 + v. Is d smaller than -0.3?
False
Let u be (-2)/9 - (-2 - 318/(-27)). Which is greater: u or -13?
u
Let u = -1.79 - -0.79. Let i = -3.31 - -3.5. Is u <= i?
True
Let t(z) = -2*z + 5. Let r be t(3). Let w be (-40)/5*r/(-2). Let q be (6/60)/((-2)/w). Do 1 and q have different values?
True
Let l = -294 - -3819/13. Which is greater: -6 or l?
l
Let q = 182 - 183. Are 8/23 and q unequal?
True
Let m(l) = -l**2 + 1. Let z(k) = -4*k**2 - 13*k - 3. Let v(j) = -3*m(j) + z(j). Let b be v(-13). Is -4 less than b?
False
Let d be ((-2388)/48)/((-3)/(-12)). Is -0.1 at least d?
True
Let k = -2467/3340 - 52/167. Which is greater: 0 or k?
0
Let x = 4 + -2. Let v be x/(-36)*-14 - 12/(-54). Which is bigger: v or 2/49?
v
Let x(c) = -6*c - 92. Let t be x(-11). Which is greater: t or 0?
0
Let c be (6/(-4)*5)/(95/(-40)). Is c > 3?
True
Let u = 3/98 - 229/1078. Is 0.7 > u?
True
Let x(m) = m**3 + 6*m**2. Let w be x(-6). Let a be (6/4 + (-3350)/2240)*(-56)/(-16). Which is smaller: w or a?
w
Let y(a) = -5*a**3 + 3*a**2 + 5*a + 5. Let u be y(-2). Suppose -43*r + u*r = -12. Which is bigger: -11 or r?
r
Suppose 3*c = h - 2, -3*h + 53 - 59 = 3*c. Which is bigger: c or 0.151?
0.151
Let t be (2 - 7) + 31370/6270. Is t >= 1?
False
Let t be 16/80 - 8/5*2. Let u be 2 + t/(1 - 0). Is u bigger than 16?
False
Let g = 17402/465 + -14/155. Which is smaller: g or 37?
37
Let i = -3/1226 - -16081/5569718. Are 1 and i non-equal?
True
Let g = -989/10 - -99. Let z = 14 + -14. Suppose -9*a + 5 + 4 = z. Are a and g unequal?
True
Let j be (9 + -9)/(1 - 5). Let m be (4/(j - -2))/(-1). Let y(l) = -l**2 + 6*l - 7. Let d be y(5). Is d at most as big as m?
True
Suppose 612 = -5*k - 3*s - 735, 0 = k - 4*s + 274. Is -270 > k?
False
Let p(c) = c**3 - 4*c**2 - 25*c + 10. Let l be p(10). Which is greater: l or 362?
362
Let u = -2473/9039 + 5/393. Is u at most 1?
True
Suppose -20 + 148 = -4*b. Suppose 809*r - 821*r = 396. Is r greater than b?
False
Let n = -0.0238 + 0.2238. Is -7 != n?
True
Suppose -3*f + 5*h = 7, -f = 2*h - 2 - 3. Let p be 8/(-6) - -2 - f. Is p >= 0.25?
False
Suppose 4*c = -2*h - 24, -3*c + 6*h - 18 = 3*h. Let u(s) = 2*s - 6. Let j be u(3). Suppose -2*i - 2*x - 12 = j, 2*i + 5*x + 9 = -3. Is i <= c?
True
Suppose 0 = 4*u + q + 4*q + 144, -72 = 2*u - 2*q. Let z = u + 40. Is 7 bigger than z?
True
Let w = -0.08 + -4.92. Let s = w + 4.87. Let r = 3.13 + s. Which is smaller: -2 or r?
-2
Let t = 112 + -66. Suppose 127 = 3*s + t. Let j be -3*(-3)/s*-3. Is j bigger than -1?
False
Suppose 0 = 3*t + 3 - 15. Suppose t*a = -a + 10. Let d be 152/110 - (4/22)/1. Which is smaller: d or a?
d
Let u be -6*(-11 - (-259)/(-140)). Which is bigger: 77 or u?
u
Suppose 95*l - 15 = 80*l. Is l less than 2/59?
False
Suppose 4*c + 11 = 3*p, -2*c + p - 2 = 1. Let w(g) = g**2 - g. Let i be w(c). Which is bigger: i or 3/4?
3/4
Suppose 4 = -k - 7*l + 9*l, 5*k - 7 = l. Which is greater: 13 or k?
13
Let k(h) = 33*h + 37. Let w be k(-2). Is -0.1 at most w?
False
Let y(n) = 3*n + 2. Let t be y(0). Let z be (-1)/t - (-60)/8*-1. Which is smaller: z or -7?
z
Suppose o + 24 = -a, 5*a - 7*o + 100 = -2*o. Let b = a - -16. Let r be 2/6*b/(-8). Is -2 greater than r?
False
Let w = 206.3 - 30.3. Let i = 162 - w. Which is bigger: 1/2 or i?
1/2
Let t = 7.21 - 7.21. Is t smaller than 241?
True
Let u be (1/(-6))/((-5 + 12)/(-1974)). Is 54 less than or equal to u?
False
Let g be (-47)/12 - (-84)/21. Let d = -11 + 10. Let y be ((-24)/15 - d) + 1. Is y at most as big as g?
False
Suppose -h - 9 = -7. Which is smaller: h or 1?
h
Let j be (-1)/((2/(-2))/(-1)). Let r be (-8)/(-6)*(-6)/j. Let t = r + -12. Is t bigger than -4?
False
Let c(y) = 25*y - 1427. Let u be c(59). Let i = -34 + 81. Which is greater: i or u?
u
Suppose 0 = f - 5*w - 3, -f - 2*w + 3 = 0. Suppose 0 = v - f + 5. Let i be v/10 - (-38)/(-60). Which is bigger: i or 0?
0
Suppose -98 = 11*o - 12*o. Is o at least 98?
True
Let g = 1952 - 1943. Which is smaller: -93 or g?
-93
Suppose z + z - 48 = 0. Let n = z - 11. Let o = -11 + n. Which is greater: 1 or o?
o
Let j = 140165/18 + -7781. Which is smaller: j or 6?
j
Let u be -28*1*(-12)/(-14). Let p be -34 + 11 + (-4)/2. Is u != p?
True
Let t be (-4)/6 - 137/(-3). Let x be 4*9*(-44)/(-36). Are x and t equal?
False
Let l = 72.3 - 73.1. Which is smaller: 0 or l?
l
Let r be (-813)/((30/(-35))/((-16)/(-14))). Is 1084 less than r?
False
Suppose -257*m - 16 = -261*m. Let q be (3 + 0)/((-1)/7). Let l be -2 - (-7)/(q/(-18)). Are m and l equal?
True
Suppose -11*q + 27 = -281. Suppose -10*z + 2 = -q. Is -9 >= z?
False
Suppose -2 = -0*p - p. Suppose 0 = 2*h + p*h - 20. Let c be h/(-3) + (3 - 3). Which is greater: -3 or c?
c
Let k be (8/(-228))/((-8)/(-54)). Let w = -5/342 - k. Is w <= -1?
False
Let r be (4 + 21/(-6))*(-1 - 97). Is -48 at most r?
False
Let a(j) = j**2 - 16*j + 16. Let b be a(15). Is b < -2/53?
False
Let l(j) = 4*j**3 - 18*j**2 + 10*j