 3*o + 1. Let f be n(2). Let c(q) = -q**2 + q - 2. Let x be c(0). Which is bigger: f or x?
f
Suppose 0 = 5*t - 8 - 2. Let s be (2*1)/(-3 + t). Suppose 0 = 5*q - 4*i + 27, -q = -i - 2*i + 12. Is s at most as big as q?
False
Let v be (-2 - 0) + (-78)/(-38). Which is greater: v or -1?
v
Suppose 3*z + 12 = -u - u, 0 = u + z + 6. Let p = 7 + u. Let b be p/5 - 8/(-35). Is -0.1 smaller than b?
True
Suppose -34*u = -32*u. Which is bigger: u or 2/33?
2/33
Suppose -5*j = 2*d + 15, -3*j + 4*d + 6 = -11. Let n = 140 + -3498/25. Which is bigger: n or j?
n
Let j = 109 + -109. Suppose 3*y + 3*c + 6 = 0, -8 = y + 5*c + 6. Is j <= y?
True
Let u = -1 - -1. Suppose 3*r + 12 = 9. Which is smaller: r or u?
r
Suppose 4*x = 2*a + 8, 0*a + 6 = 3*x - a. Is 3 > x?
True
Let n = -28 - -21. Let j be n/28*(-1 - -1). Suppose -4*c = -6*c - 2. Which is smaller: j or c?
c
Let q = -21 + 35. Is q less than or equal to 14?
True
Suppose 0 = -3*z + 4*z. Is 1/20 greater than or equal to z?
True
Suppose 3*f = -2*f - 40. Which is smaller: -5 or f?
f
Suppose l - 3*l + 8 = 0. Suppose -2*q = -l*q. Let i be 6/(-4)*(-4)/51. Is q at most as big as i?
True
Let o = -16 + 16. Which is smaller: 3/23 or o?
o
Let h be 4*2/(-6*2). Is h at least as big as -1.6?
True
Let s be ((-26)/8)/(-7 - -8). Which is bigger: s or -3?
-3
Let y = -50 + 47. Suppose 0 = 6*u - 9*u. Which is bigger: u or y?
u
Let w = -120 + 485/4. Is -1/2 greater than or equal to w?
False
Suppose -1 = -s + 2*s. Is s at most as big as 3?
True
Let i be -1*(-4)/(-6)*-9. Suppose -2*o - i = -5*o. Let g be (-24)/(-14) - o/(-7). Is g at most 1?
False
Suppose 0*x = -4*i - x + 4, 5*x - 20 = 0. Which is smaller: i or 1/23?
i
Let f = -0.6 + 0.7. Let m = 0.1 + f. Is m at least -2?
True
Let s(m) = -m**3 + 11*m**2 + 11*m + 16. Let l be s(12). Suppose h + 3*h = l. Is -1/3 greater than h?
False
Let q(s) = s**2 + s - 1. Let v be q(1). Which is smaller: -3/14 or v?
-3/14
Let w = 4 - 1. Suppose -4*f - w = -f. Is -3/4 < f?
False
Let s(p) = p - 1. Let w(n) = 4*n + 4. Let m(a) = -3*s(a) - w(a). Let v be m(-1). Is v greater than 7?
False
Let m(g) = 3*g - 46. Let h be m(15). Which is bigger: h or -4/39?
-4/39
Let a be (1 + -4 + 1)*(-23)/(-2). Which is greater: -0.1 or a?
-0.1
Let q = 1 + 1. Suppose 4*n - 16 = -0*n. Suppose -q*p = -d + 8, -d + n = -0*d - p. Which is smaller: d or 1?
d
Let j = 90/107 + -18426/535. Let a = j - -34. Which is smaller: a or -1?
-1
Let z = -10.8 - -14. Let y = -3 + z. Which is greater: y or 3?
3
Suppose 4*n = 2*f - 30, 3*n - 5*n + 53 = 3*f. Which is bigger: 16 or f?
f
Let t = 17 + -17. Which is greater: -2 or t?
t
Suppose 4*c + 4*o = 3*c - 24, c + 2*o = -20. Let n = c - -14. Let a be 8/20 - 4/5. Is a at most as big as n?
False
Let x(i) be the first derivative of i**4/4 - i**3/3 + 2*i - 2. Let k be x(3). Let l be 2/10 + (-24)/k. Which is smaller: -2/5 or l?
l
Suppose -3*r + 4*r = -49. Let i = -35 - r. Which is bigger: 15 or i?
15
Let b(o) = o**2 + 11*o - 4. Let s be b(-11). Which is bigger: -25/8 or s?
-25/8
Let h(g) = g + 1. Let z = 5 + -6. Let k be h(z). Do -2/11 and k have the same value?
False
Let n be (3/(-2))/((-56)/108). Let a = 22/7 - n. Let v be (4/15)/((-12)/10). Are a and v equal?
False
Let y = 9/5 - 59/30. Let j(n) = -n**3 - 4*n**2 + 5*n + 2. Let v be j(-5). Let t be -1 + -2 + (v - 0). Which is bigger: t or y?
y
Let c = -2 + -3. Do -5 and c have the same value?
True
Suppose 5*o - 6*o + 14 = 0. Let a be 72/o + -3 - 1. Is a <= 2?
True
Suppose -5*u + 4 = -6. Let h be 3/24*17 - u. Which is smaller: h or 1?
h
Suppose 9 = -4*k + 65. Suppose 4*d - 2*w - 3*w = k, 5*w + 10 = 0. Let i be d/18 + 2/(-4). Is i > -1?
True
Let n be (-2)/(-1*(-2)/(-1)). Let j be -1*(2 + (-1)/n). Let y be j - (72/15)/(-4). Which is smaller: 1 or y?
y
Let u = 36 - 35.87. Which is smaller: u or -1?
-1
Let s be (-54)/15*(-3)/(-45). Are 1 and s nonequal?
True
Let v = 0.3 - 0.4. Let n = 0.07 + -7.07. Let s = 7 + n. Is v at most as big as s?
True
Let k(f) = -f**3 - 7*f**2 - 8*f - 11. Let n be k(-6). Let x = -9/2 - -6. Is n less than or equal to x?
True
Let o(k) = -k**3 - 30*k**2 - k - 32. Let q be o(-30). Which is smaller: q or -3/2?
q
Let h = -78 - -78.1. Which is bigger: -10/3 or h?
h
Let i be -1 + 0 + 0/(-1). Let k be ((-2)/8)/(i/(-3)). Is -1 > k?
False
Suppose -4*c + 298 - 1606 = -3*u, -644 = 2*c - 4*u. Let x = c + 1327/4. Is 2 < x?
False
Suppose -4*h - z = -2 - 5, 0 = -4*z - 4. Let m be (9/(-36))/(h/8). Suppose 2*n = n - 1. Is n less than or equal to m?
True
Suppose 3*q - 12 + 3 = -3*w, 3*q - 4*w - 30 = 0. Let t(h) = -h**3 + 5*h**2 + 5*h + 5. Let l be t(q). Is l less than or equal to -1?
True
Let d(g) = g - 2. Let z be d(-2). Let r be (-6)/1 + (z - -3). Let s(n) = n**2 + 6*n - 7. Let b be s(r). Is b at most 1/7?
True
Let h be (1 - 19/17)/2. Suppose 2*q = -0*d - 3*d + 3, 2*d - 1 = -q. Is d <= h?
True
Let q = -32 - -31.8. Which is bigger: -25 or q?
q
Let c = -85 - -83. Are -3/8 and c equal?
False
Let c be (4/(-16))/(7/64). Does c = -1?
False
Let r(b) = 2*b - 7. Let q(g) = -6*g + 21. Let c(j) = 3*q(j) + 8*r(j). Let h be c(5). Which is bigger: -4 or h?
h
Suppose 3*c = -2*c + 10. Let u be ((-105)/(-14) + -7)*(-1 + 2). Which is smaller: c or u?
u
Let i be 5/(-10) - (-22)/(-4). Let j be (-8)/i*84/64. Which is smaller: 3 or j?
j
Suppose -2 = -v - 1. Let x = 1448836/51015 - 2/10203. Let o = x - 28. Which is smaller: o or v?
o
Let r(l) be the third derivative of -1/60*l**5 + 0*l + 1/12*l**4 + 3*l**2 + 0*l**3 + 0. Let w be r(2). Which is smaller: w or 2/13?
w
Let o = 29.8 + -30. Is 6 equal to o?
False
Suppose 65 + 232 = 5*l + 3*o, -185 = -3*l + 5*o. Are l and 60 equal?
True
Suppose -2*y - 82 = -80. Which is bigger: y or -1/169?
-1/169
Let f = 18 + -18. Suppose f = -2*q - 0 + 2. Is q less than 0?
False
Suppose -14*l = -11*l - 27. Let i = l + -19. Are -10 and i unequal?
False
Let u = 2.1 + -2.1. Do -5 and u have different values?
True
Let d be (-26)/(-4) + 7/14. Do 7 and d have the same value?
True
Let h be ((-2)/(-6))/((-1)/(-3)). Let d be 153 - (-1 + -1) - 1. Let m be 4/14 - 72/d. Which is smaller: h or m?
m
Let l(g) = g**2 + 5*g + 6. Let r be l(-3). Is -55 >= r?
False
Let n(x) = 23*x - 3 - 20*x + 1. Let q be n(-3). Do q and -11 have the same value?
True
Let w be (-689)/(-572) - (5/(-4) + 1). Is w <= 1?
False
Suppose -2*d = d. Let a = -1.12 - -1. Is d greater than a?
True
Let w be (-66)/(-84) - 4/14. Is 3 greater than or equal to w?
True
Let v = 25 - 11. Let r = v + -15. Are r and 1.6 non-equal?
True
Let v = -18 + 1. Are -17 and v nonequal?
False
Let u be 37/((4 - 2) + -3). Is u <= -36?
True
Let c = -0.35 + -2.62. Let p = c - 0.03. Let z = -3.3 - p. Is z at most as big as -1?
False
Let r = -36 - -37. Which is bigger: r or -15?
r
Let z be (-69)/2 - (-1)/(-2). Let j be 10/z - (-4)/14. Which is smaller: 3 or j?
j
Let f be 21/(-14)*3/(-18). Suppose -3*m - 3*q = -15, -2*q = 3*q - 10. Suppose -m*a = -4*v - 17 + 4, 0 = v - 2*a + 7. Which is smaller: f or v?
v
Suppose 0 = 2*t - 6*t. Suppose t = -5*w - 2 + 7. Is 0 <= w?
True
Let i be (-2 - (-2)/2)*-1. Suppose w = -5*m - 2, -4*w = -3*w + 2*m + 2. Let y be w - -2 - (-2 + 1). Is i at most as big as y?
True
Suppose -5 = 4*k - 3*k. Suppose 0 = -4*a + a - 15. Is a < k?
False
Let b(l) = l**3 + 8*l**2 + 5*l - 1. Let f be b(-7). Is 14 smaller than f?
False
Let k = -27.73 - -23.9. Let l = -0.17 + k. Is 2 greater than or equal to l?
True
Suppose 0*n = 3*n. Suppose 5*y - 2*y - 3 = n. Let o be y + -2*33/48. Which is greater: -1 or o?
o
Suppose -13 = i - 2*z, z - 11 = 4*i + 13. Let c be (-4)/10*i/1. Which is bigger: c or 0?
c
Let h be -3*(0 - 4/6). Let q = -332 + 601/2. Let u = q + 32. Which is greater: u or h?
h
Let p be (0 + 3 + 1)/1. Are 5 and p unequal?
True
Let r = 6 + -9. Let n be -3 + (r - -3) + 5. Let g(l) = -l**3 + 3*l**2 - 2*l + 3. Let o be g(n). Which is smaller: o or 5?
o
Let m = -3 + 2.9. Let o = m - 6.9. Let u = 7 + o. Which is bigger: 2/5 or u?
2/5
Let n(b) = b**2 - b - 24. Let z be n(0). Let f be 22/z - (-4)/6. Let u(m) = -m**3 + 7*m**2 - m + 7. Let v be u(7). Which is smaller: v or f?
f
Suppose 4*h + 8 = 4*z - 8, -5*h = -z + 16. Let j = -1 + z. Is j greater than or equal to 1/11?
False
Let i be -3 + 6/(4 - 2). Are i and -1 equal?
False
Let g be (-3 + 2)*(2 + -13). Suppose d = 4*p + p - g, -2*d = -5*p + 7. Suppose 4*