)/i + 0 + -4. Which is smaller: -1/2 or b?
b
Let c = 87/20 - 23/5. Suppose -4*r = -0 + 4. Which is greater: c or r?
c
Let x = -54 - -74. Is x bigger than 20?
False
Suppose -n + 25 = -5*h, 4*n - 8 = -3*h - 0. Let r(q) = q**2 - 5*q - 4. Let c be r(n). Which is bigger: -5 or c?
c
Let v = -2 - -8. Let f = v + -3. Suppose f*g + 3 = 2*g. Which is smaller: g or 1?
g
Suppose -r + 18 = 2*r. Let k = -6 + r. Which is greater: k or -2?
k
Suppose o - 1 = 2*w, o - 2*w = -6*w + 1. Let h be o/(1 - 3 - -3). Suppose 5 + h = 3*x. Which is smaller: x or 1/2?
1/2
Let d(n) = -n**3 + 5*n**2 - 3*n - 1. Let p be d(4). Let c be 0 + (p - (0 - -1)). Let z be 1/((-14)/4*c). Which is bigger: 0 or z?
0
Suppose -6 = 11*t - 12*t. Does t = 5?
False
Let h = -2 - -24. Which is greater: 23 or h?
23
Let z = 0.9 + 10.1. Let y = z + -8. Which is smaller: y or -1?
-1
Let t = -13933/1518 + 3/253. Let i = t - -26/3. Let l = 0.08 + 0.02. Which is smaller: i or l?
i
Let z = 0.02 - 11.02. Let p = z - -10.9. Suppose 5 = 4*w - 3. Is w less than or equal to p?
False
Let j be 3*(-5)/((-20)/12). Let z be (-3)/(j*(-4)/(-8)). Which is greater: 7 or z?
7
Let m = 5.1 + 0.9. Let w be 0 - 4/2 - -2. Let o be w*(2 - (-10)/(-4)). Is o bigger than m?
False
Let k be 1 + -3 + 1 + 1. Let a = 1 - 0. Let l be 2/(-5) + 0/a. Which is smaller: k or l?
l
Let t be (1/2)/1*-12. Let z be (-2)/((-16)/t) - -1. Is z > 1?
False
Let k = 41 + -203/5. Which is greater: 0 or k?
k
Let d be 6/10 - (-285)/150. Let j = d + -2. Which is smaller: 2 or j?
j
Let m = -7 + 7. Suppose 3 = -m*c + c. Is 3 less than or equal to c?
True
Let d(c) = c**3 - 2*c**2 - 2. Let t be d(2). Let m be (t - (-33)/18) + 0. Let r(x) = x**3 + x**2 + x. Let k be r(-1). Which is greater: k or m?
m
Let c(y) = -y**2 + 2*y - 4. Let s(f) = f**2 - f + 4. Let x(z) = 5*c(z) + 4*s(z). Suppose -m + 5 = -0. Let p be x(m). Which is smaller: p or 4/7?
4/7
Suppose -5*j = 0, 2*g + j + 10 = 5*j. Let r be (-10)/(-6)*(0 + 6). Suppose -3*l = -l + r. Is g greater than or equal to l?
True
Let r(b) = -3*b - 5*b + b**2 + b + 9. Let x be r(6). Let c(q) = -q**2 + 7*q + 10. Let j be c(8). Which is smaller: j or x?
j
Let o be 2/3 + (-170)/75. Is o greater than -1?
False
Suppose 2*j + 2*g - 3*g - 3 = 0, -5*j + 8 = -2*g. Let y = 3 - j. Let l be y/2 - (-12)/8. Is l not equal to 2?
False
Let k = -0.02 - -2.02. Let f = -1 - k. Let m = 3.1 + f. Which is smaller: m or -2/11?
-2/11
Let f(y) = -6*y. Let a be f(1). Let g be (9/a)/((-2)/(-4)). Let x = g - -4. Which is bigger: x or 2?
2
Let t = -413/66 + 56/11. Is t greater than or equal to -1?
False
Let z be (88/33)/(2/3). Let f(l) = -l**2 + 5*l + 3. Let o be f(5). Is o at least z?
False
Let g = 55 - 134. Is 0 at least g?
True
Suppose 0 = -5*l - 0*l - 4*n + 23, -9 = -5*l + 3*n. Is l at most 3?
True
Let d = 0.06 - -11.94. Is d at most as big as -0.3?
False
Suppose 3*v + 10*c = 5*c + 87, -4*v + 90 = -2*c. Which is bigger: v or 2?
v
Let h = -0.238 - -15.238. Let b = -0.2 + 0.3. Is b at least h?
False
Let w be -1*(-2)/3 + 130/210. Is 2 at most as big as w?
False
Let y be -337*7/(-1) + -1. Let j be y/30 + (-1 - 1). Let p = 77 - j. Is 0 < p?
True
Let f be 12/(-152)*(1 + -3). Which is smaller: 1 or f?
f
Let r = -11 - -11. Suppose r = 5*x - 2*x + 3. Is x greater than 0?
False
Let k(n) = n**3 + 3*n**2 + 0*n + n + 0*n. Let u be k(-2). Suppose 5*y = -j - 4*j + 10, -u*y = -j - 4. Is 1/2 >= y?
False
Let d be ((-2)/3)/(2/3). Suppose 3*h + 2*h = -70. Let r be (8/h)/(5 + -7). Which is smaller: d or r?
d
Let t = 120 - 125. Is -27/7 <= t?
False
Let q = -28 + 32. Suppose -q*a = 2*c - 5*c - 20, a = 5*c + 5. Are c and -1/4 nonequal?
True
Let x = -28 + 30. Which is smaller: 9 or x?
x
Let q = 18 - 3. Suppose 10*g - 10 = q*g. Is g < -1?
True
Suppose 2*q = -3*g - 3, -g + q = g - 5. Do 6/7 and g have different values?
True
Suppose 0 = 7*x - 5*x. Is 82 at least as big as x?
True
Let a be (-124)/(-144) - (-1)/4. Is a at most 0?
False
Suppose 0 = -2*g + 4*g + 5*x + 19, -4*x = 12. Let f(p) = -2*p**2 + 3*p + 2. Let t be f(-1). Which is smaller: g or t?
t
Suppose 4 + 6 = 3*y - a, -5*y + 18 = -3*a. Suppose 4*w + y = -5. Suppose 4 = -4*h - i - i, -4*i = -3*h - 3. Which is greater: h or w?
h
Let l = -2/95 + 27/380. Which is smaller: l or -1?
-1
Let r = 4 - 3.8. Let n = -6 - -6. Is n less than r?
True
Suppose 0 = -2*u - 3*u - 40. Let v(l) = l**3 + 7*l**2 - 8*l + 4. Let a be v(u). Is 2/5 not equal to a?
True
Let g = 179/2 - 90. Let l = 1 + -1. Suppose l = -4*v - v. Is g at least v?
False
Let v = 13 + -14. Which is bigger: 2/33 or v?
2/33
Let n be ((-27)/(-6) + 2)*2. Let y = -19 + n. Which is smaller: y or -7?
-7
Suppose -s = 3*s + 8. Are s and -8/3 equal?
False
Let l = 9 + -9. Which is smaller: -6 or l?
-6
Let b(i) = i**3 - 5*i**2 - 2*i - 1. Let g be b(5). Is g at most as big as -11?
True
Let a = -1.5 - -0.5. Is a at most -0.11?
True
Let i = -37/35 - 201/35. Is -6 <= i?
False
Let j be 2/12 + (-2)/12. Let u = 3 - 1. Let v be u/(-6) - (-26)/42. Which is smaller: v or j?
j
Let h(t) = -2*t - 1. Let u be h(-4). Let j = 7 - 1. Which is smaller: u or j?
j
Suppose 2*n = 6*n - 8. Let b(o) = -o**2 - 3*o. Let z be b(-3). Suppose -2*f + 2 = -z*f. Is n at most f?
False
Suppose 15 = 5*k + w, 4*k + 4*w - 22 = 6. Suppose 1 = -k*d - 1. Let h be (-4)/2*(-2)/(-6). Does h = d?
False
Let c(k) be the first derivative of -k**2 + k + 1. Let f be c(1). Is f greater than or equal to 2/11?
False
Let l = -17 + 10. Is -7 at most l?
True
Let z = -21 - -22. Is z less than or equal to 5?
True
Let t be 124/6 + 2/(-3). Suppose -h - h = t. Let z be (-4)/h - (-3)/5. Which is greater: 2/7 or z?
z
Let v = -47 - -75. Suppose 3*j - 2*k + 23 = 3, -4*j + 3*k = v. Is -4 < j?
False
Let v(u) = -u**2 - 5*u - 4. Let r be v(-3). Let f be (-2 + 5)*(-15)/(-9). Is f < r?
False
Let w = 0 - 0. Let g = -10 + 14. Let t = g + -5. Which is greater: t or w?
w
Let c be 1/6 - 58/60. Which is smaller: -2 or c?
-2
Let w = 20.7 - 2.7. Let k = 12 - w. Is 0 <= k?
False
Let j be ((-2)/(-6))/(2/6). Suppose 6 + 8 = 2*u. Suppose 0 = 2*n + 10, 0*f = -4*f - 3*n - u. Which is smaller: j or f?
j
Suppose 0 = 2*d - 4*d - 4. Let q = -2 - d. Let w = 31 - 31. Is w at most q?
True
Let d = 23 + -22.9. Let m(p) = -p**3 - 5*p**2. Let i be m(-5). Is d >= i?
True
Suppose -3*l + l - 6 = 0. Let x(y) = 3*y**2 + 2*y - 4. Let p be x(l). Suppose 4*v + p = -2*w - w, 20 = -5*w - 5*v. Are w and -1/6 non-equal?
True
Let u = 29/4 - 3/4. Which is smaller: 7 or u?
u
Let l = -114 - -159. Is 45 less than l?
False
Let n = -0.2 + 0.22. Let t = -37.12 + 34.1. Let p = n + t. Which is smaller: -0.1 or p?
p
Let l = -27.19 + 27. Let j = l - -3.19. Which is greater: 0.2 or j?
j
Suppose -5 = 2*i + 1. Is -5 bigger than i?
False
Let i = 740 + -19982/27. Let s(y) = y**2 - 11*y + 9. Let w be s(10). Is i less than w?
False
Suppose -8*g + 3*g = -5. Let v = 1058/11 + -96. Is v >= g?
False
Let n = 5 + -5. Suppose -3*w - 3*l - 12 = -n, -2 = 2*w - l. Is -3 greater than w?
False
Let t = 2.9 - 10.8. Let y = t + -0.1. Let u = y - -11. Is u equal to 2/3?
False
Suppose -r = 4*r + 20. Which is smaller: r or -3?
r
Let w be -3*1*4/(-12). Suppose 0 = -l - 6 - w. Is l at most -8?
False
Suppose -3 = -3*j - 6. Is 3/13 at least as big as j?
True
Let d be (4/26 + 0)/1. Suppose 0 = 2*m + 3*c + 3, 3*c = 4*m - 2*c - 5. Suppose 4*n = -m*n. Is d equal to n?
False
Suppose -5*g + 0 = 5. Let r = 1 + g. Is -2/3 < r?
True
Let n be (-150)/(-35) - (-2)/(-7). Let h be (n/(-6))/(3/27). Are -6 and h nonequal?
False
Let l = 0.6 - 0.4. Let a = -0.3 - l. Let g = 0.8 + a. Which is smaller: -0.1 or g?
-0.1
Let l(t) = t**3 - t**2 - t + 2. Let m be l(2). Which is greater: -2 or m?
m
Suppose -60 - 210 = 5*w. Let m be w/(-3) + (1 - 0). Suppose 2*l - 6*t + t = -18, 0 = 3*l + 4*t - m. Which is greater: -1/4 or l?
l
Let s = 53.9 + -54. Let l be 8/(-6) - (-3)/9. Are s and l non-equal?
True
Let l = 2.95 + 0.05. Is -2/5 smaller than l?
True
Let q = 21 + -22. Let a = -8.7 + -1.3. Is a bigger than q?
False
Suppose -16*p = -19*p - 60. Which is bigger: p or -18?
-18
Suppose -6*l = -3*l. Is -4/25 bigger than l?
False
Let u be 15/(-54) - 2/9. Suppose -13 = -3*y - 1. Let n be (y/(-5))/(4/10). Is n at most u?
True
Let o = 26 - 24. Which is greater: o or 4?
4
Let g = 64 - 319/5. Is -1 at least as big as g?
False
Suppose 3*j = 7*j - 12. Whic