 8 = -h. Is h at least as big as o?
True
Let u be 5 - ((1 - 1) + 0). Suppose -7*o + 12*o = 20. Which is smaller: u or o?
o
Suppose 0*t - 20 = -5*t. Suppose 0 = 5*n - 2*i - 2*i - 3, -10 = t*n + 3*i. Let u be (0 - 0)/(3/3). Which is smaller: n or u?
n
Let c = -4/13 + -1/39. Do c and 50 have the same value?
False
Suppose 3*u - 3*i + 0*i - 21 = 0, 0 = 5*u + 3*i - 11. Suppose 0 = h - 2*h - u. Which is smaller: -5 or h?
-5
Let x be 1871/(-30) + 1/6. Let v = x + 62. Which is smaller: v or 0.2?
v
Let b(g) = -4*g + 5. Let n be b(0). Is 7 at least as big as n?
True
Let p(i) = 2*i - 5. Let b be p(5). Suppose -3*t + 1 = -h - 2, 4*t + 15 = -b*h. Let y be (-6 - h)/3 + 5. Do y and 3 have different values?
True
Let k be 2/(-3)*9/2*1. Is -16/7 at least as big as k?
True
Let n be 24/(-42) + (1 - 1). Which is smaller: n or 0?
n
Let m = -8089/31 + 261. Suppose 0 = -3*p + 3. Do p and m have different values?
True
Let m = -9 + 13. Let j = -3 + m. Let z = j + 1. Is z greater than 0.2?
True
Let g be (16/(-5))/((-2)/5). Let l = g - 9. Suppose -5*w + 3*w - 6 = 2*i, 0 = -2*w - 2. Are l and i unequal?
True
Let h = 1 + 5. Suppose 0*t = -5*t + 5. Are h and t equal?
False
Let n(w) = w**3 - 8*w**2 + 8*w - 7. Let c be 28/4*(0 - -1). Let x be n(c). Suppose 5*a = -x*a. Which is bigger: a or 5/6?
5/6
Suppose -3*f + 3 = 2*f - 4*h, -3*h = -2*f - 3. Suppose 2*v = -f*v + 20. Suppose -b = -v*b - 6. Which is smaller: b or -1?
b
Suppose -u + 5*c = 3*u + 12, 0 = -4*u + 2*c. Which is greater: -2 or u?
u
Let s be (228/72)/((-15)/(-18)). Which is smaller: s or 4?
s
Suppose -c = 4*w - 5*w + 4, 0 = -3*c - w - 8. Is c smaller than -4?
False
Let x = 3 - 2. Let s = 0.113 + -3.963. Let k = -0.15 + s. Which is smaller: x or k?
k
Suppose -i = -3*i + 34. Suppose 3*g - 3*c = -2*g + 12, 2*c = -5*g + i. Let z(a) = a**3 - a**2 - 4*a - 1. Let v be z(g). Is v greater than or equal to 5?
True
Let w = 5 - 5. Are w and -2/5 equal?
False
Let l = -2 - -0.3. Is 0 equal to l?
False
Let k be 4/5 + (-6)/(-15). Let s = 4/3 - k. Are 1 and s equal?
False
Let q = 3/5 + -17/20. Let j = 2 + 3. Which is smaller: q or j?
q
Let o be (3/9)/(1/15). Suppose o*a = -0*a + 400. Let n be (-2)/7 + a/182. Are n and 0 equal?
False
Let o(k) = 2*k - 8. Let b be o(6). Let n = -5 + b. Let d be 1/(2 + (-14)/6). Is n at most d?
False
Let q = -2.79 - 0.11. Let j = q + 3. Is 3 >= j?
True
Let k = -15 + 2. Is -11 less than k?
False
Suppose 39 = -5*l + 2*t + 13, -t = 2. Let b be (1/(-8))/(l/(-4)). Is 1 at least as big as b?
True
Suppose 4*k = -3*w + 5*w, 2*w - 3 = k. Suppose z = -w*g + 1, -z + g + 1 = -2*g. Is 0 bigger than z?
False
Let g = -35 + 39. Which is greater: g or -0.3?
g
Let m be (-4)/(-14) + 6/(378/1179). Is m at most 19?
True
Let z = -0.03 - -3.03. Let k = z + -1. Which is smaller: k or -0.1?
-0.1
Suppose -5*l = -0*l. Let m = 0.09 - 3.09. Is l at most m?
False
Let i = -276/5 + 55. Let s(b) = b**3 + 6*b**2 + b + 6. Let a be s(-6). Is a at most as big as i?
False
Let m = 8 + -2. Suppose -w = 2*w + 21. Let z = m + w. Is -2 equal to z?
False
Let g be 3 - 0 - (2 + -1). Let o = 2 - g. Let n = -3/5 + 11/10. Does n = o?
False
Suppose -2*a + 50 = -4*n - 5*a, -2*n = -3*a + 16. Is n not equal to -43/4?
True
Suppose -2*g + 5 = 3*r, -g = 7*r - 3*r. Let u be r/(-1) - 5/2. Which is greater: 0 or u?
0
Let z = 27 + -57/2. Suppose -31 = -3*o - 5*i, 0 = -8*o + 10*o - 5*i + 21. Which is smaller: o or z?
z
Let r be 1*15/(-9) - 1. Let h = r + 46/15. Do h and 5 have the same value?
False
Suppose 0 = 2*b - 5*f + 145, -4*b = 5*f + 366 - 31. Are b and -80 unequal?
False
Let z(m) = -m**3 + 8*m**2 + 21*m - 11. Let c be z(10). Let q be (-1 - c)/(7 + -9). Is 1/4 at least as big as q?
True
Let y(s) = -7*s + 4*s**2 - 6 + 4*s**2 - 9*s**2. Let i be y(-6). Let w(m) = m - 1. Let r be w(i). Which is bigger: 0 or r?
0
Suppose 0 = 5*r + 2*g - 4*g - 12, 0 = 4*g + 4. Suppose -j + 3*j = r. Let k(w) = -2*w**3 + 2*w**2 - w. Let u be k(j). Which is greater: 2/15 or u?
2/15
Let u be (4/(-6))/((-6)/9). Suppose 0 = -o + 2*o. Is u != o?
True
Let s = 445/24 + -56/3. Suppose 3 = -5*c + 8. Which is bigger: s or c?
c
Suppose -2*m = 2*y + 36, 2*m + 19 = -y - 17. Let x = -22 - m. Is -4 < x?
False
Let b = -32 + 35. Which is greater: b or -2.1?
b
Let t(v) = -v - 2. Let c be t(-3). Let g = c - 0. Let x be (-3)/3*(0 + g). Is 1/3 smaller than x?
False
Let o be 4/14 - (-34)/(-70). Let l(c) = -c**3 + 8*c**2 + 9*c - 1. Let u be l(9). Is u < o?
True
Let c(n) = n**3 + 3*n**2 - 6*n - 4. Let y be c(-5). Let s be 4/14 - y/(-231). Which is bigger: -1 or s?
s
Let h be (-4 - (3 + -6)) + 2. Let b = 35/44 + 16/11. Is b greater than or equal to h?
True
Suppose 5 = y, -y - 15 = -5*d - 0*y. Suppose -2*f - 176 = -d*l + 128, 3*f = 3*l - 231. Let p = 223/3 - l. Which is smaller: p or 0.1?
p
Let v(n) = n**3 - 7*n**2 - 8*n + 2. Let u be v(8). Let h = 0 + u. Is h greater than or equal to 0?
True
Let z be (-1)/(-2*(-3)/(-12)). Suppose 0 = r + x + x - 8, -2*r + z = -3*x. Suppose -4 = r*b + 8. Which is greater: -5/3 or b?
-5/3
Let z(y) = y**2 - 6*y + 5. Let s be z(5). Let u = 55 + -219/4. Is s bigger than u?
False
Let v(p) = 3*p**2 + p - 2*p**2 + 2*p - 9*p. Let o be v(3). Let a be 15/o + (-3)/9. Is a <= -1?
True
Let w = 145 - 144. Let t = -120 + 1322/11. Which is greater: w or t?
w
Suppose -4*j = -j + n - 101, -2*n = 2*j - 70. Suppose 2*d + 4 = 2*c, 0*c + 4*c - j = -d. Is c greater than 7?
False
Let r = 30 - 27. Let h be (1*-6)/(-16 - r). Is 1 at least as big as h?
True
Let b(a) = 2*a + 15. Let f be b(-8). Let k = -47/135 + 4/27. Is k greater than f?
True
Let c = 95/77 - 8/7. Are c and -1 unequal?
True
Suppose -3 = -2*c + 29. Let t = -33/2 + c. Let k = -0.09 - -0.1. Is t greater than or equal to k?
False
Let s be ((-5)/20)/((-36)/32). Which is greater: s or -0.06?
s
Let q = -9 - -6. Let n(k) = 3*k**3 + 4*k**2 + 6*k. Let b(u) = 4*u**3 + 4*u**2 + 7*u - 1. Let a(v) = 2*b(v) - 3*n(v). Let d be a(-2). Which is smaller: q or d?
q
Let x be (2 - 0) + -2 + 1. Suppose 4*v = -3*y - 59, -3*y = -3*v + 32 - 8. Let l = 27/2 + y. Which is smaller: l or x?
l
Let s(a) = -a**3 - 5*a**2 - a + 3. Let i be s(-5). Let v = -5 + i. Suppose -v*g = -8*g - 5. Which is smaller: 2/7 or g?
g
Let v(r) be the second derivative of 2/3*r**3 + 0 + 1/12*r**4 + 2*r + 3/2*r**2. Let a be v(-4). Is a smaller than 2/5?
False
Suppose 8 = 5*o - 7. Suppose 4*w = -o*s - 3, -2*s - 2 = 2*w + w. Which is smaller: -4/17 or w?
-4/17
Let u = 2.5 + -2.45. Is u >= 2/5?
False
Let o = 3/37 + 22/185. Is o > -2/3?
True
Let j = -8403457/114 + 73714. Let x = 2/57 + j. Which is greater: -4 or x?
x
Let y = 2.4 - -2.3. Let i = y + -5. Is i > 0.1?
False
Let r(y) = -21*y**3 - 2*y**2 + 2*y + 3. Let o be r(-1). Is o bigger than 19?
True
Let m = -3.97 - 0.03. Let f = m - -6. Let q = f - 2.2. Is q less than 0?
True
Suppose 4*c - z = 5*c + 12, 0 = -3*c - 2*z - 37. Let a = -13 - c. Which is smaller: -1/3 or a?
-1/3
Let d = 59.9 + -60. Is d at least as big as -1/28?
False
Let u = 9.29 + -0.29. Let c = 9.1 - u. Which is greater: c or -0.05?
c
Suppose 0 = 15*s - 461 - 1519. Is 131 at most as big as s?
True
Let y be ((-50)/(-30))/((-10)/(-6)). Is -4/13 > y?
False
Let i be (-2)/((28/10 + -2)/(-2)). Which is smaller: i or 3?
3
Let a(b) = b**2 + 7*b - 11. Let p be a(-8). Let x = -1.07 - -0.07. Which is smaller: p or x?
p
Let d = 26/27 + -8/27. Is d >= -1/36?
True
Let c = 88 + -93. Let d = -1 + 2. Is d < c?
False
Let y be 3/(-24)*4/(-3). Is 0 < y?
True
Let q(j) = j**3 + j**2 - 4. Let v be q(0). Are -6 and v equal?
False
Let z be (-1810)/(-4305) - (2 - 11/7). Are z and 0 nonequal?
True
Let s be (-1130)/285 + 4/1. Is 1 <= s?
False
Let k(w) = -w**2 + 3*w - 1. Let m be k(2). Let d be (-10)/4 - (-2)/4. Let l be 1*1/d*0. Is l at most m?
True
Suppose 0 = -4*g - 26 - 226. Which is greater: -64 or g?
g
Let q(n) = -n**3 + 5*n**2 - 1. Let p be q(5). Let k be (1 + -2)*1/(3 + -4). Which is smaller: p or k?
p
Suppose y - 3*y - 20 = 0. Let u be 22/144 - y/45. Is -1 > u?
False
Suppose 3*z = -t - 103, -3*z + z + t - 72 = 0. Let m = z + 351/10. Is -1 at least as big as m?
False
Let f = -4 - -7. Let b = -142/3 - -48. Is b at least f?
False
Let k = -6 - -9. Let z be -1*(-4)/(-1 - k). Is 1 >= z?
True
Let o = 1.6 - 1.6. Which is smaller: -17 or o?
-17
Let m = 4 + -1. Suppose -f = -m*f. Let i be (-1)/1 + 1 + 