 h or 433/8?
433/8
Suppose 1 - 2 = q. Let a(f) be the third derivative of -f**5/60 - 7*f**4/24 - f**3/6 + 11*f**2. Let b be a(-7). Is q at most b?
True
Suppose 4*t + c - 21 = 6*c, -t = 4*c. Suppose p + 5*k = 17, t*k - 11 = -2*p + 11. Which is greater: 0 or p?
p
Let v be (-3)/4*-209 + 15/(-20). Which is bigger: 157 or v?
157
Let l(z) = z**2 + 6*z - 5. Let v be l(-7). Suppose 2*a - 4 = 5*o, -4*a + v*a = 2*o - 4. Let s = -22/13 - -21/13. Does s = o?
False
Let z(b) = 22*b**3 - b**2 - b + 1. Let j be z(1). Let l = -25 + j. Is l greater than or equal to -6?
True
Suppose -356 = 4*v - 2*j + 6*j, 3 = j. Is -90 less than v?
False
Let l = -0.21898 - -0.31898. Let f(b) = -b**3 - 6*b**2 - 5*b + 4. Let a be f(-4). Let u = 7 - a. Is l <= u?
True
Suppose 2 = -8*i + 10*i. Let y(f) = 27*f - 1. Let g be y(-1). Let u be ((-12)/(-14))/((-76)/g). Do u and i have different values?
True
Let h(i) = -i. Let r(t) = -t**2 - 10*t - 3. Let m(j) = -2*h(j) + r(j). Let f be m(-8). Is f smaller than -4?
False
Let t be 4371/(-279) + (-4)/(-6). Which is greater: -32 or t?
t
Let v(w) = w**3 - 7*w**2 + 7*w - 5. Let k be v(5). Let n = -15 - k. Are n and 3 non-equal?
True
Let k(w) = w**3 + 8*w**2 + 5*w + 10. Let a(u) = -u**2 - 7*u - 12. Let n be a(-5). Let q be n*(-35)/(-10) + 0. Let m be k(q). Are m and 24 unequal?
False
Let n = -2726/31 + 88. Let a be ((-2)/4)/((-2)/68). Suppose 2*r - 4*z = 22, 5*r - 13 - a = 5*z. Which is bigger: r or n?
r
Let y = -343 - -543. Let b be 1/(-1) + 260/y. Let f = -1 + 1. Does b = f?
False
Let x = 39 + -79. Let p = x - -38. Which is greater: p or -35?
p
Let a(f) = 45*f - 313. Let r be a(7). Is -31 <= r?
True
Let i = -1 + 1. Let p be (-80)/(-112) - 2/(-7). Let v be i/p*(-6)/(-18). Are v and 5/4 equal?
False
Let r = 78961 + -19424485/246. Let x = r + -1/82. Is x equal to -0.4?
False
Let w(m) = -2*m + 17 + 0*m - m + 2*m. Let u be w(12). Suppose -4*o - 30 = -3*t + t, 4*o + 39 = u*t. Is -8 <= o?
True
Let s be 1*-3 + 8/((-40)/(-3305)). Which is greater: s or 659?
659
Suppose 5*t = 4*g - 11, 10*g = 2*t + 11*g - 6. Is t at least -25?
True
Let s = 0.04 + 0.07. Let p = 124 - 124.01. Let n = p + s. Which is smaller: 4 or n?
n
Let q be (-151040)/(-10560) - (1 + 13). Let i(r) = -r**3 + 6*r**2 - 6*r + 4. Let t be i(5). Which is greater: q or t?
q
Let m = -3.328 + -1766.672. Does 0 = m?
False
Let d = -42418/15975 - -186/71. Is d greater than 1?
False
Let j = -0.06 - 0. Let c = j - -16.06. Let h = 17.9 - c. Which is smaller: -1 or h?
-1
Let b = -9 - -14. Let x be (1 + -17)*b/10. Suppose -205*y - 659 - 2426 = -830. Are x and y unequal?
True
Let d(a) be the third derivative of -3*a**4/8 - 4*a**2. Let u be d(3). Is u greater than -26?
False
Suppose -4*d = -4*x + x + 15, 3*x - 15 = -5*d. Suppose -2*s - 1 = 5*n, 2*s - s - 2 = 0. Let o = n - d. Are -2/3 and o nonequal?
True
Suppose 4*j = -5*a + 2, 0 = -j - a - a + 2. Let x be (-4)/(-8)*(15 + -1). Let c = x + -8. Which is smaller: j or c?
j
Suppose -1837 = -24*c + 491. Is c < 94?
False
Suppose 0 = -6*w + 107*w. Which is smaller: 1/2113 or w?
w
Let b = -778/255 - -44/15. Let v = -19 + 20. Which is bigger: b or v?
v
Suppose 19*c = 16*c - 3. Is 167 at most as big as c?
False
Let j = 170 + -91. Let t = j + -48. Which is greater: t or 1/4?
t
Let m = 33529 - 45632971/1361. Which is bigger: m or 1?
1
Let j(g) = -6*g + 22. Let v = 32 - 24. Let m be j(v). Is -1 != m?
True
Let q = 31 - 26. Let f be (-26)/(-9) - (q - 3). Suppose 4*z - 4 = -0. Is f not equal to z?
True
Let j(i) = i**2 - 3*i - 6. Let b be j(4). Let o be b/(-5) - 312/830. Which is bigger: o or 0?
o
Let b = 1.3 - 0.09. Let u = b - 1.11. Which is greater: u or 38?
38
Let d(l) = -2*l**2 + 2*l + 7. Let g be d(0). Let z = 18 + -6. Let c = z - g. Which is bigger: c or 3?
c
Let d(f) = -f + 9. Let y be d(10). Is y smaller than -1/92?
True
Let q be (-1)/(-3) + (-12)/(-18). Let u = -4/5 + 9/10. Which is bigger: q or u?
q
Let n = -30.97 + 29.7. Let v = n + -0.13. Let a = -0.4 - v. Is a less than or equal to -1?
False
Let d(p) = 2*p - 66. Let g be d(23). Is 3 at least as big as g?
True
Let p(c) = -3*c**3 + c**2. Let a be p(1). Let z(j) = j**3 - 3*j**2 - j. Let u be z(3). Which is smaller: u or a?
u
Let q be (6/1 - 4) + (-1 - 1). Which is smaller: q or -220?
-220
Let b(c) = -c + 14. Suppose -5*s = -3*a + 27, a + 3*s - 2*s - 9 = 0. Let u be b(a). Suppose -6*i + 4*i - 2 = 0. Which is greater: u or i?
u
Let h = -36 + 43. Suppose -2*d - 79 = -5*x, x + 2*d - h*d = 25. Which is smaller: x or 16?
x
Suppose 6*l = -101 - 1. Let t = l - -16. Which is smaller: -1/10 or t?
t
Let i(f) = 2*f**2 + 15*f + 29. Let n be i(-5). Let m = 42.7 + -40. Let r = m + -3. Which is bigger: n or r?
n
Let m(y) = -y. Let d be m(3). Let j = 0 - d. Suppose 3*b - 14 = -n, n + 2 = 2*b - 4. Is j less than b?
True
Let q(r) = 4*r**3 - 5 - 18*r + 3*r**3 - 19*r**2 - 9*r**3 + 3*r**3. Let a be q(20). Which is greater: 37 or a?
37
Let z = 1908 - 1909. Which is smaller: -8/23 or z?
z
Let i(b) = b**3 - 2*b**2 + b. Let u be i(1). Let k be (0 - (-3)/(-3))/23. Is k at least as big as u?
False
Suppose 50 = 3*w - 2*p, -2*p + 5 = 1. Suppose 285*h - 4016 = 34*h. Is h >= w?
False
Let b = 191.06 - 191. Is 2/47 less than or equal to b?
True
Suppose -13*z = -6*z - 392. Is 55 greater than or equal to z?
False
Let m = 872 - -284. Let n be m/(-208)*(-8)/22. Let y = -31/13 + n. Is 1 != y?
True
Let g = 65 + -66. Which is smaller: g or -105?
-105
Suppose -2*s = -3*n + 1 - 4, 4*s - 3*n = 3. Let i be (6/(-7))/(-6) - 53/(-70). Which is smaller: i or s?
s
Suppose 4*l + 57 = -3. Let z = l - -14. Let x = -1319/55 + 119/5. Which is bigger: z or x?
x
Let d = -2207.929 + 2206. Let p = 0.071 - d. Which is smaller: -3/2 or p?
-3/2
Suppose -5*u = -4*u + 1. Let p = 8 - 15. Let s be 0*(-4)/(3 + p). Which is smaller: u or s?
u
Let u be (-128)/6 - (-1)/3. Let v = 12 + u. Let h be v/42*2/3. Is h greater than 0?
False
Let b be 5/(-7) - (-14)/(-343)*7. Suppose 0 = -2*u - u + 5*o + 5, 4*u - 16 = 2*o. Let a be b/u - (-40)/(-50). Which is bigger: -2 or a?
a
Suppose 3 = 2*p + c, p + 3 - 2 = -3*c. Let v(m) = p + 3*m**3 + 5 - 3*m - 4*m**3 - 3 + 3*m**2. Let f be v(3). Are -7 and f unequal?
True
Let m = 1 - 1. Let k = 32/4853 - -72/211. Is m smaller than k?
True
Suppose -3*z + 0*l - l = 1, 2*z + 2*l = 2. Is 2/1181 at least as big as z?
True
Suppose -5*c - 3 + 13 = 0. Let a = 343499955119/6919 - 49645895. Let d = -6/629 + a. Are c and d equal?
False
Let u(t) = -t + 7. Let l be u(8). Let o be (-5 + 7)/((-5)/(-1)). Is l at least as big as o?
False
Let p = 60 + -56. Let d be p/(-6)*(-56)/(-42) - -1. Suppose 3 = 3*k - 0. Which is smaller: d or k?
d
Let g = -22750 - -2001017/88. Let s = -171/11 - g. Is s at least -5?
True
Let h = -1.38 - -1.3. Which is greater: h or 0.03?
0.03
Let j = 3025873/38 + -79633. Let l = 5097/19513 - -2/1027. Let x = j + l. Is -5 less than or equal to x?
True
Suppose -m = 3, -4*l = -5*l + 5*m + 16. Let k = 22 + l. Is 23 at least as big as k?
True
Let y(l) = -l**2 + 5*l + 32. Let g be y(-4). Let m(a) = -a - 1. Let k be m(-3). Let x be g/(-42)*(-3)/k. Is 1 smaller than x?
False
Let p = 0.29 - 2.39. Let t = p + 2. Let r = -0.0113 + -0.0887. Is t less than or equal to r?
True
Let a = -62 - -49. Is -13 != a?
False
Let u be (8/(-6))/2*3. Let n be 8/4*(18/3)/u. Is n != 1?
True
Let f be 2 + 12/(-4) + 1*29. Is -1 <= f?
True
Suppose o = 9*o + 640. Let w = 180 + o. Is w != 99?
True
Let d be -4*5/130 - (-40656)/(-52). Which is smaller: -783 or d?
-783
Let y = -22 - -22. Let q be (-1)/1 + 1 - -3. Let k be q*((-11)/(-3) - y). Which is bigger: k or 12?
12
Let j = 80 + -81. Let l(d) = 14*d**2 - d - 2. Let t be l(j). Which is greater: t or 15?
15
Let q = -39302/17 + 2312. Is q < -10?
False
Let h = 37 + -141. Let d = 82 + h. Which is smaller: -21 or d?
d
Suppose -6 = -0*u + 4*u - k, 0 = -5*u - 3*k - 16. Let j be (u/4)/(1/30). Let m be 9/6*50/j. Is -8 < m?
True
Let g = 160 + -283. Are -123 and g unequal?
False
Suppose 4*q + 314 = 2*b, -2*b = -2*q - 7*b - 175. Is -78 less than q?
False
Let c = 5 + -3.2. Let r = -1.6 + c. Are 1 and r unequal?
True
Let r = -0.19 + -0.01. Let y = -8/19 + 77/228. Which is greater: r or y?
y
Let z be (-8)/(-16)*-2*(-2)/(-2). Which is bigger: z or 5/112?
5/112
Let a = 0.2 + -0.5. Let v = a + -0.4. Let n = 0.6 + v. Which is smaller: n or -2