 = 3 + x. Which is bigger: v or -1/3?
v
Suppose -14 - 1 = 3*a. Let r be ((-1)/(-2))/(1/(-2)). Which is bigger: r or a?
r
Let n = 29 + -47. Let r be (6/n)/(-3 + 1). Which is bigger: r or 1?
1
Let q = 398 + -400. Let f = 11/18 + -173/342. Is q < f?
True
Let j = 3.4 - 1.4. Is 2 >= j?
True
Let s be ((-12)/(-14))/(5/35). Suppose 2*x + 9 = -x, 0 = -2*g + 2*x + s. Is g greater than or equal to 1/8?
False
Let p be 2/21*12/80. Is 0 at least p?
False
Let p = -74455/36 - -2069. Let z = -14/9 + p. Suppose 0 = -3*q + 5*a - 27 + 7, 20 = -2*q + 5*a. Which is smaller: z or q?
z
Let v be 4/(-8)*12/93. Is v less than or equal to 0?
True
Let w(g) = -g**2 - 4*g - 3. Let m(i) = -i**2 - 9*i - 10. Let k be m(-8). Let y be w(k). Let q be 9/(-6) - -1 - -1. Is q <= y?
True
Suppose -3*i = -0*i - x - 2, 4*i = -x - 2. Let y be i - 1/(2/2). Which is smaller: -6/5 or y?
-6/5
Let r = 11 + -7. Let b = 1 - -2. Suppose -b = -n - 0. Is n at least r?
False
Let d = 9 + -3. Let p(r) = -r**3 + 6*r**2. Let w be p(d). Suppose -5*q + 16 = 4*u, 3*q - 7 = -5*u - w. Which is smaller: -3 or u?
-3
Let o = -7.1 + 24.75. Let t = o + -18. Let v = -0.05 - t. Which is greater: v or -1/3?
v
Let u(m) = m + 1. Let p be u(3). Suppose 3*z - 9 = -0*z. Which is smaller: z or p?
z
Let q(k) = 3*k**2 + 12*k + 13. Let z(j) = -2*j**2 - 6*j - 7. Let v(o) = -3*q(o) - 5*z(o). Let y be v(5). Are y and -10 equal?
False
Suppose -1 = -11*n - 12. Which is bigger: 4/33 or n?
4/33
Suppose -c = -6 - 0. Suppose j + 3 = c. Is 1 >= j?
False
Suppose -y = -p - 2, 2*p - 3*y + 8*y - 31 = 0. Is p at least 5?
False
Suppose -4*z + 23 = 3*p, 5*p - p - 18 = z. Suppose -z = 3*k + 1. Is 3 greater than k?
True
Suppose 9*j + 20 = 83. Which is bigger: j or 4?
j
Let t(f) = 2*f + 25. Let o be t(-12). Which is smaller: o or 2/3?
2/3
Let n be -3*((-24)/9 - -2) - 4. Let j = 642853/16554 + -1/2759. Let d = -119/3 + j. Which is bigger: d or n?
d
Let g = -781/3 - -257. Let t = g + 3. Which is greater: 1 or t?
1
Let d(c) = 2*c - 2. Suppose u = 2*t, -4*t - 9 - 3 = -5*u. Let w be d(t). Suppose -b = -4*b + 3. Is b < w?
True
Suppose 4*v = 10 + 38. Let w be (-104)/(-6) - (-8)/v. Let t be (4/1)/(12/w). Is 6 >= t?
True
Let r = 1/48 + 11/48. Let w = -57 - -56. Is r at least w?
True
Let a be (-3)/2*(-2)/3. Let h be ((-6)/(-8))/(a/(-4)). Let y be (h/3)/(-1) - 1. Which is greater: -1 or y?
y
Let v be -2 + ((-4)/(-6) - -1). Suppose 3*y = 3*r - 6*r - 24, 4*r - 3*y = -4. Let s = -5 - r. Which is bigger: v or s?
v
Suppose -2*i - 4*k = 5 + 1, -3*i = 3*k + 6. Suppose 2*g = -2*g. Which is smaller: g or i?
i
Suppose 0 = 4*r + v + 4*v - 2, 3*r + 1 = -5*v. Suppose 0 = r*i + i + 4. Do -1/4 and i have the same value?
False
Let v be ((-8)/(-32))/(1/4). Which is smaller: 2 or v?
v
Let j = 8 - 7. Let g be 2/(-8) - j/8. Which is greater: g or -1?
g
Let c = 26 + -11. Suppose 0 = 4*d - d - 12. Suppose w + c = -d*o, 5*o + 17 = 3*w - 6. Is 2 at least w?
True
Suppose 5*b - 3 + 8 = 0. Let s(a) = 3*a + 1. Let t be s(b). Let h = t + 2. Are 1/2 and h equal?
False
Let d(r) = r**3 - 5*r**2 - 6*r + 3. Let f(p) = -2*p**3 + 9*p**2 + 11*p - 7. Let x(m) = -5*d(m) - 2*f(m). Let s be x(8). Which is greater: s or 1/4?
1/4
Let f(w) be the second derivative of -w**5/20 + 5*w**4/12 + w**3/3 - 3*w**2 - 2*w. Let y be f(5). Suppose u + y*u = 0. Is u < -2/7?
False
Let a be ((-2)/(-44))/(30/612) - 1. Is a < 0?
True
Suppose 64 = g + 3*g. Let h = 15 - g. Is 1/19 equal to h?
False
Let z = 15 + -14.96. Let a = 0.03 - -0.93. Let o = z + a. Does 0.1 = o?
False
Let t = 121 + -144. Does -4 = t?
False
Let n = -201 - -3014/15. Is 1 at least n?
True
Let i = -0.301 + 0.101. Let k = -4 + 2. Do k and i have different values?
True
Suppose 6 - 2 = 2*c. Let j = 0 + c. Let w be (8 + -4)*(-1)/j. Is w at most as big as -2?
True
Let b be (2/(-7))/2*2. Let d = 65.8 - 66. Which is greater: d or b?
d
Let v be (-79)/(-348) - 6/(4 + 20). Is 1 < v?
False
Suppose -4*k = x - 99, -3*k + 11 - 350 = -4*x. Let l be ((-1)/x)/((-3)/18). Which is smaller: 0 or l?
0
Let g = 0 - 0. Let f = -37013/20 + 7129/4. Let p = f + 68. Which is smaller: p or g?
p
Let d be 2*1*(-1)/3. Let j = -123 - -129. Which is smaller: j or d?
d
Let a(l) = l - 5. Let g be 6 + -5 + (-10)/(-2). Let z be a(g). Are z and -3/13 non-equal?
True
Let z = -1 + 1. Let x = -4 + 4.04. Is z bigger than x?
False
Let a(k) = k + 4. Let y be a(-3). Is 1 <= y?
True
Let u = 1 + -1. Which is smaller: 1/4 or u?
u
Let b be 8/(-20) + (-9)/(-10). Is 0 less than b?
True
Let k be 1/(-9) - (-1)/3. Let i = -3 - -2. Which is greater: i or k?
k
Let i = 0.87 - 2.87. Do -0.8 and i have the same value?
False
Let m = 3 + -19. Is m greater than or equal to -1?
False
Let i(v) be the third derivative of v**6/120 + v**5/60 + v**3/3 + 3*v**2. Let j be i(0). Which is smaller: 1 or j?
1
Let g(r) = -r**3 - 2*r**2 + 1. Let o be (0 - -3)/3*-1. Let j be g(o). Does 2/13 = j?
False
Let p = -8 - -8.6. Let y = -0.5 + p. Is y greater than or equal to 1?
False
Let a(o) = -2*o**3 + 2*o**2 + o + 2. Let p be a(2). Let y = p - -5. Is y equal to -2/9?
False
Suppose -2*u + 9*c = 4*c - 3, -5*u = -5*c. Do u and -1 have the same value?
True
Let f = 3 + -6. Let r = f - -5. Let w = 15 - 15. Which is smaller: w or r?
w
Let z(n) = 16*n. Let a(x) = 5*x. Let f(w) = -8*a(w) + 3*z(w). Let r be f(-1). Let m be ((-2)/r)/(9/(-9)). Which is smaller: m or -1?
-1
Let k(n) = 7*n**3 - n**2 - n + 1. Let l be k(1). Let y be l - ((2 - -3) + -1). Suppose 0 = -5*g + 10 + 5. Does g = y?
False
Let o = 6 - 6.07. Is o <= -1?
False
Let q be (-2 - (-7)/2)/(3*-1). Is -0.07 > q?
True
Suppose 0*o - 4*o = 0. Let v be (0 - o) + (-8)/(-36). Let i = 0 - 1. Which is bigger: v or i?
v
Let n(u) = 2*u - 3. Let m be n(3). Suppose m*x = -0*x - 3. Which is greater: x or -2/9?
-2/9
Let k = 1 + -2. Suppose -2*z + 2*f - 76 - 10 = 0, -4*f = 4*z + 140. Let b be z/63 - (-2)/6. Which is bigger: b or k?
b
Let f(s) = s - 7. Suppose 3*w = -5*p + 52 - 6, -3*p + 36 = 3*w. Let g be f(w). Let o be 0 - 68/(-16) - 4. Which is smaller: g or o?
g
Suppose 2*p + 2*p - 20 = 0. Suppose -4 = -2*m - 0*m. Suppose -4 = -j + m*j + x, p*j - 4*x = 16. Which is smaller: j or 1?
j
Suppose 3*s = -4*m + 52, 0 = -3*m - 6. Suppose -9*i = -4*i + s. Which is smaller: i or -15/4?
i
Let k(x) = x + 10. Let m be k(10). Are m and 19 nonequal?
True
Let p(q) = q**3 + 6*q**2 + 6*q + 6. Let j = -11 - -7. Let d be p(j). Is d smaller than 15?
True
Let k = 12 + -44. Is -31 smaller than k?
False
Let o be (-3 - -7) + 0 + -6. Which is greater: o or -10/7?
-10/7
Let z(c) = -c**3 + 2*c**2 + c + 1. Let o be z(2). Suppose 2*n + o*n + 5 = -5*j, -3*n + 2*j + 7 = 0. Which is bigger: 2 or n?
2
Let d = -0.14 - -0.04. Let t = d - 0.3. Which is greater: -0.1 or t?
-0.1
Let y(b) = -b**3 - 5*b**2 + 5*b - 7. Let g be y(-6). Let t = -4721/13 - -363. Which is smaller: g or t?
g
Let u = 9.56 + 0.44. Is 2 > u?
False
Let m be (40/(-6))/((-14)/21). Let l be (-64)/126 + m/35. Are -0.1 and l unequal?
True
Let h = 1.3 + -0.3. Let u = 0.85 + 0.05. Let j = u - 1. Do j and h have different values?
True
Suppose 6*j - 12 = 2*j. Let x(z) = -z + 8. Let t be x(7). Let p be (t + 1/(-3))*6. Which is smaller: j or p?
j
Let p(k) = -k - 4. Let m be p(6). Let o(q) = -2*q. Let h be o(-1). Suppose l - h*l = 9. Which is greater: m or l?
l
Suppose -2 = -5*g + 5*o - 6*o, 0 = 5*g - o - 8. Let x be g + 0 - 1/(-2). Is x <= 2?
True
Let u = 2/251 + 1496/1255. Which is bigger: 2 or u?
2
Let o(k) = k**3 + 27*k**2 - 59*k + 19. Let f be o(-29). Are 49 and f unequal?
True
Let d = -5/12 + 43/132. Let s be 23/(-46) - (-1)/2. Which is greater: s or d?
s
Let y = -12253/23 - -533. Is y <= 1?
True
Suppose 0 = 3*v - 4*f - 15, -2*v + 0 - 4 = 2*f. Let i be ((-2)/v + 1)*1. Let c = -6 - i. Which is bigger: c or -4?
-4
Suppose 3*l + q - 13 = -0*l, l = 2*q + 2. Let k be (1/2)/((-2)/l). Suppose -r - 4*r = 0. Do k and r have different values?
True
Suppose 2*g = -2*o + 8, 6*g - 2*g - 15 = -5*o. Which is greater: g or -0.6?
g
Let w be ((-143)/(-22))/((-1)/2). Which is smaller: -14 or w?
-14
Let f = 150 + -105. Suppose 2*r - 16 = -5*k, 3*k - r = -4*r + 6. Suppose -d - k*d = -f. Which is bigger: d or 8?
d
Let r be (-1)/(2/(-4)) - -19. Let j = -21 + r. Which is smaller: j or 3?
j
Let f be (4/(-28))/(2/(-14)). Suppose 3*l + f = 2*l. Which is greater: l or -1/2?
-1/2
Suppose 