m = -10 + 6. Let d be s(m). Let a = -4 + d. Which is smaller: 0.2 or a?
a
Let m = 0.1 + -0.27. Let d = 0.13 - m. Which is smaller: d or -2?
-2
Let h = -0.6 - 0. Let p = h - 0.4. Let v = 1 - 1.1. Which is bigger: p or v?
v
Let n = 7 - 2. Suppose 6 = 3*l - 12. Is n bigger than l?
False
Let i = 4/473 + 710/27907. Let x = -169/236 - i. Do x and -2 have the same value?
False
Let v = -0.82 + 62.82. Let j = v - 56.1. Let m = -6 + j. Which is bigger: m or 1?
1
Let o = -16 - -19. Let q be ((-15)/5)/(o/(-3)). Is 3 greater than or equal to q?
True
Let i(a) = -a. Let u be i(4). Is 0.1 at least u?
True
Let h(m) = -m - 9. Let k be h(-4). Let o = k - -4. Which is greater: o or 3?
3
Let o = -35.3 - -35. Which is smaller: o or -3/8?
-3/8
Let f = -1 + -1. Let h = f - -4. Is h greater than or equal to 2?
True
Let z be (-1 + 27)*1/(-2). Is z <= -13?
True
Let n(q) = -7 - q**2 + 3*q + q**3 + 4*q**2 + 3*q**2. Let p be n(-5). Suppose 5*w - 2 = w + 2*t, -w + p = -3*t. Which is smaller: 1/3 or w?
w
Suppose 2*k + 2 = 0, 3*m + 25 = 6*m - 4*k. Let w = m + -12. Is w at most as big as 0?
True
Let l be (-2)/6 + 34/30. Let x(z) = -1 - z + 0 + 3. Let y be x(2). Which is smaller: l or y?
y
Let g = 2 - -1. Suppose g*w = w - 4, w + 26 = 3*z. Suppose 0*f + 40 = 5*f. Do z and f have the same value?
True
Let k = -8.09 + 0.09. Let d = k + 8.2. Is 0.01 at most d?
True
Let f be -2*((-45)/(-10) - 3). Suppose 5*w - 3*t = -8, -w + 2*t = -2*t - 12. Which is bigger: f or w?
f
Let h(m) = m**2 + 20*m - 49. Let n be h(-22). Let w(c) = -4*c**2 + 1. Let t be w(1). Is n < t?
True
Let m be (-216)/(-615) - 1/10*4. Which is greater: m or 0?
0
Let k be (13/143)/(1/(-10)). Is -1 at most as big as k?
True
Let l = -8 - -2. Let u be (-2)/(-2) - (-1)/l. Is u not equal to 2?
True
Let c = -1 + 10. Let j be ((-21)/c - -3)*-3. Which is smaller: j or -4/3?
j
Suppose 12 = 3*h, 6*h - h = d + 81. Which is smaller: d or -0.2?
d
Let z = 2 + -1. Is 8/17 not equal to z?
True
Let z(i) = i + 5. Let f be z(-6). Let t be (-3)/(-9)*(-12)/f. Suppose 11 = 2*q - j + 1, t*q - 12 = -2*j. Is 4 at most as big as q?
True
Let o = 33 + -46. Let d be 1/o*2/(-1). Let t(n) = -n**3 - 6*n**2 + n + 6. Let x be t(-6). Is x greater than or equal to d?
False
Let y = 21.3 + -17. Let c = 4 - y. Let u = c - -0.2. Which is greater: u or -2?
u
Let i be ((-11)/(-7) - 1)*(-455)/(-130). Let n = 10858/11 - 986. Is i less than n?
False
Let t be 16/20 + 2/10. Is t equal to -4/17?
False
Let n = -0.39 - -0.4. Is -1 equal to n?
False
Let s = -4 - -3. Let o = -16 + 15. Is s greater than o?
False
Let z(h) = -2*h**3 - 20*h**2 - 33*h - 9. Let l(g) = 4*g - 1 + 10*g**2 + 3 + 3 + 12*g + g**3. Let v(j) = -13*l(j) - 6*z(j). Let r be v(-9). Is r > -6/7?
False
Let w(t) = -t**2 + 4*t - 3. Let r be w(4). Let q be (-2)/r + 7/3. Suppose -4 = 7*b - q*b. Is -1 greater than or equal to b?
True
Let s = 0.34 + 0.06. Let j be 2 + -2 + -2 - -4. Let p be (j/24)/(3/9). Which is bigger: p or s?
s
Suppose -x + 0*x - 37 = 5*f, -2*f - 2*x - 10 = 0. Which is smaller: -7 or f?
f
Suppose 3 - 5 = 2*b. Which is smaller: b or 12/5?
b
Let p(f) = f**2 - 2*f - 3. Let o be p(3). Suppose 4*y + 8 = -o*y. Which is bigger: -3/4 or y?
-3/4
Let c = -2.3 + 2. Let l = 0.2 + c. Let m = l - -0.2. Which is smaller: 0.2 or m?
m
Let k be -4 - (-568)/143 - 4/(-22). Is k greater than 1?
False
Let r = 3/8 + -5/8. Is -9 < r?
True
Let m be (2 + 1 - 2) + 3. Suppose 5*z - m = 16. Let k = -4 + z. Are k and 1/4 equal?
False
Let p(k) = -k**3 - 3*k**2 - 4*k - 7. Let t be p(-3). Suppose -5*a + 3*g + 26 = 0, -18 = -0*a - 2*a + 5*g. Which is smaller: a or t?
a
Suppose 2*q + 3*d + 8 = 0, 4 - 14 = 4*q + 3*d. Let z(p) = -p - 17. Let s be z(-14). Is s < q?
True
Let l = 19 + -29. Let n = l - -10.1. Which is smaller: n or -2?
-2
Let v = 7 - 2. Suppose 3*c - 6 - 9 = s, -2*c = -v*s - 10. Is c > 4?
True
Let c be 1323/(-77) + 4/22. Is c bigger than -16?
False
Let m = 12 - 27. Let t = m + 9. Is 0.1 at least as big as t?
True
Let x = 4 - 2. Which is bigger: x or 1/3?
x
Let n = -6 + 8. Suppose 3*p - 25 = -n*p. Let z be 5/2 + p/(-10). Does z = 4/7?
False
Let q be 0 - (-1)/(-3)*0. Let l(c) = c**3 - c**2 + c - 2. Let u be l(q). Which is smaller: u or -2/3?
u
Let q be 1 - ((-1972)/(-10))/1. Let z = -197 - q. Is -2 at least z?
False
Let z = -7 - -8. Let m = -5.1 - -0.1. Are m and z equal?
False
Let r = 0 + 0.2. Let i = 7.13 + -0.13. Let b = i - 8. Which is bigger: b or r?
r
Let f(m) = -m**3 + 3*m**2 + 13*m - 2. Let d be f(6). Are d and -31 equal?
False
Let b = -5674/17 - -712765/2142. Let l = b + 13/18. Which is bigger: 1/2 or l?
1/2
Let c = 11 - 9. Are 0 and c nonequal?
True
Let w = 12 - 7. Suppose 4 = i + w. Which is smaller: -2/17 or i?
i
Let g = -82 + 75. Which is smaller: g or -6?
g
Let i = 24 + -22. Let a be (i/5)/((-49)/(-105)). Is 2 bigger than a?
True
Suppose -28 = 6*l - 7*l. Let r be (-5)/(-25) - l/(-10). Is r smaller than 3?
False
Let o(r) = -r + 4. Let g be o(4). Let a = 0 - 4. Let j = 3 + a. Which is greater: g or j?
g
Let z = 31 - 31. Let o = 2292/7 - 328. Is z greater than o?
True
Let q be (2/4)/(1/4). Suppose -q*d = 3*d - 5. Let w be (d - -1)*3/2. Which is bigger: 2 or w?
w
Suppose -1 = -n - 11. Which is bigger: -9 or n?
-9
Let b = 117/188 + 6/47. Is 1 equal to b?
False
Let f = -1 + -2. Let a = f + 6. Is 0 greater than a?
False
Suppose 2*p = -9 + 3. Let i be 0*(11 - 9)*(-2)/8. Which is smaller: i or p?
p
Let o be ((-9)/6)/(6/8). Let h = -1536/5 + 306. Which is greater: h or o?
h
Let v = 29 + -30. Is -2/27 > v?
True
Let z = -79/6 - -13. Suppose -3*v = -0*v. Are z and v equal?
False
Let i = 4 - 4. Let w = -1/2 + i. Which is smaller: w or 1/3?
w
Let f = -8.4 - -8.59. Which is greater: f or 2/3?
2/3
Let g be (5/(-10))/(2/4). Let k = g - -5. Which is smaller: k or 8/3?
8/3
Let y = -10 + 8. Let s = -1 - y. Is s smaller than 0.1?
False
Let k be (-8)/(-14) - (-7833)/49. Let l = 160 - k. Which is smaller: 0.1 or l?
l
Let q = 0 + 6. Let h = -4 + q. Is -0.1 greater than h?
False
Let s = -1.91 - -1.81. Which is smaller: -58 or s?
-58
Suppose -2*y + k = -4*y, 4*k = 4*y + 12. Let h = -6/7 + 55/56. Which is bigger: h or y?
h
Let j = -10 + 15. Suppose 5*m - 11 - 1 = 2*x, 0 = 2*x + j*m - 8. Which is bigger: x or -1/3?
-1/3
Suppose -4*a + 3*p = -11, 8 = 2*a - p - p. Is 3/8 > a?
True
Let a be 10/4 - 12/(-8). Suppose a*y = 18 + 2. Let m(z) = -z**2 + 4*z + 1. Let n be m(2). Does y = n?
True
Let y(k) = k**3 - 6*k**2 + k - 6. Let h be y(6). Let p = 0 - h. Let l be ((-4)/(-6))/1 + -2. Which is smaller: l or p?
l
Suppose 0 = -5*c + 25, l + 3*c - 14 = 2*l. Let b be -1 + 5 + l/1. Let f be b/9 - 4/18. Which is greater: 1 or f?
1
Let n(w) = -5*w - 8. Let g(c) = 9*c + 15. Let o(u) = -6*g(u) - 11*n(u). Let x be o(5). Suppose 3*i - 4 = 2. Which is smaller: i or x?
i
Let p = 29 + -41. Is -13 at most as big as p?
True
Let b be 14/(-35) - 16/(-65). Suppose 4*l = -2*q - 2, l - q + 0*q + 5 = 0. Let i be (0/(2/2))/l. Which is smaller: b or i?
b
Let j(q) = -q**2 - 3*q + 4. Let z = 6 + -1. Suppose -5*p + z = 25. Let i be j(p). Is -1 not equal to i?
True
Let v be (3 - 3) + -2 - -3. Which is bigger: 2/9 or v?
v
Suppose -5*g + 3 = -8*g. Suppose z = o + 285, 4*o = -z - 0*o + 310. Let p = 3192/11 - z. Is g at most as big as p?
True
Let g = -0.8 - -0.5. Is -1/2 less than g?
True
Let s = -92 - -369/4. Is 2/49 greater than or equal to s?
False
Let r be -1 + 1 - 300/(-70). Which is bigger: 4 or r?
r
Let r be 6/8 + (-44)/16. Let j be (-4 + 5)*(8 + r). Which is smaller: j or 5?
5
Let b(i) = -i**3 - 3*i**2 - i + 2. Let p be b(-2). Suppose 3*q = d + 15, -d = -5*d - 5*q - 9. Let g be 2/d*(-3 - -2). Which is smaller: p or g?
p
Let i be ((-268)/84)/1 + 3. Is i greater than or equal to 0?
False
Let b be (-24)/14 + 4 + -2. Let a = 16.83 - -0.17. Let h = 12 - a. Does b = h?
False
Let f = -80 + 242/3. Suppose 0 = -2*d + d + j, 0 = 3*d + 3*j - 6. Which is greater: f or d?
d
Let z be 1/2*4/(-2). Let r = -1 - -2. Is r at least z?
True
Let l = 322/99 + -40867/1881. Let n = -29984/1729 - l. Let w = -9/7 + n. Which is greater: 0 or w?
0
Let w be 2/(-15)*(-2 + -1). Let c = 31/12 - 9/4. Which is smaller: c or w?
c
Let u(b) be the third derivative of b**6/120 - b**5/60 - b**4/24 - 4*b**2. Let a be u(2). Let v = -5 - a. Is -8 <= v?
True
Let p = -6.9 - -6.8. Is 13 > p?
True
Let h = 18