lse
Let q(h) = -3*h**3 + 3*h**2 + 2*h - 1. Let a be q(-1). Let r be -2 + (-2 - -4) - -3. Suppose r*g = -5*b + 10 + a, -2*g = 2*b - 2. Is g bigger than -5?
True
Let n = 502 + -523. Which is bigger: -0.1 or n?
-0.1
Let f = -25 - -24. Let j be 4/(-26) + 3940/(-1430). Let a = -290/77 - j. Which is greater: a or f?
a
Let k = -15 + -18. Let o = -9902 - -9868. Which is greater: k or o?
k
Suppose 5*c - 23 = -m, -36 = -0*m - 3*m - 4*c. Suppose -11*h - m = -9*h. Let z(j) = j**2 + 4*j + 3. Let r be z(h). Is 3 bigger than r?
False
Suppose 26*f - 44 = -18. Is f less than -1/685?
False
Let u(g) = g**2 - 4*g. Suppose 8*h + 140 = 3*h. Let k be (h/(-12) - 2)*9. Let i be u(k). Which is smaller: -2/7 or i?
i
Let l = 259 - 228. Which is greater: 30 or l?
l
Let d = -42 - -335/8. Let c = -11.9 - -1.9. Let m = -10.1 - c. Is d at most as big as m?
True
Suppose 5*v + 4*j = v - 28, 4*j = 4*v + 36. Let f = -7 - v. Which is smaller: f or -1/46?
-1/46
Let u(x) = x + 9. Let v be u(-3). Suppose -2*h - v = -4*k, -1 - 8 = -h - k. Which is greater: h or 9/2?
h
Suppose -2 = 2*l - 5*y, -4*y - 5 = -53*l + 58*l. Is l >= 652?
False
Let c(y) = -y**3 - 3*y**2 + 3*y - 2. Let s be c(-4). Suppose -4*o = s*i + 3*i + 37, -3*i + 35 = -2*o. Suppose f + 15 = 3. Which is smaller: f or o?
o
Let c = 430.1 - 428.1. Let r = -97 + 56. Is r at least as big as c?
False
Let g be (-8)/(-96)*18 + 1/(-2). Which is bigger: g or 1/2035?
g
Let y = 927 + -1076. Are y and -146 non-equal?
True
Let s be 1/(-38)*((-90)/(-75))/3. Let r = -29 + 28. Does s = r?
False
Suppose n - 4*r = 76, 2*n = 4*r + 163 - 27. Do 58 and n have the same value?
False
Let y be 7524/1938 + (1 - 5/1). Which is smaller: 4 or y?
y
Let r = 36.22 + -36.5. Which is smaller: 1 or r?
r
Let z = 81.3 - 168.2. Let s = -87 - z. Which is bigger: s or 10?
10
Let b be (-14872)/195 - (-2)/3. Let z = -77 - b. Suppose -4*k = -k - 3*d, 5*d = k. Which is greater: k or z?
k
Let c = 716 + -715. Which is bigger: c or -1/104?
c
Let y(w) = -w**3 - 8*w**2 - 3. Let q be y(-8). Let z be 772/q*165/(-120). Let m = 353 - z. Is m smaller than 0.1?
True
Suppose 63*u + 52*u = 48*u + 2144. Suppose -c - 7*b + 33 = -3*b, -2*c + 3*b + 66 = 0. Which is bigger: c or u?
c
Let l be ((-104)/(-146900))/(1/(-10)*-2). Is 0 > l?
False
Let j(p) = -53*p. Let u be j(0). Which is smaller: u or -1/42?
-1/42
Let m be -1*(-1 - -3) - -156. Let u be (-1 + -67)*165/m. Let q = u - -73. Are q and -1 unequal?
True
Let c be 3*6/9*-62. Let b = -123 - c. Let l be ((-88)/(-46) + -2)/2. Which is greater: l or b?
b
Let z = -85.8 + -111.2. Is -0.1 less than z?
False
Suppose -f - 5*x + 1 = -3, 5*f - 5*x + 10 = 0. Let r be 14 + (f - (3 - 0)/3). Which is greater: 14 or r?
14
Let z be (-6)/(-15) + 12/20. Let u = z + 0. Let i = -17/24 - -569/600. Which is smaller: u or i?
i
Suppose -o + 12 = -2*u - 5*o, -3*u - 3*o - 6 = 0. Suppose 3 = 4*h + 4*p - 1, -u = -2*h + p. Is 1/28 < h?
True
Let r = -58.6 - -73.8. Which is smaller: -1 or r?
-1
Let r(j) be the third derivative of j**4/24 - 11*j**3/6 - 10*j**2. Let f be r(11). Which is greater: f or 1/28?
1/28
Let l be -4*1*180/(-40). Which is bigger: l or -2?
l
Let g be (-77)/(-15) - (-56)/(-420). Let i be (10/(-3) + g)/((-2)/21). Is i >= -19?
True
Suppose 2*l = 3 - 1. Is l less than 3/617?
False
Let z = 2.48 + 1.52. Which is smaller: -1/4 or z?
-1/4
Let b = -497955/3122 + -2/1561. Is 1/2 at least b?
True
Let u = -2/1363 - -77695/2726. Suppose 0 = -11*l + 248 + 60. Let f = l - u. Is 1/4 greater than or equal to f?
True
Suppose n - 18 = 2*j + 11, j - 4*n + 32 = 0. Which is greater: -1 or j?
-1
Let p = -207/749 + -1/107. Let t(k) = k**3 - 13*k**2 - 13*k - 11. Let q be t(14). Suppose 0 = q*i + 16 - 13. Which is smaller: i or p?
i
Suppose -5*o + 3*o = -36. Are 20 and o unequal?
True
Let m = -6.2 - -0.2. Let u = -27.4 + 29. Let a = u + -0.6. Which is smaller: a or m?
m
Let c(y) = -8*y - 27. Let u be c(-6). Let o = -22 + u. Which is bigger: 20 or o?
20
Let a = -380.9 - -343. Let w = a - -37. Which is smaller: w or 2?
w
Let z(o) = 16*o**2 - 2*o + 1. Let w = 24 + -23. Let s be z(w). Let f = s + -12. Which is smaller: 6 or f?
f
Let u be 1040/24 - (-3 - -3). Let w = u - 44. Which is bigger: -17 or w?
w
Let k be -3*1*(-16)/24. Let o(p) = p - 10. Let s be o(10). Suppose k*w + 0 + 12 = s. Is w equal to -5?
False
Let a = -0.0705 - -0.1705. Which is bigger: -0.71 or a?
a
Let j = 0.0888 + -0.0088. Is j less than 5/4?
True
Let t(r) = -r**3 + r**2 + 5. Let j be t(0). Suppose w + 128 = 3*n, -92 - 122 = -j*n + 2*w. Which is smaller: n or 43?
n
Let m = 24 - 41. Let x = -99.45 + 82.4. Let w = m - x. Is w less than -2?
False
Let t = 665 - 13975/21. Let z = 25766/12747 + 3/1214. Let q = z - t. Is 3 greater than q?
True
Let z(r) = -r**3 + 6*r**2 + 36*r - 39. Let k be z(11). Is k not equal to -249?
True
Let t = -723 + 722. Let h = -3 + 4. Which is bigger: h or t?
h
Let l be 6/(-27)*(-3)/4. Let t be (0 + 3)/(33/44). Suppose -y = t*y + 5. Is l less than y?
False
Let l(x) = 2*x - 3. Let b be l(1). Let j be (-48)/(-320) + b/4. Let d(n) = n**3 - 4*n**2 - 4*n - 6. Let w be d(5). Is w smaller than j?
True
Let i be ((-3)/4)/(10/(-40)). Let o(a) = a + 10. Let n be o(-7). Is n at most as big as i?
True
Let q be (616/19)/8 - 4/1. Is 0 less than q?
True
Let s = -713/18264 + -2/761. Suppose -c - 4*c + 15 = 0. Suppose -c*q = 2*h + 11, 2*h - 5 = 3*q + 2. Which is smaller: h or s?
h
Let b = -0.544 + 11.824. Let q = -0.28 + b. Let g = -12 + q. Do g and -9 have the same value?
False
Suppose 180*z - 8 = 176*z. Let a = 2 + -1. Which is greater: z or a?
z
Let b(h) = 6*h**3 - 5*h**2 - 8*h + 8. Let q be b(1). Let v = 326/9 + -36. Which is smaller: q or v?
v
Let w = -17.9 + 2.9. Let d = w + 15.1. Is -19 greater than or equal to d?
False
Let s = 3 - 1. Let k be (90/(-108))/(2/(-12)). Suppose 4*y = 3*c - s*c + 1, 2 = -2*c - k*y. Which is greater: c or -9/4?
c
Let y = 1714/5 + -550184/1605. Which is smaller: 0 or y?
0
Let d be (-634)/(-824) + (-90)/120. Suppose -4*k = 3*k - 7. Which is smaller: d or k?
d
Let y be (-2691)/(-161) - 17 - (0 - (-1)/(-28)). Let b = 6.3 + 0.7. Let u = -7.3 + b. Is u at most as big as y?
True
Let y(c) = c**2 - 5*c - 3. Let i be y(7). Let v = -2 + i. Let u = -4 + 12. Is u smaller than v?
True
Let c = -22 - -22. Is c at most -1/96?
False
Suppose 0 = 4*g + 16 - 4. Let c be -2 - (-4)/(-8)*4. Let f be c/10*(21 - 11). Which is smaller: g or f?
f
Suppose -r + 4 + 0 = 0. Suppose 0 = 5*j + t - 47, 3*j + r*t - 59 = -24. Let c = 10 - j. Which is smaller: c or -1/9?
-1/9
Let q = 114.1 + 0.9. Let w = 70 - q. Which is smaller: w or -0.1?
w
Suppose 2 = 4*l - 5*l - 2*i, -4*i - 4 = 3*l. Suppose 3*s - m + 3*m = 1322, 0 = -s + 5*m + 452. Let a = 3089/7 - s. Which is bigger: a or l?
l
Suppose -174*j - 782 = -151*j. Let y = -72 + 38. Is y bigger than j?
False
Let q = -29 + 20. Let w = q - -1. Which is bigger: w or -7?
-7
Let r be ((-1575)/28)/(-5) - 1/4. Suppose -2*j + 6*b - r = 3*b, 17 = -5*j + 4*b. Which is smaller: 7 or j?
j
Suppose 8*r + 1134 = -6*r. Suppose 3*n = -2*n - 290. Let p = n - r. Which is smaller: 24 or p?
p
Let a be (-215)/(-6) - (-11 + 2)/54. Are 36 and a non-equal?
False
Let c be -4 - (-3 - (-2 - -2)). Let y be c + 58*(-5 + 3). Let q = -935/8 - y. Which is smaller: q or 0?
0
Let t = 4 + -18. Let q be -3*57/315 - 2/t. Let i = -0.1 + -0.3. Is i at least as big as q?
True
Let q be (3/(-18)*-3)/((-2)/676). Which is bigger: q or -168?
-168
Let f = -1578 - -93100/59. Which is smaller: f or 0?
f
Let p(i) = -i**3 - 5*i**2 + 4*i - 6. Suppose -3*g = 2 + 16. Let u be p(g). Let o = -20 + u. Which is bigger: -15 or o?
o
Let y = 12/49 + 1863/196. Let c = 131/12 - y. Which is smaller: c or 0.2?
0.2
Suppose -b = 3*b. Let z be (0/(-5))/(b + 2). Is 0 greater than z?
False
Let f = 0.3 + -0.42. Is f greater than -3/4?
True
Let l be (180/(-6))/6 + (-2 - -6). Let o be 2*(-3)/(-870)*-2. Is l != o?
True
Let m = 29 - 20. Let l = 8 - 11. Let f = m + l. Which is smaller: f or 0?
0
Suppose 0*x = x + 3, 0 = 3*q - 5*x - 15. Let r = 2257/110497 - -2/2351. Is q != r?
True
Let x(h) = h**2 + 4*h + 6. Let q be x(-6). Let t be q/45 - 26/(-10). Suppose -3 = -0*w + t*w. Which is smaller: -6/13 or w?
w
Let i(o) = -o**2 - 7*o - 6. Let l be i(-6). Let c = -452924 - -5882156/13. Let w = c + 450. Which is smaller: w or l?
w
Let p(s