lse
Suppose 5*t = 5*x - 2*x - 1611, 0 = -x + 2. Is -316 at least t?
True
Suppose 428 = 7*m - 440. Suppose -m*v = -123*v - 132. Which is smaller: 133 or v?
v
Suppose -19*w + 100890 = -190*w. Which is bigger: w or -593?
w
Let p = 313/248 + 66479/14136. Which is smaller: 6 or p?
p
Let k(u) = -u**2 + 16*u - 43. Let q be k(12). Suppose 5*d + 0*d = 3*r - 81, 5*r - 75 = q*d. Let w be (2 + -7)*36/10. Are w and d nonequal?
False
Let p be (13 - -2)/(-5) + 10. Suppose -3*r = -p*r. Suppose 4 = 4*s - r. Is s > -1?
True
Let v(f) = -3*f + 30. Let u(w) = -20*w + 183. Let n(x) = 6*u(x) - 39*v(x). Let d be n(-23). Does d = -8/5?
False
Let u be (-33)/11 - (-1166)/386. Let k = 5424/965 - u. Suppose -2*v + 9 = -1. Which is smaller: k or v?
v
Let u(n) = -68*n + 531. Let o be u(8). Which is smaller: o or 29?
o
Let s be (-14)/5 + (-28)/(-10). Are -12.736 and s equal?
False
Suppose 4*g = -t - 26, 12 = -5*g - 4*t - 26. Let k be 2320/87*g/4. Which is bigger: -0.1 or k?
-0.1
Suppose -3*r = -2*r + 4*k - 129, k - 420 = -3*r. Let c be r/2*52/897 + -4. Is c != 0?
True
Let o be 9/(-12)*4*7. Let m be (0 + -298)*(-1 - 0). Let q = -318 + m. Is o not equal to q?
True
Let d(s) = -8*s. Let x be d(-1). Let q = 340 + -337. Let i = q - -6. Do x and i have different values?
True
Suppose 2*m + 16 = 3*k, 5*m = 5*k - 59 + 24. Suppose 2*z = w + k*w - 59, z - 2 = 0. Is 246/11 greater than w?
True
Let y = 4/15 - 23/30. Suppose 3*r = 1 - 16. Let d be 68/(-18) - (7 + r - 6). Is d bigger than y?
True
Let p(n) = 13*n**3 + 156*n**2 + 29*n + 16. Let o be p(-12). Let t = -1045 + 713. Is t equal to o?
True
Let o = -3 - -39. Let r be (-12)/o*(-1 + -71). Which is smaller: -2/3 or r?
-2/3
Let z = 477 - 805. Let h = z - -65. Does -264 = h?
False
Suppose j - d = -j, 3*j - 2*d + 2 = 0. Suppose j - 12 = -2*q, 7 = -w + q. Is w greater than -14/17?
False
Let z be -1 - -6 - (-7689)/(-297). Is -20 < z?
False
Suppose 2*h - 8*h + 2116 = 2*l, -5*l = 3*h - 5230. Is l less than or equal to 1043?
True
Let y(f) = -7*f - 645. Let n be y(34). Which is greater: -885 or n?
n
Let k(q) = -2*q**3 + q + 2. Let s be k(-2). Let l = 317 + -318. Let f be (580/40)/(l + 2). Which is smaller: f or s?
f
Let n be (2/(-4))/((-8)/(-16)). Let r = 46963827/2080222 + -13185/578. Let s = r + 10/59. Which is bigger: s or n?
s
Let n(y) = 2*y**3 - 7*y**2 - 3*y - 3. Let l be n(4). Which is smaller: l or 2/291?
2/291
Let o = 112.3 + -106. Let t = o + -5.87. Let k = -0.4 + t. Which is greater: -3/2 or k?
k
Let t = -123 + 17.78. Let d = -106 - t. Let m = -9.78 - d. Is m < 6?
True
Let m = -266 + 264. Let j be 20838/115 - m/(-10). Is j != 181?
False
Suppose -11*r + 156257 = 54*r + 15207. Which is smaller: 2169 or r?
2169
Let u = 99186 + -788826257/7953. Is 0 at least u?
False
Let u(a) = -152*a**2 - 48*a + 7. Let j be u(7). Which is bigger: j or -7776?
-7776
Let p(v) = -3*v + 19. Let l be p(-8). Let b = -160 - -205. Is b at least as big as l?
True
Let f(s) = 6*s**2 + 2*s - 2. Let r be f(-2). Suppose 69 = p + 4*c, -p + 56 = 5*c - r. Is p greater than or equal to 49?
True
Let m = -991.013 - -989. Let k = -0.0278 - -0.0148. Let r = m - k. Which is smaller: -9 or r?
-9
Let f(i) = -77*i - 1141. Let o(n) = -13*n - 190. Let y(z) = -6*f(z) + 35*o(z). Let q be y(-28). Is 4/399 < q?
False
Let s(l) = l**3 - 38*l**2 + 8*l - 3. Let o be s(38). Which is greater: o or 7?
o
Suppose -5*i - 22 = -4*z, 4*z + z - 7 = -4*i. Suppose -9*r + z*r + 6 = 0. Which is smaller: -5 or r?
-5
Let p = 100 - 177. Let o = -295 + 218.1. Let g = p - o. Is -30 not equal to g?
True
Let a = -38422/1755 - -590/27. Which is greater: 1 or a?
1
Suppose 3*l - 38 = 4*v, 0 = 2*l + l - v - 23. Suppose -l*x = -4*x - 10, 3*q + 2*x - 127 = 0. Let w = 38 - q. Is -7/4 >= w?
False
Let r = 1584.4 + -1060.4. Is r <= 2?
False
Suppose -4*s - 6 = 3*d + 10, -5*d - 19 = -s. Let r(o) be the first derivative of o**3/3 + o**2 - 3*o + 369. Let v be r(d). Which is smaller: 6 or v?
v
Let o = 132 + -223. Let p = -124 - o. Let k = -24 - p. Is 0.2 < k?
True
Suppose -4*t = -3*d + 20, -20 = d - 5*d + 4*t. Suppose -3*p - p + 16 = d. Suppose o + p*c = -6, 4*o + 5*c + 60 = -o. Are -0.1 and o unequal?
True
Suppose -23*o + 18*o = -180. Let d be 177/(-5) + 6/15. Let a = d + o. Which is smaller: 1/10 or a?
1/10
Let g = -8 - 7. Let a(c) = -17*c - 115. Let x(z) = 3*z + 24. Let m be x(-10). Let n be a(m). Which is greater: n or g?
n
Let z(q) = 4225*q + 454. Let v be z(-1). Which is smaller: v or -3770?
v
Let d(z) = z + 18. Let n be d(26). Suppose 0 = n*o - 45*o + 60. Let h = o + -63. Is h at most -2?
True
Let a be ((-26)/(-299))/(3/(-21)*(-98)/546). Which is smaller: -3 or a?
-3
Let s = -1.121 - -0.921. Which is greater: -4265 or s?
s
Let o(q) = 3*q**2 + 12*q + 4. Let k be o(-4). Let h be (k/4 - -31)*6/20. Is 11 greater than or equal to h?
True
Suppose 0 = -5*m - 24 + 254. Let c = m + -18. Let d(n) = 3*n - 28. Let h be d(19). Is c less than or equal to h?
True
Let m = 167 - 68. Let o = m - 82. Suppose 7*a + o = -10*a. Is a smaller than -2/379?
True
Let i = -2 - -3. Let c be ((-546)/(-208))/((18/(-8))/(-3)). Let s = -51/14 + c. Which is smaller: s or i?
s
Let l(k) = 2*k**3 + 38*k**2 - 40*k + 31. Let u be l(-20). Which is smaller: u or -7?
-7
Let x be (0 - -4 - -9) + -6 - (-12)/168*14. Suppose 2*r - 3*u - 2 = -0*u, 0 = 4*u. Let a be r + -2 + -1 + 5. Is x >= a?
True
Suppose -48 = -0*q - 12*q. Suppose 0 = q*y - 2*z - 21 - 3, -2*y - 4*z = 8. Is y != 5?
True
Let a be ((-18)/(-105))/((-600)/(-2000)). Suppose -q + 1 + 3 = 0. Suppose 0 = -4*f + z + 3, -3*f + 3 = -q*f - z. Is f not equal to a?
True
Let a = -198 - -170.3. Let w = -27.8 - a. Is -8/21 equal to w?
False
Let d be 244902/(-4641) - 3/13. Suppose -4*h + 2 = -18, 3*h = -2*i - 85. Which is smaller: d or i?
d
Let p = 458.22 - 461. Let t = p - -2.7. Which is greater: t or -0.01?
-0.01
Suppose 2*n + 1242 = 4*o, 4*o - 7*n + 11*n - 1224 = 0. Let v = -57782/187 + o. Is v < 1?
True
Let q = 3446 + -15692. Is q greater than 0.1?
False
Let y(q) = 3*q**2 + 10*q + 1. Let u be y(-7). Let j be (3/(-1))/(3 - (-32)/(-12)). Let b be (-12)/u + j/(-312). Which is smaller: b or -1?
-1
Let t = -75171 - -75166. Let w = 10 - 7. Are w and t nonequal?
True
Let w = 24.26019 - 0.26019. Which is smaller: w or -160/9?
-160/9
Let x = -95653/2 + 47787. Let q be 1 + -3 + 19*-2. Are q and x non-equal?
True
Suppose 0 = -2*d - h + 6 + 1, 3*d + h - 11 = 0. Suppose 0 = 4*o - 5*v - 161, -4*v - 173 = -d*o - 3*v. Is o < 43?
False
Let m = -1530 + 1051. Let w = 450 + m. Is w <= 2/9?
True
Suppose -2*w - 42 = -m + 10, 0 = -3*m - 2*w + 124. Let a be -1*(-1 + (-4 - (-204)/m)). Do a and -9 have different values?
True
Suppose -1 + 26 = -5*v, -4*g = -3*v - 19. Is g equal to 44/23?
False
Let u be ((-7204)/4 - -3) + (-30 - -24). Is -1804 <= u?
True
Suppose -1095*t + 1098*t = 3*y, -3*t = 4*y + 7. Is 1/17479 at most as big as y?
False
Suppose 0 = 18*u - 63*u - 45. Which is smaller: 4/757 or u?
u
Let p = -5 - -26. Let l(i) = 129*i - 4492. Let y be l(35). Which is smaller: p or y?
p
Let s be -6*((-22)/6 + 1). Let q(h) = 112*h + 40. Let n(o) = -429*o - 159. Let i(k) = 6*n(k) + 23*q(k). Let p be i(s). Is -2 greater than or equal to p?
True
Suppose 542*a - 1461 + 745 = 910. Let n = -726 + 8031/11. Which is bigger: n or a?
n
Let v = -28969278095 + 20944782210002/723. Let h = v - -8095. Which is bigger: -1 or h?
h
Suppose -5*z + 389 = 369. Suppose -2*q - 128 = z*p, 4*p + q + 70 = -54. Are p and -33 equal?
False
Suppose 30*c = 40*c - 60. Let b be 182/936*c/(-4). Is -1 > b?
False
Let m(y) = 5*y**2 - 14*y + 16. Let l be m(12). Suppose -f = -5*o + 525, -53 = 5*o - 3*f - l. Let h = -54 + o. Is 53 > h?
True
Suppose -65*r + 2519 = 32*r + 17069. Let f = -155 + 4. Which is greater: f or r?
r
Let u(w) = w**3 + 9*w**2 + 10*w + 7. Let l be (3 + 9/(-2))/((-1)/2). Suppose l*g = -2*g, 4*i - 2*g = -24. Let p be u(i). Is p >= 55?
True
Let a(p) = 310*p - 28831. Let b be a(93). Suppose -3*w + 3*k = 471, 2*w - w - 2*k = -161. Let m be (2 - 1) + 152/w. Which is smaller: b or m?
b
Suppose 3*s = -118 - 50. Let d be (-13)/(-78)*s/(-18). Are d and 1 unequal?
True
Suppose 5*u = -2*p - 3, -54*p + 5*u = -55*p - 4. Which is greater: 11/1389 or p?
p
Let u(t) = t**2 + 26*t - 53. Let d be u(-28). Suppose 322 = d*r - 104. Which is smaller: r or 143?
r
Suppose 34*g - 58*