Let q = 14 + -8. Suppose -13*n + 10*n = -q. Is n <= u?
True
Suppose -3*p = 5*q - 13, -2*q + 8 = q + 2*p. Suppose -q*r - 3*r = 5*h + 25, 2*r = -4*h - 8. Let x = r - -6. Which is smaller: -1 or x?
-1
Let a = 185.3 - 195. Let u = a - -3.6. Let d = u - -6. Which is greater: d or 2/5?
2/5
Let d = -0.04 - 0.95. Let c = -0.01 + d. Which is greater: c or 1?
1
Suppose -2 = -4*y + 5*f, y - 2*f - f + 3 = 0. Let j be (y/9)/((-30)/9). Is j at most as big as -1?
False
Let u(n) be the second derivative of -n**4/12 - n**3/2 + 2*n**2 - 5*n. Let s be u(-4). Which is smaller: s or 0.1?
s
Let i = 2.4 - 1.4. Is -3/13 < i?
True
Let w = 3 + -1. Is 3/4 greater than w?
False
Let h be (-1 - 55/(-28)) + (-30)/(-105). Let n = 2 - 1. Is n >= h?
False
Let m = 133 + -75. Is 60 <= m?
False
Suppose 0*w - 5 = -w. Suppose 0 = -l - 3*j - 2*j + 18, j = -w*l - 6. Let o = l + 4. Which is smaller: 3 or o?
o
Suppose 4*c + 2*u = 22, 2*u + 15 - 1 = 5*c. Suppose -8 = f - 0*f. Let h be (-3)/2*f/4. Which is smaller: c or h?
h
Suppose 0 = -5*g + 4*t - 4 - 24, g + t + 2 = 0. Let n = g - -5. Is n >= -1/3?
True
Let v = 0.14 + -13.14. Let x = v + 14. Which is smaller: x or -3/5?
-3/5
Let q be ((-8)/(-6))/(56/12). Which is smaller: 0 or q?
0
Let j = -1 - -1. Suppose j*f - 3 = -f. Which is greater: 4 or f?
4
Suppose -3*c - 3 = -4*c. Suppose -4 - 2 = 4*f - 2*w, 0 = -c*f - 2*w + 13. Is 1/2 at least f?
False
Let k(z) = 7*z**2 - 10*z - 9. Let w be k(-6). Let x = 538 - w. Let r = -2579/11 + x. Are r and 2 non-equal?
True
Suppose 4*h + 3*i = 31, 5*h + i = -i + 30. Suppose -b = 4*l - 0*b - 7, -h*b = -4*l + 32. Let p be -1 - 1/l - -2. Do 0 and p have the same value?
False
Let f(h) = h**2 + h + 4*h - 3*h - 2. Let s = 4 - 7. Let l be f(s). Which is bigger: l or 0?
l
Suppose -3*g - 1 = -2*g. Let i be g/((-6)/236) + -2. Let q = -37 + i. Does q = 3/7?
False
Suppose 0 = 5*v + 5*g - 20, 0*v + 4*g - 17 = -3*v. Let t be 8/(-6) - (-6)/(-9). Which is bigger: t or v?
v
Let j = -6 - -3. Suppose -30 + 32 = -2*f. Which is bigger: f or j?
f
Suppose 0 = -5*n - 3*x + 2, -4*x + 10 = 5*n + x. Let m = -41 + 38. Is n greater than m?
True
Let p(g) = -5*g**2 - g. Let a be p(1). Let u = a - -7. Which is bigger: u or 2?
2
Let f = 0.01 + -0.09. Let h = 4.92 - f. Let s = h + -7. Are -2 and s nonequal?
False
Suppose 0 = -o - o - 34. Let b = -17 - o. Which is bigger: -1/3 or b?
b
Let q(t) = -8*t. Let f be q(-1). Let k be (0 - (5 - 1)) + (-48)/(-12). Is k at least as big as f?
False
Let a = 1.13 - -9.57. Let z = 10 - a. Let q = 1.3 + -0.3. Which is smaller: q or z?
z
Let r be ((-6)/14)/(3/(-2)). Let b(w) = w + 5. Suppose 3*u + 13 = -2*c, -3*c + 13 = -3*u + u. Let d be b(u). Is r at most d?
False
Suppose 0 = -x, 0 = -2*i + 3*x - 6 - 14. Let q be 4/20 + 32/i. Let n = q + 6. Which is bigger: 1 or n?
n
Suppose 0 = c + 3*n + 5, -2*c - 8 = -c + 4*n. Suppose 0 = h + 3*h + c. Let s = -29/175 + -3/25. Which is smaller: s or h?
h
Suppose w - 5*w = -36. Let q be (4/w)/(-1)*1. Is 0 smaller than q?
False
Let v be (6/(-28))/(4/(-8)). Which is bigger: 1 or v?
1
Let g = -1.69 - 0.71. Which is bigger: g or -2/5?
-2/5
Let f = -42 - -37. Is -5 less than f?
False
Let g = -0.21 + -8.79. Let u = -9 - g. Which is bigger: u or 5/6?
5/6
Let o = 3 - 1. Let i = 19 - 14. Suppose -i - 1 = 6*u. Is u at most o?
True
Let v = 8 + -13. Let b = 10 + v. Let h = -4 + b. Which is smaller: -4 or h?
-4
Suppose 5*x + 5 = -5*j, -j - 3 = -4*x + 3*x. Let y = -1 + x. Which is smaller: y or 0.1?
y
Suppose 2*b + 44 = d + 3*d, 5*d - 4*b = 55. Is 9 at least d?
False
Suppose 5 = 4*p - 3*q + 3, -4*q = -2*p + 6. Let a be p*2/(2/1). Let y be 5/((-15)/(-6)) + a. Is y greater than or equal to -1?
True
Let a be 2/(-5) + (-24)/40. Suppose 0 = 2*c + 6. Let l be (-9)/6*(-4)/c. Is l > a?
False
Let z = -247/17 - 3597/238. Let w = -59/2 - z. Which is bigger: w or 1?
1
Let a = -5 - -8. Suppose 0*g + 16 = -4*g. Let m = a + g. Which is smaller: m or -1/2?
m
Suppose m - 3*m - 3*t - 13 = 0, 2*m + 4*t = -12. Is m smaller than 3?
True
Let j = 15 - 18. Is -17/4 less than j?
True
Suppose -3*g = 6*g - 90. Which is bigger: g or 11?
11
Suppose -6*d + d = -85. Which is smaller: d or 18?
d
Suppose 355 = 5*u - 5*i, 0*u + 4*i - 292 = -4*u. Let g be (2/(-4))/(2/u). Which is smaller: -19 or g?
-19
Let w = 40/7 + -247/42. Suppose 3*r = -3, 17 = 5*p - 0*p + 3*r. Suppose b = 4*z, 0*b - p*b + z = 0. Which is smaller: b or w?
w
Let i be (0 + 0)/(-3) + 24. Suppose -2*b = 2*b - 4*c + 8, i = 3*b + 3*c. Which is greater: b or 2?
b
Let m = 241 - 2167/9. Which is greater: -1 or m?
m
Let x be (50/70)/(4/14). Which is bigger: 3 or x?
3
Let u = -61/5 - -417/35. Let q = 5 + -3. Suppose q*w - 5 + 3 = 0. Which is smaller: w or u?
u
Let h = -11 - -24. Let v = 17 - h. Which is smaller: v or 3?
3
Let y = 38 - 57. Is y < -20?
False
Let a be 1 + (-54)/4 - -2. Let n = a - -109/10. Which is bigger: n or 2/9?
n
Let b = 17/3 + -145/24. Is 1 less than b?
False
Let j = -18 + 38. Is j greater than 19?
True
Let w be 1/(-2) - (-42)/4. Let r be w/14 + (-10)/(-35). Do 3 and r have the same value?
False
Suppose 2*m + 8 = -2*v, -4*v - 2*m + m - 4 = 0. Suppose -2*d - 2 = -v*d. Which is greater: 2/9 or d?
2/9
Let p be 1*(-35)/10 - -4. Which is smaller: -28 or p?
-28
Let z = -0.86 + 0.56. Let v = -8.94 + 9. Which is smaller: v or z?
z
Let f = -8 + 9. Is 3 not equal to f?
True
Let d = -4 - -4. Let q be (14/91)/(1 - 3). Which is smaller: d or q?
q
Let y be (-9981)/(-130776)*(-2 + -1644). Let f = y + -3/43592. Let c = 126 + f. Which is greater: c or 0?
c
Suppose 5*x + 4*r - 8153 = 0, -4*x = -2*r - 3*r - 6506. Let d = -11385/7 + x. Is 4 less than d?
False
Let n be -2 + (17 - (-5)/5). Is 14 < n?
True
Let g be 3 - ((-30)/(-3) + -1). Which is smaller: g or -3?
g
Let j be 1/8*-2*-4. Suppose -3*x + 2 - 5 = -4*t, j = 2*t - x. Which is smaller: t or 1?
t
Suppose 2*c + 0*c = 4. Let y be (1 - 0 - (8 - 8))*0. Is y != c?
True
Suppose -2*i + 2*a + 4 = 0, 4*a + 0*a = 5*i - 7. Is -2/13 < i?
False
Suppose -9*h + 11*h - 8 = 0. Which is bigger: h or 1/3?
h
Let q = 148 - 105. Is q greater than or equal to 44?
False
Let x = 7/4 + -3/2. Is x < -1?
False
Let i(q) = q**3 - 8*q**2 - 11*q + 17. Let d be i(9). Is d at least -1?
True
Suppose 4*y + 4*s = 5*s + 10, y = -s. Suppose 4*p = 4*v - 28, -2*p - y*v = v + 9. Do p and -6 have different values?
False
Let z = -4 - -3.9. Let u = -0.4 + -4.6. Let c = -3 - u. Is z less than or equal to c?
True
Let j = -0.5 - -0.7. Which is smaller: j or 10?
j
Let v = 7/9 + -23/18. Which is smaller: v or 27?
v
Let n = -1/35 + 6/35. Which is smaller: n or -1?
-1
Let p(h) = 3*h - 1. Let r be p(2). Suppose -2*b + 3*c = 32 - 3, 3*b = r*c - 46. Let i = b + 5. Do i and -2/5 have different values?
True
Let o(g) = -g + 2. Let a be o(0). Is a smaller than 2/3?
False
Let k be 7/5 - (-2)/(-5). Which is smaller: k or 2?
k
Suppose -5*u = 2*r - 3, -3 - 22 = 5*u. Are r and 14 nonequal?
False
Let t = 3 + -2.9. Let s = -0.89 - -0.59. Does s = t?
False
Suppose 0 = -3*x - 2 - 1. Suppose -4*c + 3*v = -7*c + 9, 8 = 4*c + 3*v. Is c at least as big as x?
True
Let f = 0.111 + -1.111. Is 14 greater than or equal to f?
True
Suppose 0 = -5*d - 3*v + 6 + 5, 2*d + 5*v + 7 = 0. Suppose 3*h = 1 - d, 0 = -3*s + 3*h + 33. Let t be (4/s)/(14/(-10)). Which is greater: t or 0?
0
Suppose 5*i - 17 = -2*m, -4*m - i + 17 = -7*m. Let j = m + 4. Suppose j = 2*o + 2 - 10, -5*k + o = 14. Is -2 greater than or equal to k?
True
Let f(y) = y**2 + y**3 + y + 4*y**2 - 3*y - 6. Let b be f(-5). Let i be (1/b)/((-3)/9). Is i less than 0?
True
Let g = -34.9 + 20.8. Let i = 14 + g. Is -1 smaller than i?
True
Let s = 20 - 14. Let x = 1 + s. Let o = -10 + x. Which is greater: o or -4?
o
Let x = -4 + -3. Let q be (-2)/(-5) + x/(-3). Let a = q + -7/3. Which is greater: 0 or a?
a
Let a(r) = r**2 - 3*r + 4. Let g = -4 + 7. Let v be a(g). Let f(b) = 2*b - 2. Let h be f(2). Which is bigger: v or h?
v
Let n(j) = 2*j. Let r be n(-1). Suppose -2*b - 4*h = 2*b, -2*b = 5*h + 6. Suppose 11 = -2*d - b*c + 3, d = 2*c + 2. Is d equal to r?
True
Let w = 0.046 - 0.246. Which is smaller: -2/7 or w?
-2/7
Let y = 0.06 + 0.24. Let f = y + 3.7. Let p = f + -6. Which is smaller: -2/5 or p?
p
Let i = 87 + -87.043. Which is bigger: i or 1?
1
Let d be (3/(-5))/((-2)/12) - 3. Which is smaller: d or 0.1?
0.1
Let g be ((-8)/