re u and h non-equal?
True
Let l(w) be the second derivative of w**4/12 + w**3/3 - 5*w**2/2 - 11*w. Let c be l(-4). Is 3 equal to c?
True
Let y = 0.73 - -0.27. Let s = 10 - 7. Is y > s?
False
Let j(b) = -12*b + 4. Let h be j(6). Let c = 608/9 + h. Which is bigger: c or 0?
0
Let d = 154 + -79. Let n be ((-12)/d)/(4/10). Which is smaller: -1 or n?
-1
Suppose -4*d + 138 = 2*v, 2*v - 4*d + d = 138. Let r = 99863/5 - 19904. Let a = r - v. Is a equal to 0?
False
Suppose 2*b - p - 4 = -12, 20 = -5*b + 5*p. Let m be (3/b)/(42/(-32)). Which is smaller: m or 1?
m
Suppose 3*f - 8*f = -4*l - 14, 9 = 4*f - l. Suppose 2*v + v + j = -1, 0 = -4*v + 3*j - 10. Which is smaller: f or v?
v
Suppose 4*c = 3*k - 32, -3*c + c = 5*k - 10. Suppose -3 = -0*h + h. Let o = k + h. Is o at least -1/3?
True
Let t = 4.7 - -0.3. Which is smaller: 0 or t?
0
Let x be (1 + 2)*3/(-9). Let c be (1/2)/(x/(-4)). Suppose -c*q = -6*q - 8. Are q and 4 unequal?
True
Let w = -802/3419 + 1/263. Which is bigger: w or 1?
1
Suppose -4*h = 18 - 6. Let u(j) be the first derivative of -j**4/4 + j**3/3 - j**2/2 + 2*j - 1. Let d be u(2). Which is smaller: h or d?
d
Let i = 532/3 - 179. Which is bigger: 0 or i?
0
Let b = 16.1 - -3.9. Let a = b - 17. Is a at most as big as -2/5?
False
Let x = 5 + -29. Which is bigger: -22 or x?
-22
Let c = -74/3 + 25. Is 7 at most as big as c?
False
Suppose 0 = 4*z - h - 7 + 2, -3*z = 4*h + 20. Let m = 0 - z. Is m at least as big as -1?
True
Suppose 5*d + 5*g = -10, 0 = 2*d + 2*g + 2*g - 2. Let k be d/15 - (-1)/3. Is 1/4 < k?
False
Let h = -0.1 - -0.13. Let i = h + -2.03. Which is bigger: 2 or i?
2
Let f = -72 - -361/5. Let v be (12/(-80))/((-1)/(-4)). Which is smaller: v or f?
v
Suppose 0 = 3*n - 4*n. Let q be (-3 + n)/(-1 + 0). Is 0.2 smaller than q?
True
Let p = -9 + 8.83. Let l = 3.17 + p. Which is greater: l or -4?
l
Let x = 1 - -2. Suppose w - 1 = 2. Let p = w - x. Is -1/3 != p?
True
Suppose r + 3*q = -r - 18, 2*r = 4*q + 10. Let l(y) = -y**3 - 5*y**2 - 4*y + 1. Let n be l(r). Which is smaller: n or -4?
n
Let m(i) = -i + 1. Let y be m(0). Let v(f) = 9*f**2 + f. Let b be v(y). Is 9 greater than or equal to b?
False
Let a be 4/(-2) + (5 - 1). Let s be (1/4)/(a/8). Is s greater than or equal to 0?
True
Let y = 17996762/23 + -782342. Let a = 126 - y. Which is smaller: 1 or a?
a
Let p = 80 - 74. Is p equal to 5?
False
Suppose 3*s - 17 = -5*c + 3, c + 2 = 0. Is s less than 9?
False
Suppose 14 = -5*a + 2*c, 2*a - 4*c + 12 = -0*a. Suppose 3*o + 149 - 140 = 0. Do a and o have different values?
True
Let v be (7/(-21))/(4/(-20)). Which is bigger: v or 1?
v
Let i = -3 + 4.07. Let g = -1.1 + i. Let y = g - -3.03. Is y greater than -2/3?
True
Let i = -4 + 3. Let s be (-1)/(-7)*(-5 + 7). Which is smaller: s or i?
i
Let i(k) = 2*k**2 - 4*k + 2. Let u be i(2). Suppose 0 = 5*g - 5*f - 20, 4 = -3*f - f. Let w be 2/(1 + -2 + g). Which is bigger: w or u?
u
Let x = -2 - 3. Let r be (3/1 + -12)/x. Which is bigger: 3 or r?
3
Let o = 4 + -2. Let n be 1/2 + 12/(-8). Let k be (-1 - n)/(7 + -9). Is k greater than o?
False
Let c = 1 - -24. Suppose -3*j - 6*x + 2*x = 17, c = 5*j - 4*x. Suppose -5*l - 6 = -1. Which is smaller: l or j?
l
Let r = 1.2 - 0.2. Suppose 0 = -2*j + 5*n - 5, -2*n + 5 = -j + 3. Suppose 0 = -j*y + 4*y. Which is smaller: y or r?
y
Let t be (2/(-8)*1)/(-1). Let x(g) = -2*g**3 + 1. Let k be x(1). Is k bigger than t?
False
Let q = -72.4 - -74. Is 0.2 at most q?
True
Suppose 0 = -5*q + 27 - 67. Is -3 equal to q?
False
Let k = -16.3 + 14. Let f = -2 - k. Let t = 0.6 - f. Is 1/4 smaller than t?
True
Let n(q) = -2*q - 6. Let k be n(-2). Is k at least as big as -5?
True
Let a(d) = d**2 + 10*d + 5. Let h be a(-7). Are -17 and h non-equal?
True
Let t = -333/874 + 6/19. Is t less than or equal to 1?
True
Suppose 3*x = -0*x + 3*o + 12, 0 = -x - 3*o - 16. Suppose -5*w - 1 = -y, 2*y + 2*y - 4 = 5*w. Which is smaller: x or y?
x
Let b(j) = -j**3 - 5*j**2 - 4*j - 10. Let w be b(-4). Let x be 130/(-14) - 4/(-14). Is w not equal to x?
True
Let q = 223/40 - 26/5. Which is greater: -1 or q?
q
Suppose -5*a - 4*j + 20 - 7 = 0, 0 = 5*a - j - 3. Let g(t) = -t**3 - 4*t**2 - 3*t. Let k be g(-2). Let d be 1/k*1/(-4). Is d greater than or equal to a?
False
Suppose 13*l - 5*l = 0. Which is smaller: -5 or l?
-5
Let f(c) = -c - 6. Let p = 0 - 5. Let u be f(p). Is -1 greater than or equal to u?
True
Let b = -7 - -7. Suppose -5*a - 8 - 7 = b. Is -2 smaller than a?
False
Let b be 16/(-6) + (-16)/(-24). Which is greater: b or -3/4?
-3/4
Suppose -29 = 3*f - t, -5*t = -2*f - 3*t - 22. Is f smaller than -10?
False
Let b = -14 + 29. Let g = -31/2 + b. Suppose 2*w + 1 + 3 = 0. Is w smaller than g?
True
Let w = 0.18 - 0.38. Is 0.17 greater than or equal to w?
True
Suppose -2*w - 11 = -9. Which is greater: w or 1/22?
1/22
Let z = -1/139 - 136/417. Which is smaller: z or 41?
z
Let r(x) = -x**2 + 5*x. Let o be r(4). Suppose o*m = 1 + 3. Suppose 4 = 5*h - 1. Does m = h?
True
Let m = -6.9 - 1.1. Let i = m - -6. Let d = 1 - 1. Is i smaller than d?
True
Let v = -52 + 50. Which is smaller: -7 or v?
-7
Let c be 1 - (1 + -1 + -7). Suppose -2*w + 2*d + c = -3*w, -16 = -w + 4*d. Let a = -5 + 7. Are w and a non-equal?
True
Let r = 0.34 - 0.14. Which is smaller: 4 or r?
r
Suppose -3*w = 3*p - 3, 5*p - w + 13 = -6. Let b be 0 - (3/p - -1). Which is greater: b or -1?
b
Let u = -129 - -346. Let n = 2/11265 - 39123377/180240. Let l = u + n. Is 0 >= l?
True
Suppose 2*h - o = 2, 6 = h + 3*h - 3*o. Which is greater: h or 6?
6
Let u(g) = -g**3 - 12*g**2 - 12*g - 5. Let x be u(-11). Is x < -2?
False
Suppose -4*c - q + 27 = -2*q, c = -2*q + 9. Suppose 0*z + 3*z = -3*s + 21, 2*z = 0. Is c < s?
False
Suppose 3 = 2*c + 1. Do -0.038 and c have the same value?
False
Let k = 81.88 - 77. Let q = k + 0.12. Let v = -4 + q. Is v greater than 4?
False
Suppose 3*s - 2*s = -2. Let o be (0/((-6)/(-3)))/s. Is 4/5 <= o?
False
Suppose 13 = -u - 3*x, -5*u - 1 + 16 = -x. Suppose 0 = 4*i + i - 5. Is u > i?
True
Let u(z) = 8*z**3 + z**2 - z - 2. Let x be u(-1). Which is smaller: -11 or x?
-11
Suppose -3*s + 15 = -2*f + 6*f, 4*f = 3*s - 15. Is f < 2/43?
True
Suppose -n - 2*n + 15 = 0. Let m(c) = n + 0*c + c - 2*c. Let i be m(5). Do i and 1/7 have different values?
True
Suppose 7 - 9 = z. Suppose 2*k = -2*k. Suppose 3*g = 3*a - 10 + 1, k = 4*g - a + 12. Is z at most g?
False
Let k be (-3)/12 + (-84)/(-464). Which is smaller: k or -1?
-1
Let d = -988317 + 41507119/42. Let o = 157/3 + d. Which is smaller: 0 or o?
0
Let m = 114 - 123.8. Let x = m - -10. Which is greater: -0.1 or x?
x
Let i = 1 + -1. Let f be -2 - (-50 + 2/(-1)). Let y = f + -399/8. Does i = y?
False
Suppose 0 = -5*l - 10, -8*l = -5*x - 4*l + 1128. Let s be 2/3 + x/(-48). Is -4 > s?
False
Let n = -99 - -99.8. Which is bigger: 0 or n?
n
Let n(j) be the second derivative of -j**3/6 - 2*j**2 - 2*j. Suppose -5*r - 3*g + 2*g - 22 = 0, 0 = -4*r + 3*g - 10. Let s be n(r). Which is smaller: s or 2/3?
s
Let l be 3 + -1*(0 - -1). Suppose -l*x = 2*x - 8. Suppose -x*h = -5*h. Which is smaller: -1/2 or h?
-1/2
Let b = 4 + -1. Let a be (12/b)/1 + -5. Is 0 at most as big as a?
False
Let m be (-3)/(-3)*2/2. Suppose -2*p = 5*s - 11 - 0, 4*p - 7 = 5*s. Is m > s?
False
Let s = 68 + -38. Suppose -3*m + m + 4*p - s = 0, -5*p = 5*m. Is -2 >= m?
True
Let n = -1600 - -20838/13. Is 4 bigger than n?
True
Suppose -i + 28 = -c + 9, -c = 4*i - 81. Suppose b = 0, 4*b + i = -5*q - b. Is -4 less than q?
False
Let x = 329 + -7566/23. Which is smaller: x or -1?
-1
Let l(y) = 3*y - 12. Let u be l(10). Let n be 934/u*3/2. Let o = n + -78. Which is bigger: o or 0.2?
0.2
Let q = 17 - 16.98. Which is smaller: -1/4 or q?
-1/4
Let p(u) = -2*u. Let h be p(3). Let g(f) be the second derivative of -f**5/20 - f**4/3 - f**3/6 + 3*f**2/2 + 5*f. Let i be g(-3). Which is bigger: i or h?
i
Let a = -1.5 - -1.6. Which is greater: 1/7 or a?
1/7
Let d = 58 + -58.1. Are d and -0.1 unequal?
False
Let a = 2 - -1. Let p(v) = 5*v**2 + 2 - 4*v**2 + v + 3*v + 1. Let i be p(-3). Which is smaller: i or a?
i
Let b = 0.1 + -4.1. Is b less than or equal to -0.2?
True
Let h = 1.4 + -8.4. Is -1 at most h?
False
Let n = 129 + -127. Is n > -1?
True
Let z = 0.23 + 3.87. Let k = -4 - -8. Let s = z - k. Is s at least 1?
False
Let a = 9.83 + -10. Is a at most -