2*w. Let h be p(6). Which is bigger: h or 5?
5
Let o = 85 + -139. Let g = o + 592/11. Suppose 2*b + 4 = -2*k, -2*k - 5 = b + 2*k. Is b at most as big as g?
True
Let f be 9*(2/2 - 2). Let u = f + 7. Is -5 less than or equal to u?
True
Let r(o) = 3*o. Let j be r(-3). Let z be 780/135 - 2/j. Is 4 <= z?
True
Let u be (-3 - (-2)/(-1)) + 4. Which is bigger: -5/3 or u?
u
Let d(u) be the second derivative of u**5/20 + 2*u**4/3 + 4*u**3/3 + 3*u**2 + 3*u. Let y be d(-7). Let o be (15/(-9) - -2)*y. Is o equal to 1?
False
Suppose 1 = -4*k - 5*m, -2*m = -0*k - 2*k - 14. Which is bigger: k or -5?
k
Let o be 6/8 - 793/12. Let v = o + 66. Suppose 0 = 2*d - 5*d. Which is smaller: d or v?
d
Let y = 5 + -11. Which is greater: y or -7?
y
Let l = -708788/169 - -4194. Is l >= 1?
False
Let y be 18 - 5/(15/(-6)). Which is smaller: y or 21?
y
Let h be 6*(-3)/(-45) + (-44)/10. Do -1 and h have different values?
True
Let i(n) = n**3 + 3*n**2 + n + 4. Let x be i(-4). Let l = x + 17. Is -6 at least l?
False
Suppose -5*d - 28 = -4*d + 4*w, 0 = -3*w - 15. Let i be (1/(-4))/((-5)/d). Suppose 0 = -3*m + 4 - 1. Which is bigger: m or i?
m
Let a = 2.5 - 0.5. Let y = 17.9 - 17. Let z = y - 1. Is a smaller than z?
False
Let y be 2 - -1*(-1)/(-1). Suppose 21 + 3 = y*m. Let b be ((-1)/m)/((-2)/(-6)). Is 1 bigger than b?
True
Let k be (-2)/((-6)/(-27)*-3). Suppose -4*q + 3*b - 7 = 0, 0 = k*q - 0*q + 3*b. Do q and -2/9 have the same value?
False
Let l = 10 - 9.99. Let z = l + -1.01. Which is greater: 4 or z?
4
Let u be (-5 - -2)/(3/8). Let z be 22/u + (-5 - -8). Which is smaller: 0 or z?
0
Let d be (2/16)/(8/(-29264)). Let m = 455 + d. Which is smaller: -3 or m?
-3
Let b be -1*((-3)/(-1) + -3). Suppose b = -3*v - q - q - 46, -2*v - 4*q = 44. Is v < -13?
False
Let l be -2*(-5 - -3 - -3). Let k be (l/(-11)*-2)/2. Is 1 >= k?
True
Let b = 0.09 - -3.91. Let h = 2.1 - 1.1. Which is smaller: b or h?
h
Let q = 142 - 179. Is q smaller than -37?
False
Suppose -2*j + 20 = 2*j. Suppose -w + 1 = f + 2, j*w - 45 = 5*f. Suppose 1 = -5*c + w*t - 4, 2*c - 5*t + 2 = 0. Which is smaller: -4/9 or c?
c
Let o = 6 - 6.13. Are o and 1/2 non-equal?
True
Suppose 5*i + 5*r - 16 = 24, -2*i - 9 = -3*r. Let h = -24.943 - 0.057. Let f = h + 26. Which is greater: i or f?
i
Let h = 0.24 + 1.76. Let k = 6 + h. Is -1/2 != k?
True
Suppose l + 2 = 5. Let f = 0 - l. Let j = -0.226 + 0.126. Which is smaller: j or f?
f
Let c = 4 - 73/18. Suppose -f - 1 = -2. Do c and f have different values?
True
Let a(x) = 3*x. Let z be a(-2). Let r be -164 - (8/z - -2). Let m = r - -166. Which is greater: 2 or m?
2
Let k(y) = -2*y + 14. Let l be k(6). Let w(z) = -z**2 + 2*z - 3. Let q be w(l). Is -1 at most q?
False
Let a be (-36)/(-2*3/(-6)). Let m = a + 178/5. Let p = 11 - 9. Is p greater than m?
True
Let a = 0.06 - -0.04. Is -1/22 != a?
True
Let x(b) = -6*b + 1. Let f(v) = 5*v. Let y(l) = -5*f(l) - 4*x(l). Let t be y(-3). Which is smaller: t or -2?
-2
Let g = -4 - -4. Suppose -c = -4*c + 3, -4*o = 5*c - 9. Let r = g + o. Which is bigger: r or -1/4?
r
Let q(k) = -3*k**2 - k + 3. Let j be q(2). Is -2 greater than j?
True
Let r = -3667/9 - -407. Is 2 greater than or equal to r?
True
Let r be (2 - (3 + 0)) + 1. Let p = -39908/471 - -10/157. Let g = 84 + p. Which is smaller: g or r?
g
Let z be (12/90)/(3/(-15)). Which is smaller: z or 0.2?
z
Let n = -222 + 1548/7. Let v = n - -1/42. Do -2 and v have different values?
True
Suppose 4 = -39*z + 37*z. Is -2 greater than z?
False
Let z = -8 - -12. Let x = z + -1. Which is bigger: 0.2 or x?
x
Let m = -6.07 - -0.07. Let u = -7 - m. Do 4 and u have the same value?
False
Let u be ((-4)/(-6))/((-10)/15). Let h be 5/15 - u/(-3). Suppose h = -5*d - 4*c - 6, d + 4*c = -14. Is 4/5 bigger than d?
False
Suppose -5*y = -4*d - 0*d, -7 = d - 3*y. Let m(l) = 3*l - 15. Let h be m(d). Which is bigger: -1.9 or h?
h
Let o be (-3)/(-108) + (-2)/(-9). Let h(d) = -d**3 + 6*d**2 - d + 6. Let u be h(6). Are u and o equal?
False
Suppose -5*p = 25, -3*z = -6*p + 3*p - 36. Which is greater: 9 or z?
9
Let x = -88 + 81. Is 0.5 greater than or equal to x?
True
Let i be 0 + -1 + 6 + -7. Which is smaller: i or -3?
-3
Suppose 0 = 5*z + 7 - 27. Suppose -z*r = r - 60. Let f be 3*(-2)/r*-2. Is 2/5 less than f?
True
Suppose 170 = -l + 11*l. Is 17 > l?
False
Suppose -6*t + 8 = -5*t. Are t and 8 nonequal?
False
Suppose 3*y = 4 + 8. Suppose y = -2*c + 5*v, -v + 10 + 4 = 4*c. Which is smaller: c or 5/3?
5/3
Let b(g) = 2*g + 0 + 1 - 3*g. Let y be b(5). Let l be (-3)/(0 - -1 - 0). Do l and y have the same value?
False
Let g = 8 - 5. Let h be (-2)/(-4) + g + -3. Let x(d) = d**2 + 6*d - 5. Let s be x(-7). Which is smaller: h or s?
h
Let b = -624 - -624.03. Let v = 2 + -1. Is b greater than v?
False
Suppose y = 4*y - j - 11, -2 = 2*y - 3*j. Let f(n) = -n**2 + 5*n + 5. Let c be f(y). Suppose -c*x = -0*x. Which is smaller: -2/3 or x?
-2/3
Let i be (-2)/8 - (-132)/400. Suppose -d - 1 + 2 = 0. Which is smaller: d or i?
i
Let g be 209/(-91) - 2 - 6/(-42). Which is smaller: -3 or g?
g
Let i = 6 - 7. Which is bigger: i or -2?
i
Suppose m = 4*m + h, 0 = 4*m + 4*h. Let a(g) = g - 5. Let l be a(7). Which is bigger: m or l?
l
Let v be (1 - -43)*(-1)/(-2). Which is bigger: 23 or v?
23
Let w = -25 + 13. Let y be (-22)/(-26) - w/78. Let p = -3.5 + -0.5. Is p < y?
True
Let c = 127/469 - -1/67. Let q = -0.6 + -1.4. Let a = 2.1 + q. Is a at least as big as c?
False
Suppose -5*l + l = -16. Suppose 2*j + 0*j = l*v + 8, 2*v = 5*j + 20. Which is bigger: j or -4?
-4
Let j = 16.06 - 16. Which is bigger: -2/9 or j?
j
Let z = -157 + 108. Let o be 602/z - 4/(-14). Is -11 <= o?
False
Let l(w) = -w**3 - 7*w**2 + 8*w + 12. Let o be l(-8). Suppose -2*x + 3*y = -14, -3*x + 2*y + o = x. Suppose -5 = 2*p - x. Is p not equal to -2?
False
Let w be ((-21)/14)/((-2)/4). Let s = 1.1 + -1. Is w less than or equal to s?
False
Let v = 60 - 26. Is v smaller than -1/4?
False
Let d(p) = p**2 - 3*p - 3. Suppose o = 2*m, -2 = -2*o + o + m. Let q be d(o). Let i be q*2*(-3 + 4). Which is greater: 1 or i?
i
Let m be 2/(-436) - 0*5/(-20). Which is smaller: m or -1?
-1
Let l(v) = v**2 + 10*v - 23. Let a be l(-12). Which is bigger: -4/13 or a?
a
Suppose 3 = -4*q - 5. Let g(i) be the third derivative of i**4/24 + i**3/3 + i**2. Let n be g(q). Is -2/11 bigger than n?
False
Let m(p) = -p + 10. Let d(z) = 5*z + 4. Let a be d(3). Suppose 3*g = 46 - a. Let b be m(g). Is b != 1/7?
True
Let t be 1 + 3 - (446/37 - 8). Is 0.1 at least as big as t?
True
Let v be (-8)/3 + 2/3. Let p be (-2)/2 + 0/v. Let m be (p - -1) + (0 - 1). Which is smaller: m or 0?
m
Let m = 9137/19 + -481. Is m >= 1?
False
Let f be 29/28 + 21/(-28). Let o = -16 - -15.87. Which is smaller: f or o?
o
Let u be 52/8 + 1/(-2). Suppose u*p + 5 = p. Is p > -1?
False
Let v = 14 - 19. Is -6 smaller than v?
True
Let j = -45 - -46. Do -2 and j have different values?
True
Let w = 277/5 - 55. Let c = 4 + -3. Do c and w have the same value?
False
Suppose 0 = -4*k - b + 20 + 3, 0 = -2*k + b + 19. Suppose -2*p + 15 = -k*p. Let z = -19/13 + -1/26. Is z at most as big as p?
False
Suppose 0 = -2*v + v - 392. Let n = v + 7450/19. Is 1 at most n?
False
Let z(l) = -l - 5. Let i be z(-6). Let o be (-8)/28*(-2)/i. Is o <= 0?
False
Suppose -5*d = -2*t + 56, -2*d + 5*t = 17 + 18. Let z be 4/d + (-24)/15. Which is smaller: -1 or z?
z
Suppose -7 + 1 = -3*c. Let p be 4/10*1/c. Let y = 0 - 0. Which is greater: p or y?
p
Let x be 22/3 - (-8)/12. Let i = 8 - x. Let r = -19/55 - -6/11. Which is greater: r or i?
r
Suppose 7*r = 22*r + 75. Let b = 1 - 2. Which is greater: r or b?
b
Let o = -146/35 - -23/5. Let q(h) = -h**2 - h + 1. Let g be q(1). Are o and g unequal?
True
Let y = 7 + -7.3. Let l = 8 + -7.7. Let z = l + y. Are 0 and z unequal?
False
Suppose -t - 3 = 5. Which is greater: t or -9?
t
Let p be 39/(-33) + (4 - 252/66). Which is smaller: 1 or p?
p
Let t be 2/8 - 62/(-8). Is t >= 29/4?
True
Let o = 3.7 - -3.3. Is o <= -0.2?
False
Let r be (1 - 9)/((-4)/10). Suppose 0 = -2*v + 7*v - r. Is v greater than or equal to 1?
True
Let b be 12/(-30)*40/6. Is b equal to -3?
False
Let t = -5 + 2. Do t and -3 have the same value?
True
Let z = 7 - 5. Is z < 0.04?
False
Let z(c) = -c**2 + 4*c + 4. Let j be z(4). Suppose 0 = y + j - 3. Let w = 1.9 + -2. Which is bigg