lse
Let w(q) = -q**3 - 32*q**2 - 93*q + 553. Let z be w(-28). Are 137/7 and z unequal?
True
Let b = -259/15 - -17. Let c(l) be the third derivative of l**5/60 - l**4/24 - l**3/6 - 7*l**2. Let i be c(-1). Which is smaller: i or b?
b
Let o be 36/(-4 - -13) - (80944/80948 - -3). Is 1 != o?
True
Let r = -0.14 - -0.14. Suppose m - 14 = -2*p - m, -16 = -4*m. Let s = 10 - p. Are r and s non-equal?
True
Let z(s) = 3*s**3 - s**2 - 3*s + 2. Let h be z(3). Let y = 43 - h. Suppose 5*a - 30 = m, 4*m - 2*m = -2*a - 36. Are m and y non-equal?
True
Let x = -4058 - -4103. Is -4 < x?
True
Let t = 36/407 - 11001/55352. Is 1 smaller than t?
False
Let g = -4.3269 + 4.284. Do 2 and g have the same value?
False
Let v(r) = r**3 + 6*r**2 + 6*r + 3. Let f be v(-5). Let a be (f/(-5))/(-3 - 141/(-15)). Do a and -1 have the same value?
False
Let g = 1127 - 1147. Are -271/14 and g nonequal?
True
Let x = -176 + 7218/41. Let q = x - 45/82. Let l be (-5)/30 + (-948)/(-1449) + (-30)/60. Is q at least as big as l?
False
Let x be (63/(-9) - -5) + (3 - (-55826)/(-55830)). Is 0 >= x?
False
Let d = 14/3 + -145/33. Are 8/3 and d equal?
False
Suppose -3*y - 5*v + 38 = 0, -4*y + 23 + 35 = 3*v. Let f be (y/4840)/(1/10). Is -1 smaller than f?
True
Let g = 1400 + -99399/71. Are -1 and g nonequal?
True
Let v = 87 + -66. Suppose -7*r - v = -10*r. Let o = 12163/2082 + -3/347. Is o at most as big as r?
True
Let v = -360.86 + 365. Let r = v + -3.94. Is 18/25 at least r?
True
Let x be 24 + 80/(-5) + 9/(324/(-280)). Let c = 14 + -10. Suppose c*u = -0*u. Is u > x?
False
Let a(c) = 13*c**3 - 2*c**2 - c - 14. Let g be a(-3). Let q = -398 - g. Do q and 1 have the same value?
False
Let s be 6*(-4 - (-5)/(-60)*-58). Suppose -2*c + 14 = 4*r, -9 = -s*r - 5*c + 21. Which is bigger: r or 9/8?
9/8
Let w = 5542 + -249443/45. Is 0 greater than w?
True
Suppose 3*x + 0*l + 2*l = 1, 0 = -x - 2*l - 5. Suppose -4 = x*h + 2. Which is smaller: -17/10 or h?
h
Let n be 5*(-72)/60*1/(-6). Is 1/1084 at least as big as n?
False
Let c(l) = 251*l + 3515. Let q be c(-14). Is q bigger than -5/286?
True
Let h = -205 + 385. Let b be h/96 + (-2 - 0) - 3. Which is smaller: b or -3?
b
Let z(b) = 327*b - 2. Let x be z(2). Suppose -u + 128 = -s, -30*u - s - x = -35*u. Which is smaller: u or 133?
u
Let c = -681 + 8849/13. Let y be (2/(-5))/(2 + (-11)/5). Suppose -4 = -y*a + 6*a. Which is smaller: c or a?
a
Let d = 5551.3 + -5805. Let n = -253 - d. Which is greater: -6 or n?
n
Let s be -3 + 87/27 - 17/81. Suppose 0 = x - 2*o, 0*x - 3*o = -2*x. Which is smaller: x or s?
x
Suppose -7*f - 16*f = 0. Suppose j + f*l + 4*l = -14, 3*j - 4*l = -58. Which is greater: -77/4 or j?
j
Let x = 0.07 - 0.77. Let t = x + 7.7. Which is smaller: t or 0?
0
Let m = -23.353 + 23.053. Which is smaller: m or -177/4?
-177/4
Let q be 3*-16*(-8)/2208. Let k = -14 + 14. Which is bigger: q or k?
q
Let i = 153 + -141. Let c be 75/100*((-9)/i)/3. Does c = 0.09?
False
Let v = -125236 - -10644708/85. Let t = v - -118/17. Suppose 4*j - 6 + 3 = -5*n, -4*n - 3 = 5*j. Is n equal to t?
False
Suppose -u = 2*y + 11, -2*y - 4*u - 10 - 10 = 0. Let a be (-5)/20*y - 16. Let x(d) = -d**3 - 15*d**2 + d + 6. Let l be x(a). Are l and -12 equal?
False
Let a = 24 - 27. Let l be 1/(1*(-4 - a)) - -4. Let b be (l + (-81)/25)/((-3)/40). Which is smaller: 4 or b?
b
Let i = -4290 - -6562. Is 2272 <= i?
True
Let p(i) = -i**3 - 11*i**2 - 6*i + 16. Let z be p(-11). Let o = z - 56. Let y = 12 - o. Which is smaller: y or -16?
-16
Let j be (-1)/2 + (-4)/(-6). Let z = 26.9 + -26.887. Let t = -0.013 + z. Do t and j have the same value?
False
Let n be (-14 + (-2132)/(-138))*-9*(1 + 0). Does n = -12?
False
Suppose -20 = -4*u - 28, 5*d - 4*u - 8 = 0. Which is greater: d or -7/1294?
d
Let i = 125 + -111. Let f = i - -50. Let d = 64.01 - f. Which is bigger: 0.1 or d?
0.1
Suppose 3*j = 8*i - 4*i - 21, -i - 5*j - 12 = 0. Let o be 2/((-4)/i) + 24/16. Which is smaller: -6/55 or o?
-6/55
Let o(v) = 4*v + 116*v**2 - 126*v**2 - v**3 - 4*v - 39 + 8*v. Let q be o(-11). Which is smaller: 1 or q?
q
Let c be 4*(34/4 - -1). Let q = 0.079 + 0.021. Is q at least c?
False
Let f = 42 + 2. Let v be (755/(-150) - -5)/(f/(-10)). Which is greater: v or 1?
1
Let x be 3/1 - 6/(-15)*244. Let q = x - 1351/10. Let r = -34 - q. Which is smaller: r or 5?
r
Suppose s - 20 = u + 3*u, -3*s + 5*u + 67 = 0. Let b(v) be the second derivative of -5*v**3/6 + 47*v**2/2 + 2*v - 21. Let q be b(5). Which is greater: q or s?
s
Let j(f) = -32*f - 33. Let u(o) = -33*o - 35. Let n(r) = 5*j(r) - 6*u(r). Let p be n(2). Is 121 less than p?
False
Let t = 22902/7 - 3272. Which is smaller: t or -547?
-547
Let s(u) = 2*u - 27. Let f be s(16). Suppose 5*b + o + 33 = 1, 0 = f*b - 5*o + 50. Let a(k) = k**3 + 8*k**2 + 7*k - 5. Let v be a(-7). Does b = v?
False
Let y be ((-12)/90)/(2 - -3*15/(-27)). Do y and -6.407 have the same value?
False
Let l = 2.173 + -3.473. Which is smaller: l or 0.302?
l
Let h(x) = 2*x - 12. Let k be h(5). Let s be -1*(-1 + (-2 - k) - -4). Let l be 1/(s + 5)*(1 - -1). Are 5/13 and l nonequal?
True
Let r = -40 - -55. Let v = r - 14.2. Let x = -97 - -91. Which is bigger: x or v?
v
Let d(m) = 4*m**2. Let c be d(1). Let q(l) = 17*l - 13. Let r be q(c). Let k = r - 55. Is -12/17 greater than k?
False
Let n = -4837.872 - -4837. Which is greater: n or 7?
7
Let i(c) = -19*c + 135. Let u(y) = 18*y - 136. Let m(q) = -3*i(q) - 4*u(q). Let v be m(20). Is v smaller than -161?
False
Let w(d) = 14*d + 207. Let n(u) = -7*u - 103. Let j(c) = 5*n(c) + 3*w(c). Let p be j(-15). Which is smaller: p or -2?
-2
Suppose -7*s + 749 = -532. Let w = s + -115. Let r be 1/3 + w/(-228). Which is greater: r or 0?
r
Suppose 0 = 2*o + t + 253, 5*o - 4*t - 440 = -1105. Is o greater than 3/2?
False
Let o = -1.16453 - -0.16453. Which is greater: 4 or o?
4
Let n = 8 + -67/9. Let a = -10985 - -10986. Is a bigger than n?
True
Let f = -38307 + 38113. Which is greater: f or 4?
4
Let a be ((-5)/20)/(5/2). Let d = 164 - -325. Let z = 496 - d. Do z and a have different values?
True
Let h(d) = 607*d**3 + 2*d**2 + 6*d - 7. Let o be h(1). Suppose 4*u = -12*u + o. Is 41 at least u?
True
Let z = 3003.6 + -3004. Are z and -63 nonequal?
True
Let x(s) = -689*s + 6310. Let i be x(9). Which is smaller: i or 87?
87
Let s be (-180)/(-126) + 77571/(-630). Which is bigger: -122 or s?
s
Suppose 6*t - 11 = 7. Suppose t*r + 4 + 5 = 0. Let k be (r + 24/9)/((-7)/(-2)). Do 0 and k have different values?
True
Suppose t + 3*j = 2 - 15, 3*t = 4*j + 13. Let k be (((-4)/18*-3)/(-21))/(154/(-66)). Which is bigger: t or k?
k
Let y = 509 - 839. Let t = y + 348. Which is bigger: t or -4?
t
Let g(s) = -s**2 + 16*s + 2. Let x be g(16). Let t be 89001/(-17919) + 10/(1*x). Which is bigger: 0 or t?
t
Let g = 16408 - 16401.53. Which is smaller: g or 6?
6
Let m = -137 - -138. Let x be m/((-135)/415) - -3. Which is smaller: x or 1/2?
x
Let y = 0.0576 + 1.9424. Which is greater: 665/8 or y?
665/8
Let r = -2/21047 + -8692407/42094. Which is smaller: r or -208?
-208
Suppose -488*r = -374*r - 570. Do r and 79/15 have different values?
True
Let y = 4.66 + -0.46. Let t = y + -1.2. Let o = 0.75 - 0.75. Which is bigger: o or t?
t
Let r be (55/2870)/(-11)*((-90)/(-21) + -6). Is 1 greater than r?
True
Let c = -27 + 26.8. Let x be (0 + (-16)/(-10))/(10/((-100)/(-22))). Which is smaller: c or x?
c
Let n = -76 - -455/6. Let o be 2/(-2) - 7*-12. Let x = 75 - o. Does n = x?
False
Let l be 33 + 150/(-10) + 1/(-1). Which is bigger: l or 79?
79
Let s = 6293 - 6619. Is s at least 2?
False
Suppose 0 = -265*s + 122*s + 10010. Is 209/3 bigger than s?
False
Suppose -4 + 36 = -40*d - 48. Which is greater: -133/44 or d?
d
Let y = 1553 - 110265/71. Let a(h) = -10*h**2 + h**2 + 6 + h**2 + 3 - h**3 + 10*h. Let x be a(-9). Which is smaller: y or x?
y
Let v = 14601 + -14581. Is 48 less than v?
False
Suppose 0 = -60*i + 77*i + 153. Is i > -46?
True
Suppose 0 = 27*z - 17*z - 290. Let a(f) = -f**2 + 13 + 4*f + 10*f - z*f + 0*f**2. Let r be a(-11). Is r greater than or equal to 58?
False
Let j be 28/10*5/(-2). Let b be (((-126)/5)/j)/((-3)/10). Which is smaller: b or 0.3?
b
Let b(j) = 246*j + 34. Let d be b(-3). Let s be (48/d)/(87/(-8)). Is 1 less than or equal to s?
False
Let g = 11241 - 56488/5. Are -58 and g nonequal?
True
Let r = -6