hich is smaller: k or -2/3?
-2/3
Let s = 1.46 + -1.42. Is 2 less than or equal to s?
False
Let g(k) = -6*k + 2. Let d be g(2). Let c = d + 4. Let m be (c/4 + 1)*0. Which is bigger: m or 1?
1
Let i = 27 - 40. Let o = i + 23/2. Is o >= -1?
False
Let q = 0 - 4. Let a = 6 - 4. Is a != q?
True
Let v(u) = -u - 4. Let f be v(-4). Suppose s - 6*s + 5 = f. Let t be (-1)/(-1)*s + -1. Is t > 0?
False
Suppose 7*r = 2*r + 585. Let d be (-1968)/r + 0 - 1. Let b = -53/3 - d. Is 0 greater than b?
False
Let o be 8 + -8 + (-2)/(-8). Let v = 0 - 0.1. Is o less than v?
False
Let g be 1 + (-17)/15 - 530/525. Which is greater: -2 or g?
g
Let p be (-11)/12 + 4/6. Is p <= -4?
False
Let i = 0.09 - 2.09. Let l = 6 + i. Which is bigger: l or -2?
l
Let x = -7 - -12. Suppose l + 24 = x*l. Is l equal to 3?
False
Suppose -x - 9 = -5*k + 43, 323 = -5*x + 4*k. Let m = -466/7 - x. Are m and 1 equal?
False
Let m be (-4 - -4)/(-1 - 1). Let s be (m - -3)/(2/(-6)). Is s at most -8?
True
Let c = -8 + 10. Suppose 3*j - 17 = 4*u, -4*j - c*u + 30 = -0*u. Is j >= 6?
True
Let x be ((-13)/(-65))/(12/(-50)). Is -1 >= x?
False
Let t = 127/3 - 42. Suppose -5*y + 4*q - 12 = 0, -2*y + 3 = -q + 6. Let l = y + t. Is 3/4 >= l?
True
Let b = 3 + -9. Let w = -7 - b. Is w not equal to -2/17?
True
Let d = 2/1583 + 39567/6332. Which is smaller: d or 5?
5
Let x = -0.9 + 2.9. Which is smaller: x or 0.6?
0.6
Suppose 0 = -4*t + 5*d - 14, -3*t + 5*t - 5*d + 12 = 0. Let p(n) = 2*n**3 + 3*n**2 + 2*n + 2. Let a be p(-2). Let s be 18/24*4/a. Is s greater than t?
True
Let v = 67/114 - 8/19. Which is smaller: 2 or v?
v
Let x = -4 + 5. Let w = -0.06 + -0.04. Which is greater: w or x?
x
Let k(l) = -2*l + 13. Let j be k(4). Is j at most as big as 1?
False
Suppose -42 = -3*i - 15. Let h(y) = -y - 13 + 6 + 10. Let r be h(i). Is -6 <= r?
True
Let h(r) = -r**3 + 13*r**2 + 15*r - 15. Let s be h(14). Is -3/7 greater than or equal to s?
True
Let h = 2/125 - 157/2000. Suppose -3*l = 3*n - 9, -3*l - 16 = -4*n - 8*l. Is n at least as big as h?
False
Let w(z) = -7*z**3 + z. Let o be w(1). Let h = 0.029 + 0.071. Which is bigger: h or o?
h
Let w(z) = 3*z - 1. Let x be w(1). Let t be (1 + 13)*x/(-4). Which is bigger: -8 or t?
t
Let t be (20/(-50))/((-4)/155). Suppose 4*o - 3*x - 51 = 0, -10 + 1 = -o + 2*x. Let i = o - t. Which is smaller: 6 or i?
i
Let u be (-26)/40 - (-6)/15. Let q = -1.2 + 0.2. Let l = -1 - q. Which is smaller: u or l?
u
Let d = -11 - -30. Let h = d + -22. Is -3 greater than h?
False
Suppose -6*w + w = 40. Let u be (-4)/(-10) + w/20. Is u equal to -2?
False
Let a = -6 + 7.1. Let g = -0.1 + a. Let k = -20.9 + 21. Which is smaller: g or k?
k
Let i = 2 - 1.8. Let d = 0.1 - i. Suppose 4*r = -3 - 9. Which is smaller: r or d?
r
Let h = -26 + 10. Is -17 > h?
False
Let w = 2.3 - 1.3. Which is smaller: -2.3 or w?
-2.3
Let r = -0.027 - 0.173. Is 0.06 > r?
True
Let w be 8/(-2) - (-12 - -5). Let d = -0.5 + 0.4. Are d and w unequal?
True
Suppose k + 5*s = 3*k + 32, 4*s = 2*k + 32. Suppose 45*z + 48 = 42*z. Is k smaller than z?
False
Let x = 0.78 + 0.02. Let c = x - 0.3. Let h = c + 0.5. Do h and 2 have different values?
True
Suppose -3*l - 2 = -j, -5*l + 10 = 4*j - 3*j. Which is smaller: l or 4/69?
4/69
Let z(x) = -5*x - 1. Let s be z(-2). Let k = 6 - s. Do 2 and k have the same value?
False
Let d = -0.3 - 0.7. Let l = d - -2. Let f = 0 - 1. Are f and l nonequal?
True
Let l(m) = 6*m**2 - 4 - 3 - m + 0*m**3 + m**3. Let x be l(-6). Let t(r) = -r**2 - 10*r - 9. Let o be t(-9). Do x and o have the same value?
False
Let y = -8.99 - -9. Let k = 0.11 - y. Is k less than or equal to -1/3?
False
Let a(v) = -2*v - 18. Let m be a(-8). Are m and 0 nonequal?
True
Let c = 14 - 15. Suppose -3 = k - 0. Is c >= k?
True
Suppose 0 = -4*s + j + 2*j + 5, -4*j = 3*s - 10. Do -3 and s have the same value?
False
Let x(y) = y + 3. Let m be x(-4). Let o = 0.2 - 1.2. Is o smaller than m?
False
Let f be (15/(-6) + 1)*4. Which is bigger: f or -14/3?
-14/3
Let s = -23 - -33. Are 10 and s non-equal?
False
Let w = -39 + 38. Let s = 0.1 - 0.2. Do w and s have the same value?
False
Suppose 10 = -24*j + 19*j. Let z(b) = -3*b + 1. Let a be z(1). Let q be ((-2)/3)/(a/(-3)). Is j >= q?
False
Let i be -30 - -33 - ((-26)/(-16) + 1). Is -1 at least i?
False
Let k = 415 + -1743/4. Which is smaller: k or -21?
-21
Let o = 0.183 + -0.083. Let g be 2/4 + 2/(-44). Which is smaller: g or o?
o
Let a be 21429/(-4242) - -3 - -2. Let p = 2/101 - a. Which is greater: -1/4 or p?
p
Let z(p) = -p**3 - p. Let i be z(0). Let q be (-3)/(1/532*-6). Let x be ((-4)/(-6))/(q/57). Is x not equal to i?
True
Suppose 0 = -5*t, -4*i + 10 - 66 = t. Is -13 at most as big as i?
False
Let z = -0.29 + -0.31. Is 2/7 bigger than z?
True
Let g = -1/26 + 47/208. Is g less than 1?
True
Let u = -0.034 + -0.066. Let k = -3/40 + -1/8. Is k > u?
False
Let j = -0.4 - -0.5. Let n = 6/23 + 79/138. Is j less than n?
True
Let g be (-24)/(-18)*2/(-12). Is g at least 1?
False
Let c = -0.71 - -0.01. Let b = c + 0.7. Is -1/6 < b?
True
Let r = -0.76 + -12.24. Is r < 0?
True
Let g(m) = -m**3 - 14*m**2 + 3*m + 7. Let u be g(-14). Are u and -35 unequal?
False
Let r = -6 - -8. Suppose 0 = -3*m - r + 11. Which is smaller: m or 1?
1
Let l(w) = w**2 - 12*w + 6. Let z be l(11). Which is greater: -6 or z?
z
Let c = 8606013008298797527/517377026502 - -5486114/269748189. Let r = -16633930 + c. Let y = r - -1/274. Are y and 0 equal?
False
Let g = 79253/121 + -655. Which is greater: g or -1?
g
Let d be 1 - 2/(-4)*2. Suppose 3*h + 4*q + 5 = 0, -2*h - 5*q = 6 + 2. Let l be (h/(-5))/((-2)/5). Which is greater: l or d?
d
Let f = -25/14 + 9/7. Let r be (4/10)/((-3)/(-15)). Suppose r - 3 = b. Is b smaller than f?
True
Let q be 1/3 + 53/3. Let l be 22/6 - 12/q. Let c be 2 - l/39*24. Which is smaller: 1 or c?
c
Let o be (-2 + 1)*-2 + 2. Let s be (-4)/(-26) + 333/117. Let d be -6 + s - -3 - -1. Is o <= d?
False
Let l = 5 + 2. Let t = l + -9. Let s be ((-11)/22)/(t/8). Which is greater: s or -1?
s
Let h(x) = x + 5. Let z be h(-4). Is z != 0?
True
Suppose -2*o - 7 + 3 = 0. Which is greater: -1 or o?
-1
Let i(c) = 5*c**2 + 2*c - 3. Let p be i(1). Let a be 1 + (-4)/2*-1. Is a equal to p?
False
Let j be (-2)/6 + 14/6. Is j < 8/3?
True
Let u = -0.158 + -45.842. Which is greater: u or -2?
-2
Let i = -1 + -1. Let a = -2.3 + -0.7. Let g = i - a. Is -1 less than or equal to g?
True
Let n be -3*1/1*-1. Suppose 3*b + v + 4*v = n, 0 = 4*v. Let m be 1 - (b - -2)/3. Does 0 = m?
True
Let c = 3 - 2. Let b = -7 + 7.1. Are b and c unequal?
True
Suppose 1 + 1 = x. Let c be -2 + (5 - (-1 + x)). Let w(p) = -p**3 + 2*p**2 + 2. Let j be w(c). Is 2 greater than or equal to j?
True
Suppose -3*b + 4 = -2*a, -5*a - 1 = b - 4*b. Suppose -2*x - 3 = -z, 0 = -7*x + b*x - z + 10. Let d be ((-3)/(-8))/(9/(-6)). Is x greater than d?
True
Let r(q) = q**3 - 5*q**2 - 6*q + 2. Let f be r(6). Let i = 0 + f. Let l = -2.3 - -2.4. Is l at least as big as i?
False
Let z = -184 + 357/2. Let s = z - -79/14. Suppose -7 = -2*a + 2*o + o, -4*a - 2*o = 10. Which is smaller: s or a?
a
Let o = -24 + 23. Let g(l) = l**2 - l. Let h be g(-1). Suppose 0 = 3*d - 0*d, -h*k = 3*d. Which is smaller: k or o?
o
Let v be 5*(-6)/14 + 2. Is v at most as big as -1?
False
Let f = 15 + -15.1. Which is greater: -0.06 or f?
-0.06
Suppose d - 1 = 2, -1 = -2*l + d. Let q(a) = -a**3 - 9*a**2 + a + 11. Let j = -10 - -1. Let i be q(j). Is l != i?
False
Let i(v) be the first derivative of v**4/4 + 4*v**3/3 - 3*v**2 - v - 1. Let c be i(-5). Suppose 3*t + w - 1 = 0, 4 = -c*t - 3*w - 3. Is t at most as big as 3?
True
Let h = 327 - 333. Let r be 1 + (18/14 - 2). Which is bigger: r or h?
r
Suppose -4*b - 2*s + 8 = 0, -5*s = -5*b - s + 36. Suppose -b*v = -2*v. Suppose 2*u - 10 = -4*j - 0*j, 0 = 5*u - 3*j + 1. Which is bigger: u or v?
u
Suppose 2*f + 2*n - 4 = 0, -5*f + 2*f = -4*n - 41. Suppose -10 = 2*y - 2*d, 0 = 2*y - 8*d + 3*d + f. Which is smaller: -5 or y?
y
Suppose -a + p + 2 = 1, -6 = 2*p. Let k be a/6 + (-44)/12. Suppose w = 2*w + 4. Is w at most as big as k?
True
Let t(c) = c**3 - 2*c**2 - 3*c + 3. Let q be t(2). Which is smaller: q or -4?
-4
Let n = 1 - -1. Suppose z = o - 6, 2*z + 8 = n*o - o. Let a = z - -16/7. Is 1 < a?
False
Let c be (-2)/(4/(-2)) + 2. Let m = c - 11. Let i be 1/(-2) + 4/m. Which