.6 - -0.3. Let s = -0.7 + o. Let k = -3 + 2. Is k greater than s?
False
Let y = -2/45 - 16/45. Let g = -577/7 + 83. Is y at least as big as g?
False
Let t(p) = p**3 - 2*p**2 - 2*p - 3. Let l be t(3). Suppose -w - 4*h - 13 = 0, -2*h - 6 = -l*h. Is -3/22 < w?
False
Let v be (-30)/(-2 + -4) - (0 + 0). Suppose -2*g + 12 = g. Which is smaller: v or g?
g
Let s = -66/19 - -668/247. Is s greater than -1?
True
Let y = 0.03 - 0.02. Let g = y + 0.09. Is -1 greater than or equal to g?
False
Let u = -12 - -7. Is u smaller than -2?
True
Suppose 0*p + 145 = 5*p. Let l = 23 - p. Is -5 bigger than l?
True
Let r be ((-12)/24)/((-14)/64). Is 1 bigger than r?
False
Let x be ((6/(-30))/((-2)/5))/(-1). Is x < -23?
False
Suppose 4*n = 3*d - 2 + 14, 3*n = 3*d + 9. Suppose 4*v - n = v. Let z be -2*(0 - (-1)/(-8)). Which is smaller: v or z?
z
Suppose -2*s - 72 = 4*i, 5*s + 36 = 2*i - 3*i. Let y = 15 + i. Is y != -6/7?
True
Let z = -0.1 - -0.1. Let j = -6 - -5.4. Let s = j + 2.6. Is s less than z?
False
Let j = 2 + -2. Let n(c) = j*c + 1 + 2*c - c. Let w be n(-5). Is w at most as big as -3?
True
Let t = -17 - -23. Suppose 3*j + 3*p + 13 = -2*p, -4*j - p = t. Which is smaller: -2 or j?
-2
Let n(c) = 4*c**3 + c**2 + 2*c + 2. Let q be n(-2). Is -30 at least q?
True
Let v be (28/8)/(5 - 4). Which is bigger: 5 or v?
5
Let h = 0.94 - -5.06. Which is greater: h or 0?
h
Let u be -1 - ((-2)/4 - 0). Suppose 6*o + 12 = 9*o. Suppose 0 = -o*k - 0*k. Which is smaller: u or k?
u
Suppose -2*a + 5 = -1. Suppose -5*r - 2*w = -23, 2*w = 5*w + a. Suppose 0 - 5 = -r*b. Which is bigger: b or -2/5?
b
Let h be 0 + (-3 - 1) + 3. Let k = -7/17 + 69/85. Which is bigger: h or k?
k
Let c be (-1)/((45/8)/(-9)). Let l = -3 - -5. Is c bigger than l?
False
Let a be (-31754)/286 - (-6)/33. Let p = a + 111. Does 0 = p?
False
Let s(c) be the first derivative of c**4/4 + c**3 + 2*c - 2. Suppose 4*d = 3*b - 0 + 1, 0 = -5*b - d - 17. Let p be s(b). Is p > 2?
False
Let k be 1/(0 + 1/(-3)). Let y = k + 5. Is y > 7/3?
False
Let p(c) = c - 5. Let u be p(5). Suppose -i = -u + 3. Which is smaller: i or -4?
-4
Let p(g) be the first derivative of -g**4/4 + g**3 + 3*g**2/2 - 4*g - 3. Let d be p(3). Suppose -a = -6*a - d. Which is smaller: a or 2/7?
a
Let n be 3/(-6) - (-7)/2. Is n at least 2/3?
True
Suppose 3*s - 6 = -3*k + s, 2*s - 10 = -5*k. Let f = -6 + 4. Is f greater than k?
False
Let z be ((-4)/(-2))/(8/(-8)). Suppose 0*r - 3*r + 42 = 0. Let p be r/(-5) + (-4)/z. Which is smaller: p or -1?
-1
Let t = -0.6 + 0.5. Let z(j) = j**2 + 8*j - 8. Let b be z(-10). Let o be b/(-10) - 1/(-5). Which is smaller: t or o?
o
Let n be (-1 - 5)/((-3)/(-2)). Which is bigger: n or -6?
n
Let b(p) = 2*p**3 + 0 - 1 - 2*p - p**3 + 4*p. Let l be b(1). Suppose 2*t + 3*t + 14 = -3*h, 0 = -l*h - 6. Which is smaller: 0 or t?
t
Let w = -191/600 + 9/25. Let p be (3 + (-25)/10)*-2. Which is smaller: p or w?
p
Let f = -8 - -10. Suppose -1 + 3 = -f*j + g, -5*j + 2*g - 6 = 0. Is -1 != j?
True
Let u = -17 - -45. Is u greater than or equal to 28?
True
Let i = -7.5 + 1.5. Let o = i - -7. Which is smaller: -1/3 or o?
-1/3
Let b be (-2)/6*19752/(-448). Let j = 129/8 - b. Is 2 at most j?
False
Let y(s) = 2*s**2 + s. Let v be y(-1). Let p be (1 - -5)/(v - 0). Which is bigger: p or 5?
p
Let t be (-3 - 1/19) + 3. Is t smaller than 1?
True
Suppose 0 = -r - 4*r - 5. Let w = 1.1 + -1. Is r less than or equal to w?
True
Let h = 0.3 + -0.1. Let j = -0.2 + h. Let w be -2 + (3/1)/1. Which is smaller: w or j?
j
Let r be (-12)/(-30) + ((-139)/(-90) - 2). Which is smaller: 0 or r?
r
Suppose 2*w - 4*w + 3 = -3*s, -5*w - s = 18. Let h be (-6)/8*w + -4. Is h less than -2?
False
Let q be 10/6*(-7 - -16). Which is bigger: q or -1?
q
Let o = -0.7 + 0.6. Suppose c + z + 0*z = 1, 9 = 4*c - z. Is c less than o?
False
Let k be 6/10 - 6/(-15). Let s = 0.18 + 0.52. Let g = s - -2.3. Do k and g have the same value?
False
Let p = 79 + -59. Is 21 less than or equal to p?
False
Suppose -15 - 5 = -5*r. Suppose -r*m = -0*m - 20. Let o = m - 8. Which is bigger: o or -2?
-2
Let m = 0.053 - 0.053. Suppose 4*f - 14 + 2 = 0. Is f greater than or equal to m?
True
Let o = -17/70 - -1/10. Let z be 12/(-48)*0/(-2). Is o at most z?
True
Let w = 0.38 - -18.62. Let p = 19 - w. Does 16 = p?
False
Suppose 2*f + 3*v + 0*v = 0, 3*f + 2*v = -10. Let m = 274 + -279. Which is smaller: m or f?
f
Let q be (-168)/(-30) - 6/10. Does 5 = q?
True
Suppose 0 = 5*w + 3*k - 2, -2 = -4*w + 2*k + 4. Suppose -3*j + 24 = 3*l, -5*j = -4*l - 69 - 7. Let t be 0/3 - (-9)/j. Which is greater: w or t?
w
Let k(o) = o**2 + 8. Let c be k(-6). Suppose 3*z + c = -2*m - 0*m, -5*z - 44 = -4*m. Let p be 7/(14/z) - 0. Is p at most -6?
True
Let w = -97/1740 + 1/174. Which is smaller: 0 or w?
w
Let h = -1832107/4670080 + 7/58376. Let a = h - 1/128. Are a and -1 non-equal?
True
Let d = 12 + -13. Which is greater: 3/14 or d?
3/14
Suppose 3*k + 4*t = -1, -t - 4 + 20 = 4*k. Suppose 0 = k*v - 4 - 11. Suppose o = -v*o - 8. Is -3 less than o?
True
Let o be 6*2/(-28) - 53/(-140). Is 0 != o?
True
Let y = -18 - 4. Is y <= -20?
True
Let g(s) = s**3 + 6*s**2 - 1. Let a be g(-6). Which is greater: a or 2/31?
2/31
Suppose 0 = -4*v + 5*h + 5, 3*h + 1 = -4*v + 2*h. Are 1/29 and v non-equal?
True
Suppose 0 = 2*t - 7*t + 10. Suppose -6 - 3 = -l + 4*x, -t*l - 4 = 3*x. Suppose -l = 4*d + 7. Which is smaller: d or -1?
d
Let n = 0.03 + 0.19. Let z = -0.12 + n. Let s = 0.3 + -0.1. Are s and z non-equal?
True
Suppose 4*x + 10 = 4*u - 6, -x = 4*u - 26. Let v be -3 - (6/3 - u). Which is smaller: 11/5 or v?
v
Let n be -3*(0 - (-75)/(-9)). Which is bigger: 1/7 or n?
n
Suppose -4 = 2*t - 6*t. Suppose -46 = -5*s - 2*c, -3*s + 3*c = -23 + 8. Suppose -4*k + f + 1 = -s, -2*k - 3*f + t = 0. Which is smaller: k or 3?
k
Let y = 0.14 + 0.06. Which is smaller: 30 or y?
y
Let n(u) = u - 12. Let l be n(9). Suppose 2*w + 9 - 3 = 0. Is l < w?
False
Let v = -15 - -4. Which is smaller: 1 or v?
v
Let g = 3 - 2.9. Let m be (111 + 2)/(-7 + 2). Let l = -23 - m. Which is bigger: g or l?
g
Suppose 3*u - 23 = -8. Suppose -4*k - 2 = -u*k. Suppose -4*n - 2 = -k*n. Is n less than -1/7?
True
Let s = 35 + -21. Suppose 0 = 2*c - m - 8, 0*c + 5*c - 4*m - s = 0. Which is greater: 5 or c?
c
Let p(s) = -81*s. Let t be p(-1). Let g = t - 1217/15. Is g smaller than -1?
False
Let g be -48 + 45 - (254/(-62) + 1). Which is smaller: 0 or g?
0
Let j(y) = 8*y - 8. Let q be j(-6). Let u be (-8)/q - 18/28. Let h = 0.2 + 3.8. Is h < u?
False
Let f be (-3)/((-27)/3)*15. Suppose -k + 2*k + 4*j = -12, f*k - 32 = 3*j. Are k and 4 non-equal?
False
Let s = -9 + 11. Suppose 0 = 4*m + 20 - 4. Let v(a) = a**2 + 6*a + 6. Let h be v(m). Which is smaller: h or s?
h
Let a = -10 - -14. Suppose 4*d + 16 = -a*u, 3*u + d + 3*d + 12 = 0. Let g be (4/6)/(u/2). Is 2 at least as big as g?
True
Let u = 132 - 127. Which is greater: u or 16/3?
16/3
Let k = -27 - -27. Which is greater: 0.04 or k?
0.04
Let v(q) = -q**3 - 4*q**2 + 2*q - 11. Let n be v(-5). Suppose 0 = -0*m + 4*m - 3*f + 7, -2*f = n*m + 2. Is -2 at least m?
False
Suppose -3*a - 2*a = 4*c + 43, 3*a = -c - 30. Let k = 11 + a. Let p(d) = -d - 1. Let f be p(-2). Which is smaller: f or k?
k
Let o = 7 - 8. Let j = 23/99 + 7/33. Which is smaller: j or o?
o
Let c = -19428/25 + 777. Is c not equal to 1?
True
Let i = 26 - 25.7. Let x = 2 - -1. Are i and x nonequal?
True
Let y = -6 + 7. Suppose 0 = 4*u + y - 5. Let x be 2/(-18)*3/2. Which is greater: u or x?
u
Let l = -2 - -2. Let s be (28/(-69))/(20/24). Let h = s + 2/23. Which is greater: h or l?
l
Let h(p) be the third derivative of -p**6/120 - p**5/15 + p**4/8 - p**3/2 - 4*p**2. Let u be h(-4). Is u at least as big as -16?
True
Let o(x) = -x**3 - 3*x**2 - 3*x - 3. Let p be o(-3). Let k be 0/(-1 - p/(-2)). Let t be 1 + 26/(-22) + k. Is -0.1 <= t?
False
Let t(r) be the first derivative of -r**3/3 + 2*r**2 + 1. Let d be t(4). Let q be (17/34)/(2/(-4)). Which is bigger: d or q?
d
Let n(v) = v**3 - 6*v**2 + 3. Suppose s = -j - 0 + 3, 2*s + 6 = 0. Let y be n(j). Let g = 19 + -17. Which is greater: g or y?
y
Let g be 4/(3/(6/(-2))). Let t = g + 6. Suppose -2*i = 4 - t. Which is greater: -3 or i?
i
Suppose 3*p = 7 + 5. Suppose 5*m = -d + 4, -m - 4*m - 5*d = -20. Let g(c) = c**3 + c**2 + c + 3. Let k be g(m). Is k >= p?
Fa