uppose 4*y + 0 = -44. Let m = -10 - y. Is m at most -1/3?
False
Let s = 8 - 4. Let u = -3 + s. Let f be -1 - 4/((-104)/30). Does u = f?
False
Let n be (-1)/(-7)*(-1 - 0). Let s = n + 1/56. Is s at most as big as -1?
False
Let l(z) = -5*z + 42. Let s be l(8). Is 10/11 bigger than s?
False
Suppose -5*c + 5 = -0*c. Which is greater: 13/9 or c?
13/9
Let v = 2/5 - 9/10. Let l = -2 + 0. Let c be ((-1 + -1)/l)/(-1). Which is smaller: v or c?
c
Suppose 2*h + b - 5 = 0, -5*b = -3*h - 15 + 42. Let g = 1 + h. Suppose -3 = -g*j + 2. Which is smaller: j or -2/25?
-2/25
Let c be (23/(-5) - -4)/1. Which is bigger: c or -1?
c
Let k = 564 + -568. Let d be (-3 + 1)/(2/4). Does d = k?
True
Suppose -3*w - 2*r = 6, -4*w = w - 2*r + 10. Let t be w/(2 + 0/(-3)). Which is greater: 0 or t?
0
Let s = 0.4 + 0.6. Let v = s - 1.1. Which is smaller: v or 3?
v
Suppose 6 = 3*t + 9. Which is smaller: t or 4?
t
Suppose -5*u = -u. Let y be 40/12 - 2/(-3). Suppose 2*x + y*z + 8 = u, -x + 4 = 4*x + 2*z. Is x < 3?
True
Let r be (40/16)/(-2 - -1). Let c = -10 - -7. Is r greater than c?
True
Let x(p) = -p**3 - 12*p**2 + p + 8. Let y be x(-12). Let w = 3 + y. Do 2/17 and w have the same value?
False
Let h be (6/249)/((-2)/(-4)). Let y = -138/581 - h. Let c = -2 + 2. Is y greater than c?
False
Let f be 6/(-75)*7/2. Let i = -1/175 + f. Which is bigger: i or 1/2?
1/2
Let o(f) = f - 6. Let n be o(0). Is -4 < n?
False
Suppose -3*t + 7*l = 3*l - 4, 4*t = 5*l + 5. Let u(j) = j**2 - j - 2. Let o be u(t). Let f be -3*2/2 - o. Is f greater than or equal to 2/5?
False
Let z be 52/10 + (-2)/10. Suppose -z = -3*o + 1. Which is smaller: o or 1?
1
Let p(w) = w - 1. Let q be p(-4). Let j be 2/q + (-9)/(-15). Which is bigger: j or -1?
j
Let s = -0.1 - -0.5. Let c = -6 - -5.6. Let k = c + s. Is k <= 1/2?
True
Let s be 4/6 + (-130)/(-30). Which is bigger: s or 0.1?
s
Let w be 2*(20/(-8))/(-5). Let r be (-5)/45*(-8 + 2). Is w < r?
False
Suppose w - 3 = -2. Let h(n) be the second derivative of n**3/6 - 3*n**2/2 + 2*n. Let u be h(4). Do w and u have the same value?
True
Let h(v) = -v + 4. Suppose -o + l - 11 = -4*l, 0 = 2*o - 5*l + 7. Let q be h(o). Which is greater: 1/2 or q?
1/2
Suppose 2 = f - 3*f. Let m = 1 - f. Let b be (1 + 65/(-75))/(1/5). Is b less than m?
True
Let w(g) = 3*g**2 - 2*g + 1. Let u be w(1). Suppose 0 = d + u*d - 18. Let t be (4/(-3))/(d - 4). Is t smaller than 0?
True
Let v(m) = m**3 + 9*m**2 - 2*m - 6. Let f be v(-9). Let w be 10*3*2/f. Suppose -2*o = 2*u + 12, -2*u + w*o = u - 22. Which is smaller: u or 0?
u
Let c(o) = -5*o**2 - o - 4 + 6*o**2 - 3. Let j be c(0). Is j greater than or equal to -2/7?
False
Let t = 1.5 + 2.3. Let h = t - 4. Let f = -307/5 + 61. Is h greater than f?
True
Let m = -159 + 92. Is m equal to -67?
True
Let k be 1/(1/1) + -1. Do k and 1/5 have the same value?
False
Let p(b) = 3*b**2 - 5*b. Let k be (-4)/((-12)/(-15)) + 0. Let m be p(k). Let z = m + -801/8. Is z less than -1?
False
Let j be (-4)/(-6) + (-8)/18. Let m(v) = -5*v - 1. Let s be m(-1). Suppose s*h = -0*d - 4*d + 12, 4*h + 3*d = 10. Which is greater: j or h?
h
Let p = 8 - 4. Let r = p - 7. Let u = -5 - r. Do u and -2 have different values?
False
Suppose -4*h + 4*n - 12 = 12, -4*h - n = -1. Let j = h - -3. Suppose -4*k + 9 = -4*x - 7, k + 5 = -j*x. Is k > 2?
False
Let u = 6.7 - 7. Let g = 0.3 + u. Let s = -39 + 39. Are s and g non-equal?
False
Let b = -15 + 22. Let u = b - 7.2. Let r = -0.1 + 0.1. Which is greater: u or r?
r
Let d(l) = l**3 + 6*l**2 - 9*l - 14. Let u be d(-7). Which is greater: u or -6/59?
u
Let c be -2 - 3/(-33)*23. Is c not equal to 1?
True
Let i = -0.02 - -0.02. Let m = -5.5 - -0.5. Let t = m - -5. Is t less than or equal to i?
True
Suppose 2*d = -3*d - 10. Which is smaller: -1 or d?
d
Let y = -1/140 - -3/20. Let d be 4 - (0 + 0 + 1). Let m = -2 + d. Is y smaller than m?
True
Suppose 16 = -h - 28. Which is bigger: -43 or h?
-43
Suppose -2*l - 38 = 4*m - 8*m, 4*l = -2*m + 34. Let y = m - 10. Is y less than or equal to 2/5?
False
Let i be 18/(-30) - (-32)/(-5). Which is bigger: i or -6?
-6
Let r be -1 + -1 + (7 - 4). Let h be 1/9*(-4 - -2). Are r and h equal?
False
Let g = 104.28 + -105. Which is smaller: g or 1/2?
g
Let a be 27/12 + 2 + -4. Let m(b) = -b**2 + 9*b + 13. Let f be m(10). Suppose -5*k + 10 = -5*n, -k + f = -3*n - 3. Which is bigger: k or a?
a
Let t = -33 - -34. Which is smaller: t or 0?
0
Let o = -4.3 + -2.1. Which is smaller: o or -1?
o
Let j = -138/143 - -14/11. Which is greater: 0 or j?
j
Let a(j) = -3*j - 7. Let l be a(-2). Is l > -4/29?
False
Suppose 0 = 5*a + a + 6. Which is bigger: 0 or a?
0
Let r = 0.66 - -0.14. Is 0 greater than or equal to r?
False
Let g = 5 - 3. Let j = -2 + g. Let h(i) = -i - 2. Let l be h(-1). Which is greater: l or j?
j
Suppose -t - 14 + 0 = 4*u, -5*t + 14 = -u. Let b be (t + -1)/(1/(-1)). Let h be -3*3/(-630) - (-6)/21. Which is bigger: h or b?
h
Let b(r) = r - 6. Let p be b(7). Suppose f + p = -2. Which is smaller: f or -1?
f
Suppose 0 = 4*a - 3*a + 5*w + 16, -2*a - 2*w = 32. Which is smaller: -15 or a?
a
Let v(a) = -a + 18. Let l be v(7). Is l at most as big as 0?
False
Suppose x = 3*y + 5, 0 = -2*x - 3*y + 7 + 3. Let n = 133 - 259/2. Which is smaller: n or x?
n
Suppose -4*g = -2*f - 10, g - 13 = 2*f - 4*g. Which is smaller: f or 2/21?
2/21
Let y(k) = 5*k**2 + 17*k + 7. Let u(p) = 3*p**2 + 9*p + 3. Let n(q) = 7*u(q) - 4*y(q). Let d be n(6). Let v = 19/2 - 129/14. Is d bigger than v?
False
Let t = 18/5 - 167/45. Is t bigger than 1?
False
Let g be (-25 + 24)/(2/(-90 - 0)). Is 46 bigger than g?
True
Suppose 3*k = -0*k. Let l(y) = y - 5. Let n be l(5). Let h = n - 1. Which is bigger: k or h?
k
Suppose 0*t - 2*t = 0. Let k = -5 + 6. Is k at least as big as t?
True
Let s = -0.2 + 0.8. Let a = s - 6.6. Let t = a - -5.6. Which is greater: 0 or t?
0
Let q = 2.3 + -2. Let x = q + -0.3. Which is bigger: -0.02 or x?
x
Let s be 7/(-6) - (-4 - -3). Let m = -0.7 - -0.5. Let q = m - -0.1. Which is bigger: q or s?
q
Suppose -g = -2*r + 4, -4*r + 6*r + 8 = -5*g. Which is smaller: -1/98 or r?
-1/98
Let f = 5.498 + -0.588. Let k = 0.81 - f. Let w = 4 + k. Which is smaller: w or 2?
w
Suppose -2*v - 2*n = 2*n + 12, -2*v + 4*n + 20 = 0. Let g = -6 + 12. Suppose -w = v*w - g. Is 0.1 < w?
True
Let f(z) = -z + 5. Let n(b) = 2*b + 2. Let h be n(2). Let d be f(h). Which is bigger: d or -1/4?
-1/4
Let v = 18765/29 - 647. Let t = v + 25/58. Are t and 0.2 unequal?
True
Let t(v) be the second derivative of 0 - 1/4*v**4 - 1/20*v**5 + 0*v**3 + v**2 - 2*v. Let p be t(-3). Is p greater than 1/2?
True
Let h = 5 - -2. Suppose 36 = q + 3*q + 4*w, 0 = w - 4. Is h less than q?
False
Let h(z) = z**3 - z**2 + z + 10. Let w be h(0). Let c = w + 6. Let o = c + -47/3. Which is greater: -2 or o?
o
Let q be (12 + -15)*8/(-6). Are q and -8 non-equal?
True
Let k = -0.1 - -22.1. Let y = k - 22.6. Is y at least as big as -3?
True
Suppose 3 + 2 = -3*s + 2*g, 4*s = g. Which is smaller: -4/27 or s?
-4/27
Suppose -4*h = -2*h. Which is greater: 1/3 or h?
1/3
Let o = 8 + -6. Let n = o - 1. Let d be (2 + (-6)/2)/n. Is d > -1?
False
Let v = 79 - 1186/15. Which is smaller: 0 or v?
v
Let x = 35 + -21. Suppose -5*q - 7 = -77. Do x and q have the same value?
True
Let o(l) = l**2 + l - 1. Let u be o(-2). Is u greater than or equal to -2/29?
True
Let r be ((-12)/(-9))/((-4)/(-30)). Suppose 4*x - 6*x + r = 0. Is 5 != x?
False
Let y = -209 + 107. Let l be 6064/y - (-4)/(-6). Let r = 60 + l. Which is greater: r or -1?
r
Let d be (-4)/6 - (-462)/612. Which is smaller: -1 or d?
-1
Suppose 4 + 2 = -2*x. Let s be 8/x - 0 - 0. Let n = s + 59/21. Which is smaller: n or 1?
n
Suppose -3 = -8*b - 3. Which is smaller: b or -3/44?
-3/44
Let q(s) = -s**2 + 7*s. Let f be q(7). Suppose -5 = -f*a - a. Let w be ((-2)/a)/((-1)/5). Is w smaller than -1?
False
Let s be 9/72 - 2/16. Let j be 9/(-15)*(-2)/(-4). Is j less than or equal to s?
True
Let s = -27 - -24. Is s bigger than -5/3?
False
Let r be 904/10 + 8/(-20). Suppose -2*v + r = 3*v. Let j be (4/(-10))/(v/(-15)). Which is smaller: j or 1?
j
Let v be (-26)/55 + (-7)/(-35). Which is greater: -1 or v?
v
Let c be (-3)/(-7) + (-3)/3. Let v be 3*((-16)/6 + 2). Do v and c have the same value?
False
Suppose -2*k + 0*k - 6 = 0. Let b be (0 - 8/4)/(-2). Let x be (-15)/5