s) = 6*s**3 - s. Let i be q(-1). Let b be (1 + -1)*i/(-10). Let v be 1/1*(-2)/6. Is v > b?
False
Let d = 6 + -11. Let l = -6 - d. Is l >= 0?
False
Let x = 6 + -7. Let a = -1 - x. Let f be (-4)/2 - (-1 - 1). Is a equal to f?
True
Let b be -2 + 1 + 2 + 0. Is b greater than or equal to -3/20?
True
Let f(q) = q**2 - 4*q + 3. Let y = 1 - -1. Let r be f(y). Let o be (r - 1) + 40/15. Is 1 less than o?
False
Let h = -1.2 + 1. Let v(f) be the second derivative of f**4/12 + f**3/2 + f**2/2 - 2*f. Let o be v(-3). Is h at least o?
False
Let k be 1*(8 + (-1 - 2)). Let c = -5 + k. Let x(z) = z**2 + 8*z - 8. Let j be x(-9). Is j equal to c?
False
Suppose -i - 4*i = 0. Which is greater: i or 3/10?
3/10
Suppose -1 = 4*d - 25. Which is smaller: 7 or d?
d
Let p = -165 + 146. Is -20 <= p?
True
Let x be (-1 - (-52)/42)*3. Let v = x - 1/21. Which is greater: 1 or v?
1
Let h(d) = -d**3 + 9*d**2 + 11*d - 4. Let l be h(10). Suppose i + 5*p - 18 = 0, l*i - 4 = 2*i - 3*p. Are i and -4 non-equal?
True
Suppose -14 = 5*f - 4*b, 2*f + 28 = -b - 3*b. Let r = 5 + f. Is -0.2 < r?
False
Suppose 4*z - 3 - 17 = 0. Suppose -5*v - z + 0 = 0. Is v > -1?
False
Let h be ((-4)/6)/(3/9). Let c be ((-8)/(-32))/(2/(-6)). Which is greater: h or c?
c
Let k be (-9)/(-1 + -2) - 4. Let j be 0 + (-2 - k - -3). Is 2/3 at least j?
False
Let w be -3*5/45 + (-50)/(-24). Which is greater: w or 3?
3
Let h be 3/2*(-8)/(-3). Which is smaller: h or 6?
h
Suppose -o + 5*j = -22, -42 = -4*o - 0*j - 3*j. Suppose 3*q + 3*p = 0, -4*q - q - 2*p = -o. Let h be (-10)/6 - q/(-6). Which is smaller: h or 1?
h
Let i be 2/(-14) - (-4)/(-14). Which is bigger: i or 0?
0
Let t = 108 - 154. Let z = -2/68507 - -22196282/479549. Let p = z + t. Which is smaller: 1 or p?
p
Let a(z) = 10*z - 8. Let i be a(6). Let m(w) = -w**2 + 4*w - 2. Let c be m(3). Let u be 1/c - 44/i. Does u = -1?
False
Let n = 8 - 8.1. Let d = 0.3 + n. Which is greater: d or -1/4?
d
Let f = 208 + -1867/9. Let j = f - -1/9. Which is bigger: 1 or j?
1
Suppose 2*r - 3 + 1 = 0. Let g = 72 + -649/9. Is g smaller than r?
True
Let j = -0.35 - -0.15. Let k = -0.2 - 0.2. Which is greater: j or k?
j
Let j = 6.1 + -10.8. Let f = j + 0.7. Let l = 6 + f. Is 2 not equal to l?
False
Let r = -10 - -14. Is r smaller than 4?
False
Let f(o) = o**2 - 4*o - 3. Let h be f(3). Let i = h + 5. Which is bigger: 0 or i?
0
Let u(o) = o**2 - 4*o + 2. Suppose 5*h = -2*n + 31, -11 = -3*n - 3*h + 13. Let v be u(n). Let d(t) = -t**3. Let s be d(v). Is 1 < s?
False
Let z be 2 + (0 - -1) - 2. Suppose 0 = -2*d + 2, 4*b - d + 6 = -b. Let x(f) = -f**3 + f**2. Let c be x(b). Which is greater: z or c?
c
Suppose 4*i = 10*i - 18. Let y be (0 - i)*(-3)/(-9). Which is smaller: y or -1/11?
y
Let t(o) = -o**3 - 5*o**2 + 4. Let j be t(-5). Suppose 2*w = -0*x + 4*x - 20, -5*x + 35 = -5*w. Which is smaller: j or x?
x
Let c = 2 + -2. Suppose c*w = w. Suppose w = 4*n - 0*n - 8. Is 3 greater than or equal to n?
True
Let z = -0.01 - 0.17. Let q = 0.2 + z. Is q equal to 2/5?
False
Let y = -0.42 + -3.58. Is -2/5 not equal to y?
True
Let w = 22 - 23. Is -0.7 at least as big as w?
True
Let v = 254/9 - 28. Let p = -0.1 + 0.2. Is p < v?
True
Let x = 20 + -20. Let m = -226 + 1126/5. Is m greater than or equal to x?
False
Let s(w) = 4*w**2 - 15*w + 10. Let r(h) = -9*h**2 + 31*h - 19. Let p(i) = 3*r(i) + 7*s(i). Let x be p(11). Which is bigger: 0 or x?
x
Let c = -52 - -52.41. Let l = -0.09 - c. Which is smaller: l or 0.1?
l
Let k be ((-16)/(-64))/((-17)/4). Is 1 bigger than k?
True
Let n = 0.06 - -0.94. Which is smaller: 4 or n?
n
Let u(v) = -v**2 + v. Let l be u(1). Let o = l + -1. Is -0.1 less than or equal to o?
False
Suppose -3*r = -2*r - 3. Let o be 1/2 - (-9)/(-2). Let h be 24/15*(-10)/o. Which is smaller: r or h?
r
Let m be 29*((-6)/(-5) - (-13)/(-65)). Does 26 = m?
False
Let o be -5 - -5 - (-3 + 2). Let y = -4 + 3. Is y bigger than o?
False
Let w be 0/5 + 1*2. Let y be 2/4*1*w. Let g be y*2 - 9/5. Is 0 > g?
False
Let c = 10 - 25. Let s = -14 - c. Suppose 4*j = j. Which is greater: j or s?
s
Let m(u) = -4*u**2 + u - 1. Let n be m(1). Which is bigger: -1 or n?
-1
Suppose -15 = -5*b + 4*v, 2*b - v - 1 - 2 = 0. Is -5 at most b?
True
Let q = -2315 - -1479. Let j be (-30)/q*384/(-186). Let b = j + 2/209. Which is smaller: b or 1?
b
Let h(d) = d**2 + 1. Let v be h(-1). Suppose 7*a = v*a. Is a != 0?
False
Let c(q) = q**3 + 3*q**2 + 3*q + 4. Let z be c(-3). Let w(l) = -17*l**2 - 18*l**2 - 1 + 53*l**2 - l**3 - 23*l**2. Let f be w(z). Is f >= 0?
False
Let l = -752 + 39857/53. Which is greater: l or -1?
l
Let m = -9/4 + 2. Let i = 4 + -2. Suppose -i*c = 3*c. Is m greater than or equal to c?
False
Suppose -4*w + o + 10 = -9, -o = -w + 4. Suppose x = 6*x + 3*i - 19, 5*x + w = 5*i. Which is smaller: 1/2 or x?
1/2
Suppose 2*p = -r - 3*r + 10, 0 = 2*p - 2*r + 2. Let c be (-2 - (4 + -4)) + p. Is c at least -11/6?
True
Let h be -6*(15/(-6) - -2). Suppose 0 = 2*l + 5*g + 6, 0 = -3*l + 4*l + h*g + 3. Does -3 = l?
True
Let z(w) = -5 + 0 + w - 4*w - 17. Let n be z(-9). Which is greater: 3 or n?
n
Suppose 4*t + x = -1, -2*t - x + 1 - 2 = 0. Which is smaller: 1/70 or t?
t
Let t(u) = -u**3 + 5*u**2 + 3. Let v be t(5). Suppose 0 = -3*j - 17 + 26. Is v > j?
False
Let a(o) = -o**3 + 11*o**2 + 13*o - 7. Let r be a(12). Let k = -2 - -6. Which is greater: k or r?
r
Let x = -326 + 325. Let y be -1 + (-6 - 2*-1). Which is greater: x or y?
x
Let h(l) = 23*l**3 - 5*l**2 - 3*l - 2. Let b be h(-3). Let n = 1952/3 + b. Let m = -23/3 - n. Which is smaller: 0 or m?
0
Suppose -3*r + 5*d = -5, -5*r + 3*d + 3 + 0 = 0. Let b = 0.05 + -0.15. Which is bigger: r or b?
r
Let j = 3.969 + 0.031. Which is bigger: j or 0.21?
j
Let x = 6.5 - 5. Let b = x - -0.5. Which is smaller: -3 or b?
-3
Suppose -2*s - 2*s + 8 = 0. Suppose 5*q - s*q + 6 = 0. Which is greater: q or -3?
q
Let j = -28 - -26.7. Let p = j - -0.3. Which is bigger: p or -0.01?
-0.01
Suppose 0 = -3*h + 2*h. Suppose h*f - 4 = 2*f. Let x be (f/33)/(4/6). Is x equal to -1?
False
Let q = -0.5 - -0.3. Let d = 22 + -16. Let v = d - 6.2. Do v and q have the same value?
True
Suppose -56 - 13 = -3*y. Which is smaller: 24 or y?
y
Let s = -2 + 2.1. Let d = -4768/15 - -318. Which is bigger: d or s?
d
Let u be (-3)/(-9) + 4/6. Let p be 2*u + -1 + 1. Let t = 1/7 - 9/14. Which is smaller: t or p?
t
Let b be 2 - 20/5 - (-8)/(-14). Which is bigger: b or -2?
-2
Let r = 608/27 - 202/9. Which is smaller: r or 0?
0
Let t(g) = -2*g - 7. Let a be t(-7). Is 5 less than or equal to a?
True
Let c = 4.4 + -8.3. Let s = c - -4. Let o = 0 - s. Which is smaller: o or -1/2?
-1/2
Suppose -4*g = -4*s + 7*s - 17, 0 = s + 2*g - 9. Are 2/217 and s equal?
False
Suppose -j - 4*j = -2*o + 6, -3*j - 5*o - 16 = 0. Let p be j/(-9) + 0/1. Is p > -1?
True
Let p be (-4)/26 - 144/585. Which is bigger: 5 or p?
5
Let y = 12 + -13. Which is greater: 2/35 or y?
2/35
Let y = 10 - 6. Let d be (-1)/y + (-3)/(-12). Let g = 10 + -12. Is g > d?
False
Let h be (18/(-15))/((-2)/(-10)). Let q = h - -16. Suppose 4*j = -2*g - 20, -3*g + 8*g = -2*j - q. Which is greater: g or -1/7?
g
Suppose 5*j + y + 11 = -y, 2*j + 2*y = -8. Is j equal to -5/7?
False
Let l(s) = -s**3 + 4*s**2 - 1. Let q be l(4). Which is smaller: q or -11/5?
-11/5
Let a be 51/(-25) + (-10)/(-5). Is a greater than or equal to 0?
False
Let b = -24/7 - -162/35. Which is smaller: 1 or b?
1
Let n(i) = -i**3 + 3*i**2 - 3*i + 3. Let r be n(2). Which is bigger: r or -2/27?
r
Let x = 15.5 - 15.6. Which is smaller: 3 or x?
x
Suppose 23 = -5*c + 3. Let m be -2 - 2/(c/7). Which is smaller: m or 2?
m
Let v(r) = r**2 - 1. Let i be (4 - 4/2)/(-1). Let z be 0/(-7)*(-1)/i. Let o be v(z). Do 1/6 and o have the same value?
False
Let q = 0.9 - 1. Let d = 0.06 + 0.14. Let a = 0.2 - d. Which is smaller: q or a?
q
Let i = -3 + 4. Let m = i - -1. Let s = -0.15 - 1.85. Which is smaller: m or s?
s
Let m = -6.01 + 6. Let z = -0.09 + m. Let n = -2 - -1. Is n smaller than z?
True
Suppose 0 = -0*w - 4*w - 4. Let i = 1 - w. Is 2 greater than i?
False
Let l be 2 + (1 - 2) + 47. Suppose 0 = g - 5*j + l, 6*j - 78 = 2*g + 2*j. Let w be 8/g*12/16. Are w and -1 unequal?
True
Let k(v) = 2*v**2 - 2*v - 2. Let j be k(3). Let b be -1*j/6*-3. Suppose -4 + 14 = b*y. Which is smaller: -2/13 or y?
-2/13
Let d = 0 - -0.2. Let n = 