lse
Let m = -2 + 3. Let z(h) = 2*h**2 - 6*h - 10. Let l be z(-2). Let k be ((-4)/l)/(25/(-125)). Which is smaller: m or k?
m
Let y = -27.1 - -0.1. Let x = y + 29. Let l = 11 - 8. Which is smaller: l or x?
x
Let b = -268 - -594. Which is bigger: b or 1/3?
b
Let b = -8394335/2166 - -7751/2. Is 1 at most b?
False
Let a = -351 - -352. Which is smaller: a or -1?
-1
Suppose -4*s + 24 = -2*y + 6, 0 = 2*s - 4*y - 24. Suppose 0 = -i + s*i. Suppose i = 4*d - 6*d - 6. Which is smaller: d or -4?
-4
Let m = -0.171 - 0.229. Which is greater: 20 or m?
20
Suppose 0 = -2*x + 2 + 2, 325 = w + x. Which is smaller: w or 325?
w
Let a = -65466.993 + 65496. Let o = a + -0.007. Let z = -27 + o. Do 5/2 and z have the same value?
False
Let q = 8721210741162/529852475 - -61962/3654155. Let f = -494328/29 + q. Let v = -586 - f. Which is greater: v or 1?
1
Suppose 41*n = 36*n - 30. Are 1 and n equal?
False
Suppose 4*w + 16 + 28 = -4*r, -20 = w - 2*r. Is w < -15?
False
Let x = -3089 - -24641/8. Let g = x + 343/40. Is 0 smaller than g?
False
Suppose 0 = i + 38 - 6. Let j = 57 + -89. Is i at least j?
True
Let s be 8/(-332)*2/10. Let l = s - 2897/1660. Which is smaller: l or -0.1?
l
Let t(x) = -x**3 - 2*x**2 - x - 2. Let c be t(-2). Let d be (-167 - 4)/1 + c. Let h be d/33 - (-2)/11. Which is smaller: h or -6?
-6
Let n = 0.3 + -1.3. Let p = -1.2 - n. Let g = 505 - 500. Is p smaller than g?
True
Let h be (-3)/(258/(-116))*212. Let q(x) = x - 286. Let j be q(0). Let m = h + j. Is m equal to 0?
False
Let f = 97 + -97.51. Let t = -1.19 + f. Are -2 and t equal?
False
Let a be 614/9 - ((-4)/9)/(-2). Which is bigger: 66 or a?
a
Let m be ((-10)/50)/((-16)/15 + 1). Let k be (-28)/(-6) + (-1)/(-3). Is k less than or equal to m?
False
Let a(k) = -k**3 + 15*k**2 + k + 241. Let z be a(16). Which is smaller: 4/7 or z?
4/7
Let x = 94 - -41. Let y be ((-2)/(-6))/(10/x). Let p(c) = -c**3 - 5*c**2 + 4. Let g be p(-5). Is y smaller than g?
False
Let q(b) = -b**2 - 2*b + 3. Let t be q(-3). Let n(a) = 3*a - 16. Let p be n(4). Let k(s) = -2*s - 8. Let u be k(p). Is t > u?
False
Let d = 1/59 + 762/295. Which is smaller: d or 3?
d
Let b = -0.16 - -0.43. Let y = 0.37 - b. Is 57 greater than or equal to y?
True
Let i = -59/5 - -1293/110. Suppose 9*p + 191*p = 200. Is p greater than i?
True
Let z = -54 - -53.4. Let a = 0.8 + z. Which is smaller: a or -1/4?
-1/4
Let n be (1 - (-2)/4)/(2583/(-84)). Let y(d) = 2*d**2 - 1. Let w be y(2). Let q = w + -6. Which is smaller: q or n?
n
Let k = 14/5997 + -8803750/65967. Let w = k + 134. Is 2 smaller than w?
False
Let d = 5768 + -34891/6. Which is smaller: d or -47?
d
Let d = 1 - 1.1. Let f = -0.06 - d. Is 0 less than or equal to f?
True
Let u(m) = -2*m - 15. Let v = 55 + -63. Let o be u(v). Is o at least 1?
True
Let h = -0.0268 + -57.9732. Is -2/5 greater than h?
True
Suppose 14*z + 50 = -790. Let l be z/8*(-4)/10. Suppose -d = d - 6, -3*u = 5*d - 27. Is u <= l?
False
Suppose -2*k + 26 - 4 = 0. Let t = k - 4. Does t = 4?
False
Suppose -634 - 221 = -15*r. Which is smaller: 8 or r?
8
Let p = -11/466 + -58595/5126. Is p <= -12?
False
Let l = 214837563491/72 + -2983909911. Let a = l - -54860. Let x = a + 1/72. Which is greater: x or -4?
x
Let l = -11116 - -89407/8. Let h(a) = -3*a - 18. Let k be h(14). Let w = k + l. Which is smaller: -1 or w?
-1
Suppose 8*v + 2*n = 3*v + 7, 28 = 4*v - 4*n. Let m be v/((-3)/(-2)) + 2. Let p be ((-2)/2 - 2)/m. Which is greater: 1 or p?
1
Let h = -3461 + 211131/61. Which is greater: h or 1?
1
Let k = 0.01 - -4.99. Let m be 9/(-15)*28/21. Which is greater: k or m?
k
Let o = -805 - -842. Is 36 greater than o?
False
Let f = 9 - 6. Let m = 0.061 - 52.061. Let d = m - -50. Is d greater than f?
False
Let v = 440 - 1300/3. Which is greater: 8 or v?
8
Suppose -425 - 337 = 6*c. Which is smaller: c or 8?
c
Let i(t) = -3*t + 19. Let a be i(11). Let y = 28 + a. Is 14 > y?
False
Let b = -7.4 + 9. Let c = 1.7 - b. Let g = -50 - -251/5. Is c bigger than g?
False
Let x = 7 - 8. Which is bigger: -324 or x?
x
Suppose 28*o = -2354 - 250. Which is smaller: -94 or o?
-94
Let s be (-35)/(-10) + (-1)/(-2). Let j(x) = -x**2 + 5*x - 1. Let i be j(s). Suppose -i*b + 15 = -6. Is b bigger than 6?
True
Let w = 33/2 + -18. Let o = w + 2. Is o bigger than -2?
True
Let s be (-1 - 0) + 140/180. Which is smaller: 0.109 or s?
s
Let d = 64 + -56.9. Let v = -8.1 + d. Is v less than -59?
False
Let k(f) = -f**2 + 4*f. Let o be k(3). Let w(c) = -4*c**2 + c + 6. Let p be w(o). Let x be -1 + (-111)/p + -3. Are 1/4 and x equal?
False
Let o = -318 + 145. Which is smaller: -0.5 or o?
o
Let n = 2459/70 + -248/7. Suppose 2*u - 4*u = -8. Suppose 5 = u*k - 3*k - 4*t, 2*k - 4*t - 6 = 0. Is n greater than or equal to k?
False
Let k be ((-44)/(-60))/(2/(-6)). Let b = -166 + 163. Does k = b?
False
Let b = -1956 - -1955. Is b less than or equal to 5/61?
True
Let u(f) = -15*f - 815. Let c be u(-47). Let b(w) = 2*w**3 - 4*w + 2. Let a be b(-4). Are a and c equal?
True
Let x = -11 + 10.1. Let q = x - -9.9. Let c = q - 8.9. Which is smaller: c or 1/4?
c
Let z(f) = 7 - 5 - 3 + f. Let t be z(5). Let i be t/60*(-3)/2. Is 1 <= i?
False
Let y = 630.97 - 631. Let z = -0.07 + 0.14. Let p = y - z. Which is smaller: 14 or p?
p
Let d be (5 - (-256)/60)/(-1). Let s = d + 273/5. Which is smaller: s or 44?
44
Let d = 5 - -13. Suppose -4*w - 7 = -5*m, -w + 6*w + d = -3*m. Let t = -1487/9 - -165. Which is smaller: m or t?
m
Suppose -2*z + 4 = 12. Let m be (-10)/(-8) - (-1)/z. Suppose -2*t = m + 1. Which is bigger: t or 2/25?
2/25
Let z = -742 + 791. Is z <= 0?
False
Suppose 132 - 684 = -8*f. Which is smaller: f or 68?
68
Suppose 6*q - 2*q = -12, -3*i - 6 = 5*q. Let v be (1/i)/(22/(-462)). Which is smaller: v or -1?
v
Let z(p) = -p + 10. Let l = 2 - -3. Suppose 0 = l*r - 61 + 16. Let t be z(r). Does t = 3/7?
False
Let b = -14865 + 96267. Let l be (-6)/33 + b/(-594). Let y = l - -137. Which is smaller: y or -0.3?
-0.3
Suppose 208 = -96*g - 176. Which is greater: g or 27?
27
Let o = -108 - -109. Let c = -4.9 - 0.1. Which is bigger: c or o?
o
Let l be (4/(-8))/(21/6). Let a = -1.21 + 0.21. Is a smaller than l?
True
Let w be (-1)/(-5) - 66/(-90)*-3. Which is smaller: -3 or w?
-3
Let s be (5/(-20))/(11/(-4) + 3). Are s and -11/21 equal?
False
Let o = 1.02 - 1.02. Which is smaller: o or 337/2?
o
Let q = -13183/7595 + 86/49. Are 1 and q nonequal?
True
Let l(o) = o**3 - 34*o**2 - 5*o + 171. Let k be l(34). Let b be ((-2)/1*1)/103. Is k != b?
True
Let m be (-8)/(-10)*10/4. Let l be 4/((-4)/(-6) + (-24)/(-18)). Suppose -m*v = -0*v + l. Which is smaller: v or -2/31?
v
Let n = 37 + -15. Let f be (4 + 5 + -6)*4/n. Is 0 <= f?
True
Let c = -631/4 + 159. Let t = 1 - c. Which is smaller: 2/21 or t?
t
Let x(g) = -2*g**3 + 9*g**2 + 17*g - 32. Let j be x(5). Which is smaller: j or 17?
17
Let p = -678 - -644. Which is bigger: 1 or p?
1
Let s = -136 + 140.1. Which is bigger: 1 or s?
s
Let z = 6.36 - 6.41. Suppose -5*q - 10 = 2*h, -4*h - 10 = 2*q - 2*h. Suppose -x + q*x = 0. Which is greater: z or x?
x
Let i be 4 - (-173)/(-22) - -4. Let s(w) = -w - 11. Let k be s(-12). Which is greater: i or k?
k
Let g be 1/5 - 84/(-30). Let u be 117/(-99) - 2/(-11). Which is smaller: u or g?
u
Let l be -3 + (3 - (-3)/144). Are l and 0 nonequal?
True
Suppose -4*j = 2*j - 174. Suppose -5*p - 26 - j = 0. Do -13 and p have different values?
True
Let p be 3/18*-2 + (-202)/114. Which is smaller: -2 or p?
p
Suppose 26*o - 3746 - 50 = 0. Which is smaller: o or 143?
143
Suppose 2*r - 18 = a, -a - a - 25 = -3*r. Let n be -1*(-2 - (2 - 2)). Let b be (0/2 + n)/(11/66). Is b less than r?
False
Suppose 2*h - 5 = -a, -5*a = 5*h - 2*h + 10. Suppose -h*v + 64 = -u, 5*u + 12 = -3*v + 56. Which is greater: v or 0.4?
v
Let w(z) = -z**2 + 19*z - 16. Let h be w(17). Which is smaller: 1 or h?
1
Let p be 6 + -4 - 208 - 7. Is p at most -212?
True
Suppose 0 = 82*c - 69*c + 1287. Which is bigger: c or -101?
c
Suppose 4*i + 7 = 3*c, 18 + 11 = 7*i + 3*c. Let s = 14 + -7. Which is bigger: s or i?
s
Let d be (-2 + (2 - -16)/6)*0. Which is smaller: 924 or d?
d
Let k(f) = -f**3 - 2 + 3*f**3 - f**2 - 2*f**2 + 4*f. Let o be k(2). Let s be (-5)/o - (-13)/34. Is s greater than -1?
True
Let m = -5305.658 + 5298. Let w = m - -0.058. Let d = w - -8. Do -3/4 and d have different 