s f greater than u?
True
Let r(f) = -2*f**2 + 16*f - 6. Let w(b) = -b**2 + 8*b - 3. Let k(q) = -2*r(q) + 5*w(q). Let v be k(7). Let x be (-10)/v + (-1)/2. Is x > -3?
False
Let y(x) = 2*x + 1. Let n be y(-2). Let r = -0.19 + 1.19. Is r at least n?
True
Let b(j) = j**2 - 4*j - 11. Let r be b(-2). Is r < -1/73?
False
Let o(r) = -3*r**2 - 3*r - 2. Let n be o(-2). Let z(h) = h**2 + 8*h + 1. Let d be z(n). Let p = d + -1. Which is bigger: -4/9 or p?
p
Let d = -15 - -14.8. Suppose 0 = -4*m + 2*m - 2. Which is bigger: d or m?
d
Let z be ((-3015)/(-246))/5 + -2. Let d = -2/41 - z. Is 0 >= d?
True
Let w be 1/(1 + 0/2). Is w < 1?
False
Let d = 6.8 - 9.3. Do -2/7 and d have different values?
True
Let o = -3 - 1. Let x = o + 5. Let l = -151/98 + 2/49. Which is bigger: l or x?
x
Let w = -1 + 1. Let g = -122/3 - -40. Is w <= g?
False
Let n(q) = 0*q - q - 4*q + 9 + 4*q. Let o be n(8). Which is smaller: -1/3 or o?
-1/3
Let k = -19/6 - -11/3. Let f = -0.19 + 0.27. Let g = 3.08 - f. Which is smaller: k or g?
k
Suppose -4*j + 138 = -7*j. Is j less than or equal to -136/3?
True
Suppose -4*g - f - 35 = -g, -3*g - 19 = 5*f. Does g = -14?
False
Let r = -3.9 + -5.3. Let x = -1.9 - -10.9. Let c = x + r. Does -2/3 = c?
False
Let o(m) be the second derivative of m**3/6 + 5*m**2/2 - 5*m. Let l = -8 - -2. Let i be o(l). Which is bigger: -3/4 or i?
-3/4
Let s be (3 - 2) + 5 + -9. Is -1 > s?
True
Suppose -55 = -b + 41. Let k = b + -668/7. Let m be (-1 + 1)*(-1 - 0). Is m at least as big as k?
False
Let p(w) be the third derivative of 0*w + 1/24*w**4 + 0 - 1/6*w**3 - 2*w**2. Let j be p(4). Do j and 3 have the same value?
True
Let d = 695/21 - 98/3. Let a = -4/7 + d. Which is smaller: 1 or a?
a
Let g(m) = 14*m**2 - 1. Let j be g(1). Suppose -2*c - 4*y = 2*c + 24, j = -3*c - 2*y. Is c >= 7?
False
Let f = 1/2 + -13/18. Let h = 1 - 13. Let q = -11 - h. Which is smaller: f or q?
f
Let r be ((-1)/9)/(15/(-50)). Let c = -4/27 + r. Which is greater: -1 or c?
c
Let c(i) = i - 5. Let l be c(-3). Is -31/4 greater than l?
True
Let b be 2/(-9) + 80/(-45). Which is bigger: b or 0?
0
Let q be (-9 + 129/15)*(-10)/(-16). Let b(w) = -w**3 - 3*w**2 + 1. Let g be b(-1). Is q less than g?
False
Let k be 2/3 - 8/3. Which is smaller: k or -4/5?
k
Let z be 6*(0 - (3 - 1)). Let u be (-3)/2 + z/(-8). Is -1 > u?
False
Let l = 10 + -12. Let a be (9/(-135))/(2/(-12)). Which is bigger: l or a?
a
Suppose -3*u + 5*u = 4. Let l be -3 + u + -1 + 2. Let b be 16/7 + (-2)/1. Is l greater than b?
False
Let i(m) = -m**3 + 14*m**2 + 16*m - 14. Let q be i(15). Which is smaller: q or -1/4?
-1/4
Let y be (-68)/(-70) - (-4)/(-10). Suppose 0 = -m - 4*v + 9, 2*m + 18 = -0*v + 4*v. Let k = -3 - m. Is k < y?
True
Let y(l) = 0*l + 1 + 0*l + 2 + l. Let i be y(-6). Which is bigger: i or -0.1?
-0.1
Let b be ((-2)/10)/((-2)/10). Is 1 smaller than b?
False
Let d = 35 - 33.87. Let i = -0.13 + d. Let m be ((-3)/(-7))/((-6)/4). Do i and m have different values?
True
Let b = 226/1551 - 4/47. Suppose 3*d = 9*q - 11*q - 9, 4*q + 8 = 4*d. Which is greater: b or d?
b
Let v = -2 - -2. Suppose -4 = -2*l - 0. Is l < v?
False
Let m(a) = -a**3 + 11*a**2 - 11*a - 11. Let x be m(10). Are x and -21 nonequal?
False
Suppose -u - 8 - 2 = 5*q, 0 = -u + 5*q + 10. Which is smaller: -3 or u?
-3
Suppose 2*k - 3*m = -m - 4, -5*m + 19 = 4*k. Let y = 30 + -91/3. Which is greater: y or k?
k
Let g be 2/(-6) - 10/6. Let x be ((-5)/20)/(1/g). Is x bigger than 0.8?
False
Let s(n) be the first derivative of -n**4/4 - n**3/3 + n**2 + n + 2. Let j be s(-2). Which is smaller: -3/10 or j?
-3/10
Let p = -1.462 + -0.448. Let m = p - -2. Which is bigger: -1/2 or m?
m
Let j = 249 + -1746/7. Let m = 42 - 60. Let a = -19 - m. Is j at most a?
False
Let t = 3 + -5. Let c(z) = -z**2 + 9*z - 8. Let w be c(8). Is t not equal to w?
True
Suppose 5*i - 11 = -3*o + 12, -o = 4*i - 10. Suppose n + 4*m - 11 = 0, -8 = -4*n - m + o. Which is smaller: 4 or n?
n
Let x be 0/2 + (3 - 0). Let r(v) be the third derivative of v**5/60 - v**3/6 + 2*v**2. Let s be r(2). Is x greater than or equal to s?
True
Let b(z) = z**2 - 14*z + 4. Let y be b(11). Let a = -147/5 - y. Which is greater: a or -1?
a
Suppose 16 = -2*i + 3*i. Let q = i + -23. Does q = -1/4?
False
Suppose 3*v - 16 = 2. Let u = v + -4. Suppose -2*t = -3*j + 7, -j - t = -4*j + 5. Is u < j?
False
Let x be 2 + 16*3/(-9). Suppose -2*z - 3*p + p = -2, z = 4*p - 14. Which is greater: x or z?
z
Let j = -19 - -19. Is j < 1/4?
True
Let v(z) = z + 5. Let b be v(-11). Is -40/7 at least b?
True
Let g = 13 - 13. Let l be -1 + g + 10/14. Is 0 at most l?
False
Let p = -0.22 - -0.12. Are -4 and p non-equal?
True
Suppose -2*n + 208 = 4*x, 2*x - 84 = -0*n + 4*n. Let u = x + -34. Let k be (-24)/u + (-10)/4. Is k bigger than -4?
False
Suppose 20 = 6*t + 8. Which is smaller: t or -0.17?
-0.17
Let b = 232/9 - 26. Which is greater: 2 or b?
2
Let n = 0.42 + 8.58. Is -0.1 > n?
False
Let c = -2.1 + 11.1. Which is smaller: c or -1/4?
-1/4
Let p(g) = g**2 + 38*g + 3. Let i be p(0). Let j be (0 - (-3)/(-4))*-3. Which is smaller: i or j?
j
Let b be (-1 - (-2)/(-4))*-2. Let u = 797 + -794. Is b <= u?
True
Let j = -4 - -6. Let t = -7 + 7.3. Is t at most as big as j?
True
Let g be -1 - -1 - 1*-1. Suppose -g - 2 = l. Let c(j) = -j**3 - 15*j**2 - 15*j - 16. Let y be c(-14). Is l > y?
False
Let q be 288/(-1106) + (-2)/(-7). Let p = -164/237 + q. Which is smaller: p or 0?
p
Let z be 5/1 + -1 + -1. Let n be 3/(27/28) - z. Which is smaller: n or 0?
0
Let o = 5 + 8. Let x = 14 - o. Is x less than or equal to 1/2?
False
Let r = 1293/268 + -5/67. Which is bigger: 2/7 or r?
r
Let c = -6.5 + -0.5. Which is smaller: c or -1/5?
c
Let n = -281/7 + 40. Is n != 5?
True
Let d = 1373 - 23329/17. Let j = d + -55/102. Which is bigger: j or -1?
j
Let y(l) = -l**2 + 10*l - 15. Let s(u) = 5*u**2 - 51*u + 76. Let b(z) = 2*s(z) + 11*y(z). Let f be b(6). Is -0.07 less than or equal to f?
False
Suppose -5*x - 12 - 5 = 3*f, -x = 2*f + 2. Let a(n) = 2*n**2 + 2*n - 1. Let v be a(f). Let w be (-8)/v*(-1)/12. Is 1 at least w?
True
Let x be 333/(-63) + (-4)/(-14). Suppose 0 = -3*m + 15, b + 0*b = -2*m + 5. Is x smaller than b?
False
Suppose 2*d = -r - 7, 0 = 2*r - 3*r + 2*d + 9. Which is greater: 2/5 or r?
r
Let z = -438/143 + 32/11. Is 1 <= z?
False
Let a(l) be the first derivative of -l**4/4 - l**3 - l**2/2 + 3. Let k be a(-1). Which is smaller: k or 0?
k
Let t = -70.991 + -0.009. Is t <= -1/3?
True
Suppose 5*n = -5*f, -2*f = n - 4 + 3. Is f smaller than -2/113?
False
Let n be (-2)/6 + 50/15. Suppose 21 = -n*s + 9. Is s less than or equal to 1?
True
Suppose -5*d = 2*t - 24, 0*t - 2*t - d + 32 = 0. Which is greater: t or 18?
18
Let f be 12/7 + ((-8)/7)/(-4). Is 1 <= f?
True
Let g = -3 + 4. Let h = -7.01 - -7. Let z = h - -0.41. Is z >= g?
False
Let j = 27 + -21.8. Let o = -5 + j. Which is greater: o or 3?
3
Let q = -1 + -1. Let g = 98 + -98. Is q at most as big as g?
True
Suppose 2*c = -4*r + 16, -3*r = -c - 15 - 2. Is 6 equal to r?
False
Let r = 0.2 - -0.8. Let o be 1/2*(-4)/2. Let x be 32/18 + o + -1. Which is bigger: x or r?
r
Suppose c + 8 + 2 = l, 3*l - 25 = 2*c. Let u = c - -3. Do u and -8 have the same value?
False
Let a be 1/(-15) - 6/(-9). Let h(q) = q**2 - 3*q + 2. Let d be h(4). Let t be (0 - 6)*(-2)/d. Is t smaller than a?
False
Let y be ((-1)/(-4))/((-153)/(-12)). Let d = 97/255 + y. Suppose 0*i - 1 = i. Is i smaller than d?
True
Suppose 0 = -z + 3 - 7. Let y(i) = 4*i**3 + 3*i - 1. Let v(q) = 4*q**3 + 4*q - 1. Let s(n) = -5*v(n) + 6*y(n). Let o be s(-1). Is z greater than or equal to o?
False
Let d be (9/(-12))/((-2)/(-24)). Suppose -3*i = -5*l + 55, 2 = 4*l - 4*i - 50. Let w = l + d. Which is smaller: 0.5 or w?
w
Let m = -13 + 17. Suppose -2 = -2*w - 2*y, m*w = w + 5*y - 13. Is 2/57 smaller than w?
False
Let w be 2 + (17/(-4) - 3/12). Which is bigger: w or -1/4?
-1/4
Let x(f) = 2*f - 1. Let q be x(-2). Which is smaller: q or -4?
q
Let z be (-1 + 0)*(-2)/(-6). Suppose -220*a = -224*a + 4. Is a >= z?
True
Let g(c) = -3*c + 15. Let a be g(6). Which is smaller: a or -5/2?
a
Let z be ((-2)/(-410))/(34/85). Are z and 1 equal?
False
Let c = 1.2 - 0.2. Let h = -2 + c. Suppose -2*f = 2*y - 2 + 8, -4*f - 12 = 0. Which is bigger: y or h?
y
Let n be 6 + 5 + -2 + 0. Are n and 9 equal?
True
