lse
Suppose 4*j - 17 = -2*o - 23, -2*o = -4*j - 18. Let f be (-1 - o) + 3 + (-74)/(-72). Which is smaller: 0.02 or f?
0.02
Suppose 7*l - 10230 = 15*l + 7*l. Which is bigger: -0.6 or l?
-0.6
Let y = 86 - 80.98. Let m = y + 5.38. Which is smaller: 0.1 or m?
0.1
Let u = 2 + -2. Let b = -89/37 - -482/185. Is u equal to b?
False
Suppose 9*h - 1348 = -1339. Do h and 2/54703 have the same value?
False
Let j = -0.10091 + -0.15109. Which is smaller: j or 0.1?
j
Let s = -2558 + 3807. Are -0.3 and s unequal?
True
Let u = 143 - 115. Let w(a) = -a - 2. Let s be w(1). Let o be (-10)/(-14) + s*1/3. Which is bigger: o or u?
u
Let f be ((-12)/15*-5 - 3)*280. Let s = f - 526. Is -245 > s?
True
Let h be -1*(-1)/(-1) + 1. Suppose h = 2*p + 61 + 3. Suppose -250*q - 1840 = -51*q + 4130. Is q >= p?
True
Let w = -10 - -10. Suppose 13*h + 921 + 600 = w. Let t = h + 116. Which is greater: -4/27 or t?
-4/27
Let d = 0.3646 - 1326.3646. Is -1 != d?
True
Suppose -8*w = -4*w - 20. Suppose 2*n + 5*m + 3 = 2, w*n - 4*m + 85 = 0. Let h = 3 - n. Is 17 smaller than h?
False
Let z = -109.91 + 110.01. Are z and 66.4 unequal?
True
Suppose 3 = -3*d + 6. Let g be (-1)/(16/14 + (21 - 22)). Which is bigger: d or g?
d
Let a = -7420 + 7419. Is -7/734 equal to a?
False
Let n = 13003 + -210856649/16216. Is 1 > n?
True
Let t = 242.5 + -12.5. Let i = -232 + t. Is 15 != i?
True
Let m = -1160979/77 - -15078. Is m at least -1?
True
Let q = -6 - -4. Let f(o) = 4*o**2 + 63*o - 12. Let r be f(-16). Suppose -r*n - n - 2*k - 8 = 0, -3*n - 11 = -5*k. Is q greater than n?
False
Let k = -0.139 + 1.959. Let l = k - 1.9. Let a = 0 - -2. Is a at most l?
False
Suppose 108*s + 33*s + 43*s = -s - 2590. Let p(c) = -5 + 3 - 5*c + 2*c. Let v be p(4). Is v greater than or equal to s?
True
Suppose -7*i = -5*h - 3*i - 185, 0 = 5*h + 3*i + 185. Let m = h + 41. Suppose 0 = 3*a - 6, 2*f - m*a + 2 = -8. Is f less than or equal to 4/15?
True
Let b(w) = -4*w - 22. Let i be b(0). Let k be (-11)/(i/28) + -3. Suppose 0 = k*y - 2*y. Is -5 equal to y?
False
Let p be 7/21*(462 - 12). Is p bigger than 151?
False
Let k be 2/11 - (-104)/(-88). Let v be 10/(-50)*(-6 - k). Let u be (-6)/(-6) - ((-3)/(-2) - 2). Which is greater: v or u?
u
Let f = 231 + -65. Let q = f + -177. Is q greater than -2?
False
Let o be (-1)/(-8) + (72/1904)/(48/(-116)). Which is greater: -8 or o?
o
Let c(o) = -828*o**2 - 71*o - 133. Let z be c(-2). Is z != -3302?
True
Let u be (-74)/592 - (-174)/(-16). Which is bigger: 51 or u?
51
Let b be 15/((1/(-6))/(10/18)). Let l = b - -65. Suppose 3*c - 5*a = 55, -3*c - a = -48 + 5. Is c at least as big as l?
True
Let s = -1 - 7. Let w = 0 - s. Let f = -26 - -25. Is f at most as big as w?
True
Let s be 4950/240 + -21 - (-355)/8. Let w(c) = c + 18. Let g be w(-20). Which is smaller: s or g?
g
Let c be 50/(-800) + (-769)/(-13328). Which is smaller: -1 or c?
-1
Suppose 0 = -3*z + 5*c + 8, -7*z - 5*c - 40 = -2*z. Let o be z + 6 + (1 - (-2)/(-2)). Let n = o - 2. Is -7/6 at least n?
False
Suppose -4*g = 2*s + 112, 267*s - 271*s = -4*g + 320. Suppose 5*v + 218 + 137 = 0. Is v less than or equal to s?
False
Suppose 3*q = -2*q - 95. Let t = -1137 + 1132. Is t greater than or equal to q?
True
Let r = -1711 + 1603. Is r < -9?
True
Let m(p) be the second derivative of p**4/12 - p**3/2 + p**2/2 + 14*p. Let j be m(3). Let y = 1/1234 - 9889/20978. Do y and j have different values?
True
Let a = 1168/1081 - 14/47. Which is smaller: a or 2?
a
Let w(s) = 13*s**3 + 14*s**2 + 11*s - 2. Let r be w(-1). Which is smaller: -273/22 or r?
-273/22
Let c = 302 + -306. Let s be 264/c + 4 + (0 - -5). Is s at most -60?
False
Let j = -0.01 + 0.12. Let k = -4.85 - 318.15. Let g = k - -325. Which is greater: g or j?
g
Let b be (14/4 - -1)/(84/11648). Suppose -30*o - b = 2526. Which is smaller: -107 or o?
-107
Let h = 13.47 - 16.192. Let m = h + -0.274. Let c = m + -0.004. Which is greater: c or 4/9?
4/9
Let z = -9700380/72779 - 3/10397. Let t = 15756/119 + z. Which is smaller: t or -2?
-2
Let k(j) = -242*j**3 - 3*j - 29. Let b be k(-4). Which is smaller: b or 15470?
15470
Let o = 45 - 30. Suppose 3*d - 40 = 131. Suppose -4*t = -3 - d. Is o <= t?
True
Let h = 131 + 0. Let r = -127 + h. Let s = -10 - -5. Which is smaller: s or r?
s
Let p = -76 - -126. Let q = p + -50.08. Let c = q + 1.08. Is c at least 13?
False
Let y = 11 + -8. Let u be -7 + (-228)/(-36) - (-4 - 46/6). Which is smaller: u or y?
y
Let k be ((-44)/10)/((378/665)/27). Which is greater: -1048/5 or k?
k
Let u = 3160 + -3159.99002. Is u not equal to -1?
True
Suppose 0*b - 8 = -b - 3*l, 2*l - 14 = -5*b. Let i(c) = c - c**2 + 3*c**3 - b*c**3 + 0*c**2 + c + 2. Let s be i(-2). Is -11 at least as big as s?
True
Let p = 1448 + -130. Let z be 10/(-18)*3 + p/24. Is 54 smaller than z?
False
Suppose -70*g = -712 - 2368. Let w(m) = -m**3 - 7*m**2 + 14*m + 11. Let v be w(-9). Which is greater: g or v?
v
Let q be ((-6)/(-10))/(4/(-220)). Let a be 5 - (4 - 5)/(q/189). Which is smaller: a or 0?
a
Suppose -4*b + 2 = 2*x + 4, 3*x = 3*b - 12. Let z = 30983 - 836542/27. Which is greater: z or x?
z
Let p = -87 - -97. Let w = p - 9. Let t be (-69)/(-30) - (-6)/(-4). Is t bigger than w?
False
Suppose -73 = -3*k - 5*v, -k + 2*v - 4*v + 25 = 0. Suppose -3 = a - k. Suppose -g - 3 = 0, -3*g + g = 4*s - 62. Is a greater than s?
True
Suppose -4*z + 36 = -4*a, -6*z + 4*z - a + 18 = 0. Suppose z*y = 5*y + 52. Is y > 16?
False
Let o be -2*3/(-78)*(-5 + 18). Suppose 2*h + 9 = 3. Let j be -4*h*1/(-33). Is o != j?
True
Let o = -17318 + 17253. Which is smaller: o or 19?
o
Let p = 40 + -902. Let g = 9371053/10 + -937966. Let x = p - g. Which is bigger: 0 or x?
0
Let k be 1/(-2)*(15 + -1). Suppose -4*q + 52 = t - 4*t, -20 = -5*q. Let j be (59/30 - t/(-24))*-5. Is k > j?
True
Let k be (1/2)/((-2)/(-1120)*5). Suppose 0 = 2*r + m - 124, 3*r + m = 4*r - k. Let f = r - 542/9. Which is greater: f or 0?
0
Let z = 14625 + -14648. Let k(f) = -6*f - 4. Let x(o) = -o**2 + 5*o + 3. Let l be x(5). Let h be k(l). Which is smaller: h or z?
z
Suppose -f = -r + 3410, 4*f = 4*r + f - 13640. Suppose 16*z - 6*z = r. Suppose -6*c - z + 917 = 0. Which is smaller: 97 or c?
c
Let m be 5*(8/(-80))/(9/(-162)) - -102. Let h = 252 - 140. Which is greater: m or h?
h
Let p be 128/5 - 4/(-10). Let f be (-108)/p - 22/(-143). Let j = 120 + -124. Is j at least as big as f?
True
Suppose 13*m - 357 = 241. Let h be (-11)/11 - m/1. Suppose 12 = 3*p + 150. Are p and h equal?
False
Let n be ((-1)/(-90)*6)/((-52)/(-39)). Let u = 13/7 + -45/28. Let l = n - u. Which is smaller: l or 0.01?
l
Let r = 2217.9 + -14141.9. Is r greater than or equal to -2/7?
False
Let f = 48.95 - 51.35. Does f = -35?
False
Let q = -374 - -542. Suppose -207 = 6*a - a + n, -4*a - q = 2*n. Which is greater: -285/7 or a?
-285/7
Suppose 4*u + 3896 = -4*a, 5*a + 16*u - 18*u = -4884. Which is bigger: a or -985?
a
Suppose 2*z - 12 = 5*z, 2*z + 563 = -5*y. Let q = y - -334/3. Which is bigger: 22 or q?
22
Suppose 234377 = -28*f + 149*f. Which is smaller: 1940 or f?
f
Let x = 32619 + -32619.2. Let b = 3.986 - 0.146. Let w = b - 4. Which is greater: w or x?
w
Let a = 139/4 - 691/20. Let m = 265 + -271. Which is bigger: m or a?
a
Let h = 109.085 + -109. Let s = h - -0.015. Which is bigger: -9/10 or s?
s
Suppose -9*v - 4*h + 68 = -11*v, 16 = -v - 4*h. Let f = 148 + v. Which is smaller: f or 1/4?
1/4
Let h = 1.494 - -293.506. Which is smaller: -0.1 or h?
-0.1
Let s be (8/(-10))/(854/(-45)). Let w = -3979/23485 + s. Which is greater: w or 1?
1
Let g be (-3)/((-1)/(4/(-68))). Let d = 56.15 + -56. Let r = d + -0.25. Does g = r?
False
Let y = 3588 - 3587. Is 0.015 greater than y?
False
Suppose -14*q = 59 - 3. Suppose k - 2*g + 20 = 2*g, 5*k - 4*g = -36. Let s = k - q. Is s smaller than 0.08?
True
Let x be -1681*((-264)/42 - -6). Let a = 480 - x. Let o = -1.78 + 1.25. Which is bigger: o or a?
a
Let q be (2/40)/((-20)/(-370)*8/(-40)). Is 2/31 >= q?
True
Let i be (-2)/9 - (-401)/1791. Suppose -25*a + 187 = -129*a - 83*a. Is i < a?
False
Let i(q) = 819*q**3 - q**2 - 2*q. Let h be i(1). Which is smaller: h or 815?
815
Suppose 2*f - 3*z = -118 - 478, z - 1182 = 4*f. Let y = 311 + f. Is y less than 12?
False
Let z be (-37518)/(-1521) - (-20)/6. Which is bigger: z or 22?
z
Suppose 5*t - n = 6*t - 3, 6 = 2*n. Suppo