lse
Let z = 897 + -1923/2. Let q = z - -63. Suppose -4*o - 3 = 1. Are q and o nonequal?
True
Let i = 961/2 - 472. Suppose -9*g + 56 = -g. Suppose g*t + 23 = 79. Is t less than i?
True
Let z(v) = v**3 - 11*v**2 - 10*v - 12. Let w be z(12). Let k be 2/w*(-7882)/(-791). Let l = -2/339 - k. Is 1 less than l?
False
Let i be 2247/28*16*4/8. Are i and 642 non-equal?
False
Let r = 6 + -7. Let m(w) = -45*w - 15. Let n be m(-6). Let s = -3823/15 + n. Are s and r equal?
False
Suppose 3*j - 32 = 25. Is j >= 24?
False
Let r = 86.983 + 2.017. Which is greater: 4 or r?
r
Suppose -10 = -5*j, 6*v - v + 230 = -5*j. Let x = v - -36. Which is bigger: x or -34/3?
-34/3
Let l be 11 + (-28)/(-3) + -20. Let i = -200 + 88. Let j = i + 443/4. Is l equal to j?
False
Let d = 193 + -192. Which is greater: -1/152 or d?
d
Let r = -637/822 + -8/137. Suppose 3*u = 5*m + 9, 4*m = -2*u + 1 + 5. Is r at least as big as m?
False
Let s = 84 - 140. Is -56 less than s?
False
Let i = -11 + 11. Is i greater than -63?
True
Suppose -y + 5*u + 6 + 4 = 0, 0 = y + 4*u - 10. Suppose -3*b - 2*b - y = 0. Do -3 and b have the same value?
False
Let y(s) = s**2 + 13*s - 22. Let b be y(-7). Are b and -63 equal?
False
Let h = 0.0473 + 23.8527. Let g = h + -24. Let l = g - -5.1. Which is greater: l or -1?
l
Suppose 0 = -2*p + f + 1663, -2*f - 397 = -p + 430. Is -1 at least p?
False
Let f = -1725 - -1724. Which is greater: 3/352 or f?
3/352
Let v = 0.13 + -16.13. Let u = -15 - v. Let r be 15/27*4/(-10). Is u less than r?
False
Let p = 24 - 18. Suppose -15 = 9*v - p*v. Let h be 2*3/2 + v. Which is bigger: -7/3 or h?
h
Suppose 0 = -2*i + 4*o - 48, -2*o = 4*i + 89 - 23. Let v = 6 - 23. Which is smaller: v or i?
i
Let c = 57/4 - 14. Let y = -41 + 42. Which is smaller: y or c?
c
Let t(z) = 9 + z**3 - 2*z**3 + 0*z**3 + 8*z**2 - 8*z. Let q be t(7). Suppose -8*w + 1 = -7. Is w greater than q?
False
Let j(l) = l + 32. Let y be j(-29). Let f be 60/(-14) + y - (-10)/35. Is 1/9 <= f?
False
Let k = -4/203 - -236/203. Let d = 39/28 - k. Which is smaller: 8 or d?
d
Let y = 7.35 - 7. Let v = 5.15 + -5. Let m = v - y. Are -2 and m non-equal?
True
Let k = -49 + 29. Let v = k + 25. Suppose -3*q = 2*b - b - 11, -2*q = 3*b + 2. Is q > v?
False
Let o = -26/21 + 20/21. Let q(x) = -x**2 - 15*x - 5. Let b(p) = p + 1. Let h(f) = 4*b(f) + q(f). Let i be h(-11). Is i bigger than o?
False
Let v = 588 - 5332/9. Let k = 3209 + -3212. Which is smaller: v or k?
v
Let b = 26 + -32. Let h(n) = -n**3 - 2*n**2 - n - 8. Let a(r) = r**2 + r - 1. Let v(o) = -5*a(o) + h(o). Let u be v(b). Is u < -5?
False
Suppose 0 = -342*q + 338*q - 8044. Is -2011 greater than or equal to q?
True
Suppose 3*m - 30 = 8*m. Let j(w) = w + 2. Let y be j(m). Let b(s) = -s**2 - 9*s + 6. Let q be b(-10). Is y smaller than q?
False
Let v be ((-5)/(175/6))/((-117)/195). Which is smaller: -86 or v?
-86
Let z be (-3372)/(-684) + 0 + -1 - 4. Which is smaller: z or 1?
z
Let b = 143.95 - 147. Let v = 33 - 33.05. Let c = b - v. Which is bigger: c or 0.1?
0.1
Let s be -2 + 0/(-1 + 3). Let v be (-1 + 0)*s/(-36). Do v and 1 have the same value?
False
Let x = 21 - 24. Let o = 39 + -21. Let z = -17.9 + o. Which is bigger: x or z?
z
Let g = 2 - -7. Suppose 0 = -3*b + g, -u - 57 = b + 3*b. Let j be 3 - 6/u - 3. Is 0 not equal to j?
True
Let i = 31286471/4256265 + 7/185055. Let a = -22/3 + i. Which is bigger: -1 or a?
a
Let h = 33 + -29. Suppose h - 1 = -3*f. Is 1/27 greater than f?
True
Let i(q) = q + 3. Let h be i(-1). Let l = -12766175/39988 + 3/19994. Let y = 321 + l. Is h != y?
True
Let a be (-4)/(-24) - (-7)/(-6). Is -1/93 not equal to a?
True
Let s(x) = x**3 - 9*x**2 - 2*x + 42. Let l be s(6). Is -78 less than l?
False
Let w = -794 + 795. Which is bigger: 52/33 or w?
52/33
Let x be (-16 - -2)/((-2)/6). Let d be x/(-56) + ((-219)/4)/(-1). Is d at least as big as 54?
True
Suppose -c - 2*c = 11484. Let t be c/30 + -2*1. Let w = t + 130. Do 3 and w have the same value?
False
Let s = -98/9 + 11. Let b = -540.67 + 538. Let j = -0.33 + b. Which is greater: s or j?
s
Let m be (3 - 33/6)*(3 - -19). Is m >= -45?
False
Let c(t) = -t - 11. Let i be (-3 + (-33)/(-9))/(6/(-108)). Let g be c(i). Are g and 2/23 equal?
False
Let z(a) = a**3 - 32*a**2 + 88*a - 50. Let n be z(29). Let w(l) = 12*l + 3. Let f be w(-2). Are n and f nonequal?
False
Let r be 414/(-1173) - (2 - 1)*0. Is r at least as big as 1?
False
Let b be (-1)/55*-4 + 14/(-105). Which is smaller: b or 0?
b
Let n be (22 - (-4641)/(-210))/(1 + (-150)/148). Let s(d) = d. Let x be s(6). Which is bigger: x or n?
n
Suppose 11 = 13*k + 24. Which is bigger: k or -3/41?
-3/41
Let w = -1.92 + -7.48. Is 0.1 > w?
True
Let u = -34 + 21. Let r = 1784/3 - 607. Let y = r - u. Is y > 2?
False
Let y(d) = 19*d + 134. Let z be y(-7). Are -2/2899 and z equal?
False
Let z be 45/20 - (5 - 4). Do z and 1 have different values?
True
Let m = 687 - 846. Does -159 = m?
True
Let y = -155 - -40. Let j = -117 - y. Which is greater: j or -6/5?
-6/5
Let h be (-71)/4 + 3/(-12). Let j = -17 - h. Which is smaller: 6/11 or j?
6/11
Suppose -2*b + 2*u = -0*b + 22, -5*b + 3*u - 65 = 0. Let p(q) = -q**2 - 14*q - 10. Let k be p(-12). Let l = b + k. Which is bigger: l or -4?
l
Suppose 10 = -3*o - 4*q, -4*q + 3 - 15 = 2*o. Let b be (32/(-20))/(((-9)/10)/1). Which is smaller: b or o?
b
Let q be -2 - (-43)/5 - 7. Are q and -462 equal?
False
Let l be 0 + 4/18*-1. Let d = -0.17 - -0.24. Let f = -0.77 + d. Which is greater: f or l?
l
Let d = 154 - 116. Let s = d + 41. Which is bigger: 78 or s?
s
Let f be 22/172 - 6/15. Let l = 6/215 - f. Suppose 5*k = -3*v, 120*v - 117*v = k. Which is bigger: l or v?
l
Let m = -22 - -28. Let y = 4 - m. Which is greater: y or -20?
y
Let l(t) = t**2 - 9*t + 24. Let a be l(6). Let m be ((-4)/14)/(a/(-42)). Which is bigger: 3 or m?
3
Let o(h) = h**3 + 12*h**2 - h + 3. Let m be o(-12). Suppose m*k - 11 = 4. Let n be (-1 - 54/(-50)) + 0. Is k equal to n?
False
Suppose -2*f = 0, 2*u + 15*f = 18*f + 536. Is 271 at most u?
False
Let n = -163 - -248. Let p = 123 - n. Let m = 38 - p. Is m smaller than 5?
True
Suppose -46*z + 20 = -36*z. Which is smaller: z or 12?
z
Let h(t) = t**3 + 10*t**2 + 2*t + 12. Let d be h(-10). Let i = d - -10. Suppose 4*x + 4*f = 8, x + 2*x - 4 = -i*f. Which is smaller: x or -4/7?
-4/7
Let f(g) = -7*g - 9. Let x(p) = -3*p - 4. Let m be x(0). Let z be f(m). Let u = 19 - z. Is 3/5 bigger than u?
True
Let j be (-136)/340*(1/(-2) - 1). Are 3 and j equal?
False
Let f(y) = y**2 + 6*y + 5. Suppose -5*r + 2*t = 26, -3*r + t = -8*r - 17. Let i be f(r). Suppose 3*a + 18 = -2*c, 2*c - 3*c - 23 = 5*a. Are c and i non-equal?
False
Suppose -2*x - 5 = -3*x, 0 = 4*v + 5*x - 25. Let f = 23 - 20. Let t be (-4)/f - (-266)/168. Does t = v?
False
Let v(i) = -i + 1. Let l be v(1). Suppose -4*b - 18 = 4*d - 30, 0 = -2*b - d + 3. Is l < b?
False
Suppose 4*h + 75*d - 79*d = -20, -4*d + 16 = 0. Let j = -7.03 - -7. Which is smaller: j or h?
h
Let n be 4/(-10) - 3/5. Let f be (-4)/14 + (-27)/(-21) - 1336. Let m be f/(-435) + -2 + -1. Is m >= n?
True
Let z be 2/(-5) + (-472)/(-680). Let o = z + 43/85. Let s(t) = t**3 - 4*t**2 + 4*t - 2. Let i be s(3). Which is smaller: i or o?
o
Let d(a) = -a - 11. Let k be d(-11). Let r = 11 - k. Is r greater than or equal to 29/3?
True
Let g = 89 + -90. Let w = 1093/8 - 137. Is g > w?
False
Let b = 0.0494 + -0.1494. Let z = 5 + -2. Let h be z/12 + (-50)/136. Which is smaller: h or b?
h
Suppose -w - 5*d = -5*w - 214, -3*w + 4*d - 160 = 0. Let m = -284 + 227. Which is bigger: m or w?
w
Let s be (3/(-8))/1 - 267/(-24). Is 12 at least s?
True
Let u be 12/(-312)*(-6 - 0). Let a = -9 + 8. Which is bigger: a or u?
u
Let x be (0 - -2 - -38)*1. Suppose -3*t + x = t. Suppose 0 = -39*y + 32*y + 63. Are t and y unequal?
True
Let n = -0.39 - 21.61. Let o = n - -14. Let b = o - -9. Which is smaller: b or 0.07?
0.07
Let u = -19 + 19. Suppose u = 3*q - v - 27 - 101, 3*q + v - 124 = 0. Are q and 44 equal?
False
Let m = -487 + 510. Which is smaller: 17 or m?
17
Let c = 616.1 + -616. Is c at least as big as -4.3?
True
Let b = 101625/58076 + 2/14519. Let h be (1 + 4)*6/15. Do h and b have the same value?
False
Let a = -11 + 10.8. Let i = 20.1 - 14.1. Which is greater: a or i?
i
Let v be ((-12)/(-30))/(4/10). Let l be -24*(v + 3/(-9)).