lse
Let c be (((-16)/14)/1)/2. Let u = 2 + 0. Suppose t = -5, u*g + 5*t - 4 = -31. Which is smaller: c or g?
g
Let o(a) = -a - 9. Let g(t) = -9*t**2 + 3 - 7*t + t**3 - 3*t**3 + t**3 + 0. Let b be g(-8). Let h be o(b). Which is smaller: -5 or h?
-5
Let m = -3 + 8. Suppose 0 = -m*l + l - 20. Is l <= -6?
False
Let n = -47/4 + 12. Is 0.03 smaller than n?
True
Let g = -14 + 3. Let s = 7 + g. Let d = 0.8 + -1.8. Are d and s non-equal?
True
Let j(s) = -s + 10. Let o be j(10). Is o at most as big as -3/8?
False
Let d(z) = 2*z**2 + 12*z + 2. Let a be d(-6). Are a and 18 nonequal?
True
Suppose 4*s - 68 = 2*a, -2*s = -2*a - 80 + 2. Are -44 and a equal?
True
Let i = -2 - -2.1. Let o be (16/(-10))/((-26)/10). Let v = o - 37/39. Which is bigger: i or v?
i
Let a be -1 + 0 - (-12 - 5). Let b be -2 - (a/(-6) - 0). Let x be (-1)/1 - (-1 + 0). Is b smaller than x?
False
Let g = -1181/5 + 240. Which is smaller: 5 or g?
g
Let m(l) = 4*l**3 - l**2 + l - 1. Let k be m(1). Suppose 6 - 3 = -k*q. Which is greater: -2/3 or q?
-2/3
Let d = 0.02 - 5.02. Which is smaller: -2 or d?
d
Suppose -4*r + 6 = -2*r. Let u = 0 - 0. Let g be 3 - ((r - u) + -1). Is g >= -4?
True
Let u = 2/3763 - -97824/26341. Which is greater: 4 or u?
4
Let k(v) = -v**2 - 5*v + 1. Let u be k(-4). Suppose 0 = -u*a - 4*r - 11, -2*a + 0*r - 14 = 4*r. Let x = 12 - 10. Is a at most as big as x?
True
Suppose 2*u = 5*a + 4, u + 10 = 6*u - 3*a. Suppose u*j + 0*j = -4. Is 0 smaller than j?
False
Suppose 4*r - 5*b + 10 = -7, 2*b = -3*r - 30. Which is greater: r or -9?
r
Let k = 6 - 4. Suppose 3*g = 6*g - 3. Let y = g - k. Is -2 != y?
True
Let u = 17 - 9. Suppose -3*l - u = 19. Let i(q) = -q**2 - 10*q - 9. Let o be i(l). Which is smaller: -1 or o?
-1
Let l(h) = h**3 + 2*h**2 + h + 2. Let p be l(-2). Suppose p*u + 6 = -3*u. Let c be -5 + 4 + 0/u. Is -2/3 smaller than c?
False
Let q = -1117246 - -16752538/15. Let r = -410 - q. Does r = 0?
False
Let q = 17 + 2. Which is bigger: -0.2 or q?
q
Let z be (-692)/48 - 3/(-18). Let o = z + 407/28. Is o smaller than 0?
False
Let v(q) = q - 3. Let m be v(6). Is m smaller than -1?
False
Let n(p) = p**2 + 4*p. Let a be n(-5). Let x be (-21)/(-3) + (-6)/(0 + 2). Suppose -x*m = a*t + 37, -3*m - t = -4*t - 6. Is m < -4?
False
Let d = 7.2 + -2.2. Let l = -6 + d. Which is smaller: l or 12?
l
Suppose -3*y - f + 1 = 0, -4*y - f - 7 = -9. Let k = -2 - 4. Are y and k equal?
False
Let q = 9 - 11. Let b be 1*-4 + (-1 - -3). Are q and b unequal?
False
Let h = -143/10 - -29/2. Which is bigger: -4 or h?
h
Let u(m) = m**3 - 6*m**2 - 5*m - 10. Let z be u(7). Which is bigger: z or 5/2?
z
Let j = -104 - -95. Do -9 and j have the same value?
True
Let f = 3 - 5. Let o = -1.9 - f. Let l = -0.1 - o. Which is bigger: l or 0.1?
0.1
Let g = 20 - 39. Are g and -1 equal?
False
Suppose -8*n + 30 = -3*n. Is 6 smaller than n?
False
Let i(w) = w**3 - 3*w**2 - 4*w + 1. Suppose -5*o + 16 = -o. Let a be i(o). Let r be ((-2)/3)/(0 + a). Are r and -2 non-equal?
True
Let l be 2/8 + (-11)/28. Let m = 7 + -8. Which is greater: m or l?
l
Let p = -0.293 - -2.283. Let f = p - -0.01. Which is smaller: -1/4 or f?
-1/4
Suppose -8*m + 5*m = d + 20, -d + 2*m = 10. Which is smaller: d or -11?
d
Suppose -8*w - 24 = -4*w. Let t(q) = 2*q**2 + 15*q + 7. Let r be t(w). Which is greater: r or -12?
r
Let a(r) = -2*r**3 - 4*r**2 - r + 2. Let k be a(-2). Suppose -j + k = -n, -3*n - 1 = 2*j - 2*n. Let v be j + (-2)/(2 - 1). Is v at least 2?
False
Let m(t) be the third derivative of t**5/60 + t**4/12 - t**3/6 - t**2. Let j be m(-3). Let w be 4/2*j/(-4). Which is smaller: w or 1?
w
Let n = -12857698/62295 + 2/12459. Let b = n + 208. Suppose 0 = 3*j - 0*j - 6. Is j at least as big as b?
True
Let g(t) = 3*t**2 + 3*t**3 - 2*t**3 - t**2. Let x be g(-2). Suppose -d + 1 + 0 = x. Is d smaller than 2?
True
Let l = 6.75 - -2.25. Which is greater: l or -0.8?
l
Suppose r + 16 + 5 = 4*t, -3*t + 2*r + 17 = 0. Suppose j - t = 3*d, d - j + 0 = -3. Is d > -1?
False
Let f = 3 - 0. Is f less than 5?
True
Let y(d) = -d**3 - 5*d**2 + 5*d - 6. Let u be y(-6). Which is smaller: u or -2/11?
-2/11
Suppose 4*k + m = -2*m + 4, 3 = 3*k + 3*m. Which is smaller: k or 2/13?
2/13
Let z = -64 + 63. Which is greater: -2/43 or z?
-2/43
Suppose 0 = -5*v + 7*v + 4. Which is smaller: -4 or v?
-4
Let i be ((-4)/(-18))/((-28)/42). Let q = 4 + -2. Suppose 3*h - q = -5. Is h less than i?
True
Let n = -0.38 + 0.55. Let j = 0.08 - n. Let x = 0.01 - j. Is -1 >= x?
False
Let l = 0 + 6. Are l and 5 nonequal?
True
Let g be (1 - (-2 - -1)) + -6. Suppose 0 - 3 = -y. Let b = g + y. Are b and -1 equal?
True
Let h(l) = l + 11. Let j be h(-11). Suppose -2*w + 7*w + 5 = j. Are -1 and w nonequal?
False
Let b be (-28 - -32)/(5/14). Is b >= 10?
True
Let m(s) = -s**3 - 8*s**2 - 8*s - 2. Suppose 4*k + 34 = 6. Let u be m(k). Suppose -l + 16 = 3*l. Is l >= u?
False
Suppose 0 = -4*k - 3*h - 10, -4*k + 5 - 19 = 5*h. Let m be -18*(-2 - (-3)/2). Suppose 5*z - m - 1 = 0. Is k bigger than z?
False
Let s(k) = k**3 + 10*k**2 - 8*k + 37. Let d be s(-11). Which is smaller: -2/7 or d?
-2/7
Let f = 0.4 - 0.7. Let r = 13 + -10. Is r smaller than f?
False
Let k be 3/2*(-16)/(-6). Suppose j = -j - 4*n, 5*j - k*n = 0. Is j bigger than -2/11?
True
Let u(h) = -h**3 + 3*h**2 - h + 3. Let d be u(3). Let l = -286/45 - -50/9. Which is smaller: d or l?
l
Suppose -4*s - 2*s - 18 = 0. Is s greater than or equal to -2?
False
Suppose -2*p - 5*o - 14 = 0, -2*p - 2*o = 1 + 7. Is p equal to -10/9?
False
Let v be 16/(-136) + 45/(-51). Suppose -g = 3*g - 12. Is g > v?
True
Suppose i + 2 = 2*i. Suppose i*o - 3 = 1. Suppose 2*s - 2*j = o*j + 12, 6 = -2*j. Is s less than or equal to 0?
True
Let b = -10 + -2. Let o = 12.4 + b. Which is smaller: o or 2/3?
o
Let k be 14/(-70)*(-10)/16. Let c = -1 - -4. Let s be (4 - c)*1*-1. Which is smaller: s or k?
s
Let z = -28 + 30.8. Let y = 0.36 + -0.16. Let h = y + z. Do -2 and h have the same value?
False
Let j = -16 - -18. Which is bigger: 3 or j?
3
Suppose 4*t - 120 = 4*j, 5*j = -3*t - t + 93. Is 27 bigger than t?
False
Let u(w) = w**3 - 6*w**2 + 8*w - 1. Let h be u(4). Is h at most as big as -3/16?
True
Let h(c) = -2*c. Let q be h(-6). Let y be 9/12 + (-9)/q. Suppose y = 2*g + g. Are 1 and g non-equal?
True
Let w = 4 + -1. Suppose 2*l + 2*j + 2 + 0 = 0, 4 = -4*l - w*j. Which is greater: l or 2/7?
2/7
Let s = -11/10 + 123/130. Suppose 0 = -2*t + 1 + 5. Let h(q) = q**3 - 2*q**2 - 2*q - 3. Let o be h(t). Which is smaller: s or o?
s
Suppose 4*y + y = 0. Suppose -5*h = -1 - 14. Suppose -h*m - 3*u - 12 = 0, 4 = -3*m - u + 2. Which is smaller: y or m?
y
Let t be -1 + 0 + (-30 - 2). Let a = -88748/7 + 12711. Let k = t + a. Is -2/5 >= k?
False
Let h = -1.7 + 1.8. Suppose 0 = 4*n + 14 - 6. Let y(a) = -a**2 - 2*a - 2. Let z be y(n). Which is bigger: z or h?
h
Let r = 3 + -3.2. Let g = -293.9 + 279. Let l = 15 + g. Which is smaller: l or r?
r
Let b = -32 + 19. Is -2 >= b?
True
Suppose 2*y = -2 + 4. Let r be ((-2)/5)/(y/(-5)). Which is smaller: r or 1?
1
Suppose f = 5*w + 9, 0 = w - 5*w + 3*f - 16. Let y = 0 + w. Is -2/5 equal to y?
False
Let z = 0.96 + -1. Is 1 at least z?
True
Let t = -9 + 16. Let v = t + -6.9. Which is greater: v or 11?
11
Let j = -94 - -95. Which is greater: j or -5?
j
Let s be (-69)/(-18) + (-2)/(-12). Suppose o = -s*v + 3*o + 2, v + 2 = -2*o. Let z be (2/5)/(2/10). Which is bigger: z or v?
z
Suppose 3*r = 2*r - 4. Let i = r - -2. Let q(h) = -h**3 - h**2. Let c be q(i). Which is bigger: c or 3?
c
Let p = -3.9 + 2.9. Is 0.2 greater than or equal to p?
True
Let w = 3 + 5. Suppose -w = u - 1. Which is greater: u or -6?
-6
Let i be 42/6 - 1*3. Let n = -0.002 + 2.102. Let u = -2 + n. Is i bigger than u?
True
Let w be ((-5)/((-50)/105))/9. Are w and 2 non-equal?
True
Let j = 13687519/63 - 217279. Let m = -116/7 - j. Which is smaller: m or 1?
m
Let m = -2/13 - -1/13. Which is bigger: 0 or m?
0
Let b = -17403/38 - -458. Let p be (-10)/24*(-28)/(-38). Let t = p - b. Is -1 < t?
True
Suppose -2*n = -0*n - 4. Suppose 0*g - 3*j + 14 = -g, -4*g = -5*j + 28. Let f = g + n. Which is greater: -1 or f?
f
Suppose -4*b + 204 + 8 = 0. Do 158/3 and b have different values?
True
Let n(w) = w - 6. Let p(f) be the third derivative of -f**5/60 - f**4/24 + 5*f**3/6 - f**2. Let h be p(0). Let d be n(h)