). Let k be (-12)/8*(-6)/w. Let x(f) = f**3 + f**2 - 2*f - 1. Let v be x(-1). Which is smaller: v or k?
k
Let v(g) = -g**2 - 6*g + 4. Let x be v(-6). Let y = 2045/4 + -507. Is x < y?
True
Let h = 10.08 + -9.08. Are h and 91 nonequal?
True
Let n = 19 + -34. Let w = 7/9 + -53/45. Is w less than or equal to n?
False
Let s be (0 + (-1)/13)*-2. Let r be -1 + (2 - -8 - 10). Which is smaller: r or s?
r
Let t = 499 - 491. Which is smaller: t or -27?
-27
Let k = 8.1 + -7.8. Let i = k - 0.6. Which is smaller: 6/17 or i?
i
Let g = -8117/280 - -231/8. Let r = -19/140 + g. Is -0.05 smaller than r?
False
Let g = 536245/111 + -4831. Is 0 smaller than g?
True
Let s = -1.5 + -44.5. Let x = s + 39.8. Is x greater than -2/3?
False
Let h = -6716 + 167924/25. Is h smaller than 0?
False
Let r = 0.32 - 0.294. Let z = r + -0.446. Let h = z - -0.12. Which is bigger: h or 0.3?
0.3
Let a = -55/4 - -277/20. Suppose -11 = 2*x - 9. Is x > a?
False
Suppose 2*m - 6 = -2*q, -5*q - m - 2*m = -21. Let h be q/(-12) + 13/22. Is h less than or equal to 0?
False
Suppose m + p = 4*p - 27, -2*m + p - 74 = 0. Let f = -98 + 58. Is m less than f?
False
Let c = -16 - -16. Let i = c + -10. Let z be 1*1/(-4)*(-12)/(-9). Is i <= z?
True
Let d = 61 + -65. Let m be (20/(-125))/(13/5 - 3). Is d at most m?
True
Let h be (-1520)/(-140)*(-105)/10. Let i(j) = -j**3 + j**2 - 4*j + 5. Let x be i(5). Which is smaller: h or x?
x
Let d(z) = z**2 - 7*z + 10. Let k be d(5). Suppose 2*i + 3*r = k, i = 5*i - 2*r. Suppose 2*b + 2 = 2*g, 5*b = -g + 2*g - 5. Do i and g have different values?
False
Let f be (-4 - 0/(-2)) + 45/15. Which is greater: -2/5093 or f?
-2/5093
Suppose 26 = 2*h + t + 3*t, 2*h - 8 = 2*t. Suppose -13 + 41 = y + 5*s, -4*s + 32 = 2*y. Is y greater than or equal to h?
True
Suppose 54 = -27*l + 54. Is l at least as big as 2/1085?
False
Let f = -0.1 + 1.5. Let s = f - -13.6. Let o = s + -14.8. Is -9 > o?
False
Let r(h) = h**2 + 3*h - 1. Let b be r(-3). Suppose 3*x - 9 = 3. Suppose 24 = -4*d + u, x*d + 2*u + 18 = d. Which is smaller: b or d?
d
Let q = -0.0182 + -0.2818. Which is smaller: q or 13/3?
q
Let n = 140 - 140. Which is smaller: -10/127 or n?
-10/127
Let d(a) be the first derivative of a**4/4 - 5*a**3/3 - a**2 - 8*a + 3. Let i be d(6). Let f = 11 - i. Which is bigger: -6 or f?
f
Suppose 4*f = 7*f - 258. Do 87 and f have the same value?
False
Let y = -9 - -17. Let x = -3.3 - 0.7. Let k = x + 4.2. Which is greater: k or y?
y
Let q = -503 - -505. Is q less than or equal to 1/2?
False
Let x be ((-1568)/(-12) - -2)/((-4)/6). Which is greater: x or -200?
x
Let l be 92 - (-7 + 3 - -8). Let r = -80 + l. Is r less than 20/3?
False
Let v = 3 - 2. Let s(a) = -a**3 + 4*a**2 + 7*a + 12. Let h(q) = -3*q**3 + 13*q**2 + 21*q + 35. Let w(n) = 4*h(n) - 11*s(n). Let i be w(9). Is i < v?
True
Let c be (3 - 2) + (-4 - 39). Let o = 44 + c. Which is smaller: o or -1?
-1
Let d be -1 + 1/(0 - 1). Suppose 63*o + 5*o - 68 = 0. Are d and o non-equal?
True
Let v(w) = -w - 25. Let i be v(-10). Let y be (-5)/21*6/i. Which is bigger: y or 1?
1
Suppose 3*g = 1 - 4. Let n = 0.0623 - 4.8923. Let m = 1.83 + n. Is m at most g?
True
Let u = -419.1 - -346. Let o = 59 + u. Let j = o + 14. Which is smaller: j or 1/3?
j
Let x = 779/2319 - 2/773. Are -2 and x nonequal?
True
Let a = 1/111 + -449/555. Suppose 5*f = -5 - 0. Let y be -1 + 3/f - -2. Which is bigger: a or y?
a
Let n = 0 - -2. Let u = 4 - n. Let f = -348 + 346. Which is greater: f or u?
u
Let t = -23.95 + 23. Let l = -0.05 + t. Let o = -153 + 159. Are o and l unequal?
True
Let n = 86.3 + -129.3. Is 5 at most n?
False
Let n be 4/10 + (-18)/45. Suppose -2*g - s = 9, -s - s = 6. Let f(b) = -b**2 - 7*b - 10. Let c be f(g). Which is bigger: n or c?
c
Let o = 0.1 - 0.1. Let n = -0.398 - 4.602. Is n smaller than o?
True
Suppose -7*f + 70 + 7 = 0. Is f less than or equal to 7?
False
Let g(x) = -x**2 - 6*x + 2. Let c be g(0). Suppose 5*t + 218 = -4*j, 232 = -j - 3*j + c*t. Is j >= -56?
False
Let w = -15.9762 - 0.0238. Is -3/4 < w?
False
Let r = 597 + -616. Is -18 >= r?
True
Suppose -w + 7 = -3*a - 5, -2*w - 5*a = 20. Let x be 0/(w - 3/(-1)). Suppose i + 7*i + 88 = x. Is -0.2 greater than i?
True
Suppose -5*h + 4*r + 3 = 0, -3*h + 4*r = -4*h + 15. Suppose h*w + 2*a - 21 = 0, -5*w + 35 = -0*a + a. Which is smaller: w or 5?
5
Let o be (25/1275)/(2/(-6)). Is 0.1 less than o?
False
Let w = 5 - 3. Let c be 8 + -3 + -3 + 1. Suppose 0 = c*h + 3 + 18. Which is greater: h or w?
w
Let x be (-1305)/(-450) - (-14)/(-8). Are 0 and x equal?
False
Let s be 8/(-12) + 42/9. Suppose -3*f = 2*c - s, -f = -c - 1 - 2. Let x be (1 + -1)*c/3. Is 3/13 greater than x?
True
Let x(b) = 10*b + 14. Let q be x(7). Suppose q = 4*f + 24. Let w = -5 + 20. Is w >= f?
True
Let v(r) = -r - 7. Let b(h) = -4. Let z(f) = 5*b(f) - 2*v(f). Let s be z(5). Suppose 0 = -d + 1, s*k - d = 4*d - 9. Is k smaller than -3/7?
True
Let h be ((-93)/18 + 0)*-12. Is h > 69?
False
Let b be (-11)/55 - 49/5. Let o = -5 + b. Is -16 greater than or equal to o?
False
Suppose 0 = -8*x + 55 - 7. Let c(h) = -x - 28*h - 29*h + 58*h. Let i be c(6). Is i > 6?
False
Suppose -803*c = -799*c. Is c at least as big as 1/939?
False
Suppose 3*n - 4*g - 199 = 0, 2*n = g + 79 + 57. Is n less than or equal to 4?
False
Let w = -122 + 135. Are w and 3 unequal?
True
Suppose -40724 + 7474 = -19*q. Which is smaller: q or 1751?
q
Let s(j) = 15 - 5*j - 27 - 23. Let c be s(-7). Is 1 < c?
False
Let k = -584 + 578. Are 5 and k equal?
False
Let l = -100 - -111. Is l > 32/3?
True
Let d(x) = -x**3 + 8*x**2 - 13*x + 5. Let v be d(6). Let j be (24/(-42))/(v + 2). Which is smaller: j or -2?
-2
Let w = -1.2 + 0.2. Let u = 3219.1 - 3219. Which is bigger: w or u?
u
Let b = 12072 + -12087. Suppose 4*m + 5*z = -79, -3*m - 2*m = 5*z + 95. Are b and m equal?
False
Let u(q) = -2*q**3 + 10*q**2 + q + 2. Let m be u(5). Let l = -55 + 91. Suppose -6*x + 2*x + l = 0. Which is smaller: x or m?
m
Let q be (7 - 11)*3/2. Let v be 6 + 6*3/q. Let j be (-1)/(1 + v + -5). Which is greater: j or -3/10?
j
Let w = -37 - -39. Let g be -1 - (-32)/60*w. Is g < 1?
True
Let q = -23 - -26. Suppose -2*l + 0*l = 4*o + 24, q*l = 0. Suppose 2 = 3*c + 4*r, c - 6*c - 2*r = 6. Which is smaller: o or c?
o
Let u be 92/16 + (-1)/(-4). Let z be -9*(-93)/(-62)*2/(-3). Is u at most z?
True
Suppose 0 = -2*z - 23 + 11. Let l(n) = -2*n - 4. Let k be l(-6). Let v be ((-6)/(-20))/(6/k). Which is smaller: v or z?
z
Let o be -1 - -4 - 0/5. Suppose 0 = -0*r - o*r + 3. Let s = 1.27 - 0.67. Is r less than s?
False
Let g = -58 - 21. Is g at most -77?
True
Let i(z) = -z**2 + 7*z - 4. Let l be i(6). Suppose -l*g + 1 = -1. Let n be (g + -2)*(9 - 8). Is n at most -1?
True
Let y be (-428)/(-20) - ((-16 - -8) + 8). Are y and 20 unequal?
True
Let m(u) be the second derivative of -u**5/20 - 11*u**4/12 + u**2/2 + 4*u. Suppose -4 = b - 0, 3*h - 4*b + 17 = 0. Let x be m(h). Are 8/7 and x non-equal?
True
Let c = 93 + -90. Let o be ((-8)/c - -2)/(18/459). Which is smaller: -13 or o?
o
Let w be 0 + -3 + (-15183668)/76. Let q = -199903 - w. Let t = -115 - q. Which is smaller: t or 1?
t
Suppose -2*w + w = -2*x + 3, 3*x = -4*w + 10. Suppose -2*a = -4*h - 8 - 10, -2 = -x*a. Suppose 9 = 5*f + 34. Is f at most h?
True
Suppose -7 = -3*d + d + 3*w, -5*d = -4*w - 21. Suppose 12 = d*h + 27. Which is smaller: -5 or h?
-5
Suppose -8*v = -161 + 41. Let g be (12/15 - (-3)/v)*1. Which is bigger: -1/17 or g?
g
Let o = -6 - -1.5. Let l = o + 0.5. Let w = l - -5. Does -2/7 = w?
False
Suppose u + 4 = 5. Suppose 0 = -y + 3*i, -2*y - 5*i + 2 = -3*y. Does u = y?
False
Let k be 19/(6/114 + 0). Is 361 > k?
False
Let n(a) = -7*a**3 - 2*a**2 + 11*a + 5. Let r be n(3). Which is bigger: -168 or r?
-168
Suppose -276 = -21*z - 2*z. Is z greater than -4?
True
Let d be (-616)/(-32) + 13 - 1/4. Which is smaller: 31 or d?
31
Let m = 7 + 28. Let l = 33 - m. Which is smaller: l or 1?
l
Suppose 6*i + 25 = 3*i + 5*u, 25 = -4*i + 5*u. Let s = -1 + i. Suppose -2*b + 2*n - 6 = 0, 3*b + n + 0*n = -29. Which is smaller: s or b?
b
Let d = 242 - 333. Which is smaller: d or -90?
d
Let x = -43620/5251 + 510/59. Which is greater: x or -1?
x
Let x be 384/(-72) - (1 + 2/(-6)). Let o(f) = -3*f + 16. Let c be o(7). Does x = c?
False
Let h(f) = -11*f + 216. Let a be h(42). Is a less