= 0.7 + -0.65. Let c = v - 1.05. Are -5 and c non-equal?
True
Let b(u) = 4*u - 3. Let m be b(3). Let w be m/((-3)/(-1)) + 2. Let k(c) = c - 6. Let z be k(w). Does 0 = z?
False
Let p(s) = -s**3 + 5*s**2 - 5*s + 2. Let a be p(3). Let w(c) = -c**3 + 5*c**2 - 2*c - 5. Let t be w(4). Suppose -t*m = -m - 12. Is m at least a?
True
Let c be (2/(-33))/((-1)/(-3)). Suppose 2*i + 4*t + 4 = 44, 0 = i - 3*t - 20. Let d = i - 20. Which is greater: d or c?
d
Let q be (-2)/(2 + (-2 - 1)). Let o be (-1 + (-4 - -3))*1. Let b be ((-2)/(-5))/(o/(-4)). Which is smaller: q or b?
b
Let g = 84.4 - 83. Are -3 and g unequal?
True
Let f = -20 + 20. Is f less than -1/5?
False
Let i be (-4)/(-10) - 39/(-65). Is -3/19 less than i?
True
Let r(t) = t**2 + 2*t + 3. Let x = 0 - 2. Let c be r(x). Is 4 <= c?
False
Suppose 2*c = -5*o + 31, -4*o + 5 = -0*o - 5*c. Let d(b) = b**3 - 6*b**2 + 5*b - 2. Let y be d(o). Is -4 < y?
True
Suppose 0 = -a + 1, 0 = 2*o - 5*a + 1 - 0. Is o bigger than 0?
True
Suppose -k = -2*k - 1. Let n be (-1)/(1/(-6)*k). Let a be (-4)/n - (-2)/6. Is -2/9 at most a?
True
Let u = 11.1 - 11. Let c = 0.5 - 0.3. Which is smaller: c or u?
u
Let h = -9 + 5. Let u be h - (0 + -1 + -2). Is u less than or equal to -3?
False
Let y = 7 + -6.7. Let w = -0.2 + y. Let v be (-2)/(-12)*(-18)/4. Is v less than w?
True
Suppose -5*g = -3*g. Let j be (42/(-18))/(10/(-3)). Let u = j - 1/5. Is g > u?
False
Suppose 0 = 5*s + a - 16, -4*s = -0*a + 4*a. Suppose q - s*q = -3. Let m = q + -2. Is 1 smaller than m?
False
Let n = -13 - -14. Which is smaller: n or 3/4?
3/4
Suppose -f + 2 = -2. Let a = f + -8. Let q = 0 + -4. Is a equal to q?
True
Let q = 0.8 - -0.4. Let n = q + -3.2. Which is bigger: n or 0?
0
Let i = 3.2 - 3.2. Which is smaller: i or 5?
i
Let y(v) = v**3 + 14*v**2 - 33*v + 1. Let k be y(-16). Is k at most as big as 16?
False
Let o be -3 + 2/4*2. Suppose 2*g - 14 - 4 = 0. Suppose -2*u + 4 = 5*n, -3*u + 3*n - g = -2*u. Is o at most u?
False
Let t be ((-241)/(-10))/(4/(-10)). Let i = 47 + 14. Let r = t + i. Which is greater: 0 or r?
r
Let x(j) = j - 1. Let f(z) = z**2 + 9*z + 10. Let w be f(-8). Suppose 5*g - 2*m - 7 = 0, -g - w*m + 3*m + 2 = 0. Let v be x(g). Which is greater: v or -2/7?
v
Let a = 0.99 - -0.01. Let y = a - 1.1. Which is smaller: y or 0?
y
Let m = -28 - -25. Which is smaller: -2 or m?
m
Suppose -3*o = 34 + 8. Let h be ((-3)/29)/((-21)/o). Are h and -1 unequal?
True
Let i(t) = -t**3 + 3*t**2 - 3*t. Let n be i(3). Which is bigger: n or -8?
-8
Let f(m) = m**3 + 4*m**2 + 3. Let q be f(-4). Let w = q - 18/7. Let x = 0 + -1. Is x smaller than w?
True
Let h(i) = i + 10. Let u be h(-8). Suppose -9 = -u*d + 3. Suppose 0*b = 3*b - 21. Is b less than d?
False
Let g be (1/(-5))/(5/50*6). Is g at most 32/9?
True
Let n be 0/(-3) - -2 - 7. Let w be (n - 0)*(-4)/10. Is 7/5 < w?
True
Suppose -a + 3*a - 20 = 0. Is a at most 9?
False
Let x(a) = 4*a**2 + 4*a + 2. Let b be x(-2). Suppose -3*u + b = -2. Which is greater: 5 or u?
5
Let q = -2 + 1. Let r = -29/68 - -3/17. Is r >= q?
True
Let u be (-4)/(-3) - 2/(-3). Let i be 1*(-9 + 3 - -2). Let h = i - -6. Is h bigger than u?
False
Suppose -3*w + 4 + 29 = 0. Which is greater: w or 12?
12
Let n(f) = -f**2 + 2*f - 1. Let g be n(1). Is g at least 0?
True
Let g = -0.01 + 3.01. Let k = -2 + g. Let c = -1 - k. Is 2 smaller than c?
False
Suppose 0*k - 4*k - 20 = -2*r, -4*k - 20 = 5*r. Let g = 9 + k. Suppose -2*q - 12 = -g*s + 3*q, 3*q = -5*s - 22. Does -3 = s?
False
Suppose 0 = -i - 4*i + 25. Is i greater than or equal to -0.1?
True
Let y = -37.2 - -37. Are y and -3 equal?
False
Suppose -2*g + 4*s - 18 = 0, -4*g + 5 = 3*s - 3. Do -2/257 and g have the same value?
False
Let z be -5*4/(-10) - 4. Suppose -b = -2*b + 6. Suppose -4*i = 2*w + 10, w = b*w + 5. Is z at least i?
True
Let d(u) = u**3 + 0*u**3 + u + 3 - 2. Let x = -1 + 1. Let h be d(x). Are 2/5 and h nonequal?
True
Let i be 54/(-56) + 4/(-14). Let m(z) = z**3 + z**2 - z + 2. Let w be m(-2). Which is greater: i or w?
w
Let g be (1/(-3))/(3/(-18)). Suppose -50 = g*p + 6. Let b be (-2)/(-8) - (-11)/p. Which is smaller: 1 or b?
b
Let x(y) = y**3 + 5*y**2 - 8*y - 8. Let q = 35 + -17. Suppose u - 4*u - q = 0. Let m be x(u). Which is greater: m or 5?
5
Let w = 669/22 + -5513/220. Let j = -23/4 + w. Which is greater: j or -2?
j
Let s be 32/14 - (-6)/(-21). Let d be 3/1*s/15. Let x(l) = l**3 - 6*l**2 - 8*l + 8. Let h be x(7). Which is smaller: h or d?
d
Let l = -1.1 - -1.5. Is l smaller than 1?
True
Let k(r) = -2*r - 3. Let o be k(-4). Are 5 and o non-equal?
False
Suppose 4*b - x - 7 - 54 = 0, 0 = -2*b + 3*x + 33. Let w = -21 - -35. Which is smaller: b or w?
w
Let j = 52119/119 - 6138/7. Let h = -439 - j. Is h greater than 1?
False
Let l(g) be the first derivative of g**4/4 - 3*g**3 + 9*g**2/2 - 9*g + 2. Let d be l(8). Let r = 0 + -0.1. Which is greater: r or d?
r
Let q(a) = 3*a**3 - 3*a**2 + a - 2. Let m be q(2). Let w be 150/m - 2/4. Let v be 4/w - 4/(-6). Which is smaller: -1 or v?
-1
Suppose -16 - 20 = -4*q. Let y be q/14*(-40)/15. Is -3 greater than y?
False
Let q = 12 + -49/4. Is 2/3 at most as big as q?
False
Let c = 0.1 + -3.1. Let s = -2.1 + -0.9. Let t = s - c. Which is bigger: t or -2/9?
t
Let s(k) = -k - 11. Let x = -26 + 16. Let v be s(x). Which is greater: 0.2 or v?
0.2
Let h be (1 + (-31)/30)*(-678)/(-4). Let j be (-21)/(-10)*(-10)/(-4). Let d = h + j. Is -4 at least d?
False
Let a be 1 + 2 - (-24)/(-9). Let i be (-12)/(-8) + (-2)/4. Which is smaller: a or i?
a
Let l = 2 - 16/9. Which is smaller: l or -2?
-2
Let q(b) = b**3 + 10*b**2 + 2*b - 6. Let p be q(-10). Are -25 and p nonequal?
True
Let o = -0.17 + 0.07. Let k be -3*(4/6)/(-2). Are o and k non-equal?
True
Let o = 202/3 + -68. Suppose -v - w - 2 = 2*v, 10 = v + 3*w. Is v smaller than o?
True
Let q be 1/((-9)/93 + 0). Let b = -10 - q. Is b greater than 0?
True
Let q(c) = c**3 - 5*c**2 + 6*c - 2. Let d be q(4). Let f be 18/d - (-1 + 9). Let l(j) = j**3 + 5*j**2 - j - 3. Let z be l(f). Are z and 2/3 unequal?
True
Let g(x) = x - 2. Let v be g(-6). Let w be (v/24)/((-2)/(-18)). Which is smaller: w or -1?
w
Let d be 2/2 - (-15)/(-12). Is d at most as big as -0.2?
True
Let u be (-5 + 0)*5*-2. Is 49 at most u?
True
Let t be (-33)/5 - 4/10. Suppose 17*w = 16*w + 1. Let h be w - (t/(-5) + -1). Which is bigger: 1 or h?
1
Let q be -1 + -1 + 2/1. Suppose q = 4*a + 2 + 2. Let n be a/(1/2*-2). Which is bigger: 3/7 or n?
n
Let r = -1 + 1.1. Let s(n) = -2*n + 2*n + 2*n - n**2 + 2*n**2. Let l be s(-1). Which is bigger: l or r?
r
Let h = -1/7 - -12/35. Let i(l) = l + 2. Let n be i(-2). Suppose n = 3*g - g. Which is bigger: h or g?
h
Let p be (1 - 1)/(2 + -1). Let q = 8 + -5. Let h be 0/((-2 - 0) + q). Are h and p non-equal?
False
Let y = -20 + 20.11. Is y < -0.6?
False
Let d(j) = -j**3 + 6*j**2 + j - 4. Let p be d(6). Let y(b) = -b**3 + 5*b**2 - 2*b - 4. Let f be y(4). Suppose -2 - 2 = f*n. Is p at least n?
True
Suppose -5*i - 15 = 0, -5*t + 40 = -0*t + 5*i. Let d be ((-5)/35)/(6/(-14)). Which is smaller: t or d?
d
Let y = 5.2 - 5. Which is bigger: y or -0.05?
y
Let x be (-130)/(-14) - ((-5)/7 + 1). Are 5 and x unequal?
True
Let r be (-124)/9 - (-6)/(-27). Which is smaller: r or -13?
r
Let a = -6.3 - -6. Let y = -2.3 - a. Let h = y - -3. Which is smaller: h or 1/2?
1/2
Let r = 251317223/138 + -1821184. Let b = r + 5/138. Let g = b - -44. Is 0 at least g?
True
Let f = 0.16 + 1.84. Do 0.1 and f have different values?
True
Let a = -0.8 + 1. Let t = -0.3 + a. Let c be ((-1)/(-9))/((-9)/6 + 2). Which is bigger: t or c?
c
Suppose -3*d + 27 = 2*d - 3*j, 4*d = 3*j + 24. Suppose -3 = -4*b + 2*g + 3, 2*b + d*g = -1. Which is bigger: -2/15 or b?
b
Let f be (0 - 1) + 1 + -1. Let x(l) = 2*l**3 + 3*l**2. Let y be x(-2). Let q be 4/6*6/y. Is f equal to q?
True
Let s(y) = -2*y - 7. Let o be s(-6). Is 7 > o?
True
Suppose -3*u - 3 - 14 = -5*s, -3*u - 10 = 2*s. Is 6/7 smaller than s?
True
Suppose 0 = 4*s + 4*o - 40, 10 = 4*o - 2*o. Suppose s*l - 2*l - 3 = 0. Which is greater: 2/9 or l?
l
Let o(u) = -u - 4. Let g be -3*3/(-18)*-14. Let a be o(g). Let t = a - 4. Which is greater: -1/4 or t?
-1/4
Let d(z) = z**2 + z - 2. Let w be d(0). Let u = -382/207 - -22/23. Which is smaller: u or w?
w
Let j(t) = -18*t - 2. Let z be j(1). Is -21 bigger than z?
False
L