t z = 2/13 + l. Is s > z?
True
Let g = -4 - -6. Suppose 0 = -g*a + a. Is a greater than 2/3?
False
Let x(u) = u**3 + 4*u**2 - u - 4. Suppose -3*i + 8 = -1. Let p = i - 7. Let a be x(p). Is a equal to 2/5?
False
Let l = -27/7 - -25/7. Is 0.2 less than or equal to l?
False
Let i be (-1 + 0)/((-4)/(-20)). Let w(h) = h**2 + 11*h - 5. Let c be w(-11). Let a = c - i. Is 1 <= a?
False
Let z be 114/(-8) - 12/(-48). Which is bigger: z or -15?
z
Let n = 3.9 + -0.9. Is 0.03 < n?
True
Let b = -9.2 - -11.2. Which is bigger: b or 0.43?
b
Let j = -10919/53 + 206. Let s = -164/265 - j. Let v be (0 - 0)/(0 - 2). Is s less than or equal to v?
True
Let n = -8.9 + -0.1. Let h = n - -9.05. Is h > 0.1?
False
Suppose -2 = 4*g - 2*r, -5*g = 5*r - 28 + 8. Which is smaller: g or 2/19?
2/19
Suppose z + 0 - 2 = 0. Let q(b) = -b + 2. Let k be q(z). Suppose 3*j - 2*x = 7, -3*j + 4*x - 15 + 26 = 0. Is j greater than k?
True
Let v(l) = -l**3 + 3*l**2 + 5*l - 3. Let p be v(3). Let h be -2*3/p*-2. Which is bigger: 3 or h?
3
Let m be (-10)/8 + (-3)/(-12). Let n be 2/1 - (-2)/((-42)/39). Which is smaller: m or n?
m
Let u be 46/102 - (-9)/(-27). Let f = 0 - 0. Which is greater: f or u?
u
Let y be 144/(-66) - 2/(-11). Suppose 0 = -4*w - 5*x + 268, 7*w + 2*x - 335 = 2*w. Let c = -137/2 + w. Is y equal to c?
False
Let x = 0.14 - 7.14. Let y = -7 - x. Let u = y + 2. Which is smaller: u or -0.3?
-0.3
Let o be (-2 - -2)/(-3) + -3. Let u = -2 - o. Is 2/7 at most as big as u?
True
Suppose 2*y - 3 = v, 2*y - 11 - 4 = 5*v. Suppose 0 = -b - 1 - y. Which is smaller: b or 4?
b
Suppose 3*b - 5 = -14. Let u(p) = p - 1. Let h be u(4). Suppose h*n = 4*z + 12, 2*z - 3*n = -8*n - 6. Is z <= b?
True
Let z(g) = 2*g**2 - 17*g + 10. Let c be z(7). Which is bigger: c or -12?
c
Let s = -2 - -2.1. Let t = 10 - 5. Which is bigger: t or s?
t
Let n(h) = h**2 - 3*h - 4. Let v be n(4). Which is bigger: v or -5/9?
v
Let j = -1.3 + 1.3. Which is bigger: j or 3/10?
3/10
Let v = -13620 + 67884/5. Let t(g) = -6*g - 5. Let f be t(-8). Let k = f + v. Which is bigger: -1 or k?
k
Let t(z) = -z**3 + 7*z**2 - 6*z - 1. Let g be t(6). Let h be (-3)/6*(g - -1). Let x be 1/2 - (-45)/(-66). Which is smaller: h or x?
x
Let r be (-8)/(-4) - (1 - (2 - 2)). Which is bigger: -3/50 or r?
r
Let h = -4 - -4. Let u(c) = -c**2 - c - 1. Let v be u(h). Let z = 211/11 - 19. Is z < v?
False
Let p = -54 + 53.9. Let k = -0.1 - 1.9. Which is smaller: k or p?
k
Let h = -0.1 + 0.4. Let k = -0.959 + -0.041. Which is bigger: k or h?
h
Let h be 66/24 + (-1)/(-4). Suppose -h*t - 16 = 2*y, t = 4*t + y + 17. Which is smaller: t or -5?
t
Let a(i) = i**2 + i - 2. Let f be a(2). Let q be (-2 + f)*(-1)/(-2). Is q greater than 2/11?
True
Let t = 0.2 - 0.1. Let r = t + -0.4. Let y be 3 + (165/(-9))/5. Is y equal to r?
False
Let b be ((-3)/(-4))/((-1)/4). Suppose 5*v = v + 16. Suppose -v*x + 2*x - 6 = 0. Do x and b have different values?
False
Let f = 8 - 8.7. Let x = -0.1 - f. Let k = 0.5 - x. Is k less than or equal to -1?
False
Let c = 101 + -907/9. Let b = 0.7 + -1. Let l = -1.7 + b. Which is smaller: l or c?
l
Suppose 0*i + 12 = -2*i. Let f(b) = -b**2 - 7*b - 5. Let p be f(i). Let x = 13/12 + -3/4. Is p bigger than x?
True
Let j(u) = -u**2 - 9*u - 10. Let g be j(-8). Let o be g/5 + 74/10. Let a be 2 + -1 + (-6)/o. Do a and 0 have the same value?
False
Let h(w) be the second derivative of -w**3/6 - 5*w**2 + 2*w. Let b be h(-7). Let y be ((-1)/3)/(b/(-9)). Which is smaller: -2/9 or y?
y
Let u = 2 + -1. Let s = 0.05 + -0.45. Let m = -0.3 - s. Is u equal to m?
False
Let k be -3 - -6 - (-33)/(-12). Is k greater than or equal to -0.09?
True
Let y be 205/154 + (-2)/7. Let t = -6/11 + y. Let u = -0.4 - -0.3. Is t equal to u?
False
Let r(i) = 2*i**2 - 5*i + 2. Let n be r(3). Suppose n*a = -2*k + k + 16, 4 = 4*k. Which is bigger: a or 1?
a
Let t = 3.04 + -0.04. Which is bigger: t or -11?
t
Suppose 4*c - o = -3244, 0*o - 3228 = 4*c - 5*o. Let j be (-1)/(-3) + c/6. Let s = 537/4 + j. Which is smaller: s or -1?
-1
Let x = 331 + -3307/10. Which is bigger: 0 or x?
x
Let j = -12/13 - -101/39. Let h be 3 + (2 - 6 - -2). Which is smaller: h or j?
h
Suppose 4*t = 6*t + 10. Let l(d) = -d**3 + 13*d**2 - 10*d - 4. Let b be l(12). Suppose -2*r = -12 + b. Is r <= t?
False
Suppose -2*z = -2*q - 6 + 4, 5*z - 23 = -4*q. Suppose 4*u + 1 = z*u, 5*u + 8 = 3*j. Which is smaller: j or -1/36?
-1/36
Let i = 1 - 1.2. Let n = -8.2 - i. Does n = 1?
False
Let c be ((-2 - -2)/1)/2. Suppose -p = -c*p - 6. Is 6 greater than or equal to p?
True
Suppose d + 4*d = 4*v + 29, 3*v - 17 = -4*d. Let t = v - -1. Let y = -12.8 + 13. Which is smaller: y or t?
t
Let h = -8.39 + -0.61. Which is greater: h or -1?
-1
Let b = -2.3 + 0.3. Let t = 308 - 323.7. Let z = 16 + t. Which is smaller: b or z?
b
Suppose 0 = n + 2*t - 4 - 1, -n = 5*t - 17. Let d be 1/n*8/(-12). Is -1 greater than or equal to d?
False
Let q = 2 - 1. Let h = 73 + -358/5. Which is smaller: q or h?
q
Let n = 57 + -103. Let x be n/8 + 6/8. Which is smaller: -6 or x?
-6
Suppose 5*v + 12 = v. Let t(w) = -5*w**2 - w + 2. Let n(k) = 11*k**2 + 2*k - 4. Let m(c) = 3*n(c) + 7*t(c). Let p be m(-2). Which is smaller: v or p?
p
Let w = -558 + 1699/3. Is 1/4 smaller than w?
True
Let q be 10/(-45) + (-256)/(-18). Let d = 15 - q. Which is smaller: d or -1/13?
-1/13
Let f = 0.23 - 0.03. Let o(j) = -2*j + 7. Let v be o(5). Is v >= f?
False
Suppose -n = 3*n. Let v(i) = -i**2 + 10*i + 13. Let d be 14/(-35) + (-57)/(-5). Let f be v(d). Are n and f non-equal?
True
Let r be -10 - (-2 - 0 - -1). Are -49/6 and r equal?
False
Let a = 0.1 - -5.9. Which is smaller: 0.1 or a?
0.1
Let t = 0.1 + -1.1. Which is smaller: t or 0?
t
Suppose 5*r - t + 3*t - 2 = 0, -3*r = 5*t - 5. Do r and 1 have different values?
True
Let o(p) = -p**3 - 10*p**2 + p + 10. Let k be o(-10). Is -13 smaller than k?
True
Let n be 3/3 + 9 - -3. Which is smaller: 12 or n?
12
Suppose k + 0*k + 3 = -3*u, -5*k + 4*u = -23. Let f be (-1 - -4)*(-1 - -2). Let r = f - k. Is -7/5 smaller than r?
True
Let u = 328/273 - 22/21. Is u smaller than 1?
True
Suppose w = -0*f - 3*f - 8, -2*f - w - 4 = 0. Let u be 10/35 + f/14. Let z(o) = o**2 + 4*o + 1. Let r be z(-4). Is u <= r?
True
Suppose -52*j = -55*j - 24. Which is greater: j or -5?
-5
Suppose -4*u = 5*a - 15 + 1, -u - 7 = -4*a. Which is greater: 4/5 or a?
a
Let a(j) = 9*j**2 + 7*j + 17. Let b be a(-2). Do 40 and b have different values?
True
Let r(c) = -c**2 - 2*c + 8. Let f be r(-4). Suppose w = -4*s - 8, 4*s - 2*s + 4 = -2*w. Are s and f non-equal?
True
Let o be 14/24 - 2/6. Let q = 94/7 - 181/14. Do q and o have different values?
True
Let w be (-20)/165*(-9)/2. Which is greater: w or 1?
1
Let x be (-3*(-2)/6)/7. Which is smaller: x or -0.4?
-0.4
Let j(z) = -z + 4. Let t be j(4). Let p be (-31)/(-36) + (-96)/128. Is p bigger than t?
True
Let z = -177 - -180. Is 29/7 bigger than z?
True
Let v = 446/3925 - -1/157. Which is smaller: 1 or v?
v
Let a = -2/3 - -4/15. Is -6 equal to a?
False
Let a(m) = -m**2 - 8*m + 9. Let l be a(-9). Suppose l = -f - 5*d - 4, 0*f + 2*f + 5*d + 3 = 0. Suppose -q + f = 3. Is q > 2?
False
Let i = -30 + 29.9. Is 11 at least i?
True
Let i be 242 + -1 + -2 + 1. Let b be (i/(-36))/((-2)/3). Is 11 smaller than b?
False
Let s = 141 + -415/3. Let w(v) = -v**3 + 4*v**2 - 3*v + 2. Let z be w(2). Which is smaller: z or s?
s
Suppose 2*i = 5*s - 64, -3*i - 19 = -2*s - 0*s. Suppose -3*r - s = -2. Is -3 greater than r?
True
Let t = 16664/11 - 1516. Let o = -79 - -78. Which is smaller: t or o?
t
Suppose 4 + 0 = 2*v. Let l = -4/3 + 2. Which is smaller: l or v?
l
Let l = -4/33 - -115/132. Suppose y + 1 = 2*y. Let t(w) = 2*w**3 - w**2 + w - 1. Let z be t(y). Which is smaller: l or z?
l
Let h = -2 + 2.1. Let x = h - 0.1. Which is bigger: x or 4?
4
Let v be (1 + -2)*(0 + -10). Suppose -5*f = -v, 8 + 0 = -2*m + 3*f. Which is smaller: -2 or m?
-2
Suppose 2*f + 2 + 5 = 3*h, 0 = 4*f + 8. Is -3/22 greater than h?
False
Suppose 5*c = -5*f - 5, -8*c - 7 = -7*c - 5*f. Which is smaller: 2 or c?
c
Let m be (-1)/(-3) - (-20)/(-59). Let v = m + -527/708. Are v and 0 non-equal?
True
Suppose 0 = -2*f + g - 0 + 1, 4*f - 1 = 3*g. Let l be (1*0/f)/2. Suppose 5*s + l - 17 = -4*j, 4*s = j + 1. Is j at least as big as 1?
True
Let r be (-600)/1392 + ((-6)/(-4))/3. Is