gger than y?
True
Suppose -4*q = -4, -a + 5*q = -2*a - 4. Let l be -3*6/a + -1. Is l greater than or equal to 2?
False
Let d(v) = v**2 - 3*v - 9. Let t be d(5). Is t greater than -1/30?
True
Let i be -2*5/5 - -1. Which is bigger: i or -2/13?
-2/13
Let r = -11 + 12. Let f = -14 - -11. Does r = f?
False
Let l be ((-8)/(-3) + -2)*-3. Is -7/10 > l?
True
Let l(u) = 3*u**3 - 2*u**2 - 5*u + 3. Let p(j) = 4*j**3 - j**2 - 5*j + 4. Let z(k) = -3*l(k) + 2*p(k). Let r be z(5). Is r greater than or equal to 2?
False
Let i be (0 - -1)*4 - 2. Let b(o) = 2*o - 3. Let n = 31 - 29. Let w be b(n). Is i at most w?
False
Suppose -i + 5 = s, s - 2*s + 4*i - 10 = 0. Let x = s - 2. Is x greater than -2/55?
True
Let d = -1.4 - -1.5. Which is greater: -2 or d?
d
Let n(y) = y**3 + 5*y**2 + 4*y + 5. Let g be n(-4). Suppose 5*s - 3*s - 20 = -5*w, -g*s + 15 = -5*w. Is w bigger than 1?
True
Let w(t) = t**3 + 7*t**2 - 10*t - 7. Let b be w(-8). Is 9 less than b?
False
Let u be ((-6)/18)/(1/6). Which is greater: -7/4 or u?
-7/4
Let b = 511/4 - 128. Let n = -3 + 2. Which is smaller: n or b?
n
Let u be (7 - 7)*(-3)/12*1. Let x = 0 + 1. Which is smaller: x or u?
u
Let q(t) = t + t**2 - 5*t + 1 - 4. Let z be q(5). Suppose z*v - 2*h = 2, 3*v + 2 = -h + 5. Which is bigger: 0 or v?
v
Suppose 0 = -4*z - 3*a - 0*a - 4, 22 = z - 5*a. Suppose -2*y - 9 = 5*q, 0 = -4*q - 14 + z. Is 4 smaller than y?
False
Let p = -1/18 + 67/18. Is p > 5?
False
Let p(v) = -4*v - 6. Let r be p(-3). Which is greater: r or -1/4?
r
Let p be 11/(-33)*(-5)/((-5)/(-12)). Let q be 1/(0 + -1) - -7. Let s = q + -4. Is s less than or equal to p?
True
Let r be 24/(-20)*5*-1. Suppose -j + 4*x = -r*j + 3, j - 4*x + 9 = 0. Let f be -2*(j + (-8)/(-7)). Which is bigger: f or 0.2?
0.2
Suppose 3*f + 6 = -0. Let k be f/(-4)*6 - 4. Do k and -3 have the same value?
False
Let b = -4 - -7. Suppose -5*o = 4*t - 3*t - 28, -5*o = -5*t - 10. Let a be t/b + 1 - 1. Which is greater: -1 or a?
a
Let x be (7/(-35))/(4/5). Let w = 2 - 2. Which is bigger: w or x?
w
Suppose 4*g + 3 = -1. Are g and -4/5 nonequal?
True
Let c = 21 + -22. Which is smaller: c or -4/11?
c
Let r = -2 - 1. Let d(m) = 3*m. Let w be d(-1). Is r > w?
False
Let z(h) = 2*h - 9. Let w = 14 - 3. Let t be z(w). Suppose 5*b + t - 2 = 4*f, 5*f = -4*b - 17. Does -3 = b?
True
Let h = -43 - -11. Let o = 59/2 + h. Is o at least as big as -1?
False
Suppose 5*f - 4 = 4*i, 2*f - 4*f + 24 = 4*i. Let x = f - -5. Let d be (-3)/x*(0 - -1). Is d at least as big as 1?
False
Let m = 725 + -731.06. Let b = m - -6. Let i = b + 3.06. Which is greater: -1/4 or i?
i
Let i = 0 + 0.1. Is -2/3 at least as big as i?
False
Let b = -1317 + 22378/17. Is b <= -1?
False
Let t = 8 + -12. Let b = -0.13 + 0.13. Which is smaller: t or b?
t
Let s(t) = 3*t + 2. Let j be s(2). Is j less than 9?
True
Let d = -1 - -8. Is d less than 7?
False
Suppose 0 = 5*g + 5*p + 50, -2*p = -7*p. Let c be (-5)/(-14)*(-8)/g. Is c at least as big as -1?
True
Let g be (-4)/(((-20)/(-6))/5). Let s be g/3 - (1 - 4). Is -0.3 < s?
True
Let w = 27 + -19. Are w and 8 unequal?
False
Let o(f) = f - 4. Let c be o(3). Let s be 2/(2 + 0/(-1)). Is c at most s?
True
Let c = -1 - 0. Let w = -14 + 11. Let s be 1/((w + 2)*c). Is 0 at most s?
True
Let y = -11 - 14. Is -26 not equal to y?
True
Let f be (28/21)/((-2)/3). Which is smaller: f or 18?
f
Let q = -51 - 2. Which is smaller: -54 or q?
-54
Let q = -18.8 + -12.2. Which is smaller: q or 1/2?
q
Let m be (4/2)/((-2)/(-1)). Is m at most 1?
True
Let p = 1 - 3. Let g be 2/2*(p - -1). Which is smaller: 2 or g?
g
Let p be (-6)/(-3)*15/2. Which is bigger: p or 12?
p
Suppose 4 = -2*k + 12. Suppose -4*t = t - i + 9, -5*t = -k*i + 21. Is -1 > t?
False
Let o(i) = -i**3 + 6*i**2 - 2*i - 7. Let f be o(5). Suppose -d + 4*r = -2, -6*d + d + 10 = r. Let a be 3/d*f/6. Is 2 equal to a?
True
Let t(u) = -u**2 - 4*u + 3. Suppose -5*b - 20 = 5*o, -3*o + b + 2*b = 12. Let v be t(o). Let l be 3 + -3*(-1)/v. Which is bigger: 5 or l?
5
Let m = -4 + 3.8. Is m greater than or equal to 7?
False
Let g = 1.02 + -0.02. Let p be (0 - 9/(-1)) + -1. Let a be (-14)/p + 3/3. Which is bigger: g or a?
g
Let l(m) = m**2 + 3*m - 5. Let j be l(-5). Let y = -234 + 238. Is j at least as big as y?
True
Let n = 39/28 - 8/7. Which is smaller: n or 1?
n
Let a(h) = h**3 - 5*h**2 + 4. Let o be a(5). Suppose 0 = -2*j - 0 - o. Is 0.1 less than or equal to j?
False
Let z = -3 + 0. Let q(v) = -7*v + 1. Let n(y) = -11*y + 1. Let i(x) = 5*n(x) - 8*q(x). Let p be i(0). Is p less than or equal to z?
True
Let j = 0.034 + -0.037. Which is smaller: j or 0?
j
Let m = 173/5 - 35. Let d = -0.46 - -0.39. Which is smaller: d or m?
m
Let v = 307715/7 - 44075. Let w = -116 - v. Do w and -1 have the same value?
False
Let n = -0.8 + 0.2. Let f = n + 0.5. Let x be (2/3)/(35/(-15)). Which is greater: f or x?
f
Suppose 5*v + 40 - 11 = -2*n, 0 = -4*n - 5*v - 33. Let d be -2 - n/((-6)/3). Are d and -2 nonequal?
True
Let s(p) = p**3 - 5*p**2 - 15*p + 27. Let q be s(7). Is q greater than 18?
True
Let d(y) = -3*y - 5. Let i be d(-4). Is i at least 1/2?
True
Let r be ((-1)/21)/(1 + 0). Suppose -2*k - 3*k = -m + 25, 3*m + 5*k + 25 = 0. Which is smaller: m or r?
r
Let r = 159/28 + -52/7. Let c be (6 - 7) + (0 - -5). Let i(w) = w - 7. Let t be i(c). Which is smaller: t or r?
t
Let z = -4109 + 1524437/371. Let k = -724/3339 + z. Which is bigger: k or -1?
k
Let s = -12 + 12. Let v = 3.1 + -3. Is s >= v?
False
Let c = -22.3 - -38.6. Let k = 16 - c. Is 0.4 > k?
True
Let q = 25 + -25. Which is greater: q or -5/7?
q
Suppose -4*r = 3*m - m - 6, 3*m + 23 = 2*r. Let v(b) be the first derivative of -b**3/3 + 4*b**2 + 3*b - 1. Let t be v(9). Which is bigger: m or t?
m
Let t be (-138)/(-142) + 5/(-5). Is t bigger than -1?
True
Let n = -389/2262 + 2/377. Is n at least -14?
True
Let q(f) = -f**3 - f**2 - f - 3. Let v be q(-3). Let x be 2/3 + 294/v. Let t = 10 - x. Is t less than -6?
True
Let z = 0.11 - 0.04. Let m = z - 1.07. Which is smaller: m or -1/4?
m
Let t = 2 - 3. Let q = 6 + -3. Let v be 3/9 + (-7)/q. Is v >= t?
False
Let g(i) = i + 1. Let s be g(-5). Let v be s + (-3 + 12 - 4). Which is smaller: v or 11?
v
Suppose 3*u + 3*v = 0, -3 = 4*v + 1. Let j be u*(1 - (2 - 0)). Let o = 1 - 1. Are j and o nonequal?
True
Let v = -3 + 1. Let j = 3 - -1. Let s = 3.8 - j. Do s and v have the same value?
False
Let r(b) = -b**2 + 2*b + 2. Suppose 3*y - 9 = 2*j, j - 18 = -5*y + 2*y. Let f be r(j). Is f >= -3/7?
False
Suppose 12 = 4*m - 12. Let k be -2*1 + 18/m. Which is smaller: k or 1/16?
1/16
Let g(z) = 3 + 7*z**2 + 2 - 5*z + z**3 - 2*z**2. Let k be g(-6). Are k and -3/4 unequal?
True
Let v be 4 - 2 - 2/(-2). Suppose -v*g + 2*g = 0. Which is smaller: -2 or g?
-2
Let v = 61 - 51. Suppose 0 = -2*o - 3 - 7. Let t = o + v. Which is bigger: 4 or t?
t
Let c(m) = 2 + 2 - 3 - m. Let s be c(0). Suppose 4*i + 20 = 5*w, 2*w + i + 7 = 2. Is s less than or equal to w?
False
Let v = 0.31 + -0.51. Is v smaller than 0?
True
Let s = 494/261 + -42/29. Which is smaller: s or 1/4?
1/4
Let z be 3 + (-4)/((-96)/(-69)). Is 0 greater than or equal to z?
False
Suppose 0 = -f + v + 8, -3*f - v - 38 = -7*f. Let o be (4/f)/((-11)/(-5)). Is 0 greater than o?
False
Suppose -24 = 2*w - 4*w. Suppose -3*b + w = -7*b. Which is smaller: -3/2 or b?
b
Let f = 52448/111 - 1418/3. Do f and 1 have the same value?
False
Let s = -0.1 - 0.02. Let h = -1.12 - s. Which is greater: 1 or h?
1
Let w(b) be the second derivative of b**3/6 - b**2/2 - b. Let x be w(6). Is 4 <= x?
True
Let o = -14 - -17. Which is bigger: 4 or o?
4
Let j be 7/(-24) + 4/6. Suppose 10*g - 9 = 11*g. Let t be -2*(g/6)/(-3). Which is smaller: t or j?
t
Let z(j) = -j - 8. Let r be z(-6). Let p(y) = -y**2 + 3*y + 2. Let f be p(3). Let x = r + f. Is 2/9 <= x?
False
Let z = 9 + -5. Let s be -1*(-1 + z)/3. Which is bigger: s or -6/17?
-6/17
Let r be 4 + (0 - (-20)/(-5)). Which is smaller: r or -2?
-2
Let j be ((-14)/(-5))/(5/(-175)*-7). Is 0 greater than or equal to j?
False
Let o = 3.4 + 0.6. Let a = 7 - o. Is a equal to 0.1?
False
Let i = 5.3 + 1.7. Let b = i + -6. Let g = -43/2 - -21. Which is smaller: b or g?
g
Let r = -23 - -7. Let w be (-76)/4 + -1 + 3. Is w at least as big as r?
False
Let i(u) = 2*u**2. Let m be i(-1). Suppose -4*a + m = 6. Which is bigger: 0 or 