241 + -1098/18557. Which is smaller: a or -1?
-1
Let z(f) = -f**2 + 3*f - 2. Let o = 5 + -3. Let i be z(o). Is 0 at least as big as i?
True
Let o = 0 + 3. Suppose -5*k + 0*p = -o*p - 636, 114 = k - 5*p. Let x = k - 905/7. Which is bigger: x or 0.4?
0.4
Let v(n) = 2*n + 7. Let t be v(-6). Let h = 11.9 + -12. Is t less than or equal to h?
True
Let t(o) = -o**3 + 2*o**2 - 3*o. Let d be t(2). Let z be (9/d + 1)*0. Suppose 4*i - 6 + 2 = z. Is i greater than 5/3?
False
Let x be 266/180*2 + -3. Which is bigger: x or -1?
x
Let g(j) = -j**2 - 10*j - 12. Let o be g(-8). Suppose -o = 2*u - 0, 2*c + 5*u + 14 = 0. Suppose -3*d + 5*y = 16, 0*y + 6 = -d + 2*y. Is d < c?
False
Let y = -1.5 + 0.7. Let u = -0.8 - y. Is 1/2 equal to u?
False
Suppose 3*h + 4*t - 21 = 0, 0 = -0*h - 4*h + 4*t. Let w = h + -7. Let s be w*(-1 + 6/4). Is s greater than -1?
False
Let h be 0/(-1)*1/(-2). Suppose h = 6*l - 3*l. Let m be 2 - (-1)/(4/(-6)). Is m bigger than l?
True
Let d = 3011 - 1782. Let k = 79887/65 - d. Let a = k - -112/585. Which is bigger: 0 or a?
a
Let j be 16/7 - 2/7. Suppose -15 = 2*z + t, 2*z + j*z + 18 = 2*t. Let i be z/10 + 8/(-20). Which is greater: i or -1/3?
-1/3
Let t(l) = l**2 + 4*l. Let v be t(-4). Let n(j) = -j**2 + j - 3. Let x be n(v). Which is bigger: -1/7 or x?
-1/7
Let a = 5863471 - 158331211/27. Let v = -648 - a. Let s = -1 - 0. Which is bigger: v or s?
v
Let w = 3 + -3.1. Let s be (-20)/(-8)*(-1)/10. Which is bigger: s or w?
w
Let q = 107/45 + -16/9. Let t(k) = -k**3 + k**2 - k + 10. Let h be t(0). Suppose -3*v = -2*z + h, z = 3*v + 2 + 3. Is v < q?
True
Let r be ((-4)/8)/((-4)/12). Which is smaller: r or -1?
-1
Let c = 0.3 + -2.3. Is 2 > c?
True
Suppose -5*q - 13 = 11*o - 10*o, -12 = 4*q. Let u = 3 + -1. Is u > o?
False
Let d be (6/4)/(6/(-8)). Does d = -2?
True
Suppose -3*g - 10 = -5*g. Suppose -4*l - 2*u = -7*l - 10, g*l - 2*u = -10. Which is smaller: 2/11 or l?
l
Let f = 0.08 - -0.22. Let o = f - 0.2. Is 1 != o?
True
Let x be 3 + (318/(-17))/6. Is -1/3 less than x?
True
Let f(u) be the first derivative of 2 - 6*u + 1/2*u**2. Let t be f(8). Which is bigger: t or 1?
t
Suppose -4*i + 0*j = -3*j + 149, 47 = -i + 4*j. Let y be 1/21 - 10/i. Which is greater: 0.1 or y?
y
Let p(r) = -r**3 - 4*r**2 + 2*r**2 + r**2 + 0*r**3 + 1. Let d be p(0). Are 2/3 and d nonequal?
True
Suppose -4 = -4*r + 2*f - 0, -4*f = r - 1. Which is bigger: 12 or r?
12
Let a = 3.4 + -3.6. Which is bigger: a or 2?
2
Let r be (-1*(-1)/(-1))/9. Let q = 4 - 4. Let l be 0/(q + 0 + -1). Which is smaller: l or r?
r
Let w be 9 - 13 - 106/(-3). Is 31 greater than w?
False
Suppose 5*q = 4*q - 2*q. Which is greater: -1/47 or q?
q
Let l be ((-45)/189)/((-2)/(-3)). Is -1 not equal to l?
True
Let n = 857/738 + 5/82. Let k be (-1)/(4 + -2 - 1). Let i = n + k. Which is greater: i or -1?
i
Let w = 13 + -3. Let y = w + -9. Is y <= -3/5?
False
Suppose -8*t + 3*t = -10. Let r = t - 2. Is -1/2 at least as big as r?
False
Let a be 1804/(-1192) + (-3)/(-2). Let z = -57/6854 + a. Is z < -1?
False
Let f = 0.137 - 0.077. Which is smaller: f or 0?
0
Let w be (7 + -6)*4/22. Which is smaller: -1/4 or w?
-1/4
Let u = 29 + -35. Which is smaller: -3 or u?
u
Suppose 4*x - 11 = -5*y, 5*x + 3*y = -0*x + 30. Let n be 3/12 - x/4. Is n >= -4?
True
Let z = -2 - -2.1. Let q = z + 0. Which is smaller: q or -2?
-2
Suppose 0 = -0*k - 2*k. Suppose -3*z = -2*z + 10. Let n be 36/z - (-7 + 4). Which is greater: n or k?
k
Suppose -227 = -4*k + 109. Let d be (-10)/k - (-2)/(-12). Is 0 bigger than d?
True
Suppose 0 = -5*a - 4*u - 96 - 52, 3*u - 78 = 3*a. Let w = -20 - a. Are w and 8 equal?
True
Suppose -9*f = -5*f - 8. Which is smaller: 12/13 or f?
12/13
Suppose 4*p + 1 = -3. Let m = -63 + 818/13. Is p > m?
False
Let t = 3 + 3. Suppose 4*j = 8, d - 5*j = -t*j. Let y be (3/(-9))/((-2)/(-6)). Is d at least y?
False
Suppose 7*i - 4*i = -48. Are i and -13 non-equal?
True
Suppose -4*g - 12 = 4*n, -n + 2*n + 3 = 2*g. Is -7 > n?
False
Suppose -4*r = 3*p - 215, 2*p - r - 144 = -3*r. Is 74 smaller than p?
False
Let u = -91 + 89. Which is greater: u or -1?
-1
Suppose c + 2 = -6. Is c smaller than -8?
False
Let j = 2 + -2. Which is smaller: j or 2?
j
Let f = 8 - 2. Let t be (-5)/(-15) + (-76)/12. Let x = f + t. Is x at most -2?
False
Let s(g) = -g. Let t be s(3). Let c(f) = -3*f**2 - 4*f. Let r be c(t). Let j = 8 + r. Is -8 at most j?
True
Let d be 3/6 - (-15)/(-24). Is 0 <= d?
False
Suppose -2 = 2*h - h. Let p be 2 + (0/(-2))/(-1). Suppose 5*k = p*l + 35, 18 = 2*k - 5*l - 17. Is h > k?
False
Suppose -10*y - 84 = -8*y. Which is bigger: y or -40?
-40
Let i(y) = -10*y + 77. Let m be i(7). Let l be 25/12*(2 - -2). Which is greater: m or l?
l
Let c be (6/(-4))/(2*(-6)/(-16)). Which is bigger: -15/7 or c?
c
Let c be -1 + (1 - 1/6). Let h(a) = -a - 1. Let m(t) = -6*t - 10. Let o(w) = -5*h(w) + m(w). Let n be o(-5). Is c greater than n?
False
Suppose -4*v + 64 = 16. Let z(h) = -h**2 - h + 13. Let r be z(0). Which is smaller: v or r?
v
Let c(m) = m**2 + 9*m - 12. Let a be c(-9). Let f be (1/(3/a))/(-1). Suppose 2*r - f*r = 0. Is 2/7 at least as big as r?
True
Let t = 0 + -4. Let q be 2/t + -4 + 5. Let i(j) = j - 2. Let b be i(4). Which is greater: b or q?
b
Suppose -q = 2*q - 6. Which is smaller: 1 or q?
1
Let d = -20 + 4. Let t be d/(-7) + (-6)/21. Is t at most 6?
True
Let t = -21 + 20. Let l be 9/33*(-4)/6. Which is greater: l or t?
l
Suppose 5*c = v + 2*v - 52, -4*c - 48 = -4*v. Let k = -11 - c. Let i be 2/((-2 - 1)/k). Is i at most 1/2?
False
Let l = -4 - -9. Let w = -7 + l. Is 0 less than or equal to w?
False
Let x be 1/(-6) + 2/20. Is x > -1?
True
Let f(l) = l**2 + l - 1. Let p(y) = -5*y**2 - 14*y + 5. Let a(n) = 6*f(n) + p(n). Let k be a(8). Let t(r) = -r + 1. Let o be t(3). Which is bigger: k or o?
k
Let d be (32/(-40))/(2/(-5)). Suppose 6*g - 4*g - d*o = -2, -4*g = -2*o - 4. Suppose 0*c = -4*f + 5*c - 7, -c + g = 0. Is f at most as big as 2/3?
False
Suppose 4 = -5*l + 64. Suppose -4 = 4*i, -8*b - 19 = -3*b + 4*i. Let j be (b/l + 0)*-1. Which is bigger: j or 2?
2
Let v = -12 - -17. Let c = -17 + 18. Which is smaller: v or c?
c
Suppose 16 = -3*o - 2*n, 14 = -3*o + 3*n - 4*n. Suppose 0 = j + 3*s - 9, -j + 3*s + 13 = 7*s. Which is bigger: j or o?
j
Suppose w - 7*w - 168 = 0. Is -29 greater than or equal to w?
False
Let g be 21/6 + 1/2. Suppose -g*d = -d - 3. Let t be ((-4)/(-6))/(17/3). Is d at most t?
False
Let y = 3.5 + -3. Let i = 101.5 + -100. Let n = y - i. Is -0.1 >= n?
True
Suppose -2*z = 2*q + q - 17, z + 9 = q. Do q and 6 have the same value?
False
Let o(r) = -r**3 - 5*r**2 + r - 4. Let i be o(-5). Let a be 2/2*(7 + i). Which is greater: -3 or a?
a
Let s(d) = d**3 + 2*d**2 - d + 4. Let y be s(-3). Let u = -4 - -6. Let f be 1/u*0/(-11). Is f at most as big as y?
False
Suppose -15 = -3*g - 6. Let t = 5 - g. Suppose t = -2*x - 8. Which is bigger: x or -6?
x
Let f be (0 - 0 - 1)/5. Let m = 12 - 9. Let q = -5 + m. Do f and q have different values?
True
Let c = -0.7 - -1.8. Let t = -0.1 + c. Let j = -11.9 - -2.9. Do j and t have different values?
True
Suppose 15 = -5*u - 10. Let l = 527/22 - 258/11. Is l equal to u?
False
Let k be 12/(-16)*(-1)/(-3). Let m = 285 + -6271/22. Which is smaller: m or k?
k
Let h be -1 + 151/108 + (-2)/8. Is 1 smaller than h?
False
Suppose 2*o + 31 = -5*n, -5*o = -0*o - 5*n - 10. Suppose 1 = z + 5. Which is smaller: o or z?
z
Let u = -78 + 77. Which is greater: -3/91 or u?
-3/91
Let h = 18/13 + -103/65. Suppose 2*i - i = 4. Let f(d) = -d + 3. Let s be f(i). Which is bigger: h or s?
h
Let p = 1 - 0. Let s be 3/4*4/p. Let b = 94 + -91. Are b and s equal?
True
Let c(f) = 77*f**3 - f**2 - f - 1. Let w be c(-1). Is w equal to -78?
True
Let f = 10 - 10. Let o = 0.16 - -0.04. Which is smaller: o or f?
f
Let j = 0.77 + -0.8. Let w = j + 1.03. Which is greater: w or 0?
w
Let m = -3.098 - -0.098. Is m smaller than -0.04?
True
Let l(o) = -3*o - 6. Let g be l(-3). Which is greater: g or 8?
8
Let l = -0.7 + 0.7. Let n = -1 - -8. Let x = 13 - n. Do l and x have the same value?
False
Let m = 112 - 1010/9. Suppose 24 = 4*i + 4, -21 = -k - 4*i. Is m equal to k?
False
Let c = 0.4 + 0.1. Let z = -3.5 + 4. Let n = c - z. Is n greater than or equal to -1?
True
Let g = -17 + -1. Let i = 19 + g. Which is greater: i or 0.1?
i
Let 