lse
Suppose 0 = -4*m + m. Let d(u) = 3*u - 27. Let s be d(m). Is s less than -27?
False
Suppose k = -5 + 62. Let o = -58 + k. Are -4/9 and o unequal?
True
Let x be 50/70 - (-26592)/21. Is 1266 != x?
True
Let o be (-4 - 78/(-18))/((-1)/27). Is -43/5 smaller than o?
False
Let w be (-217)/31 + 2897/415. Is -1 bigger than w?
False
Let d(s) = s - 28. Let c be d(30). Suppose -3*p - c*g = 13, 5*p + 5 = -g + 6*g. Suppose 2 = -z - 0*z. Which is bigger: z or p?
z
Let k = 24 + -24. Suppose -2*y - 5*z + 12 = k, -z + 3 = -y + 2*y. Let v be 0 - (-4 - -1)/(-3). Are y and v non-equal?
True
Let k be (-2 - 304/(-160))*-2*7. Which is smaller: -25 or k?
-25
Let d = 4.2 + -3.2. Let s = 0.4 + 0.8. Let y = -1.4 + s. Is d at most as big as y?
False
Let p(r) = -2*r**2 - 18*r - 23. Let z be p(-7). Suppose b = b + z*b. Is -1/62 != b?
True
Let c(n) = n**3 - 21*n**2 + 55*n - 32. Let z be c(18). Which is smaller: -57/4 or z?
-57/4
Let r(h) = -21*h**2 - 2 + 8*h**2 + 12*h**2 - 17*h. Let o be r(-15). Is 29 greater than or equal to o?
True
Let h = -8 - 29. Let w = h - -41. Suppose -2 = -q - 3*x - 6, -3*x - 44 = -w*q. Is q > 9?
False
Let i be 304/(-14) + 22 - (-1395)/(-7). Are i and -200 equal?
False
Let l = 14 - 13.82. Let c = l - -1.42. Let w = c - 2.6. Is w at most as big as -1?
True
Let w be (-370)/95 + 4 - 27408/258932. Which is bigger: 0 or w?
0
Let z = 9 + -6. Suppose -m = 2*m + 2*d - 7, 5 = -m + z*d. Let s = 3 - 2. Is m at most as big as s?
True
Let c be 5/(-10)*2/1. Let g be 2/(-1) + 1/c. Suppose -25*x - x + 2*x = 0. Are g and x nonequal?
True
Let k = -144 - -143. Let g = -598 + 11358/19. Is g at most as big as k?
False
Let x(g) = g**3 - g**2 + g - 15. Let a be x(0). Let u = -583 - -582. Which is bigger: u or a?
u
Let s = 298 + -271.8. Let t = -26 + s. Are t and 0 equal?
False
Let y be 42/(-28)*(-16)/6. Suppose 0 = -p - y, -5*s + 24 + 3 = -3*p. Suppose -s*w - 6*b + 10 = -2*b, 3*b = -3*w + 6. Is w less than or equal to -2?
True
Let s = -96 + 106. Suppose -3*l = -12, 0 = -5*p + 5*l - 5 - s. Let y = 7.06 + -7. Which is smaller: p or y?
y
Let m = 748 + -723.1. Are m and 2/3 equal?
False
Suppose -3*v + 177 = -18. Let i = -85 + v. Does i = -19?
False
Let v be (-3*2/(-4))/(21/(-42)). Is v at most -36/11?
False
Let c = 22.978 + 0.022. Let x = c - 20.9. Let k = x - 6.1. Is k < 0.1?
True
Let l = 53348/55 - 970. Is 0 equal to l?
False
Let m(d) = -3*d + 16. Let i(o) = -o + 5. Let g(x) = -8*i(x) + 3*m(x). Let b(t) = -t + 7. Let a(c) = 4*b(c) - 3*g(c). Let n be a(7). Does n = -2?
False
Suppose 3*u - u = 0. Let l be 91/((-91)/7) + 2241/321. Are u and l equal?
False
Suppose -8*w = -13*w + 175. Suppose -w = 3*j - 194. Is j < 53?
False
Let z be 2/((-4)/(-1))*56. Let w be (-7)/(z/3)*-4. Suppose -w*j = -4*s - 6*j - 5, 3*j = -2*s - 1. Is -3/2 less than or equal to s?
False
Let b = -0.52 + 0.42. Let c = -1/4 + -1/4. Which is smaller: b or c?
c
Let t = -22 + 14. Let r = t + 13/2. Which is smaller: r or -1/2?
r
Let u = -2.908 + 0.908. Is u at most as big as 82?
True
Let h = 3.1 - 2.58. Let p = h - 1.12. Which is smaller: -5 or p?
-5
Let c = -8291463/6212 - -5339/4. Is 0 < c?
True
Let g be 14/21*1 - (-46)/(-6). Let z = g + 6. Which is smaller: 6/47 or z?
z
Let w = 324 - 324. Which is greater: w or 21?
21
Let s(h) = -h**3 + 10*h**2 - 5*h - 20. Let k be s(10). Let t be k/(-4)*3/(-360). Let q = -3/16 + t. Is 17 equal to q?
False
Suppose 2*b = -3*r - 74, 4*b - 92 = 4*r + 5*b. Let l = 45 + r. Let i = l - 27. Is i greater than -4?
False
Let l be 32/288 - 2/18. Is l at least as big as 49?
False
Let j be 72/5 + 8/(-20)*1. Suppose -j - 32 = 2*u. Which is smaller: u or -21?
u
Let l = 268 + -284. Let n be ((-3)/(-2))/(3/(-4)). Is l < n?
True
Let l = 1.71 + -1.8. Let i = 201.09 + -202. Let p = i + l. Is p < 2?
True
Suppose 8*u - 3*u + 2760 = 0. Let p be (-18)/54 + 1 + 365/u. Is -1 at most as big as p?
True
Let q be (-14 - -4)*144/110. Let j be (-7226)/594*1 + -1. Let v = j - q. Is 1 at least v?
True
Suppose -4*i = 47 - 31. Let q be (-8)/((-104)/(-300)*-3) + i. Which is smaller: q or 5?
q
Let r = 3 + 0. Let w = -3.1 + r. Let k = 4779 + -52567/11. Is k less than w?
False
Let c = -27 - -13. Suppose 0 = -5*d + 4*d + 2*d. Suppose d = -5*b - 24 - 41. Which is greater: b or c?
b
Let h = 27 - 62. Let t = h - -34.3. Is t greater than or equal to 2?
False
Let m = -134 + 133.8. Which is smaller: -0.459 or m?
-0.459
Let s = -52 - -54. Let w = -0.053 + 0.163. Is w less than s?
True
Let b = 0.929 - 0.039. Let n = 0.11 + b. Is n bigger than -0.1?
True
Let s = 20 + -17. Suppose -v + s - 18 = -5*o, -2*v - 3*o + 9 = 0. Suppose v*d + 3*d = 3*y - 12, 0 = 2*d + 2*y - 12. Is d equal to 1/46?
False
Let f be 4/(-14) + 152/42. Suppose -2*b = -0*b + 2*t + 16, -3*b + 4*t = -11. Let j = 1 - b. Is j at least f?
True
Suppose 7*p - 2*p = -15, 0 = -q - 5*p - 23. Is q smaller than 2?
True
Let g = 170.09 - 171. Let m = -0.111 - 0.079. Let s = m + g. Which is greater: -1 or s?
-1
Let p = -0.52 + 49.12. Let i = -48 + p. Which is greater: i or -0.9?
i
Let i(n) = 8*n**2 + 4*n + 3. Let d be i(-1). Suppose 5*a = -d - 8. Which is smaller: -8/3 or a?
a
Let v be 16497/(-34671) - 6/(-14). Is 0 >= v?
True
Let x(m) = 36*m**2 + 5*m + 5. Let q be x(-3). Let n be (q/(-79) - 0) + (-8 - -12). Let d be (-1)/5 + (-12)/(-10). Is d bigger than n?
True
Let d = -1136020037/7830621 + -2/290023. Let l = d - -145. Which is greater: -1 or l?
l
Let i = -163 + 129. Which is greater: i or -98/3?
-98/3
Suppose 0 = 89*j + 58*j - 15876. Is 104 at least j?
False
Let y = 24 + -7. Let a = -19 + y. Is a <= -1/9?
True
Suppose 4*d + 15 = 7*d. Suppose 4 - 1 = -r - 5*c, -d = c. Which is greater: r or 21?
r
Let k be (0 - -2)*((-216)/42 - -5). Is k greater than 32?
False
Let m be -10*(56/(-40) - (-2 + 1)). Let u be m/(-155)*5/2. Is -1/4 < u?
True
Suppose 0 = 4*w - 4*r - 60, 2*w + w - 44 = 4*r. Let o be -1*4/(w/(-4))*1. Which is smaller: 8/5 or o?
o
Let z(a) = -a**2 - a. Let d be z(-1). Let n be (-1)/(-3) + 1275/(-315) - -4. Which is greater: n or d?
n
Let p = -67/61 - 4673/244. Which is greater: p or -21?
p
Let m be ((-6)/(-42)*7)/(-1). Let o = 4 + -2. Let i be (3/(-30))/(o/4). Do m and i have the same value?
False
Let v = -272 - -187. Do v and -85 have the same value?
True
Let h be 1/(-5)*(-2405)/(-78). Let f = h - -17/3. Is -0.2 <= f?
False
Let s = 8 - -2. Let c(o) = -o + 2. Let n be c(s). Let u(g) = g**3 + 8*g**2 - 2*g - 19. Let x be u(n). Is -1 >= x?
True
Let f = 0.021 - -0.339. Let x = f + -1.28. Is x >= -1?
True
Let q = 87.9 - 29.9. Let o = 23/78 - -1/26. Which is greater: q or o?
q
Let w = -5.393 - -0.093. Let s = 4.3 + w. Which is smaller: -3/8 or s?
s
Let y be 42/(-4) - 24/(-8). Is -7 less than or equal to y?
False
Let u(c) = -c**2 + 36*c + 31. Let h be u(36). Let l = -21 + 52. Are l and h unequal?
False
Let f = -0.61 - -0.6. Let z = -0.01 - f. Let p = -2.1 - -1.1. Is p bigger than z?
False
Suppose 3*o = -3*o - 432. Let a be 62/36 + 3 + o/16. Is a != 1.4?
True
Let d = -5 + 9. Let u = 12 - 63. Let l = u + 50. Which is smaller: l or d?
l
Suppose -74 = -5*d + 111. Let t = d + -39. Is -1 < t?
False
Let s(b) = -1 + 13 - b**2 - 83*b + 69*b. Let o be s(-15). Does 2 = o?
False
Suppose 2 = -n + 3*z - 5, 2*z = -2*n + 10. Let j be (12/16 - 5)*n*-4. Do 34 and j have different values?
False
Let y = 1 - -2. Let a be (1 - 0)/(9/18) + -4. Let k be 40/(-51) - a/y. Which is greater: k or 0?
0
Let a be 1273 - 14*(-22)/(-77). Is 1268 != a?
True
Let g be (3/(-3) - 2) + -5. Let h = -16977/14 + 7162/7. Let w = h + 183. Which is greater: w or g?
w
Let m = -4.726 - 0.124. Let j = 4 - 3.85. Let o = j - m. Which is greater: 1/2 or o?
o
Suppose 18*t + 131 = 437. Are 11 and t unequal?
True
Let q = 2 - 2. Let f = -1712/19 - -90. Do q and f have the same value?
False
Let f be 25614/(-8541) + 4 - (1 + 0). Is f >= 1?
False
Let h = -4740/13 - -365. Suppose 0 = -0*b + 4*b - 8, -5*b + 8 = -2*w. Is w < h?
False
Let b(l) = l**2 + 3*l + 4. Let f be b(-2). Suppose -4*m + f = 10. Which is greater: 1 or m?
1
Let g(a) be the first derivative of -8*a**3 - a**2/2 + 5*a - 37. Let z be g(2). Which is bigger: z or -92?
-92
Let s(b) = 64*b - 370. Let z be s(6). Which is smaller: z or 6?
6
Let a be (-3)/29*5/(-135). Which is smaller: 0 or a?
0
Let l(t) = -t**2 + 4*t - 2. Let f be l(2). Suppose -2 = -m + f*r - r, -8 