ler: h or 3.2?
h
Let u = -22.2 + 14. Let z = u + 11. Let v = z - 3. Which is smaller: -1/4 or v?
-1/4
Let p(a) = a**2 - 9*a + 1. Suppose -3*f - 3 = -g - 0, 0 = 2*f + 5*g + 2. Let x be 74/8 - f/(-4). Let s be p(x). Are 1/6 and s nonequal?
True
Suppose -2*r = r - 5*w, -3*r + 4*w = -3. Which is bigger: 4 or r?
r
Let j = -2 - -6. Suppose -9 = 4*d - 7*x + j*x, 5*d + 3*x + 45 = 0. Let f be 4 + d - 48/(-26). Is f at least -1?
True
Suppose k = 3*k - 6. Suppose -f + k*a = 8, 5*f + 11 = 3*a - 5. Let u = 4 + -7. Is f equal to u?
False
Let b(t) = -7*t + 33. Let f be b(12). Which is greater: -52 or f?
f
Let o(x) = -x**2 - 3*x + 3. Let n be o(-3). Let f be (-4)/(-2) + 1 - n. Which is greater: -3/7 or f?
f
Let k be 10/(-3*1/(-6)). Suppose 0 = -4*g - 4*u + k, 0 = -g - 4*u + 2*u + 4. Suppose -p + g*p = 0. Are p and -2/9 equal?
False
Let m = -8 + 0. Let i = m + 21. Let q be 28/i + 4/(-26). Is q equal to 2?
True
Let k = -22 - -40. Let j = -12 + k. Is j at least 6?
True
Let g = 0.2 + -3.2. Is 1 > g?
True
Suppose -5*c + 2*i + 42 = -i, 2*i = -3*c + 10. Suppose 2*g + c = 18. Let h = 10 - g. Which is smaller: 3 or h?
3
Let a = -1.13 + 0.13. Which is greater: a or 9?
9
Let f be (-2)/3 + 32/(-6). Suppose -76 = 14*a - 20. Which is smaller: a or f?
f
Let i be 28/(-16) - (3 - 1 - 2). Are i and -3 nonequal?
True
Suppose -s - s = -2. Which is bigger: s or -1/5?
s
Suppose l = -2*l. Is l < -1.2?
False
Let i be (216/117 - 2) + 108/26. Suppose -5*c - 3*u = -4 - 1, -5*c = -4*u + 30. Let s = c - -6. Is i less than or equal to s?
True
Let r = -3.28 - -0.28. Is 2/27 bigger than r?
True
Suppose 2*p + 3*p - 30 = 0. Suppose -4*o = -p + 2. Let g = -384/935 - -2/187. Do g and o have the same value?
False
Let r = 13 + -8. Let t(f) = f**3 - 5*f**2 + f. Let d be t(r). Which is smaller: 4 or d?
4
Let b(h) = h**2 - 12*h + 7. Let z be b(12). Suppose f - 10 = -d - 1, -f + z = -d. Let i = -10 + f. Is -2/3 equal to i?
False
Let x = -4 - -6. Let p = x - 4. Do -3 and p have different values?
True
Suppose -5*y - 9 = 26. Let n be (4/(-10))/(y/(-35)). Let j be 2/(1*(n + 10)). Which is greater: -1 or j?
j
Let q be (-55)/(-70) + (-6)/21 + -1. Which is greater: 0 or q?
0
Let s = 287/5 + -57. Let a(n) = 5*n**2 + n. Let i be a(1). Suppose 0 = 3*t - i*t. Which is bigger: s or t?
s
Let w = -6 - -9.4. Let c = 0.6 + w. Let v = -4.1 + c. Is 2 <= v?
False
Let y be (-48)/(-26) - (-4)/26. Do y and 1 have the same value?
False
Let x(u) = 4*u - 8. Let a(l) = 5*l - 8. Let n(t) = -3*a(t) + 4*x(t). Let s = -11 - -18. Let r be n(s). Which is smaller: 0 or r?
r
Let u(r) = -1 - 10 + 2 - r. Let s be u(-8). Which is greater: s or -2?
s
Suppose -2 = -n - 4. Let k be 66/30 - n/(-10). Which is bigger: 0 or k?
k
Suppose -c + 4 = 2. Suppose -2*g - c = 0, -5*g - 18 = -y - 2*g. Suppose 5*s = -y, 4*s + 1 = 2*l - 7. Is l less than or equal to -1?
True
Let g = 0.093 - 1.093. Is g at most as big as 0.012?
True
Let t be (-2)/(-8) + (-1)/4. Let o = -1674/19 + 88. Is t less than o?
False
Let y = 23 + -29. Let d = 90 + -96.1. Let m = y - d. Which is smaller: -4 or m?
-4
Let j = 6 + 7. Let r = -13.09 + j. Which is smaller: r or 1/2?
r
Let g = -6 - -10. Suppose -1 = f - 2*w, -5 = 4*f - 3*w + g. Let o be 2/f*3/1. Which is smaller: o or -1?
o
Let j = -5.1 - -4. Let a = -0.8 - j. Let u = -0.5 + 0.3. Is a > u?
True
Let w = -1.288 + 0.288. Suppose -4*f = 4*n - 44, -n - 4*n = f - 31. Let s be -2*1 - (f + -1). Which is greater: s or w?
w
Let n = 2 + 13. Which is smaller: n or 0?
0
Let x(a) = a - 12. Let y be x(11). Which is smaller: -2/73 or y?
y
Let p be ((-3)/6)/((-1)/10). Let r = 3 + 0. Is r < p?
True
Suppose -3*t = 4*l - 2, -6 = l + 3*t - 2. Suppose -2 = -0*d - 2*d. Is d smaller than l?
True
Let n = 4 + -2. Let w be (-2 - -2*1) + n. Suppose -5*p - 6 = w*y + 9, -5*p = -4*y + 15. Do y and 0 have different values?
False
Let i(m) = m**3 + m**2 - 2*m - 1. Let w be i(-1). Let t be -2*(-3)/6 - w. Let n be (9/(-6))/((-6)/4). Which is greater: n or t?
n
Suppose k - 5*k - 36 = 0. Let n = 19 + k. Which is bigger: 9 or n?
n
Let z = -0.027 + 0.357. Let g = z + -0.03. Is g at most as big as 2/9?
False
Let s be (-4 - -3) + (-76)/(-28). Which is smaller: s or 1?
1
Suppose -5*u = -6 + 1. Let g = 3644/11 + -331. Is g < u?
True
Let j = 90 + -89. Is -9/2 at most as big as j?
True
Let b be (-14)/21*9/33. Which is greater: -0.1 or b?
-0.1
Let f(l) = 6*l + 0 - 3 + 4*l**2 - 2*l**3 + l**3. Let w be f(5). Let y = -83 - -86. Is w at least as big as y?
False
Let f(o) = 5*o + 44. Let v be f(-9). Let s = -1 - -1. Which is smaller: s or v?
v
Suppose -x + 3 - 5 = 0. Let k = -4 + 2. Is x at least as big as k?
True
Let g = -8453/1014 - -1/338. Which is smaller: -8 or g?
g
Let v = -437/4 + 17039/156. Which is bigger: v or 1?
1
Suppose 3*b - 4*s = 2, 0 + 4 = 4*s. Let p be b - 9*2/(-2). Let i = 8 - p. Is -4 at most as big as i?
True
Let q = -49 + 50. Let h = -5/36 + -1/12. Which is bigger: h or q?
q
Let j be (16/(-12))/(42/(-9)). Which is bigger: j or -9?
j
Let x = -880/3 + 297. Is x at most 3?
False
Suppose 4*n - 58 = -146. Which is smaller: -2/7 or n?
n
Suppose -2*j + 0*j + 6 = 0. Which is bigger: 4 or j?
4
Let w(h) = -h**2 + 4*h + 1. Let l be w(5). Let t = l + 7. Is t smaller than 1/2?
False
Let b be (-2 - (-5)/1)/(63/2226). Is 105 greater than or equal to b?
False
Let y = 17117/53 - 323. Is -1 at most as big as y?
True
Let b be (-4)/30*(-3)/13. Let z = 830749/358605 - 1265/613. Let v = z - b. Which is smaller: v or 0?
0
Let m = 49 - 46. Which is bigger: 2/13 or m?
m
Let p = -0.043 - 2.957. Suppose -4*f + f = 0. Which is smaller: p or f?
p
Let b(p) = -p**3 - 3*p**2 - 4*p. Let s be b(-3). Let c = 7 - s. Which is smaller: c or -6?
-6
Let q = -0.01 + 0.61. Let l = 15 - 14.6. Let f = l - q. Which is bigger: f or 0?
0
Let s = -40 + 199/5. Are s and 1 non-equal?
True
Suppose 4*d + 36 - 122 = 5*x, 0 = -2*d - 5*x + 28. Which is greater: 20 or d?
20
Let i = 8 + -7.9. Is -2/7 not equal to i?
True
Let r = 115 + -114.9. Do r and 1.1 have the same value?
False
Let v = -107 - -2026/19. Let a = 279 + -15901/57. Let w = a + v. Which is greater: w or 0?
0
Suppose -5*a + 15 = 4*o, 2*a - 32 = -4*o - 14. Let x = -37 - -40. Are x and a equal?
False
Suppose -z - 1 = -h - 2, -2 = -2*z - 5*h. Is z less than -3/10?
False
Suppose -7*l - 4 = -3*l. Let a = -0.1 + 1.4. Let k = a - 0.9. Which is greater: l or k?
k
Let c = 2325 - 16313/7. Let m be ((-117)/(-77))/((-3)/10). Let k = c - m. Is 0.1 greater than or equal to k?
True
Let a = -7 + 8. Which is smaller: 4/5 or a?
4/5
Let h be (-33)/(-2) + 3/(-6). Let q = h + -10. Suppose 0 = -5*y - q + 36. Which is smaller: y or 5?
5
Let g(w) = w + 4. Let o be g(-2). Let b(k) = 2 - k - o - 5. Let i be b(-5). Is i at most as big as 2/9?
True
Let v(j) be the first derivative of j**4/4 + 4*j**3/3 + j**2 - 2*j + 1. Let i be v(-4). Let a be (-2)/(-5) + 4/i. Is a at least as big as 1/7?
False
Suppose -9*f = -4*f. Let w be (-40)/8 - (1 - f). Let h be 14/21 + 8/w. Which is smaller: -1 or h?
-1
Let g be (-57)/(-21) - (-9)/(-3). Let d(u) = 4*u + u**3 - 4 - 2*u**2 - 5*u + u**2 + 2. Let k be d(2). Which is greater: k or g?
k
Suppose -k = -2*k. Is k <= 4/15?
True
Let q(v) = v**3 - 2*v**2 - 3*v - 2. Let k be q(3). Let a(w) = -w - 4. Let p be a(k). Let o = 3 + p. Are -1/3 and o equal?
False
Suppose -5*j + 0*j = 0. Let a = -0.8 + 0.6. Is a < j?
True
Let q = 0.1 + 0.9. Let t = 1.04 - 0.9. Let s = 0.04 - t. Is q less than or equal to s?
False
Let t = -214 + 212.02. Let k = 11.02 + -11. Let j = t - k. Which is greater: j or 0?
0
Let u be ((-7817)/(-40))/(6/8). Let o = 261 - u. Let n = o + -3/5. Which is smaller: n or 0?
n
Let q be (-6)/(-315) - (-10)/(-35). Is q less than 0?
True
Let u be -3*(-2)/2 + -4. Let p(b) = b**2 + 6*b + 1. Let z be p(-5). Is u < z?
False
Suppose 26 = -p + 4*a - 2*a, -20 = -4*a. Let q = p - -17. Suppose -3*k + 9 = -9. Are k and q unequal?
True
Suppose -4*j + 58 = t, -26 = -5*j - 2*t + 48. Is 16 less than j?
False
Let a be 7 - (0 + (-2 - -4) - 5). Is 68/7 bigger than a?
False
Suppose 4*b + 8 = -r + 2*b, -4*r - 21 = -3*b. Let p(q) = -q - 8. Let u be p(r). Which is smaller: u or -1?
u
Let x = -67 + 401/6. Let d = -15 + 14. Which is smaller: x or d?
d
Let h be 3 + (-4)/1 + 0. Suppose -4*i = -2*i + 6. Let w be ((-2)/(-3))/(1/i). Is w > h?
False
Let z = -19 + 18