lse
Suppose -3*y - 49 = -5*z, -11 - 6 = -z + 3*y. Let n = 8 - z. Suppose -10*b = -5*b. Is b <= n?
True
Let j(r) = -r**2 - 5*r + 10. Let k be j(-7). Let y(m) = m**3 + 4*m**2 + 5. Let b be y(-4). Let p be (-6 - -7)/((-1)/b). Which is bigger: p or k?
k
Let x = -6.1 - -5. Let w = 0.9 + x. Let h be 30/(-10) + 1/1. Is w >= h?
True
Let f = -964 + 983. Is f >= 19?
True
Let s(u) = -u**2 + 8*u + 7. Let o be s(11). Is o != -18?
True
Let w(b) = 5 + 1 + 1 + 3*b - 5 + b**3 - 5*b**2. Let l be w(4). Let i be (l/(-3))/((-5)/30). Which is greater: i or -1?
-1
Let l be 1*(-3 + (-1 - -4)). Suppose -2*d = -l*d - 14. Suppose m + d = 4. Is 0 at least m?
True
Suppose -2*s + k + 3 = 0, 44 = 5*s + 3*k + 9. Suppose 2 + s = 2*d, q + 7 = 3*d. Let l = 9 + q. Is l at least 9?
True
Suppose 3*g - 48 = 5*s, -5*g + s + 96 = -2*s. Is 41/2 greater than or equal to g?
False
Let d = 1717/12 - 577/4. Is d smaller than 6?
True
Let b be (2/5)/((-3)/15). Let p be (-1)/b - 63/(-6). Suppose 5*q = 1 - p. Is -3/5 greater than or equal to q?
True
Let a be 3/4*8/(-34). Let u = 63 - 62. Which is smaller: u or a?
a
Let o = -1.7 - -2.8. Let z = 5 + -4.9. Let y = o - z. Which is smaller: 0 or y?
0
Let z be 20/15*1*3. Suppose 0*y = y - 3. Let r = z - y. Is 4/7 >= r?
False
Let k be 9 + -5 + (-62)/18. Let j(x) = -2 + 6 - 8*x**2 + x**3 - 3 + 1. Let a be j(8). Which is bigger: k or a?
a
Suppose -4*f + 8*a - 5*a = -172, -5*f + 215 = -a. Is f >= 1?
True
Suppose -4 = -157*h + 153. Let b be ((-1)/(-11))/((-2)/(-2)). Which is smaller: b or h?
b
Let r = -131 + 137. Let c be 28/r + 8/(-2). Is 2/35 at least as big as c?
False
Let m be 42/(-7) + -1 + 8. Which is greater: m or 13/79?
m
Let v be 8/(64/(-12)) - (-3)/2. Which is bigger: v or -5/9?
v
Suppose 0 = 7*o - 34 + 83. Let t = 7 + -11. Let x be -2 + 0 + t/1. Is o less than x?
True
Let w be (4/4 + 0)*0. Suppose -l = 4, 2*l + w*l = 2*k - 18. Suppose -4 = d - k*d. Which is bigger: d or -1/7?
d
Let v(f) = -f + 32. Let h be v(33). Is h != 7/59?
True
Let c = -423 - -434. Suppose 0 = 3*s - 2*w - 2*w - 14, -2*s + 21 = -5*w. Which is smaller: s or c?
s
Let c = 87 + -86. Let a be 55/50 - (-2)/(-2). Which is bigger: c or a?
c
Let x = 37 + -37.2. Is 7/4 > x?
True
Suppose 0 = -3*t + 1056 - 57. Let u = 4997/15 - t. Which is greater: u or 1?
1
Let m be 1 + -4*(-2)/(-5). Suppose -16 = 4*s + 16*y - 14*y, 5*s + 40 = -5*y. Is m less than or equal to s?
True
Let n(x) = -x**3 - 2*x**2 - x - 28. Let r be n(0). Is -35 less than r?
True
Let m(v) = -4*v + 4*v - 1 - 3*v - 4*v. Let u be m(-1). Suppose 5 = -2*d - 5, z + u = -d. Which is bigger: -1/5 or z?
-1/5
Let s be 738/(-12) - 3 - (-3)/(-6). Which is greater: s or -64?
-64
Let t be (44/33)/(2/3). Suppose 0 = -4*c - t*c + 54. Is 11 at most c?
False
Let t(w) = 14 + 16*w - 4*w - 10. Let i be t(3). Suppose -5*o - 15 = -i. Which is smaller: 4 or o?
4
Let w = 20.56 + -21. Let i = 0.54 + w. Which is bigger: -4.7 or i?
i
Suppose -x = 3*s + 8, -11*x + 5 = -15*x - 3*s. Is 8/19 greater than x?
False
Let k be (23/1518)/((-7)/(-2)). Is k greater than -1?
True
Let h be 5/(32 + 3) - (-12)/14. Let f(s) = 3*s - 10. Let j be f(4). Is j equal to h?
False
Let z = -7.2 - -4.2. Let n = 3.1 + -3. Let v = 0 - n. Which is greater: v or z?
v
Suppose 2*a - 18 = s - 0*s, -a = 3*s + 33. Let j = -18 - s. Let l be (17 - 0)/(j + 5). Is -17 <= l?
True
Suppose 3*p - 11 = -5*u, -u - p - 4 = -7. Suppose -g + 0*g = 0. Let t be (-14)/168 + (g - 0). Is t at most u?
True
Let h = -383 - -189. Let d be h/(-49) - (-40)/(-10). Is d less than -1?
False
Let f = -1 - -4. Let u be f + (6 - 4) + -2. Suppose w - u*w = -3*s - 10, w = -s - 10. Is -3 at most as big as s?
False
Suppose 3*g - 12 = -0*g. Let f = -1 + g. Let k = -7 + f. Is k smaller than -5?
False
Let y(d) = d**2 + 12*d + 23. Let c be y(-11). Which is bigger: c or 126/11?
c
Suppose -10*n - 18 + 18 = 0. Suppose 6*q + 8 = 2*q. Let g be q/(-20)*(-15)/6. Which is greater: n or g?
n
Let t(d) = -5*d + 1 - d**3 + 21*d**2 - 28*d**2 + 1. Let a be t(-6). Which is smaller: -7/2 or a?
a
Let u be -5 + (4/(-34) - (-25687)/4624). Are u and 0 unequal?
True
Let b be 31*(-2)/70 - (-2)/7. Is b at most as big as -2?
False
Let d = 2/29 + 7/319. Let n = 0 - -1. Which is smaller: d or n?
d
Let p be 59 - 56 - (-416)/(-2). Do p and -204 have the same value?
False
Suppose -12*g + 14*g - 471 = -3*v, 0 = -5*v - 4*g + 787. Which is bigger: 153 or v?
v
Suppose 72 = -57*u + 61*u + 4*z, -u + 4*z + 3 = 0. Suppose 16 + 0 = v. Does v = u?
False
Suppose 4*d + 4 + 7 = -5*t, 13 = -5*t - 2*d. Let f be (-8)/t*18/(-8). Let o = -296 - -294. Which is greater: o or f?
o
Let m(c) = c**3 - 4*c**2 + 4. Let y be m(4). Let x(r) = r**2 - 5*r + 4. Let q be x(y). Let l be (20/48)/(-5)*-3. Is l equal to q?
False
Let k be ((-49)/(-7) - 6)*-65. Is k at least -64?
False
Let u be 5/6 + (22/(-12) - -2). Suppose 4*o - 3*o = 3*i + 101, -4*i - 208 = -2*o. Is u less than o?
True
Let v be ((-17)/85)/((-2)/(-70)). Which is smaller: -57/8 or v?
-57/8
Let w be (10/(-8))/(4 + 62/(-16)). Let s = 0 - 1. Let j be (s/w)/((-4)/16). Is -1/7 less than or equal to j?
False
Let b = 0.1 - 0.6. Let l = -3.5 - b. Is 3 at most l?
False
Let j = 28 - 29. Let d be (3/24*4)/(j/(-4)). Is 0.09 at most d?
True
Let b be (1616/36)/(10/25). Let z = -112 + b. Which is greater: -0.01 or z?
z
Let m = 35 - 48. Is -12 less than m?
False
Let l = 2/109 - -83/1417. Let s = 16/39 - l. Which is bigger: -44 or s?
s
Let t = 0.29 - 0.28. Which is bigger: 5 or t?
5
Let a be (-3)/(-7) - (-6)/(-14). Suppose -y - 4*l = -a*y - 8, -2*y - l + 9 = 0. Suppose -6 - 10 = y*k. Which is greater: -0.1 or k?
-0.1
Let w = 29 - 148/5. Let x = 5.82 - 3.9. Let i = x - -0.08. Is w < i?
True
Suppose 3*b - 79 = -43. Suppose -2*l - 3*l = -60. Is l less than b?
False
Suppose -t + 2 = 4*j + 16, 2*j - 32 = t. Is -1/4 >= t?
True
Let x be 3/4 - (-36)/16. Suppose 4*s = 2*v + 18, -x*v - s - 3 = -4. Which is smaller: v or 6/13?
v
Let s be (-1)/(-60)*(-32)/128. Which is greater: 1 or s?
1
Let t be (-114*8/108)/(16/24). Is t greater than -14?
True
Let h = 3 + -3.02. Let f = -105.3 + 68. Let a = 37 + f. Which is smaller: h or a?
a
Let b = 12 - 7. Suppose -4*w + 4*u = -0*w + 156, -2*u = b*w + 230. Let m be -18*2/w + -1. Which is smaller: 1 or m?
m
Suppose 135*w - 121*w = 182. Is w less than 85/7?
False
Let c = 31 + -21. Suppose -h + c = -1. Which is greater: h or -1/2?
h
Let d(s) = s**3 + 12*s**2 + s + 17. Suppose -5 - 7 = g. Let k be d(g). Suppose 0 = -k*c + 6*c. Which is bigger: c or -1/11?
c
Let z = 285 + -289. Which is smaller: 16 or z?
z
Let u = -549 - -550. Which is smaller: 1/311 or u?
1/311
Suppose 2*p + 3*x = 13, 4*p + x = -2*x + 23. Let r(g) = g**2 - 6*g - 8. Let m be r(-6). Let y = m - 58. Which is bigger: y or p?
y
Let r be 4/18 - (-1035)/(-4536). Let m be (11 + -11)/(1*-2). Is r less than m?
True
Let w(y) = 10*y**3 - 2*y**2 + 7*y - 5. Let h be w(2). Let g = 92 - h. Which is bigger: 13 or g?
13
Let i(s) = -12*s - 63. Let r be i(-5). Let b(t) be the first derivative of -t**3/3 - 3*t**2/2 - t - 1. Let j be b(r). Which is greater: 2/25 or j?
2/25
Let r = -8.866 + -0.134. Which is smaller: r or -0.6?
r
Let g be 6/9*3 - 41. Let u be 3 + (-10 - (-102)/(-3)). Is g <= u?
False
Let g = -33 - -37. Suppose -m + 1 + 2 = n, 3*m = 2*n + g. Which is smaller: m or 0?
0
Suppose 7*c - 4*y = 2*c - 212, -2*y + 126 = -3*c. Which is bigger: c or -31?
-31
Let o = -1714 + 1715. Which is smaller: o or 13/22?
13/22
Let h = 8 - 33. Let j = h - -42. Let z = -17 + j. Which is greater: -2 or z?
z
Suppose -4*t - n + 35 = 0, 0 = t + 4*n - 5 - 0. Let s = t + 21. Let z be 76/(-342) - (-843)/27. Which is greater: s or z?
z
Suppose 2*k + 18 = -2*d, 2*d - d = -4. Let i = 10 + -18. Let n be (i/4)/(3 - 1). Is k <= n?
True
Let u be (3/10)/(-6 + 279/45). Let i be -1*(-1 - (-1 - -1)). Is u > i?
True
Let q be ((-5)/30)/((-13)/26). Is q at least -5/3?
True
Suppose -3*t = -5*z + 11, -3*z + 4*t + 3 = -8. Let k = 1 + z. Let m(a) = -3*a**3 - a**2 - a - 1. Let q be m(-1). Is q less than k?
False
Let o = -2/3351 - -14906/21223. Are 2 and o unequal?
True
Let h be (-70*(3 + (-43)/15))/2. Let o(z) = -z**2 + 12*z + 7. Let l be o(12). Suppose 30 = -l*r + 2*r. Are r and h equal?
False
Suppose -i + 4*i - 6 = 0. Suppose o - 11 = -5*c + 9, -i*c = 3*o - 8. Which is smaller: -2/65 or o?
-2/65
Supp