 Let v(k) = 2*k + 1. Let t(j) = 1. Let f(l) = -4*t(l) + v(l). Let s be f(2). Which is smaller: s or x?
x
Let h = 3 - 0. Let m(o) = o**3 + 8*o**2 - 2*o - 12. Let n be m(-8). Suppose -n*r = -h*r. Which is smaller: r or -1/8?
-1/8
Let t = 54 - 49. Is t at most 5?
True
Let m be 1 + (4 - (-22)/(-4)). Which is bigger: m or -11?
m
Let m = -3/7 - -5/7. Let h = 13 + -6. Suppose -s - 3*l = -5 - h, 3*l = s + 12. Which is bigger: m or s?
m
Let n = -0.24 - -0.21. Which is smaller: n or -1/3?
-1/3
Let r be 0 - (1 + -1 + -1). Let a(l) = -3*l - 2. Let w be a(6). Let n be w/(-16) - (r + 0). Which is smaller: -0.6 or n?
-0.6
Let d = 0.016 + -0.216. Which is bigger: d or 14?
14
Let g be (-730)/836 - 3/(-6). Let l = -1236 - -258322/209. Let o = l - g. Do o and 1 have the same value?
False
Let h = 7009386/5 - 11116865781/7930. Let p = -5/122 - h. Let k = 196/65 + p. Is k less than or equal to -1?
False
Let v = -20 + 33. Which is bigger: v or -1/3?
v
Let r be (-4)/10 - (-1271)/(-210). Let h = -44/7 - r. Are h and 1 equal?
False
Suppose -2*i = -3*i - 3. Let h be 1 + i - (-1 + 1). Let c = h + 2. Is c greater than 1?
False
Let r(k) = -k + 20. Let y be r(10). Suppose 0 = 8*s - 3*s - y. Suppose 2*w = 2*m - 6, w - 3*m + s = 1. Is 1 smaller than w?
False
Let q be (4/(-8))/(2/4). Let n be (-8)/(-20)*40/(-66). Let w = -12/11 + n. Are q and w non-equal?
True
Let j = 134 - 134. Which is smaller: j or 1/25?
j
Let k = 63 + -69. Which is smaller: -9 or k?
-9
Let l = -102.3 + 102. Suppose 87 = 5*n + 3*d, 5*n - 47 = -5*d + 38. Let q = 128/7 - n. Which is greater: q or l?
q
Let k be 1/3 + (-5)/15. Let i = 73 - 221/3. Is k at most i?
False
Let i = 1 + -1.1. Let t be (-1 + 2 - 6) + -1. Let u be t/80 - 3/(-15). Which is smaller: u or i?
i
Let o(z) be the second derivative of -z**4/12 + 7*z**3/6 - 5*z**2/2 + z. Let f be o(6). Let j be (-3 + 1)/(-2 + f). Is j at most 1?
False
Suppose 4*y - 2*v + 13 = -3*v, -5*v = 25. Let w be (-12)/(-8) - (-5)/y. Do w and -3 have the same value?
False
Suppose 5*u - 36 = 7*u. Do -18 and u have different values?
False
Let z = 12 + -12. Let p = 27 - 22. Is z <= p?
True
Let d = -66 + 115. Let p = d - 243/5. Is p >= 1?
False
Suppose -4*b + 20 = b. Suppose v + 75 = b*v. Suppose -8 = 4*y + 3*s, 3*s + v = 5*y - 2*s. Is y smaller than 0?
False
Let c(p) = p. Let n be c(1). Suppose o = 2 + n. Let l = 23/4 + -17/4. Is o at most as big as l?
False
Suppose -1 - 4 = 5*z. Let t = -568 + 98. Let c = 7988/17 + t. Is c <= z?
False
Let q = -0.6 + 0.9. Which is smaller: -0.6 or q?
-0.6
Let z = -5.2 - -5.3. Is -0.2 less than z?
True
Let f be (3/((-1026)/4))/((-4)/3). Which is greater: 1 or f?
1
Let q = 3/14 - 1/2. Which is greater: q or 16?
16
Let i(n) = n**2 + n - 5. Let k be i(-4). Let d = 10 - k. Which is smaller: d or 4?
d
Let s = -1 - -0.9. Let r = -558 - -1759/3. Let x = -28 + r. Is x less than s?
False
Suppose 3 = -3*a - 0*a. Let v = 9 + -29/3. Which is greater: v or a?
v
Let z = 1 + -4. Let m(p) = -p - 2. Let y be m(z). Let t be 6*2/104*4. Is t at most y?
True
Let y = -2.7 - 0.3. Suppose 2*f = -f - 12, -388 = 5*l - 3*f. Let s = 398/5 + l. Is s != y?
True
Suppose -3*o + 18 = -o. Let m be (5/(-2))/(o/(-6)). Which is smaller: 0.1 or m?
0.1
Let r = 4/7 + 16/21. Which is bigger: r or 0.2?
r
Suppose -c - c + 3*j = -16, -3*c - 4*j = 10. Let g = c - 2. Is 1 at most as big as g?
False
Let j = -26 - -26.85. Let t = j - 0.15. Let h = t + 5.3. Is h less than -1?
False
Let g(r) = -r**3 - 2*r**2 + 2. Let t be g(-3). Let n = -1006 + 1017. Is t smaller than n?
False
Suppose -a + 1 = -4*k - 0, a + 26 = -5*k. Let r(l) = -l**3 - 11*l**2 - 1. Let p be r(a). Let t be (-5 - -6)*(p + 2). Is t less than or equal to -1?
False
Suppose 5 = -5*i - o, 0 = 2*i + i - 3*o + 21. Let r be (-5 - i)*4/6. Let g be (2 + -2)/(2/r). Is 1 less than or equal to g?
False
Let l = -607/1133 - 1/103. Are l and -1 equal?
False
Let s be 3/10 - (-1 + 1). Let b be (3 + -2)*(-1 - 1). Let l be 15/(-5) - (-1 + b). Which is smaller: s or l?
l
Let z(f) = f + 3. Let o be z(-10). Let x(c) = c + 15. Let u be x(o). Let d = -5 + u. Is d less than or equal to 0?
False
Let a be 22/4 + -2 + -8 + 6. Is a bigger than -0.1?
True
Let v = 1.57 - 1.8. Let i = v - -0.03. Which is bigger: -0.1 or i?
-0.1
Let f = -0.2 + 0.6. Let o be ((-2)/3)/(12/18). Is o < f?
True
Let k be (-5 - -2) + 1 + 1. Let b be (-12)/(-9)*(-1)/1. Which is greater: k or b?
k
Suppose i = -2*g - 2*g + 6, 4*g + 3*i = 10. Let h be ((-1)/3)/((-14)/(-6)). Which is smaller: h or g?
h
Let i(o) = o**2 - 6*o - 4. Let g be i(7). Which is smaller: g or 26/7?
g
Let k be 0 - 2/(-3)*21. Is k greater than 13?
True
Suppose -u - 5 = -2. Let b = -14/13 - 11/26. Is b >= u?
True
Let r be (1/((-2)/(-2)))/1. Let g = 211/180 + 1/36. Which is bigger: r or g?
g
Let w be ((-7)/(-21))/(1/6). Let f be -1 - 1/(w + -3). Is -2/9 <= f?
True
Suppose 3*m = -2*z - 1, 0 = -4*z - 4*m + 4. Which is smaller: z or 6?
z
Suppose n + 0 + 2 = -g, -2*n - 3*g = 3. Let r = 2 + n. Let t = 1 + 1. Which is bigger: r or t?
t
Suppose 4*n + 57 = -47. Is n greater than or equal to -26?
True
Let t = -6 - -6. Let u = 0.8 + t. Let n = u + -1. Are -0.2 and n equal?
True
Let m be (-2)/5*1/2. Suppose 0 = 2*l - 3*l + 1. Suppose 2*h - 14 = 3*y + y, 5*h + l = -2*y. Which is smaller: m or h?
m
Let l be 2/10*(-1 - -2). Let x = 15 + -14. Is x > l?
True
Let h(r) = -r**3 + 6*r**2 - 4*r - 2. Let v be h(5). Suppose 0*b = -v*b. Which is bigger: b or 2?
2
Suppose -a = 2*a - 9. Let l = a + -9. Is -6 equal to l?
True
Let a be ((-11)/(-5) + -1)/(9/210). Which is smaller: a or 55/2?
55/2
Suppose 0 = 6*p - 2*p - 4*t, p + 3*t = 0. Which is greater: -1/10 or p?
p
Let c(b) = -3*b - 8. Let h be c(-5). Is h >= 8?
False
Let b(c) = c + 1. Let h be b(-1). Suppose 175 = -5*g - 5*n, -5*g - 3*n = -8*n + 125. Let a be (-1)/(-3) - (-4)/g. Is h at least a?
False
Let b be (-20)/25*(-10)/(-14). Let u = -9/28 - b. Which is smaller: -2/9 or u?
-2/9
Let h = 8 - 8.01. Let o = -1.99 + h. Let j = -1 - 1. Is o greater than or equal to j?
True
Let m = -7 + 11. Suppose -2 = -m*n - 10. Which is bigger: n or 1?
1
Let v = -6 - -9. Suppose 4 = j + v*j. Let w(x) = 2*x**2 + x - 1. Let i be w(j). Are 1/2 and i unequal?
True
Let j = -2/75 + 9/25. Suppose 3*r = 5*y + 8, -3*r + 6*y = 3*y - 6. Is j less than r?
True
Let t = -179 + 166. Is t > -8?
False
Let d = -26 - 12. Which is bigger: d or -39?
d
Let v be 0 + 2 + 52/(-27). Is -1 at most v?
True
Suppose -40 = 5*y + 35. Which is smaller: y or -16?
-16
Let w(j) = j**3 - 9*j**2 - 10*j. Let l be w(10). Is l greater than or equal to -2?
True
Let b = 3/136 - -393/680. Suppose 5*a = 2 + 8. Suppose a = t + 1. Which is smaller: t or b?
b
Let d = -3 - -4. Let k = 191/5 - 38. Which is bigger: d or k?
d
Let g = 5 + -4. Let s = 8 - 11. Which is greater: g or s?
g
Suppose -3*z + 5*w + 676 = 0, w = -2*w + 12. Let m = z + -2086/9. Is 0 at least as big as m?
False
Let i be (1/3)/(-6 - -7). Let v = 51 + -155/3. Which is greater: i or v?
i
Let h be 3/(6/(-1))*-2. Let f be h - ((-14)/(-6) + -1). Which is smaller: -1/4 or f?
f
Let y be 39/252 + 1/(-4). Let k be (-1)/(2/(-2)) + -1. Are y and k nonequal?
True
Suppose j - 1 = -5. Let c be 14/4 + 2/j. Suppose 1 = -c*u + 2*u. Do u and -1 have the same value?
True
Suppose 4*g = 215 - 23. Suppose m - g = -3*m. Is m equal to 11?
False
Let q(k) = k**3 - 7*k**2 + k - 10. Let x be q(7). Let u(o) = o**2 - o - 3. Let r be u(x). Let i = r - 2. Which is smaller: i or 8?
i
Suppose 0*k - 36 = -3*k. Let l be (-1)/4 + k/48. Is l > -2/17?
True
Suppose -97 = 10*w - 407. Which is smaller: w or 33?
w
Let y be (-30)/350 - (-4)/14. Which is smaller: y or 0?
0
Suppose 0*k = 3*k. Which is bigger: k or 8/7?
8/7
Let n = -8 - 0. Let b be n/6*(-6)/20. Let h = 0.121 + 0.079. Which is greater: h or b?
b
Let b(g) = -g**3 - 7*g**2 - 6*g - 1. Let a be b(-6). Let u be a/(3 + (-40)/14). Is u at most as big as -7?
True
Let z = -0.31 + 0.01. Let t = -0.8 - -1.2. Let n = t - 0.4. Is z greater than n?
False
Suppose 0 = c + 3*c. Suppose 3*w - 5 + 23 = c. Which is bigger: w or -5?
-5
Suppose 0 = 5*f - 141 - 249. Is 78 <= f?
True
Suppose 3*n - 1 = 5. Suppose n*z = z. Is z at most 1/3?
True
Let x(u) = 3*u. Let g be x(1). Suppose 6*o = g*o. Let t = -8 + 8. Is o less than t?
False
Suppose 4 = -3*y + 16. Is y greater than 6?
False
Suppose