. Let w = 0.58 + -0.58. Is w smaller than l?
True
Let g(q) = q + 3. Let t be g(-7). Let d be 2/38*(-8)/t. Which is smaller: d or -2/5?
-2/5
Suppose 5*q - 3*k = 2*q - 12, -2*q - 3*k + 12 = 0. Let x(l) be the first derivative of l**2/2 - 8*l - 7. Let i be x(8). Is i greater than q?
False
Let j = -1 + -2. Let s = -1 - -1. Let u = 0.1 + s. Which is smaller: u or j?
j
Let r = -4 - -15. Let l = r + -15. Do l and -4 have the same value?
True
Let d = -2.28 + -0.62. Let q = -8 - -11. Let f = d + q. Which is bigger: f or -2?
f
Let w = -14.1 - -13. Let j = 0.9 - w. Let d = -2.1 + j. Which is smaller: -5 or d?
-5
Suppose 0 = -5*y + 10, 2*l - 20 = -2*y - 3*y. Suppose -r - 3 = -h, l*r + 4*h = 34 - 4. Is 2 smaller than r?
False
Let u = -16.1 + 26.1. Which is smaller: -0.2 or u?
-0.2
Suppose z - x + 4 = 0, 3*x + 1 = -2*z - 7. Let g(u) = -u - 6. Let a be g(z). Let b(q) = q + 3. Let j be b(-3). Which is smaller: a or j?
a
Suppose -3*k - 2*w = -37, 0 = 4*k + 3*w - 49 - 2. Which is smaller: 3 or k?
3
Let o be 4*((-5)/20)/(1/2). Is -0.1 at least as big as o?
True
Let x be (-183)/27 + 2/(-9). Let r = x + 6. Is r < 1?
True
Let s = 276 + -143. Let v = s - 1461/11. Let g be (3 + -2)*(0 - 1). Which is bigger: g or v?
v
Let p be (-2)/(-8)*8/9. Let t = 3 + -3.1. Let z = -0.1 - t. Which is smaller: z or p?
z
Let o(t) = t**3 - 4*t**2 + t - 3. Suppose -13 = -4*g + 3. Let q be o(g). Let j be ((-4)/(-6) - 1)*-1. Is j not equal to q?
True
Suppose -144 = 11*p + 7*p. Let g be (-52)/6 + 4/6. Is p <= g?
True
Suppose 0 = h + y, -4*h - h - 4*y = 0. Suppose 0 = -v - 3*b + 7, -4*v + 3*b - 4 = -2*v. Let n be (-1 + v)*(-2)/4. Is h greater than n?
False
Suppose -3*h = 3*g + 13 + 14, 2*g + 3*h = -19. Let j = -3 - g. Suppose 2*l - 5 = 5*c, l - 5 = j*c - 4*l. Is c greater than or equal to -2/3?
False
Let c = 254 + -261.05. Let n = c + 0.05. Are 1/3 and n nonequal?
True
Let l = -0.1 - 0. Let u be 6/7 + (-4)/14. Which is smaller: u or l?
l
Suppose 5*s + i - 6 = -43, 0 = 5*s + 3*i + 31. Let a be (-10)/s*-2 + 1. Is -3 equal to a?
False
Suppose 4*m = 2 + 6. Suppose -3*z = -6*z - 6. Let i be z/(((-6)/(-3))/(-1)). Is m greater than or equal to i?
True
Suppose -6 = 4*i - 6*z + 4*z, -4*i - z = 9. Let p = i - -1. Which is bigger: p or 2?
2
Let j be (-32)/14 - (-16)/56. Is -3 less than or equal to j?
True
Suppose -3*b - 4 = -7*b. Suppose 0 = -4*y - 0*y + 8. Is b at least y?
False
Let l = -5 - -5.04. Let i = 0.14 - l. Which is greater: i or 0.2?
0.2
Let q = -0.47 + -0.53. Which is greater: -1/30 or q?
-1/30
Suppose -5*o - 4*i + 22 = -42, -46 = -4*o + 2*i. Which is smaller: o or 14?
o
Let z(v) = -3*v**3 + 2*v**2 + 2*v + 1. Let j be z(-1). Suppose 4*t - 11 = d, 0 = -0*t - j*t + 12. Which is bigger: 6 or d?
6
Let h be 2 + -5 + 10 + 0. Which is smaller: h or 6?
6
Let r be 2 + -1 - (-789)/(-2421). Let q be (0 - -1) + 813/(-807). Let i = r + q. Is 0 equal to i?
False
Let k = -51120/7 - -7349. Let j = k + -46. Which is greater: j or 1?
1
Let r(k) = k**2 - 7*k + 8. Let b be r(6). Does 11/5 = b?
False
Let r(y) = y**3 + 5*y**2 + 3*y + 1. Let m be r(-4). Let x be -1*4 - 18/54. Let w = m + x. Is 0.1 less than or equal to w?
True
Let i be (4/8)/(3/30). Suppose 21 = i*s - 2*s. Let p be 6/105 - (-1)/s. Is 0 less than p?
True
Let d be 2*(3 - (-2 - -6)). Do -2 and d have different values?
False
Let w be 33/7 - 8/(-28). Suppose g = -3*t - 6, -4*g + w = 4*t - 7*g. Let j(l) = 3*l. Let a be j(t). Is -4 != a?
True
Let n = 23 - 25. Let t = -1 + 1. Let i = t - n. Is i greater than or equal to 0?
True
Let y be 16/6 - 2/(-6). Suppose -5*i - q = y*q + 33, q = i + 3. Let m be (-1 - 25/(-15))/((-4)/30). Is m < i?
False
Let y = 75 + -71. Which is smaller: 15/4 or y?
15/4
Let i = -3362/517 + 72/11. Is -1 not equal to i?
True
Let f be 2/(40/(-6))*-2. Let y be (-6)/(-15) + (-44)/10. Let k be (4/4)/((-2)/y). Which is bigger: f or k?
k
Let o(s) = s**3 + 0*s**2 - 3*s**2 + 1 - 2*s**3. Let g be o(-2). Let a = 0.369 - 0.569. Is a smaller than g?
False
Let x(q) = -q**2 - 5*q + 4. Let p be x(-6). Let v = p - 0. Let h = v + 2. Is -2/9 at least h?
False
Let t be (1/4)/(195/(-12)). Let b = t + 197/130. Which is smaller: b or 1?
1
Let w be (-4)/(-20) - (-116)/(-380). Which is smaller: -2/5 or w?
-2/5
Suppose -15 = -5*c + 5. Suppose -2*i = c*j - 20, j = -2*i + 1 + 10. Let m be -3*2*2/i. Which is smaller: m or -1?
m
Let f = -1 - -1. Which is greater: 10/9 or f?
10/9
Let n = 0.2 + 1.8. Let m = 12 + -21. Let h be 4/(3 - m - 2). Which is smaller: h or n?
h
Let x = -2.141 - -0.041. Let z = -1 - x. Let s = -1 + z. Is 3 < s?
False
Suppose -h + 66 + 32 = 4*x, x - 26 = -h. Is x < 24?
False
Let r be (-20)/(-208) - 4/(-26). Which is smaller: r or 4/11?
r
Let p = -3 + 2. Let d be 64/416 + (-53)/91. Do d and p have the same value?
False
Let i(r) = r**2 - 4*r + 4. Let v be i(3). Let u = 123 - 124. Is u smaller than v?
True
Let i = -3 + 7. Are i and 5 non-equal?
True
Let t(x) = x - 7. Suppose 4 = 3*u - 14. Let m be t(u). Which is bigger: -1/13 or m?
-1/13
Suppose 5*u + 25 = 0, 0*k - 21 = -4*k + 5*u. Is 2/33 at least k?
True
Let d be (-1 + 14/(-3))/(30/(-90)). Let c be ((-34)/6)/((-5)/15). Do c and d have the same value?
True
Suppose -5*f + 60 = -0*f. Is 0.1 not equal to f?
True
Let w = 5 + -4.98. Let i = -0.98 - w. Let o = i + 1. Is 0.1 greater than o?
True
Let n(p) = -p**3 + 5*p**2 + 6*p + 4. Let q be n(6). Suppose -q*u + 7*u = 0. Which is smaller: 2 or u?
u
Let d be (0/(-3) - -1)*-7. Let t(s) = -s**2 - 8*s - 6. Let n be t(d). Let p be 14*(-3)/(-54) + -1. Which is smaller: p or n?
p
Let m = -19 - -6. Let p = 9 + m. Which is smaller: p or -0.2?
p
Suppose -1 = q - 0. Let u = 8 + -9. Do q and u have different values?
False
Let k(l) = -l**3 - 5*l**2 + l + 7. Let n be k(-5). Which is smaller: n or 0?
0
Suppose 2*w - 4 = 2. Let g = w - 2. Is g > -1/6?
True
Let k be (-3*(-2)/(-12))/(-1 - -42). Which is bigger: k or -1?
k
Let l = -0.3 - -0.25. Let g = -70 - -72.05. Let i = l + g. Which is greater: i or 0.3?
i
Let t = -0.8 + 2.8. Let f = -0.8 - -5.8. Let b = -3 + f. Are b and t equal?
True
Let n = -2.051 - 0.049. Let a = n - -2. Which is smaller: a or -7?
-7
Let p = 0.05 + -0.05. Is -2/21 greater than p?
False
Suppose -l + 18 = -3*z, -3*z + 7*z + 26 = 2*l. Let v = 2 + z. Let t = -29.1 + 29. Is t less than v?
False
Let v = 2.06 + -0.06. Let i = v + -1.9. Let a = 1 - 3. Which is smaller: a or i?
a
Suppose j + 567 = -2*j. Let s be (-96)/j + 2/(-9). Let u = 0.12 + 2.88. Is u at most s?
False
Let m(h) be the third derivative of h**5/60 - h**4/6 + h**3/2 + h**2. Let y be m(3). Let p = 49 + -244/5. Which is greater: p or y?
p
Let n = 6/5 - 4/5. Is -3 at most as big as n?
True
Suppose -3*j + 13 = -8*q + 3*q, -2*q = 2*j + 2. Let y(u) = 16*u**2 + 1. Let h be y(2). Let r = 321/5 - h. Which is bigger: r or q?
r
Let y be 1/(-3) + 3/((-180)/(-35)). Does y = -31?
False
Let h = 3.3 - 2. Let w = 1.4 - h. Which is greater: w or 8?
8
Let x be (-1 + 7)*8/6. Let s = x + -12. Let k(o) = -o**3 - 3*o**2 + 5*o + 2. Let r be k(s). Which is bigger: -4/3 or r?
-4/3
Let h be ((-2)/(-4) - 0)*-2. Is -2 less than or equal to h?
True
Let z(c) = -c**2 - 3*c. Let d be z(3). Does -83/5 = d?
False
Let m be -1*13/11 - -1. Is 1 less than m?
False
Let b(m) = -m - 90. Suppose 5*y + 6 = -3*z - 6, 0 = 2*z + 8. Let p be b(y). Let t be 56/p + (-4)/(-18). Which is bigger: t or 1?
1
Let u = 146 - 99. Which is bigger: u or 46?
u
Let w(m) = -7*m**2 + 7*m + 6. Let b be w(-2). Is b less than or equal to -37?
False
Let r be -2*1*2 - (83 + -86). Is -4/3 >= r?
False
Suppose 29 = k + 3*x, 4*x + 21 = -2*k + 77. Is 27 at most as big as k?
False
Let v = -8 - -11. Is 2 >= v?
False
Suppose 4*o - 3 = 7*o. Let y = o + 1. Let c = 1.3 + -0.3. Which is greater: y or c?
c
Let k = 9.173 - -0.027. Let m = 96 + -105. Let o = m + k. Which is bigger: -0.1 or o?
o
Let a = -9550/17 + 562. Do a and -1 have different values?
True
Let u be ((-6)/42)/(3/(-15)). Which is greater: u or 2?
2
Let o be (-1)/(-4) - 6/(-8). Suppose 6 = -5*j + 1. Let w = j + 3. Is w >= o?
True
Suppose -h + 0 + 1 = 0. Let d be -6 + 4 - (-7)/3. Which is greater: d or h?
h
Suppose -14*r - 3*v + 42 = -10*r, 0 = v - 2. Is r bigger than 9?
False
Let s = 2034 - 1970.06. Let q = 65 - s. Let b = 0.06 - q. Are b and -3 unequal?
True
Let t = 38 - 39. Suppose 3*c + 0*c = 6. Le