lse
Let q(k) = -18*k**2 + 219*k + 15. Let w be q(13). Which is bigger: w or 2/9?
2/9
Let a be (-10)/24 + (-6)/24. Let h = -0.059 - -2.059. Is h at most as big as a?
False
Let s = -4267093/38 - -112307. Let l = 8/19 + s. Is l at most as big as -2/5?
False
Let c = -756 - -757. Suppose -4*j = 3 - 7. Is c <= j?
True
Let k = -49.1 - 2.9. Let v = 53 + k. Which is smaller: 0.4 or v?
0.4
Suppose 10 = -5*w, -5*w - 128 = 4*c - 3*w. Let k = c + 32. Which is greater: 8/9 or k?
k
Let q = -677809/216 + 3138. Let l = q - -145/216. Which is greater: l or -0.8?
l
Let i = 104 - 74. Suppose 0 = -3*f + 5*u + i, -3*u - 10 = -2*f + 9. Suppose 0*q = 2*q + 3*a + 5, 2*a + 16 = 5*q. Is q <= f?
True
Let f be (9 - -11)/(-5) + 4/2. Suppose -3*m = -3*q - 105, -4*q + 0*q - 100 = 4*m. Let k be (12/(-1))/(q/(-4)). Does k = f?
False
Let w = -5.031 + 0.031. Let c = w + 6. Suppose 13 = -3*j + 4*j. Is j < c?
False
Let d be (-1 - (2 - 5))*1. Let f(g) = g**3 + 9*g**2 + 16*g - 11. Let m be f(-6). Let r = d + m. Which is bigger: -2/17 or r?
r
Let s = 22 - 24. Let o = s + 5. Which is bigger: 7/2 or o?
7/2
Let o = -116 - -61. Let s = o - -56. Are s and 1/40 unequal?
True
Suppose 7 + 3 = 5*m. Suppose z + 3 + m = 0, 3*q = -2*z + 2. Is q at least as big as 8?
False
Let c be ((-195)/30)/((-2)/(-28)). Suppose -4*k - j - 67 = 159, 4*j - 160 = 3*k. Let w be (c/k)/(1/4). Are w and 8 non-equal?
True
Suppose -2*b = -5*w - 7, b - 4 - 1 = 4*w. Let a be 808/9 + 4/18. Let v be (-7)/a - 2/9. Which is bigger: v or b?
b
Let j = 1383/2 + -175633/254. Which is smaller: j or 0?
0
Let r(w) = -w**3 - 6*w**2 - 6*w - 5. Suppose 1 - 106 = 3*z. Let l be 0 + 0 - z/(-7). Let o be r(l). Are o and -0.1 equal?
False
Let h(n) = 6*n**2 - n + 36. Let t be h(13). Let x = t + -13469/13. Which is smaller: 2 or x?
x
Let n = 210 + -208. Suppose n*i + 16 = -5*r, 5*i - 18 = -r + 3*r. Let g = 353/7 + -49. Which is smaller: i or g?
g
Let s(p) = -p**3 + 4*p**2 + 36*p - 15. Let z be s(8). Do 5 and z have different values?
True
Let l(u) = -22*u**2 - 11*u - 7. Let f be l(-1). Is -24 less than or equal to f?
True
Suppose -4*a - 16 = -f, -4*a - 3*f = -0*a. Let k be (93/(-12))/(a/40*-5). Which is smaller: k or -22?
-22
Let q = 0 + 4. Let u(y) = y**2 - 76*y - 5778. Let c be u(123). Are c and q non-equal?
True
Suppose 6*a - 330 = a. Suppose -k = h + a, k = 6*k - 2*h + 309. Are k and -63 equal?
True
Let p = 6447/5 - 1429. Let o = -140 - p. Let b(w) = -w**3 - 5*w**2 - 5*w - 5. Let h be b(-4). Which is smaller: o or h?
h
Let k = -717 - -9327/13. Let a be -1 - 5*3/(-15). Is a not equal to k?
True
Let f(w) = -w + 11. Let r be f(5). Suppose 0 = -c - r - 4. Let u be c/35 + (-1)/(-7). Which is smaller: 1 or u?
u
Let y = 6 - 4. Let d = 0 + y. Which is bigger: d or -3?
d
Let t(q) = q**3 + 3*q**2 + 8*q + 13. Let j be t(-4). Suppose k + 2*a + 29 = 0, a - 177 - 12 = 5*k. Is j smaller than k?
False
Suppose -3*n + 2*n = -4*n. Suppose 4*s + 5*b + 55 = n, 45 + 7 = -4*s - 4*b. Is 0.1 bigger than s?
True
Let h(w) = w + 6. Let t be h(0). Let s be (-2)/t*60/(-740). Is -1 < s?
True
Let o = 5 + -4. Let j be (13 - 8) + -3 + o. Let z be j/9*12/14. Is z < 15?
True
Let x = 23 - 23. Suppose 2*c = -0*l - 4*l + 8, 4*l - 8 = x. Is c at least as big as 3/55?
False
Suppose -25*h = -35*h + 350. Is 28 at most as big as h?
True
Let p = -192 - -122. Let a be ((-7)/((-105)/18))/((-7)/p). Suppose -u + 11 = -0*u. Are u and a non-equal?
True
Let j = 323 - 276. Which is smaller: 17 or j?
17
Suppose 0 = -3*l - 5*d + 14, 5*l - 5*d - 9 = -39. Let r = l - -6. Which is smaller: r or 3?
3
Let t be 15/(-44)*(-21 - -25)*4. Which is bigger: -6 or t?
t
Let b be 492/(-120)*(-50)/8. Which is greater: 27 or b?
27
Suppose -2*w = -r - 7, 3*w - r + 0*r - 8 = 0. Let s = -16693/9 - -1855. Does w = s?
False
Suppose -3*g = -7*g + 220. Is g greater than 54?
True
Let b = 332/3 - 119. Suppose 0 + 32 = 4*y. Let c = y + b. Which is smaller: -1 or c?
-1
Let z = -0.89 - 69.11. Let l = z + 69.9. Is l equal to 0.14?
False
Suppose -22*p = -4*p + 468. Which is smaller: -25 or p?
p
Let n be 26 + (-8 - -10) + -5. Are n and 3 unequal?
True
Let o(c) = -4*c - 4. Let p be o(-3). Let l(i) = -i**3 + 9*i**2 - 5*i - 9. Let w be l(p). Are 14 and w nonequal?
True
Let j = -285 - 53. Which is smaller: j or -339?
-339
Let r = -185 + 206. Which is greater: 0.5 or r?
r
Let l = -133/4 + 33. Let h(y) = y**3 + 11*y**2 - 27*y + 7. Let v be h(-13). Which is greater: v or l?
v
Suppose -133 = -3*o + o + k, -5*k = -4*o + 263. Let q = -62 + o. Is 7 less than q?
False
Let r = 6.63 - -0.57. Let g = r - 7. Is 15/2 equal to g?
False
Suppose -605*j + 603*j = 144. Let o(h) = -19*h**2 - 4*h - 3. Let q be o(-2). Which is bigger: q or j?
q
Let j be (-13 - -18) + 2*5/(-2). Is j smaller than -3?
False
Let q = -64 + 22. Let h be -2*(q/10 + 4). Which is greater: 1 or h?
1
Let g be (1/86)/(2 + (-460666)/230332). Let s = g - -1339. Which is bigger: s or -1?
s
Let c be (-1 - -5) + -8 + -4. Let i be (36/(-6))/((-6)/c). Let o be (-116)/14 + (-8)/(-28). Is i not equal to o?
False
Let g be (0 - (-54)/(-13)) + (-8)/(-52). Suppose -3*o - 15 + 3 = 0. Is o greater than g?
False
Let l be (1428/170)/(1/(310/4)). Is 652 greater than or equal to l?
True
Let r be 17*(1 + (2 + -2)/2). Is r <= -0.4?
False
Let u(w) = w**3 + 6*w**2 - 4*w - 23. Let b be u(-6). Is b at least -1/421?
True
Let i = 0.212 - 18.912. Let q = i + 16. Which is smaller: 2/9 or q?
q
Let u = -0.0102 + 6.9802. Let z = 107 + -114. Let i = u + z. Is -1/6 equal to i?
False
Let x(z) = -2*z + 10. Let r be x(0). Suppose r*d - 7*d = 3. Is 1 bigger than d?
False
Let b = -4881 - -63417/13. Let c = 94069/14755 + -864/227. Let q = b + c. Is 0.3 bigger than q?
True
Let d be 8/6*(18 - (109 + -16)). Which is smaller: d or -103?
-103
Let c = -9 + 24. Suppose w - 2 = -3*m + 8, 0 = 5*m - c. Which is greater: w or 2/99?
w
Let k(h) = 2*h**2 - 9*h + 12. Let y be k(4). Let b(s) = -2*s - 1. Let t be b(-4). Is y at most t?
False
Let s = 169/27 - 8395/513. Do -11 and s have the same value?
False
Let j = 126 - 146. Which is bigger: -0.04 or j?
-0.04
Let j = -1089 - -18519/17. Is 1 >= j?
True
Suppose -2*f + 26 = -0*f. Let b be (1 + (-42)/27)/((-6)/27). Is b at least f?
False
Suppose 25*z = 5*z + 160. Which is smaller: z or 1.5?
1.5
Let o = -0.21 + -0.03. Let p = o + -3.16. Let w = 0.4 + p. Which is smaller: 2/5 or w?
w
Let o = -11.1 - -16. Let t = o - 5.4. Which is bigger: 2 or t?
2
Suppose 13*o - 9*o = -f - 3, 3*f + 9 = -o. Which is smaller: -4/159 or o?
-4/159
Suppose -8*l - 2*l - 1170 = 0. Are l and -117 nonequal?
False
Let m be (-3 - 2 - 0)*15/3. Let l be (-14)/(5/m*-5). Are l and -13 unequal?
True
Let w be (45 - 46)/((-1)/23). Is 97/4 < w?
False
Let o be 10 + -35 + 3*-1. Let j = -22 - o. Is j less than 2?
False
Let m = -2701 - -2700.78. Let q = 2 + -4. Which is smaller: q or m?
q
Suppose x = 26 + 24. Let r = -49 + x. Let w be ((-47)/49 - -1)/1. Which is smaller: r or w?
w
Let c = 10 + 9. Suppose -4*t + 5*q + 86 = c, -5*q + 140 = 5*t. Let i = 20 - t. Is i >= -7/4?
False
Let a = 55 + -57. Let u be 5/40*(a/(-2) + -3). Does -25 = u?
False
Let l be (7/(35/(-80)))/3*6. Which is greater: l or 0?
0
Let l(x) = -116*x + 247. Let g be l(2). Which is smaller: g or 30?
g
Let j = 2673/17 + -157. Let m(h) = h - 13. Suppose d + 98 = 8*d. Let g be m(d). Which is smaller: j or g?
j
Suppose 0 = -2*f - 6, -3*r + 3*f = -1 - 17. Suppose 2*o + 20 = -r*o. Is 1/5 at most as big as o?
False
Let m = 4 + -4.3. Let n = 2.76 - 2.77. Which is smaller: m or n?
m
Let j(v) = -v**2 - 7*v + 5. Let h be j(-12). Is h smaller than -215/4?
True
Let h(k) be the second derivative of -k**5/120 - 11*k**3/6 - 3*k. Let p(v) be the second derivative of h(v). Let l be p(10). Is -9 >= l?
True
Let t(c) = 5*c + 311. Let d be t(-35). Is 136 <= d?
True
Let n be ((-499555)/(-147))/((-10)/(-6)). Which is smaller: 2040 or n?
n
Let o(t) = t + 1. Let v(w) = -w**3 - w**2 + 8*w + 7. Let n(i) = 14*o(i) - 2*v(i). Let h be n(-2). Let s be (-8)/2 + (-1)/1. Which is smaller: h or s?
s
Let l = 1328 + -1623. Which is smaller: -296 or l?
-296
Let t(s) = -s**3 + 3*s**2 + s - 3. Let x be t(2). Suppose -4*l - 9 = x. Is -3 > l?
False
Suppose -2*o - 3*o + 65 = 0. Let w = 8 + o. Let b be (2/(-12))/(7/w). Which is smaller: -2 or b?
-2
Let a(b) = 18. Let w(n) = n + 71. Let k(u) = -9*a(u