et y = 10.1 + i. Which is smaller: y or 1?
y
Suppose -20 = -3*l + 4*z, 2*z = 4*l - 0 - 20. Is l equal to -5?
False
Suppose 2*y = -2*f + 1 - 61, -y = -f + 20. Which is greater: y or -23?
-23
Let q = -1.76 - 0.64. Which is bigger: q or 1?
1
Suppose -3*o = -4*o. Is -0.4 less than or equal to o?
True
Let t = -119.3 - -114. Let v = 1.3 + t. Which is bigger: v or -0.2?
-0.2
Suppose 5*j - 15 = -0. Suppose -j*k = -k + 4. Let w be -2*(7/k - -2). Are w and 3 equal?
True
Suppose 10 = -2*q, -7 = 5*c - 3*q + 8. Is c at most as big as -6?
True
Let b be (-9)/3 - 15/38*-8. Which is smaller: -1 or b?
-1
Let l be 3/2*(-36)/(-675). Which is smaller: -1 or l?
-1
Let h be (8 + -9)/(2/4). Is h <= -2?
True
Let q = 2/271 - -799/1897. Which is greater: q or 0?
q
Let h = -4/13 + 72/65. Let k = 0.2 + 0.8. Which is smaller: k or h?
h
Let o(a) = a**3 + 3*a**2 + a - 2. Let v be o(-3). Let q(c) = c**3 + 4*c**2 - 4*c + 6. Let t be q(v). Let h be t + (-6)/8 + 0. Are h and 3 non-equal?
True
Suppose -g - 3 = -6, -2*m = -g - 3. Suppose -2*u + 3*c + 12 = 0, 0*u - 4*c - 16 = 3*u. Suppose -m*o - 6 = u, -o + 4 - 2 = 4*d. Which is greater: d or -2/9?
d
Let t = 0.57 - 0.5. Let z = t + -0.04. Let a = z - 2.03. Are a and -0.1 non-equal?
True
Let z be (-8)/10*(-30)/12. Suppose -4*x - 2*a + 8 = a, 5*x + z*a - 10 = 0. Which is smaller: -2/11 or x?
-2/11
Let d(b) = b**3 + 9*b**2 + 9*b + 12. Let s be d(-8). Let j = 6 - s. Let p be j + 3*2/(-3). Is 1/6 equal to p?
False
Let w = -177/5 - -36. Is 0.1 greater than or equal to w?
False
Let z be 18/(-8)*(-4)/(-174). Which is bigger: 0 or z?
0
Let y be 2*(5 + -1 - (-6)/(-2)). Let g be (-1)/(-4) + (-262)/(-8). Suppose -3*o - 6 = 3*v, -g = -3*v + 5*o + 1. Which is greater: v or y?
v
Let y be 21/55 + 4/(-22). Let a = -29/108 + 1/54. Do a and y have the same value?
False
Let w be (0 - -1)/(-1) + -1. Suppose 0*c = -c + 4. Suppose -c*y - 12 = -0*y. Which is smaller: w or y?
y
Let q be (1/3)/((-17)/(-510)). Which is bigger: 11 or q?
11
Let r(i) be the third derivative of -1/30*i**5 + 0 - i**2 + 1/6*i**3 + 0*i - 1/6*i**4 + 1/120*i**6. Let u be r(3). Which is smaller: -4 or u?
-4
Let b(z) = -z**3 + z - 2. Let s be b(0). Let m(g) = -g**2 - g + 1. Let f be m(s). Is 0 < f?
False
Let c = 32 - 29. Let b(l) = 3*l**3 - 1. Let d be b(1). Which is greater: d or c?
c
Let v = -18 + 0. Suppose -5 = 5*h - 15. Let f be h/2 + v/21. Which is smaller: -1 or f?
-1
Suppose -s = -3*s. Suppose -5*d + d + 4 = s. Let f be (-135)/243 - (-1 + 4/6). Which is greater: d or f?
d
Let w = -4.9 - -5. Which is greater: -2/5 or w?
w
Let k = 80 - 78. Is k greater than or equal to -3?
True
Let w(x) = -x - 2. Let b(g) = g + 15. Let s be b(-9). Let y be w(s). Let t be 5/(-25) + y/10. Which is smaller: -2/15 or t?
t
Let l be ((-9)/27)/((-2)/(-6)). Is -3/8 >= l?
True
Let n = 0.2 + 0.8. Let m be ((-6)/(-4))/(2/4). Let v be 1/3*m/(-2). Is v smaller than n?
True
Let z = -0.5 + -0.5. Let w = 0.4 + z. Let i = -1 - w. Which is smaller: -2/3 or i?
-2/3
Let q be ((-2)/5)/(2/10). Let y be 8 + 0*1/q. Let d = -9 + y. Which is smaller: -1/8 or d?
d
Let u be (-4)/10 + (-65)/(-175). Which is smaller: u or -1?
-1
Suppose 0 = -15*v + v. Which is smaller: v or -6.8?
-6.8
Let q(n) = -n**2 + 28. Let g be q(0). Let u = 55/2 - g. Is 0 bigger than u?
True
Suppose 19 - 24 = 5*q. Is -2 greater than q?
False
Let l(j) = -j**3 + 6*j**2 - 8. Let c be l(6). Are c and -8 equal?
True
Let c = 0.6 + -3.6. Let h = 7 + c. Let k = 6 - h. Which is bigger: k or -0.1?
k
Let f = 128 + -642/5. Let v = 55 - 161/3. Which is bigger: f or v?
v
Let f = 0.95 + 0.05. Is f greater than or equal to 14?
False
Suppose 0 = -0*q - 5*q + 4*r + 7, 2*r + 1 = 5*q. Let a be ((-1)/(-18))/(q/4). Is 0 greater than or equal to a?
True
Let k(o) = -o - 8. Let t be k(-7). Let s be (t/(-3) - 0)*9. Let y be -2*s/6 - -1. Is y < 2/3?
True
Let m = 640/153 - 39/17. Let n = m + -5/3. Which is smaller: -5 or n?
-5
Suppose -4*v + 11 = -z, 2*z - 1 - 16 = -5*v. Is -3 at least as big as v?
False
Let k be -4*(3/2 - 0). Let b = -4 - k. Let z = -310 + 1247/4. Do z and b have the same value?
False
Let o = -8 + 10. Which is greater: -3 or o?
o
Let j = -32 + 0. Is j <= -31?
True
Let a = 145 + -144. Let p be 40/(-6)*12/(-10). Suppose -2*v - p = -6*v. Which is bigger: v or a?
v
Let c = -158 - -162. Which is smaller: c or 0.03?
0.03
Let w(d) = -d**2 - 9*d - 5. Let h be w(-2). Let y be ((-9)/(-2))/(2/4). Does y = h?
True
Let x = -15 - -11. Let d be 1 - -4*(-2)/4. Are x and d non-equal?
True
Let x = 2 + -56. Let g = -215/4 - x. Let k(y) = y**2 + 5*y - 7. Let f be k(-6). Which is smaller: g or f?
f
Suppose 2*o - 21 = r, o - 60 = -4*o + 4*r. Let l = 5 - o. Are -3 and l equal?
True
Let v = 52 - 56. Let x = -0.7 - 0.3. Is x > v?
True
Suppose -5*b + 3 = -3*b - u, 2*u = 6. Let j = -10 - -9.9. Which is greater: j or b?
b
Suppose 33 = -b - 2*b. Is -11 less than b?
False
Let v be 138/2*8/12. Let c = v + -231/5. Which is smaller: 1 or c?
c
Suppose -a + 2*x - 8 = -2*a, 16 = -3*a + 4*x. Suppose -k + a*k + 5 = 0. Is k less than 5?
False
Suppose 5*q = 2*z - 39, -5*z + 2*q = -80 - 70. Suppose -5*y + z = -9*y. Let m be (-4)/8 - 7/y. Is m greater than -1?
True
Suppose 0 = -6*a + 3*a. Let n be 0/(-1)*(-1 - a). Let z = -76 - -307/4. Do n and z have the same value?
False
Let v be (-42)/4*(-8)/6. Let k = 41/3 - v. Is 0 greater than or equal to k?
True
Let u(a) = a**3 - a**2 + 8*a + 9. Let n be u(4). Is 88 bigger than n?
False
Let x be 2/8 + (-116)/16. Which is greater: -6 or x?
-6
Let r be (-1 + 2)/((-18)/(-36)). Suppose -11 + 9 = -r*f. Which is greater: f or 2/25?
f
Let h(p) = -p**2 + p + 2. Let t be h(-1). Is t >= 2/19?
False
Let b be (-7)/(-12) - (-1)/(-3). Let i = 0.07 + 0.13. Which is bigger: b or i?
b
Let l be ((-3)/(-28))/(10/(-80)). Let q = l - -4/7. Which is bigger: 5 or q?
5
Suppose 19 = v - 5*s, s + 1 = 3*v - 0*v. Let d = v - -9. Do d and 9 have the same value?
False
Suppose -1 = -p + 1. Suppose -3*q + 20 = p*q. Do 1 and q have different values?
True
Let a be 6/21 + 32/21. Let j = -8/7 + a. Which is smaller: j or 1?
j
Let v(h) = 5 + 0 + 2*h - h**2 - 1. Let a be v(3). Which is greater: 0 or a?
a
Let p = -3 - -7. Suppose 0 = -p*c + 6*c - 4. Suppose -3*s + 8 - c = 0. Is 3 at most as big as s?
False
Let p = -12 - -13. Let r be -1 + ((-3)/p)/(-3). Let m = -0.8 - -1. Is r >= m?
False
Let t = 1153 + -1957. Let g = 28142/35 + t. Which is greater: g or 0?
g
Let l be 1/((-5)/4)*-5. Suppose 0 = l*s - s. Is s < -1?
False
Let y(k) = -k**3 - 2*k**2 + 2*k + 2. Let g be y(-2). Let w = g - -6. Suppose 6 = 2*t + 3*s - 5*s, -w*t + 8 = -2*s. Is t bigger than -2/5?
True
Suppose 2*t = 4*p, -4*p - 3*t = p + 11. Which is bigger: p or 1/12?
1/12
Let x = 9.938 + 0.062. Which is smaller: x or -7?
-7
Suppose -15 = -9*a + 4*a. Is a != 19/7?
True
Let t(m) = -m**2 + 5*m + 3. Let u be t(5). Which is smaller: u or -1?
-1
Suppose -3*g = 4*i - 10, -4*i + 4*g = -g + 6. Let v be i/1 - 7 - -2. Let w be (-1 + 0)/(14/v). Which is bigger: w or 1?
1
Let u(z) = z + 17. Suppose 5*w - 4*d - 41 = -123, w + 20 = -d. Let r be u(w). Which is greater: -7/4 or r?
r
Let y be (-9)/(-6) + 1/(-2). Let r be (-38)/(-14) - 2/(-7). Let w be ((-1)/r)/(y/3). Which is greater: w or 1/3?
1/3
Suppose 13 = 3*y + 4*u - 24, 2*y - 30 = -4*u. Let q be (-1 - 11)*2/(-4). Which is greater: q or y?
y
Let o = -96 + 385/4. Suppose -1 = -2*a - 3. Let l = -1 - a. Which is greater: o or l?
o
Let y = -5.4 - -6. Let b = 0.6 - y. Which is smaller: -4 or b?
-4
Let n = -323/600 - -11/24. Let i = -148/71 + 5909/3550. Let o = i + n. Are -2 and o non-equal?
True
Let t(i) = -i**3 - 8*i**2 + 9*i + 1. Let d be t(-9). Let c = 0.3 - -0.1. Are d and c equal?
False
Suppose -w - 36 = 2*w - 2*p, 4*w = 4*p - 52. Let h be 45/w*2/3. Which is greater: h or -3/2?
-3/2
Suppose 4*d + 315 = 9*d. Let a be 144/d + (-4)/14. Is 3 greater than a?
True
Let i = -215/616 + -2/77. Let l(o) = 0*o + o + 1 + 3 - 5. Let t be l(1). Is t less than or equal to i?
False
Suppose 10 - 1 = -3*f. Suppose 4*g = -4 - 12. Is f at most g?
False
Suppose 2*s = b - 1 - 1, 0 = -2*s - 6. Suppose 0*m = -m - 2. Is m smaller than b?
False
Let h = 2 + -2. Let d = 0.21 - 0.26. Is h > d?
True
Let i = 2 + -2. Let y = 0.1 - i. Which is smaller: -2 or y?
-2
Let s be ((-12)/(-20))/((-84)/(-15)). Which is greater: 1 or s?
1
Let 