176/40. Suppose r - 6 = 6*r - 3*b, -3*r + 2*b = d. Which is smaller: -1/5 or r?
-1/5
Let q = -6 - -9.4. Let p = 2.3 - q. Let u = p + 0.1. Which is smaller: u or 2?
u
Let d(f) = f**2 + 1. Let u be d(-3). Suppose 0*p + 2*p - a = -7, u = -5*p + a. Which is bigger: 0 or p?
0
Suppose -3*a = -2*a - 40. Let h be a - 1/2*2. Let z be ((-2)/h)/((-4)/6). Which is smaller: 0 or z?
0
Let z be (-1)/(-4) - (-126)/(-184). Which is smaller: z or 1?
z
Let z = -2/253 + -40/759. Which is greater: z or 0?
0
Let g(w) = w**3 + 5*w**2 + 10*w + 6. Let y be g(-3). Which is smaller: y or -29/5?
y
Let l = 3.5 + -6.42. Let n = l - 0.08. Let b = 2 + n. Is -3 < b?
True
Suppose g + 39 = -4*w - 41, -4*w = -g - 96. Let l be g/(-15) - 2/(-15). Which is smaller: 5 or l?
5
Let a be 0/((7/28)/((-1)/(-4))). Is a less than -1/16?
False
Suppose -6 - 84 = 2*t. Which is greater: t or -44?
-44
Suppose 31 = -4*s + 35. Which is smaller: -1/19 or s?
-1/19
Suppose c + 1 = -2*f, -c + f + 2*f = 1. Let y be 5 + -5 + c/23. Which is bigger: -1 or y?
y
Let h = 43 + -44. Do h and -3 have the same value?
False
Let r = 0.9 + -0.6. Let k = 0.7 + r. Is 1 greater than k?
False
Let r be 2/3*4/(-36). Let s(j) = -j**2 + 0*j**3 - j + 2*j**3 + 1 - j**3. Let g be s(0). Is r bigger than g?
False
Let t = -1244 + 154255/124. Is -1 >= t?
False
Let y = -10 - 1. Let u = -25 + 15. Which is smaller: u or y?
y
Let s be (-9)/(-11) - (-1 + 2). Let a = -42.9 - -43. Is s at most as big as a?
True
Suppose -6*s = -2*s - 24. Suppose 0 = -4*b - 2 - s. Is b at least -8/7?
False
Suppose -2*x - 4*w - 8 = 0, x - 4*w = -7*w - 5. Let i be 6/5 + (-2)/10. Let v be 7/(-6) - i/3. Which is smaller: x or v?
x
Let g = -1 - -1. Let t be -1 - 1/2*g. Let f = 7.8 - 8. Which is smaller: f or t?
t
Let v = -19 + 19. Suppose 0 = 2*n + 3*n - 3*y + 10, -y = 0. Let m be (-2)/4 + n/(-4). Is v greater than m?
False
Let b = 46.3 + -44. Let y = 2.3 - b. Which is bigger: -0.12 or y?
y
Suppose -2*s + 10 = 0, -10 = -2*a - 3*s + 7. Is 0 < a?
True
Let y be (4 + 1)*9/9. Which is smaller: 3 or y?
3
Let b be (-7 + 4)/(-6)*-2. Are -30/13 and b equal?
False
Let s = -58 + 68. Are 17/2 and s non-equal?
True
Let m = 14 - 12. Let k be (12/(-54))/((-2)/6). Which is smaller: k or m?
k
Let h be (-2 + 93)*(1 + 0). Suppose 2*g = -35 + h. Let y be g/(-16) - (-2 - 0). Is y > -1?
True
Let k be 65/35*1 + -1. Which is smaller: k or 0?
0
Let d = 84 + -97. Which is smaller: 2/9 or d?
d
Let c(g) = -g**2 - 3*g. Let s be c(-3). Suppose 0 = -0*h - 5*h. Suppose -5*l + h*l = 0. Is l greater than s?
False
Let b = 8 - 3. Suppose 0 = -b*u + 2*u - 30. Let f be -2 + 3*u/(-6). Which is smaller: 4 or f?
f
Suppose -13 = -4*o - 3*t, -4*o - 4 = -2*t - 2. Suppose 22 = 2*g + 2*z, -g + 0 = -3*z + 1. Let l be (-3)/g*32/(-72). Which is smaller: o or l?
l
Let r be -14 - -10 - (-20 - -1). Which is smaller: 14 or r?
14
Suppose 5 = 2*m + 1. Suppose 65 = 5*q + 4*v, 4*q + 7 = m*v + 33. Is 9 less than q?
False
Let s be 8/(-32) + (-214)/8. Suppose -4*j + 4 = -2*j. Let a be -3 + j - s/24. Which is bigger: a or -1?
a
Let g(l) = -l**2 - 7*l - 5. Let s be g(-5). Suppose s*y = 6*y - 5. Is 5 at least y?
True
Let d be 2/40*4*7 - 1. Let i(o) = 4*o + 1. Let b be i(1). Suppose -r - 3 = -b*g, 3*g - 6 = -r + 3*r. Which is smaller: d or g?
g
Let g = -2 - -1.8. Let k = 0 - g. Let b be (-15)/(-54) - 2/4. Which is smaller: b or k?
b
Let j = -2.4 + 0.4. Which is bigger: -16 or j?
j
Let w be 127/177 - 38/57. Which is smaller: -1 or w?
-1
Let q be (-8)/6*4*(-3)/(-4). Which is smaller: q or -1?
q
Let d(q) = -q - 1. Let b be d(-4). Is b >= 0?
True
Let j = 78 + -1012/13. Let t = -4 + 6. Suppose t = 3*k - 1. Does j = k?
False
Let p(g) = -4*g - 1. Let x be p(1). Do x and 2/5 have the same value?
False
Let h = 1807/2 + -882. Let t = -16 + h. Which is greater: t or 6?
6
Let u be (-1 + 5)*(-3)/(-6). Suppose 0 = -4*n + u*n + 2. Which is smaller: 2/9 or n?
2/9
Let x be -2 - (-4 - (1 + 2)). Let z = x - 5. Which is greater: 3/13 or z?
3/13
Let h = 1921/17630 - -3/410. Let x = -156439/3655 - -214/5. Let k = h - x. Which is bigger: k or 0?
k
Suppose -13*u + 8*u - 50 = 0. Let t = -11 - u. Let s be ((-6)/(-14))/(4/(-14)). Which is smaller: t or s?
s
Let j = -195 - -2927/15. Are 2/13 and j non-equal?
True
Let o = -2/15 + 4/5. Let j(p) = -p**2 - p. Let k be 3/6*-2 + 1. Let q be j(k). Is q >= o?
False
Let v = 10 - 4. Let t = v + -5.8. Is 1/4 not equal to t?
True
Let s(g) = 3*g**2 + 25*g + 2. Let w be s(-8). Which is smaller: -50/9 or w?
w
Suppose -2*s + 3*f + 4 = f, 5*s + 5*f = -10. Which is greater: s or -3/17?
s
Let h = -273/8 + 2931/88. Let w = h + 23/55. Do w and 1 have the same value?
False
Let z(q) = 3*q**2 + 7*q - 8. Let l be z(1). Which is smaller: l or 13/5?
l
Suppose -n = 5*i - 27, 5*n + 5*i - 29 - 6 = 0. Let k = 2 - n. Which is smaller: -2/7 or k?
-2/7
Let q = -4 + 13. Let x be 29/3 - (-8)/(-12). Is x at most as big as q?
True
Suppose -3*k = 4*l + 4 - 46, 0 = -4*k - l + 56. Is k < 15?
True
Let g = 172.24 + -172. Which is bigger: g or -1/3?
g
Suppose 5*h + 99 - 22 = 3*v, 5*v - 3*h = 123. Let b = v + -49/2. Let s = -0.16 + 0.2. Is b less than or equal to s?
True
Suppose 0*t - 3*t = 2*q + 6, 2 = -5*q - t. Which is greater: q or 2/27?
2/27
Let p = 53 - 54. Which is bigger: p or 3?
3
Let x = 1 + 5. Let s(h) = -2*h - 1. Let u be s(-3). Is u < x?
True
Let a be 4/(-6) + (-22)/(-6). Suppose a*i = -i. Let r be (-2)/(-6)*(-12)/10. Which is smaller: r or i?
r
Let u(z) = -z**3 + z**2 + z - 3. Let t be u(3). Which is smaller: t or -3?
t
Let g be 1/(-4) - (-330)/(-24). Suppose 5*s = -5*j, 2*s = -4*j - 2 - 0. Does g = j?
False
Let p be (-6 + 4)/(4/(-6)). Suppose -11 = -n - 2*m - m, -p*n + 5*m = 23. Which is greater: -6 or n?
n
Let s = 336859750452 - 15824660502446246/46977. Let q = s - 16/6711. Let d = q + 116. Which is greater: 2/5 or d?
2/5
Suppose -3*h + 9 = -2*a, -3*a + 4*h = -5*a - 16. Let x = a - -6. Which is smaller: x or 2/3?
x
Let j = -1.2 - -0.2. Let l = -3 - j. Let q = 1 + l. Which is bigger: 3 or q?
3
Let c be 2 + (-55)/(-435)*-16. Which is bigger: c or 0?
0
Let d = 0.2 + -0.3. Let g be (18/(-10))/((-9)/30). Suppose -3*b = -g*b - 6. Which is smaller: d or b?
b
Let c(l) = l + 88. Let k be c(0). Suppose 3*t = -t + k. Suppose 4*z + 2*j + 30 = 3*j, -j = -3*z - t. Which is smaller: z or -7?
z
Suppose -t - 170 = -3*v, -3*v + 5*t + 135 = -v. Let d = v + -329/6. Is -1 less than or equal to d?
True
Let c(f) = f**2 - 8*f - 4. Let v be c(10). Let l = 15 - v. Is l equal to -0.4?
False
Let p = -13 + 11. Which is bigger: p or 1?
1
Let m be -21 - -4*2/(-4). Let l = m + 13. Let v = 52/5 + l. Is 1 at least as big as v?
True
Let u = 119/9 - 40/3. Let r = -10672/45 - -713/3. Let c = u + r. Is 0 greater than c?
False
Let k(p) = p**2 - 4*p + 4. Let v be k(4). Suppose v*b + 1 = 3*b. Let g(f) = -f - 1. Let s be g(1). Which is bigger: b or s?
b
Let b = -0.02 - -0.09. Let d = -0.03 - b. Is d equal to -3?
False
Let p = -3 - 0. Let n = -2.9 - p. Are n and 0.2 non-equal?
True
Let n = -162/629 - -6585/413882. Let b = n - -8/47. Is -1 at most as big as b?
True
Let j be 1 - ((-21)/5)/(-3). Suppose 0 = 3*q - 3*f - 15, -5*q + 4*f + 21 = -0*f. Suppose 3*u + 2 = -q. Is u not equal to j?
True
Let t be (-4 - -10)*(-1)/3. Is -4/5 smaller than t?
False
Let l = 4/11 - 6/77. Let q(p) = -p**3 - p**2 + p - 1. Let u(s) = 2*s**3 - 3*s**2 - 2*s + 11. Let w(k) = 3*q(k) + u(k). Let j be w(-6). Which is bigger: j or l?
j
Let f = -6 - -6. Let g be f/2 + 2/(-1). Which is smaller: -7/5 or g?
g
Let n = -0.21 + 2.11. Is 0 != n?
True
Let j be (-11 + -2)*1/2. Let s = j - -7. Let i(n) = -n**3 + 7*n**2 + 2. Let o be i(7). Which is greater: o or s?
o
Suppose 0 = 13*i - 14 + 105. Is i greater than -7?
False
Suppose -8*b + 3*b = 5. Let i(o) = -o**2 + o. Let k be i(b). Which is smaller: -3 or k?
-3
Let p(s) = s - 9. Let o(w) = -w - 1. Suppose 0 = 5*k - 5*g + 25, 0 = k + 2*k + 3*g + 33. Let h be o(k). Let v be p(h). Which is bigger: -4 or v?
v
Let w = -18 + 8. Let b = -9.7 - w. Which is bigger: 1 or b?
1
Suppose -3*a - 73 + 219 = 4*d, -2*d + 66 = 5*a. Is d at most 39?
True
Let w = 546 + -2741/5. Suppose 3*i + 3 = m, 2*i - 7*m = -3*m + 8. Is w not equal to i?
True
Let t be 0 - (4 - (3 - -4)). Which is smaller: 0.1 or t?
0.1
Let a be (-2)/(-6) + (-96)/(-9). Which is smaller: a or 12?
a
Let v be 