be a(y). Is u less than 14/3?
True
Let p be (1/10)/(6/15). Let k be 1 + (-51)/12 + (-1 - -4). Which is smaller: p or k?
k
Let w = -15 + 14.8. Do w and 2/27 have different values?
True
Suppose 0 = -5*a + t + 3*t - 86, 5*a + 82 = 3*t. Which is greater: a or -13?
-13
Let d be (6/(-9))/(2/3). Let g = -2 - d. Let v = 0 - g. Which is smaller: 2/3 or v?
2/3
Let v = 206 - 107. Let d = -2476/25 + v. Which is bigger: 0 or d?
0
Let y be ((-85)/(-25) - 3)*1. Which is smaller: 0.8 or y?
y
Let v = 11 + -12. Which is smaller: -4 or v?
-4
Let v(g) be the third derivative of g**5/60 + g**2. Let z be v(1). Which is greater: z or 0?
z
Let w = -1 - -6. Let g be (-47)/(-15) + (2 - w). Is g < -1?
False
Let t = -5 + 11/2. Which is greater: t or 6?
6
Let r(o) = 6*o**3 - o**2 + 1. Let u be r(-1). Let a be (2/u)/(21/18). Let t = 0 + 0. Which is bigger: t or a?
t
Let v = -7 - -9. Suppose -v*x - 3 + 1 = 0. Which is greater: x or -1/5?
-1/5
Let b be ((-15)/25)/((-6)/8). Suppose 0*w - 2 = 5*x - 2*w, -2*x - 2 = -2*w. Which is greater: x or b?
b
Let d(t) = 3*t + 6. Let l be d(4). Suppose l = -a + 3*a. Which is greater: a or 11?
11
Suppose -5*s = -81 + 11. Let k = s - 10. Is 4 at most as big as k?
True
Let d = 104 - 1039/10. Which is smaller: d or -1/2?
-1/2
Let a = 26 + -21. Is a bigger than 6?
False
Suppose 0 = -2*x + r + 12, 3*x + 4*r - 1 - 6 = 0. Suppose -4*q = -x*b - 8, -3*b - 4*q + 3*q - 15 = 0. Is -2 less than or equal to b?
False
Let m be (-4)/20 + (0 - 172/(-10)). Which is greater: m or 16?
m
Let l = -11 - -7. Which is greater: -5 or l?
l
Let f be (-229)/(-76) - (-9)/(-3). Which is bigger: f or 0?
f
Let n = -5 + 5.4. Let v = -0.4 + n. Is v < 0.1?
True
Suppose -9 = -2*h - 11. Suppose 18 = d + 3. Let i be (-2)/d + (-4)/6. Which is smaller: i or h?
h
Let u be ((-2)/40)/((-9)/54). Let p be 12*(-2 - 22/(-8)). Let z(t) = t**3 - 8*t**2 - 10*t + 9. Let b be z(p). Which is greater: u or b?
u
Let o be (-2)/(-5) - 7/30. Suppose -5*h - 16 = 4*j, 3*j + 10 = -4*h - 2. Is o < h?
False
Let d be (6/(-4))/((-24)/(-64)). Is d bigger than -2?
False
Let h = 43 - 49. Is h less than -6?
False
Let c = -28.3 + 4.3. Let l = -19 - c. Which is bigger: l or -0.2?
l
Let k = 5 - 6. Let i = 113/420 - 2/105. Which is smaller: k or i?
k
Let l = -8 + 5. Let b be (-3)/9*(-493)/l. Let w = -55 - b. Do w and 0 have the same value?
False
Let t = -0.38 - 0.62. Which is greater: t or 2/23?
2/23
Let i = -5 - -9. Suppose -s = 4*j - i, -4*s + 5*j = -3*s - 40. Let w be s/(-6) + 1 - -2. Is -1/3 less than w?
False
Suppose -5 = 2*y + 3*y. Let n = -4 + y. Let k = 29 - 34. Do k and n have the same value?
True
Suppose -10 - 6 = -4*z. Let c = 1 + 4. Suppose 0 = -c*h - 10, 0*u - 22 = -4*u + 5*h. Is u < z?
True
Let x = -8 - -1. Let k = x - -12. Let b(t) = 3*t**2 + 1. Let h be b(1). Does k = h?
False
Let w(k) = -k**2 - 12*k - 1. Let i be w(-8). Suppose -6 + i = -5*u. Let d = 4 + -7. Are d and u nonequal?
True
Let d be (4/(-169))/(-2) + 0/3. Is d less than 1?
True
Suppose 0*w = 5*w. Suppose -13 = -m + 2*q, w*m = -m - 5*q - 22. Let k be -2 - (-4)/(-1 + m). Is 1 equal to k?
False
Let o(p) = -p + 8. Let m be (-2 + 3 - 2) + 3. Let s be (-74)/(-12) + m/(-12). Let y be o(s). Is y smaller than 0?
False
Let j = -3/10 - -71/170. Which is smaller: -1 or j?
-1
Let c = 1 - 1.6. Let g = 0.5 + c. Let q = -1 - -1.1. Which is greater: g or q?
q
Let c = -12 + 8. Let o = 6 + c. Is o smaller than -5?
False
Suppose 3*c = 3*g - 15, -2*g + 2 = 2*c - 0. Which is greater: g or 4?
4
Let f(g) = -g + 2. Let l be f(4). Let a = -9 + 7. Is a greater than or equal to l?
True
Let b = -33 + 27. Is b <= -2/5?
True
Let w(y) = y - 5*y + 2*y + y. Let k be w(-6). Is k greater than 6?
False
Let p(g) = g**3 + 2*g**2 + g + 4. Let x be p(-3). Are -10 and x non-equal?
True
Suppose -22 = -2*b - 2*b - 3*d, b - 5*d = -6. Suppose 0 = -2*z - n - n - 10, 5*z + b*n + 21 = 0. Do -1 and z have the same value?
True
Let x = 10 + -11. Let d = 0.7 + -0.8. Is x at most d?
True
Let h = 41 - 41.38. Which is bigger: h or 0?
0
Let t = 5.4 + -6.4. Which is bigger: 40 or t?
40
Suppose o + 8 = 5*o. Suppose -3*b - s = 3, 0 = -4*s - s + 15. Let d be b/18*4/4. Is o less than d?
False
Let t(w) = w**2 + 17*w - 17. Let v be t(-16). Which is bigger: v or -32?
-32
Let z = -20.135 + 0.135. Is -2 greater than z?
True
Suppose -3*m + 7 = 70. Let w be (12/16)/(m/8). Which is greater: w or 0?
0
Let i = 14 + -8. Suppose i + 0 = -3*g. Which is greater: g or -3?
g
Let s = -3 + 3.02. Let c = -2.98 - s. Let i = 4.1 + -4. Is i equal to c?
False
Let b = -1.07 - -0.1. Let g = b - 0.03. Which is smaller: 0.1 or g?
g
Let d = 25.8 + -26. Which is smaller: 2/7 or d?
d
Let p be (-5 - 0) + (-99)/(-21). Let n = -0.1 - 0. Which is bigger: p or n?
n
Let m = -3 + 8. Suppose 29 - 9 = m*i. Do i and 4 have different values?
False
Let n = -0.94 - -0.94. Is n less than or equal to 0.1?
True
Let g = -1318 - -1250.1. Let y = 64 + g. Let f = y + 4. Is f at least as big as -0.3?
True
Let j = 43 - 43. Let s = -0.4 - 0.4. Let x = s - -0.4. Is j > x?
True
Let f be 309/(-198) - (-15)/10. Which is smaller: 0 or f?
f
Let a be ((-1)/4)/((-9)/1884). Let c = a - 53. Is -5 less than c?
True
Suppose -t = -5*t + 8. Suppose 0 = -g - g + t. Let o be g + (-14)/4 + 3. Which is smaller: o or 1?
o
Let f = 3 - 0. Suppose -2*x - 10 = f*x. Let n be x/4 - 2/(-4). Which is smaller: 1/5 or n?
n
Let p be (-7)/(-2)*1/(-2)*-4. Is -2 at most as big as p?
True
Let f = 0 - 0. Let k be 0/((-2 - f) + 0). Let y = 4 - 4. Does k = y?
True
Let s be (3/(-9))/((-4)/(-60)). Suppose 1 = 3*g + w - 5, -4*g + 2*w = 2. Suppose -6 + g = z. Is z > s?
False
Let g = -0.5 + 0.54. Let x = 0.1 - g. Let a = x + 0.94. Is -1 bigger than a?
False
Let r = 5956832/13409 - -4574/583. Let c = r + -452. Which is bigger: c or 1?
1
Let w = 0.9 - 1. Let g = -0.2 - w. Let x be ((32/14)/4)/(-2). Is x <= g?
True
Let x = 0 - 15. Let u = -18 - x. Let o = 4 - 3. Is u equal to o?
False
Let i = -5 - -2. Let n = 2.9 + i. Let s = 0.3 + n. Is s less than -4?
False
Let b be ((-4)/2)/((-2)/(-49)). Is -49 greater than or equal to b?
True
Let k(h) = h - 10. Let o be k(7). Let s(t) = -t - 4. Let n be s(o). Which is smaller: -5/8 or n?
n
Let m be 2/291*(-4 + 1). Which is smaller: m or 1?
m
Let z = -2.109 - -0.009. Let v = -2 - z. Is v bigger than 9?
False
Let i(k) = -k**3 + 3*k**2 + k - 5. Let q be i(4). Which is greater: q or -18?
q
Let r be (9/6)/((-1)/(-2)). Suppose 0 = -2*b - 1 + r. Which is smaller: -3 or b?
-3
Let q = -14 - -9. Are -5 and q nonequal?
False
Suppose -5*d = c + 3*c + 8, 0 = -d. Is c at most 0?
True
Let t = -4 + 3. Let a(z) = 2*z + 6. Let b(d) = -d**3 - 5*d**2 - 3*d + 1. Let p be b(-4). Let r be a(p). Is r equal to t?
False
Let r = -977909/313082 + 273/2354. Let m = r - -30/19. Which is smaller: m or 0?
m
Let g = -9.02 + -0.08. Which is smaller: -1/2 or g?
g
Let w(d) = -d**2 + 7*d - 5. Let l be w(4). Let h = l + -4. Suppose 3*k = 4*r + 2, 0*k - 3*k - 12 = h*r. Which is smaller: k or -1?
k
Let x be (11/5 - 0)/((-3)/(-15)). Is 0.3 bigger than x?
False
Let u = 22 + -22.06. Let a = u + -0.14. Which is smaller: 0.3 or a?
a
Let l(v) = v - 1. Let d be l(0). Let k = 696/133 + -37/7. Does k = d?
False
Let x = 12 + -6. Let a = 6 - x. Which is smaller: a or 0.3?
a
Let g be (7 - 4)*(-2)/18. Do -1 and g have the same value?
False
Let m = 0.3 + -0.3. Let f = 0.21 + -0.14. Which is bigger: m or f?
f
Let m(d) = -d - 1. Let z be m(3). Let q be 1/z - (-13)/4. Is q greater than 2?
True
Let c be 4/(-2) + (-24)/18 - -3. Which is smaller: c or -0.06?
c
Let s be (26/25)/(4/(-15)). Let l = -22/5 - s. Which is smaller: l or 1?
l
Suppose 5 = 5*q - 65. Is q bigger than 13?
True
Let z = -2 - -16. Let y(s) = s**3 - 7*s**2 - 18*s - 9. Let a be y(9). Let t = a + z. Which is greater: t or 3?
t
Let r = 0 + 0. Which is greater: 2/43 or r?
2/43
Suppose -c - 4*c = 0. Which is greater: c or -7/10?
c
Suppose 7*o = -5*u + 3*o - 27, -4*o - 12 = 0. Let r(n) = n**3 + 4*n**2 + n + 1. Let i be r(-3). Let x = 5 - i. Does x = u?
False
Let j = 26 + -14. Let w = j - 13. Is -5 at most w?
True
Suppose a = 5*a - 3*z + 16, -3*z + 14 = -2*a. Are -2/81 and a equal?
False
Let y be (-600)/(-3125) - 2/10. Is y != 0?
True
Suppose -3*q = 9 + 3. Let g be (-21)/(-455) - q/26. Let a(d) = -d + 4. Let c be a(3). Which is greater: g or c?
c
Let