lse
Let u be (-8)/3 - (76544/69 + 17). Is u > -1129?
False
Let c = -359.76 + 355. Let i = 3.96 + c. Is 7 at most i?
False
Let z = 16.22 + -951.22. Let q = -938.31 - z. Which is bigger: 0.1 or q?
0.1
Let i(u) = 5 - 9*u + 28*u + 8*u. Let r be i(1). Let s = 21 - r. Is -9 at most as big as s?
False
Let u be 0*(-19 + (-4809)/(-252)). Are u and 1/14283 unequal?
True
Let m be (39330/(-65))/(-19) + (84/39 - 2). Are m and 472/15 unequal?
True
Let m = -2.2034 - -2.4804. Which is bigger: 33 or m?
33
Let r = 17382 - 17380. Which is greater: r or 618?
618
Let p = 25676 + -25645. Let s(d) = 7*d - 13. Let a be s(7). Is a less than or equal to p?
False
Let n = -17 + 17. Suppose 9*a - 4*a - 5 = n. Let f be a/5*(-35)/(-154). Is 1 < f?
False
Let y = -2/145 + -403/2320. Suppose 0 = 3*m - 4*m - 3*z + 402, -3*m = -2*z - 1151. Let j = m - 388. Is y smaller than j?
False
Let g = 2209 + -1513. Suppose -g = -27*n + 23*n. Let i be n/(-14) + 3/7. Do i and -12 have different values?
False
Let j be ((-79)/(-79))/((-2)/(-88)). Let x = 138 + -95. Which is bigger: j or x?
j
Let c be (-269 - -267)*466*(-3)/(-24). Is c greater than -118?
True
Let b = 159679/2072 - -23/296. Let c = 77 - b. Is c at least as big as 1?
False
Let i be (-89)/(-11) + (-16)/176. Suppose c = -c + i*c. Is c less than -1/296?
False
Let m = -6 + 3. Let b = -176 - -1761/10. Is b >= m?
True
Suppose -a - 44 = 5*i - 10*i, 33 = 4*i - 3*a. Let o be (54/4)/i*-2. Do o and -3 have the same value?
True
Suppose 0 = 4*x + 4*o, -2*x - o = 2*x. Suppose -6*l - 21 - 33 = x. Is -17 > l?
False
Let i = -179.06 - -172.66. Which is smaller: 0.43 or i?
i
Let o be (-3 + 11/2)*64/2. Let t be 9/(612/o) + -2. Is 0 less than t?
False
Let y be (93/51 + -2)*34880/240. Which is bigger: -26 or y?
y
Suppose 6*a - 30 = a. Let x be -5*a/(-45)*9/2. Suppose 2*r + 2*y = -2*y + 20, 18 = r + 4*y. Which is smaller: r or x?
r
Suppose -5*k + h = 4, -3*k - 35316*h = -35321*h + 20. Let o be ((24/67)/2)/(-1). Which is smaller: k or o?
o
Suppose -7*z - 2*g - 40 = -4*z, -2*g = -3*z - 56. Let t(p) = 5*p - 1. Let r be t(2). Let q be (r/(-4) + 1)/((-2)/(-24)). Is z > q?
False
Let x = -289 + 166. Let k = 109 + x. Which is bigger: -1 or k?
-1
Let q = 2.02 + -15.02. Suppose 5 + 1 = 3*u, -v - 5 = -u. Which is bigger: v or q?
v
Let o be (-1 + -1)/(0 + (-6)/30). Let r be (-33209)/3960 + 8 + 4/o. Which is greater: r or 0?
r
Let q = 35983 - 35991. Is -84 != q?
True
Let k = 8612 - 8611.7. Which is smaller: -9.44 or k?
-9.44
Let h = 2081 + 1672. Let c = h - 2450711/653. Which is greater: c or -1?
c
Let t(o) = -54*o + 8. Let n be t(-3). Suppose -5*m = 2*j + 335, 0 = 4*m + 4*j + n + 110. Let h = -50 - m. Which is greater: 13 or h?
h
Let m = -317 + 2214/7. Let h = 2 + -3. Which is bigger: h or m?
m
Let z(o) = -o**3 + 14*o**2 + 91*o - 305. Let y be z(18). Is y at most 537/14?
True
Suppose -4*v + 40 = 32. Suppose 0 = f - v - 6. Let w(n) = -n**2 - 33*n + 154. Let i be w(-37). Do f and i have the same value?
False
Let a = -129 - -131. Suppose 10*l - 9*l = -a. Is 23 less than l?
False
Let p = -67 + 66. Let i = 534501/203 - 2633. Which is smaller: p or i?
p
Suppose 7*i = 4*i, -2*o + 5*i - 318 = 294. Do o and -296 have the same value?
False
Let g be 6/228 - (-148161)/1482. Is g != 99?
True
Let q be (-28)/174762*(5 + -8). Are -1 and q unequal?
True
Suppose 9*v = -364 + 346. Which is smaller: v or 72?
v
Suppose -4*d = 7*q - 96 - 74, -2*q = -5*d - 67. Is q bigger than -16?
True
Let k = -4342.3 - -4342. Is k <= 151?
True
Let l(f) = 4*f**3 + 14*f**2 - 32. Let r(t) = -5*t**3 - 15*t**2 + t + 34. Let s(i) = 4*l(i) + 3*r(i). Let b be s(-9). Is b >= 110?
False
Let t be ((-18)/10)/(21/70). Let p be (2/2 + t)/(-2)*10. Suppose 0 = -5*x + p, -2*b + 5*x - 13 = 12. Is -3/10 less than b?
True
Let d = -2178 - -1168. Let i = d - -1019. Which is smaller: i or 96/11?
96/11
Let c be 5 + (1343/(-187) - 8/(-44)). Let j = 8 + -4. Which is greater: c or j?
j
Let h = 5131 - 5129. Is 544 <= h?
False
Let a(v) = -2*v**3 - 3*v**2 - v - 6. Let l be a(3). Let r be l/(-108) + (0 - 1). Let i = -4 - -3.6. Is i less than or equal to r?
True
Suppose -5*c = -3*n + 28, 2*n - c = -1 + 29. Suppose 5*j = 14 + 1. Suppose -j*k = -9*k + 90. Which is greater: n or k?
n
Let v = 112/1191 - -10072877/19056. Let l = v - 529. Which is smaller: 1 or l?
l
Let w be (-844 - -124)*(-2)/(-5). Which is bigger: -286 or w?
-286
Let j = 22296 + -22258. Which is smaller: j or 261/7?
261/7
Suppose 9*y - 4*y + 2*h + 166 = 0, -3*y = 5*h + 92. Are y and -35 unequal?
True
Let r = -287 + 300. Suppose 26 = r*y - 286. Let c be (-70)/(-3) + 2/3. Is c at least as big as y?
True
Let s = 165 + -167.67. Let z = -2.57 - s. Is -4 not equal to z?
True
Let s be (1 - 0)*-1 - (74 - 77). Suppose -7*m - 15 = -12*m. Is m less than s?
False
Suppose f - 2*f - 4*j + 27 = 0, 5*j = 4*f - 66. Suppose -h + 2*h - 4*i = -f, 3*i - 129 = 5*h. Let m be (-4)/(-5)*h/216. Is m at least as big as -1?
True
Let p be 58/(-4)*8 + 984/123. Is p smaller than -117?
False
Let d = -7528 + 8582. Which is bigger: 1063 or d?
1063
Let o(z) = 2*z**3 + 3*z**2 + 5*z + 4. Let i be o(-5). Let f = -525449/2674 + 4/1337. Is f greater than i?
False
Suppose -276 = m - 4*r, 1020 = 12*m - 16*m - 5*r. Let u = m - -216. Let y = 67 - 112. Is y >= u?
False
Let j = 1/43750 - 2232143/39068750. Which is smaller: 1 or j?
j
Let u = 1047/5 + -319334/1525. Is u <= -1?
False
Let u be (-12)/(-3) - 361197/90297. Is 0 at most as big as u?
False
Let d(t) be the third derivative of -23*t**4/24 + 17*t**3/3 - 28*t**2. Let y be d(-10). Which is greater: y or 265?
265
Let q = -573 - -826. Let o = q + -228. Which is bigger: 26 or o?
26
Suppose -12*v = -3*v - 135. Suppose -8*t + 33 = -v. Suppose 0 = -3*j + t - 0. Which is bigger: j or -7?
j
Let s be 44/(-14) + 0/(-1). Let q be (-3)/351*126/7. Which is smaller: s or q?
s
Let g = 27225 - 26838. Is 1.2 > g?
False
Suppose -t + 2*i = -1, -3*i + 3 = -6. Suppose 3*b - 2*c = 31, -b - t - 1 = 3*c. Let a(y) = y**3 - 7*y**2 - 4*y + 11. Let h be a(b). Which is bigger: -16 or h?
-16
Suppose -w + 17 = -4*z, -3*w + 5*z + 37 = -0*z. Suppose 0 = -w*k - 40 + 337. Do 36 and k have the same value?
False
Suppose -4880*o + 563 + 1229 = -4848*o. Suppose -3*b + 0*s - 5*s + 174 = 0, -3*s + 232 = 4*b. Is o less than b?
True
Let g be (-70)/42*(0 + 3) + 325. Suppose 44*q - 45*q = 2*p + 160, 4*p + q + g = 0. Is p greater than -82?
True
Let s(c) = -8*c + 4. Let a(h) = -h**2 - h + 1. Let u be a(0). Let o be s(u). Let v be 60/(-4) + 12/o. Which is greater: v or -17?
-17
Let r(d) = -d + 32. Let p be r(10). Let w(g) = g**2 - 21*g - 11. Let x be w(p). Suppose u - 1 = -2*z, -2*u + x = -0*z - 5*z. Is 2/195 < z?
False
Let u = 533 - 270. Let v = u + -179. Suppose -5*o - 89 = -v. Is 2/49 greater than o?
True
Let s be (-433)/(3 - (-11 + 13)). Which is greater: s or -436?
s
Let c be -5 + 416/64 + -1 + 1/(-2). Which is greater: -1/10661 or c?
c
Let u(t) = 15*t + 149. Let k be u(12). Let l = k + -354. Is l at least -24?
False
Suppose 4*g + 14 = 2*d, 6 = 4*d - 14. Let w be 69/(-78) - (-6)/39. Let r = w - -3/13. Which is smaller: r or g?
g
Let h be 6*(42/(-15))/7*-5. Suppose -h*a + 3 = 15. Which is smaller: a or 4/119?
a
Let j(b) = 266*b**2 - 49*b + 155. Let r be j(4). Is 4215 > r?
False
Let h(z) = 3*z**3 + 574*z**2 + 183*z - 1525. Let o be h(-191). Which is smaller: 293/71 or o?
o
Suppose 107*w - 52*w + 9570 = 0. Do w and 60 have different values?
True
Let f(w) = -5*w**3 + 2*w**2 - w + 6. Let a be f(-3). Let o be a/288*(0 - (-424)/6). Let g = -40 + o. Which is greater: g or 12?
12
Let b = -104 + 276. Let j = -89 + b. Let w = -82.9 + j. Which is greater: w or 0?
w
Let r = 265 - 266. Let i = -673 + 14803/22. Is r < i?
True
Suppose 0*k + 394 = -8*w - 5*k, 3*w - 2*k = -140. Is w at most -471/10?
True
Let x = 1/62583 + -1028927108/312915. Let v = x + 113872/35. Is -34 greater than v?
True
Suppose 45 = -14*c + 19*c. Let o(b) = 5*b**2 - 45*b + 1. Let i be o(c). Which is bigger: 9 or i?
9
Let j be (-27)/(-222)*(-2)/(-3). Suppose 3*x - k = 905, -x + 5*k - 7*k = -297. Let s = -301 + x. Which is smaller: j or s?
s
Suppose -108 = -7*i - 108. Which is smaller: -2/65 or i?
-2/65
Let p be 0 - -2 - (-84)/(-39). Let m be ((-364)/49)/((-2)/7). Suppose -m*u = -7*u. Is u less than p?
False
Let b = -24553 + 908358/37. Which is bi