2. Suppose -2*z - z - x = 0. Which is bigger: z or 3/7?
3/7
Let i = -10 + 14. Suppose 0 = i*v - 0*v. Which is greater: 6/11 or v?
6/11
Let k be (-34)/8 - (-2)/8. Let h be (-9)/12 + (-2)/k. Let i = 297 - 2078/7. Is i less than h?
False
Suppose -v - 7 = 5*h, -3*v + v + 16 = -5*h. Let y be h*(-1 + 6/(-4)). Suppose -20 = -2*i - 2*i. Is y at least as big as i?
True
Let s = 817593/55 - 14866. Let d = -4667/11 + 424. Let b = d - s. Which is bigger: -1/5 or b?
b
Let v = 11.8 - 12. Let q = -9 - -16. Suppose 4*o - q = 1. Which is smaller: v or o?
v
Let b(q) = q**3 - 7*q**2 - q - 8. Let g be b(7). Which is bigger: g or -14?
-14
Let p be (2/4)/(184/96). Is 0 greater than p?
False
Suppose 4*l + 5 = c, -3*l + 2*l + 5 = c. Let i(f) = -2*f**3 + f**2 - 2*f + 1. Let m be i(2). Let a be 9/m*4 + 2. Is l at least a?
True
Let w = -6 - -7. Let y be 33/(-36) - w/(-4). Is -2/7 greater than y?
True
Let k be (-30)/(-33) - 1 - 0/(-2). Is -0.03 equal to k?
False
Let s = -0.6 + 1.88. Let z = s + -0.08. Let j = z - 1. Which is bigger: j or -1/4?
j
Let n be (-38)/88 - (7 - -1)/(-32). Which is smaller: n or 1/3?
n
Suppose 0 = 5*i + 76 + 29. Which is smaller: i or -20?
i
Let v be (-2)/6 - (-10)/3. Suppose -v*c + 0*c = g, 3*g = -5*c + 8. Let d = 19/3 - g. Is d > 1?
False
Let o = -7 - -5. Let z(d) = d**2. Let i be z(-1). Let t be (4 - 4) + -2 + i. Which is bigger: t or o?
t
Suppose 0 = -2*i + 6*i + 4. Which is bigger: -5/23 or i?
-5/23
Let o(c) = c**3 - 3*c - 3. Let y be o(2). Which is smaller: y or -2/171?
y
Let a be 22/22*(-1)/2. Are a and 62 equal?
False
Suppose 5*x = -4*w + 31, 3*x - 12 = -x. Suppose -3*k - k = -u - 5, -u = w*k - 3. Which is smaller: 4/13 or u?
u
Let t(d) = d**3 - 14*d**2 + 12*d + 17. Let x be t(13). Which is greater: x or 1?
x
Let c = -66 + 45. Let q be 7/c - 29/3. Let t be q/8*2/(-15). Which is smaller: t or 0?
0
Let k = -2/473 + -2357/1892. Suppose p - 9 = a + 3*p, 5*p + 16 = 4*a. Which is smaller: k or a?
k
Let j = 2.02 - 0.02. Let i = j - 2. Let s = -13.1 - -13. Which is bigger: s or i?
i
Suppose 3*h - 10 = -4. Suppose h*p = -5*v + 29, 0 = 3*p + v - 2*v - 1. Which is bigger: 0 or p?
p
Let z = 303 + -1521/5. Let r = -1 + 1. Is r >= z?
True
Let l be 2*(-2)/4 + 5. Let i be ((-3)/(-2))/(7/14). Is i > l?
False
Let r(m) = -m**2 + 4*m - 1. Let x be r(4). Let b = -1 + 1. Let p be b - (1 - 0)*1. Are p and x non-equal?
False
Let g(n) = n**2 + 6*n + 3. Let a be g(-5). Let w be (-3)/6*(2 - 0). Are w and a nonequal?
True
Let u(k) = -k**2 - 4*k + 2. Let d be u(-3). Let q = d - 8. Which is smaller: 0.1 or q?
q
Let v = -18 + 21. Suppose -w + 4 = -d, -4*d - v*w - 4 = -16. Suppose 0 = 2*n - 5*n - 6. Which is smaller: d or n?
n
Let v(o) = 5*o**2 + o. Let j be v(-2). Let m be 0/2 + j/6. Let w = m - 3. Which is smaller: 1 or w?
w
Let d(g) = -g**2 - 12*g + 1. Suppose -18*n = -13*n + 60. Let t be d(n). Which is bigger: -1/15 or t?
t
Let d = 5 - 8. Let v be (-3 - 0 - 0)/d. Is v != 1/4?
True
Let l(c) = -c - 2. Let q be l(-3). Which is smaller: q or -2/41?
-2/41
Let s = -31 - -19. Let w = s - -20. Let n = w - 8.3. Is 2/7 bigger than n?
True
Suppose d + 3 - 10 = 0. Let s = d - 6. Is s >= 2/15?
True
Let v = 144 + -146. Which is smaller: -1 or v?
v
Let w be 1/((-1)/12*-4). Which is greater: 2 or w?
w
Let b = 30 + -35. Is b less than or equal to -5?
True
Let v be (-3)/(-2) + (-142)/100. Is -1 smaller than v?
True
Let f = -15 + 20. Suppose 0 = -g - g + 10. Is g bigger than f?
False
Let c be 6/(-7) + 5/(-35). Let q be 2 + -4 + 0/c. Which is smaller: q or 0?
q
Let t be (1/(-2))/((-3)/(-6)). Let d = 8 - 10. Is d < t?
True
Suppose -2*b - 10 - 1 = y, 4*y = -4*b - 28. Let q be b/(-20) + 64/(-20). Is -7 < q?
True
Let b = -4 - 1. Which is bigger: b or 5?
5
Suppose 63 = -3*p + 51. Which is smaller: 5/4 or p?
p
Suppose -5*r + 13 = -17. Suppose 0*x + 20 = 5*x. Which is greater: x or r?
r
Let b = -16 - -7. Suppose 0 = 2*n + 10, 0*q - 4*q - 2*n + 46 = 0. Let u = b + q. Is u less than 5?
False
Let p = 2 + 0. Suppose 0 = -p*y - 2*y. Suppose 4*o - 4 = 4*i, y = -3*o + 2*i + 2*i + 3. Which is smaller: -0.5 or o?
-0.5
Suppose 13 = 5*q - 17. Let h(d) = -d + 4. Let g be h(q). Let z = 3 - 4. Is z != g?
True
Let c(n) = n**3 + n**2 - 6*n - 4. Let r be c(-3). Which is smaller: -2 or r?
r
Let f = -61 + 367/6. Which is bigger: f or -1/4?
f
Let h = 0.02 - 0. Let o = h + -4.02. Is 0.1 < o?
False
Let k(y) = y**2 + 2*y - 46. Let a be k(-7). Suppose -c = -5*z, 3*c + z = -0*c - 32. Which is greater: c or a?
c
Let w be 12/(-8)*(-2)/3. Which is smaller: 6/17 or w?
6/17
Suppose 3*c + 2*c - 30 = 0. Suppose -2*w = -0*w + c. Is -1 != w?
True
Let x be (1 - 2 - -4)*2/14. Let p = -18/7 + 176/63. Is p >= x?
False
Let o = -557/15 + 37. Do o and 0 have the same value?
False
Suppose 0 = -2*w - 5*c, -2*w = -w + 4*c. Let f be 5 + (-9)/3 - -2. Let r be (-1)/(-6)*(1 - f). Is w < r?
False
Let r = 30.2 - 30. Which is greater: r or 0.08?
r
Suppose -3*d + 1 = -4*d. Is 1 greater than or equal to d?
True
Let f = 155 - 307/2. Which is smaller: -0.3 or f?
-0.3
Suppose 2 = -4*m + 6*m. Suppose 5*i - 25 = -2*d, 4*d - 23 = -0*i - i. Let a be (-2)/(1/(i/(-63))). Are a and m unequal?
True
Let i(s) = s**3 + 4*s**2 + 3*s + 1. Let f be i(-2). Let w be 30/(-20)*(-4)/f. Let p be (-4)/w - 21/(-9). Which is greater: -0.1 or p?
p
Suppose 0 = x - 4*x - 45. Let j be (4/60)/(x/(-9)). Which is smaller: j or 1?
j
Suppose 2*p - 3*y = 5*p + 6, -3*p - 14 = 5*y. Let s be p*-5*(-6)/15. Suppose 3*m = -h + 5*m - 3, 10 = 2*h + s*m. Which is smaller: h or 3/4?
3/4
Let j = -83.9 + 83. Does 2 = j?
False
Let c(d) = -5*d**2 - d - 2. Let v be c(-1). Is v greater than or equal to -4?
False
Suppose 2*o - 6 + 2 = 0. Let n be (o/(-8))/((-2)/2). Which is smaller: n or -0.1?
-0.1
Let b be (-3)/(-4) - (-2)/(-4). Let p = -223 - -1558/7. Which is bigger: b or p?
b
Let o be ((-24)/(-132) + 50/(-33))/2. Let x be (-7)/33 - 2/6. Which is greater: x or o?
x
Let v(y) = -y - 3. Let d be 4 + -3 - 6 - -1. Let k be v(d). Which is bigger: k or 0?
k
Let u be ((-12)/9)/((-78)/9). Let l(i) = i**2 + 2*i. Suppose -5*j = -3*j + 4. Let b be l(j). Is b greater than u?
False
Let s = -27 - -25. Is -1 < s?
False
Suppose -z + 3 = 2. Is z greater than or equal to 7/5?
False
Let j = 11 - 8. Suppose -j*u + 0 = -6. Which is greater: u or 0?
u
Let n = -582387301458219/3265499567 + 2/296863597. Let r = n - -177990. Let f = r + 355. Which is bigger: f or -1?
f
Let b = 1/12 - -5/12. Suppose c = -0*c. Is b equal to c?
False
Let r be ((-49)/(-21))/(130/(-6)). Let z = 4/13 + r. Which is smaller: -3/4 or z?
-3/4
Let a be (-40)/(-154) - (-4)/14. Let h(n) = 28*n - 195. Let g be h(7). Is g less than or equal to a?
False
Let o = -5 - -7. Suppose 0 = 5*t - 5, -2*q - 3 = -o*t - t. Is -2/19 greater than q?
False
Suppose 11*f - 7*f = 16. Suppose 2*h - f = -2*h + y, 2*y = -3*h + 3. Which is smaller: h or -1/2?
-1/2
Suppose 4*c - 4*g + 5*g = 13, 0 = -3*c - 5*g - 3. Suppose 7*s - c = 31. Are s and 4 nonequal?
True
Let b be (-881)/(-8) + 1/(-8). Let v be (-195)/13*12/b. Is -3 at least as big as v?
False
Suppose -5*d + 2*d - 3 = -3*w, 2*d = -w - 2. Let h be w - 1 - 22/(-10). Let n(j) = j**3 - j**2 - 3*j + 2. Let c be n(2). Which is smaller: c or h?
c
Let a be ((-1)/3)/(1/(-3)). Let h be ((-2)/(-4) + a)/(-3). Suppose -g + 4*d = 18, -3*g + 3*d = -8*g + 2. Which is smaller: h or g?
g
Let x = -17 - -18. Which is smaller: x or 0.2?
0.2
Let t(u) = -u**3 - 5*u**2 - 3*u + 4. Let d be t(-3). Let r be (-12 - -10)*5/2. Does d = r?
True
Let n(f) = f**3 - 8*f**2 - 8*f - 8. Let d be n(9). Which is smaller: 2/33 or d?
2/33
Let l = 214 - 1076/5. Which is smaller: -2 or l?
-2
Suppose 0 = 2*r - 3*v - 27, -6*r + 2*r = -2*v - 34. Which is bigger: 0 or r?
r
Let m(h) = 9*h - 1. Let o(n) = 1. Let z(w) = -m(w) + o(w). Let g be z(3). Let t = -327/13 - g. Which is smaller: t or -1?
-1
Suppose -2*u + 4*i - 22 = 0, 5 + 6 = 4*u + 3*i. Let n be (u/(-3))/(4/(-6)). Let p(b) = b - 2. Let h be p(2). Is n at most h?
True
Suppose 0 = -0*j + 5*j + 225. Let h be (-8)/110*j/(-6). Is h at least 0?
False
Let t = 1 - 0. Let l(o) be the third derivative of -o**5/60 + 7*o**4/24 + o**3/6 + 3*o**2. Let n be l(7). Is n equal to t?
True
Let n = 2 - 0. Suppose 1 = -n*m + m. Let i = -3.08 - -0.08. Are m and i nonequal?
True
Suppose -7*v + 5*s = -2*v, 5*s - 15 = 0. Suppose 