= c + -185/6. Which is smaller: b or 1?
b
Let i = 7 - 11. Let o be 2/i - (-21)/6. Let w = 1051/4 + -261. Is w less than or equal to o?
True
Let r = 3 - 5. Let n be ((-3)/4)/(8/64). Let t = 5 + n. Is r > t?
False
Let f(u) = -u**3 + u + 1. Let a be f(0). Suppose -28 - 14 = 3*p. Let l be ((-2)/p)/(6/12). Do l and a have the same value?
False
Let r(q) = 0*q - 5*q - 4 - 3 - q**2 - 3*q. Let j be r(-7). Let m = 228/545 + -2/109. Is j at most m?
True
Let k be 2 + -2 - -1*3. Let b be (0 - 1)/(-3)*k. Let n be 12/(-96) - 1/(-40). Which is greater: b or n?
b
Let o be ((-2)/4)/(4/(-8)). Are o and 1 nonequal?
False
Let n(b) = 10*b**2 - 4*b**2 - b**2 + 1 - 2*b. Let h be n(1). Let m be 21/4 + (-1)/4. Is h less than m?
True
Suppose -2*s - 2*s = -16. Suppose 2 - 5 = -x. Are x and s equal?
False
Let f = -24 - -58. Let m = 101/3 - f. Is m at least as big as 1?
False
Let u = 2 - 2. Let m = -15 - -13. Which is smaller: m or u?
m
Let h = 32 - 30. Let r = -3.5 + 0.5. Are h and r nonequal?
True
Let a = -2406/31 - -492269/6355. Let m = a + -2/41. Which is bigger: 2 or m?
2
Let y = 1 + 8. Suppose 3 - y = 3*x. Let g be x/1 - (-3 + -1). Is 0.2 less than g?
True
Let b(w) = -w + 8. Suppose -30 = -2*o + 4*l, 0*o + 20 = 5*o + l. Let m be b(o). Suppose -12 = -0*c - 4*c. Is m >= c?
True
Let w be (10*(-2)/4)/(-1). Suppose k - 5 = -2*q, -3*k + 6 = q + k. Which is smaller: w or q?
q
Suppose -s + 1 = -0*s. Let p be 0/(-4) + (0 - 12). Let x be ((-9)/(-6))/(99/p). Which is bigger: s or x?
s
Let z be 112/(-24) + (-3)/9. Let a be (2*-6)/(1/(-1)). Suppose 0 = -5*y - 8 - a. Which is greater: z or y?
y
Let l = -120 - -123. Which is smaller: 11 or l?
l
Let p be ((-2)/(-10))/((-18)/(-30))*-9. Let r(o) = -o**3 - 6*o**2 - 6*o - 6. Let z be r(-5). Which is smaller: z or p?
p
Let o = 13 - 12. Is 7 greater than o?
True
Let l = -16 - -28. Let g = -11.9 + l. Is g at least -7?
True
Let v = 233 + -131. Let s be (4/3)/(v/9). Are -2 and s nonequal?
True
Let q = -0.4 - -0.6. Let l = 0.2 - q. Let x(j) = -j**3 + j**2 + j - 1. Let f be x(0). Which is bigger: f or l?
l
Let m be (15 - (0 + 1)) + -2. Suppose -m = 4*u - 4*p, -1 = 3*u - 4*p + 13. Let z be 8/3 - u/(-6). Is 3 < z?
False
Let w = 0 + -2. Let k be 2 + (w - -1) + 0. Which is smaller: k or -10?
-10
Let o = 5 + -4. Let p = o + -2. Which is bigger: 5 or p?
5
Let k = 6 + -9. Let p(j) = 4*j**2 - 2*j - 3. Let y be p(3). Suppose -7 = -5*i - y. Which is smaller: i or k?
i
Suppose h = 4*h + 15. Is -6 bigger than h?
False
Suppose -q - 12 = 3*q - 5*k, 0 = 4*q - k - 4. Let u be (1 + (7/(-2))/7)*-4. Are q and u equal?
False
Let h be (-2)/((-1)/(-1)*-2). Let g be (5/(-20))/(2/(-8)). Suppose -4*k + 6 = 2*p, -2*p + 4 + g = 3*k. Are h and k unequal?
False
Let k(h) = 5*h + 21. Let q be k(-4). Is 2/67 < q?
True
Suppose 0*g - 25 = -5*g. Suppose 0 = 4*h - 1 + g. Suppose 22 = -10*b + 2. Which is smaller: b or h?
b
Let m = 56 + -44. Is m < -2/9?
False
Let q = 0.06 - 2.06. Let d = q + 2. Let a = -139/3 - -47. Which is smaller: d or a?
d
Let s be -16 + (-4)/((-20)/15). Is s greater than -0.1?
False
Suppose 3*w + 4 = 2*q, 0 = -3*w + 7*q - 3*q - 14. Suppose w*p + 2*p = 0. Let k = 2/53 + -59/159. Which is greater: k or p?
p
Let s = 1 - -4. Suppose 0 = 4*c - 3 - s. Let v be ((-9)/(-6))/(c - -4). Which is bigger: 0 or v?
v
Let o = -1 - 1. Let p(q) = -2 + 0*q**2 - 3 + 6 + 2*q + q**2. Let t be p(-1). Do o and t have different values?
True
Let h = 4/3 + -2/3. Is h not equal to 2?
True
Suppose -3*v + v = 0. Suppose 5*c - 4*q + 8 = -5*q, -2*q - 6 = v. Is c smaller than -3/4?
True
Let i(p) = -4*p - 10 + p + 4*p. Let t be i(10). Let m(k) = -k - 4. Let g be m(-3). Which is greater: t or g?
t
Suppose 4*b - 10 = -2*x, 5*b + 38 = 4*x + 4*b. Let z be 15*((-6)/x + 1). Suppose 0 = 5*p + 4*r + 6 + 8, -z = 5*r. Which is greater: 0 or p?
0
Suppose 0 = 5*i - 3*i + 2. Which is smaller: i or -1/31?
i
Let g be (-902)/(-6)*3/1. Let o = g - 10371/23. Which is smaller: o or 1?
o
Let y(v) = -7*v**2 + 0 + 2*v + 2 - v - v**3. Let k(l) = -2*l - 21. Let d be k(-7). Let p be y(d). Is -6 bigger than p?
False
Suppose 3*i = 3*u + 9, 3*u + 3*i + i = 5. Suppose -3*h - 10 - 10 = 2*b, 2*b + 5*h + 20 = 0. Let k be (8/b)/2*5. Is u at least as big as k?
True
Let f = 56 + -56. Do -1/9 and f have the same value?
False
Let m = -5 + 6. Let x(u) be the second derivative of -u**3/6 - u**2 + 3*u. Let t be x(-1). Which is smaller: t or m?
t
Let p = 22.6 + -22. Which is bigger: p or -1?
p
Let d(r) = 37*r**2 - r. Let q be d(-1). Does q = 38?
True
Let j be (-6 - 12/(-3)) + 43/23. Which is greater: j or -1?
j
Let y be 14/(-21) + 4/6. Which is smaller: -3/10 or y?
-3/10
Let q be (-72)/105 + 16/40. Let c = -3 + 8. Let g = 3 - c. Which is bigger: g or q?
q
Suppose -3*i - 2*k + 92 = 0, -7*k + 12 = -4*k. Is i > 27?
True
Let j be (-6)/(-33) + (-276)/66. Let o be ((-4)/(-24))/(1/j). Is 0.2 bigger than o?
True
Let i = -4 + 5. Let g = -9 - -15. Is g > i?
True
Let t(q) = -q + 4. Suppose 20 = f + 4*f. Let v be t(f). Does 2/9 = v?
False
Let g = 6 + -1. Suppose -9*d + 11*d = 0. Which is smaller: d or g?
d
Suppose -3*u = -2*c - u - 4, -2*u + 6 = 0. Let z be 1*(-1)/(17/(-2)). Is z at most as big as c?
True
Let i = 1.6 + 0.5. Let z = i - 2. Let k = 10 - 9.8. Is z less than or equal to k?
True
Let x = 4130/11 + -375. Which is bigger: -1 or x?
x
Let l(a) = -8*a**2 - 4*a + 2. Let q be l(1). Which is smaller: q or -6?
q
Let t = -1 + 2. Let b = 0.8 - 1. Which is smaller: b or t?
b
Suppose 5*f + 29 = 3*x, 5*x = 4*x + 3. Let a = 7 + f. Which is smaller: 0 or a?
0
Let y be 0/(-3)*(-2)/(-4). Let n(q) = 2*q - 2. Let o be n(4). Suppose -4*k - 4 = -o*m + 2*m, m + k + 1 = 0. Is y greater than or equal to m?
True
Let m = 4 - 7. Let x = m - 2. Let l = 4.7 + x. Do -2/3 and l have the same value?
False
Suppose 3*k = 5*s + 15, 0*s - 3*s = k + 9. Let v(i) = -i**3 - 3*i**2 - i - 3. Let t be v(-3). Suppose 3 = 3*q - t*q. Which is greater: q or k?
q
Let w = 1.2 - 0.2. Let x = -9 + 9. Is w greater than or equal to x?
True
Let l = 3662/5 - 735. Are l and -4 equal?
False
Suppose 4*v - 1 = -4*m + 15, -3*v = 2*m - 12. Is m at most 6/7?
True
Let m be (-21)/5 + 2/10. Let w be -2*5*(-2)/m. Let d be ((-4)/(-30))/((-3)/w). Is d less than or equal to 0?
False
Let t = 0 + -5. Suppose 2*l + 0*i = 2*i - 28, l + 34 = -4*i. Let s = l + 12. Is t smaller than s?
False
Let i = 6 - 6.1. Let m = 5 + -8. Which is greater: i or m?
i
Let v = -6 + 9. Which is smaller: v or -1?
-1
Let z = 1.5 - 1.6. Which is smaller: 2/11 or z?
z
Let o be (-9)/(-21) + (36/(-21))/4. Is o greater than 2?
False
Suppose 0 = k + 2*k. Which is bigger: k or 2/299?
2/299
Suppose -13 = -3*j - 34. Let w = 7 + j. Is w > -1/3?
True
Suppose 20 = 8*j - 4*j. Suppose 0 = j*m - 2*u - 55, -2*m = 2*u - 0*u - 22. Is 10 != m?
True
Let l(n) = n + 6. Suppose 4*c + 10 = 2*c. Let t be l(c). Is t != -3/8?
True
Let a = 63 - 63.2. Is -0.5 > a?
False
Let f be 2/(-4)*(-4 - -6). Which is bigger: -10 or f?
f
Let z(d) = d - 2. Let g be ((-9)/6 - -2)*2. Let a be z(g). Let o be 30/(-21) - a*1. Which is smaller: o or -1?
-1
Let j = -0.2 - 11.5. Let s = 8.6 + 2.4. Let c = j + s. Which is bigger: c or -1/2?
-1/2
Let k be (-2)/52*(-5 - (-12 + 5)). Do 1 and k have the same value?
False
Let v = -1.3 + 0.4. Let t = 0.1 + v. Which is smaller: t or -0.2?
t
Suppose -x + 3 - 2 = 0. Suppose 3*v = 5*j - 0*j - 8, -4*j = -16. Let q = v - x. Does 5 = q?
False
Let j = 90/17 - 956/187. Let u = 7 + -8. Is j smaller than u?
False
Let z = 1.5 - 1.6. Let y = z + 0. Do -1 and y have the same value?
False
Let h = -0.26 + -0.74. Is h >= 1/2?
False
Suppose -2*k - 129 = 3*k - 3*n, 0 = k + 3*n + 33. Let s be -2 + (k/(-12))/3. Do 0 and s have different values?
True
Let d = -0.1 - 0. Is d at least 0.2?
False
Let s be 1/6 + 0 - (-4)/(-8). Let z(r) = r**2 + 3*r - 3. Let f be z(-4). Do s and f have the same value?
False
Suppose -5*s = -4*m - 5, -s = -5*m + 2*m - 1. Let v = m + 1. Let x be 2 - (10/35 - (-3)/14). Is x greater than or equal to v?
True
Suppose -5*r + 15 = -3*q, 0*q + 4*q - 3*r = -9. Which is smaller: q or 2/189?
q
Let j be -1*(-5)/(-2)*-2. Suppose 0 = -3*k - 2*k - j. Which is smaller: k or 1?
k
Let x = -3.669 + 0.069. Is 0 <= x?
False
Let t = -5 + 4.8. Which is greater: 0.2 or t?
0.2
Let k = -15 + 15.7. Let x = 1.8 - k. Let y = x - 1. Which is greater: 5 or 