)*2/(-14). Let w = 51 + k. Which is smaller: -1 or w?
-1
Let f = -53.24 + 53. Is f at least as big as 1/4?
False
Let r(s) = -7*s + 4 - 5*s**2 + 2 + 3 + s**3 - 1. Let n be r(6). Do n and 8/5 have the same value?
False
Let i be 4/(-26) + (-16614)/(-338). Is i > -2?
True
Let q = -44 - -38. Do q and -2/7 have different values?
True
Let b(j) = j**2 + 9*j - 8. Let t be b(-10). Suppose 8 = -t*v + 2*h, v = -2*v + 2*h - 7. Let s be 0/((-4 - -2)/v). Which is smaller: -1 or s?
-1
Let d(g) = 2*g**2 + 3*g - 2. Let i be d(-3). Suppose -3*v = -i*v. Is 2/21 smaller than v?
False
Let q be (-3 - 6/(-3)) + 31. Let s be 8/44 + q/(-286). Which is greater: s or -1?
s
Suppose -3*u = -6*u - u. Which is greater: u or 1/64?
1/64
Let v(h) = -h**2 - 9*h - 2. Let k be v(-8). Which is bigger: 8 or k?
8
Suppose 4*b = 5*f - 125, -12 = -3*f - b + 63. Let s = f + -13. Let l be ((-4)/s)/(1/2). Which is bigger: l or 0.1?
0.1
Let n = 99073/169620 + -7/3084. Let o = 2/11 - n. Is o < -1?
False
Suppose -5*k - 10 = 0, -33 = -5*c - 2*k + 6*k. Suppose 3 = z - c*w, 71 = -3*z - 2*w + 12. Is -17 bigger than z?
False
Suppose -2*i - 3*i = -50. Let n be (14/(-35))/(2/i). Which is greater: -4 or n?
n
Let z be 39/(-2)*(-60)/(-18). Let p be (-1 + 3)/(z/122). Let f = -18/5 - p. Is f less than 1?
True
Let i = 12 - 12. Which is greater: i or -4?
i
Let c = -33/2 + 16. Let s = -2.1 - -5.2. Let b = s - 3. Which is smaller: b or c?
c
Let j(x) = -x + 3. Let w = 10 + -7. Suppose -15 + w = -3*g. Let n be j(g). Is n < 3?
True
Let x be -2 + (22 - (1 + -2)). Let r = 29 - x. Let n be 3/r + (-1)/2. Is n less than or equal to 0?
True
Let b be ((-2)/((-44)/(-3)))/3. Which is bigger: b or 1?
1
Let o(r) = -r**2 - 3*r + 3. Let c be o(-3). Suppose w = -c*w + 8. Let d be 3/((-2)/(-2) + 0). Which is greater: w or d?
d
Suppose -w + 3 = -r, 0 = -5*r + r. Suppose 0 - 1 = -5*m - 2*o, -3*m + w*o + 9 = 0. Let l = -143/28 + 34/7. Which is greater: l or m?
m
Let h = 0.57 + 2.43. Which is smaller: h or -5?
-5
Let a = -0.46 - -23.46. Is 1 less than a?
True
Let f(x) = x - 5. Let a be f(6). Suppose 2*n + 4 = -3*i, i + a = -i - 3*n. Suppose 0 = -3*k + 5*u - 8, u - 3 = 4*k - 2*k. Are k and i non-equal?
True
Suppose 2*j + 2 = 4*j. Suppose -2*o - j = -3. Is o != 1?
False
Let h = -193/45 - -22/5. Suppose 2*w = 2 + 6. Let m = -5 + w. Is h less than or equal to m?
False
Let l = 89 - 452/5. Let r = l + 1/15. Which is bigger: -2 or r?
r
Let i(k) = -k**2 - 7*k - 10. Let r be i(-5). Let q be -3*(-48)/81 - 2. Which is smaller: q or r?
q
Let v = 3 + -9. Let f = v + 4. Let w = 1 + f. Which is bigger: w or -2/15?
-2/15
Let q be (-1 + 4/3)*459/(-18). Do 1 and q have the same value?
False
Let u be (-4)/14*1*-1. Let h be -1 + 1 + (-24)/18. Which is smaller: u or h?
h
Suppose -h - 2 = -3*h - 2*d, -2*d - 2 = -2*h. Is h at most -1?
False
Let d(s) = s**2 - 4*s + 3. Let c be d(3). Let u = 1455/334337 - -1/911. Let n = u + -752/3303. Is n at most c?
True
Let d be 248/(3 - (1035 + 3)). Let x = -2/115 - d. Which is bigger: 0.2 or x?
x
Suppose 12 = 2*i - m, 2*i - 3 + 11 = -4*m. Suppose u - 3*b = 5*u + 10, -i*u = -2*b. Is -6 less than u?
True
Let y be (-26)/91 - (-19)/42. Suppose 4*x - 5*x = 0. Which is greater: y or x?
y
Let w = 0.325 - 0.015. Is -0.1 less than w?
True
Suppose 0 = 4*d + 2*a, 0 = 4*d + 7*a - 3*a. Let s be 208/(-91) + 1*2. Which is smaller: d or s?
s
Suppose b + 10 = -0*b. Let q be b/12*6/4. Which is bigger: q or 0?
0
Let i = -6 - -4. Let n be -1 - i - (-2)/(-3). Which is bigger: n or -1?
n
Let s = 3 - 3. Let k = 10 - 3. Suppose k*a - 1 = 8*a. Which is bigger: s or a?
s
Let g(d) = -d**3 - 4*d**2 - 3*d - 2. Let w be g(-2). Is -6 < w?
True
Let f = -66 + 67. Which is smaller: 5/11 or f?
5/11
Let a = 435/4 + -109. Let m = -333/28 - -78/7. Are m and a non-equal?
True
Suppose -2*f - 10 = 3*u + u, 2*u - 15 = 3*f. Which is bigger: -3/140 or u?
u
Let q be (-3 - -5)/((-2)/(-4)). Suppose q*g = 2*g + 8. Suppose -g*a + k + 3*k = -8, -k - 3 = -2*a. Is a bigger than 4/7?
True
Suppose 5*q = 126 + 39. Let m = -100/3 + q. Which is greater: m or 1?
1
Let z be 8/(1/(1/38)). Which is smaller: 1 or z?
z
Let j = -1.1 + 0.6. Let i = -1.5 + j. Suppose 3*x = 4*u + 1, 0 = -2*u - 2*u + 2*x - 2. Is i less than u?
True
Let h be (2*1)/2 - 1. Let p be 0 - (843/18 + 0). Let i = p - -47. Which is greater: h or i?
i
Suppose 0 = 5*r - 16 + 1. Suppose -7 + 40 = r*b. Is b <= 11?
True
Let n = -3 - -1. Let x be (4 - 3)/(3/n). Is -2 less than or equal to x?
True
Let f be 2/4*0/14. Which is bigger: 2/15 or f?
2/15
Let u = -2.09 + 2.2. Let q = -0.19 - u. Which is smaller: q or 1/8?
q
Let a be (-10)/7175*5*(-1 - 0). Which is smaller: a or 0?
0
Let k be 4/(-5)*(-3 + 23). Let j = -21 - k. Is -4 < j?
False
Suppose 2*m + 3*f - 4*f + 2 = 0, 12 = -3*f. Let d = m + 4. Which is bigger: d or 2?
2
Let d be 12 + -6 + -5 - (-124)/(-126). Is d at least -1?
True
Let a(r) = 2*r + 13. Let j be a(-5). Is -1 at least as big as j?
False
Let p = 39/14 - 1699/630. Which is smaller: 0 or p?
0
Suppose a - 3*a - 4 = 0. Is -3 less than a?
True
Suppose -1 = 2*q + 13. Let o = -7 - q. Which is greater: 2/3 or o?
2/3
Suppose -8 - 1 = -3*t - 2*b, 4*t + 5*b - 12 = 0. Let l be (8/12)/((-2)/t). Is l bigger than -1?
False
Let h be (1/(-14))/((-9)/(-114)) + 1. Which is greater: -4 or h?
h
Let w(s) = -6*s + 3. Let v be w(4). Let r(u) = u**3 + 4*u**2 + 2*u + 5. Let t be r(-5). Let c be v/t + (-1)/5. Which is bigger: 1/3 or c?
c
Let b = 7.1 + 0.9. Let h = b - 6. Which is bigger: h or -1/2?
h
Let u = -0.4 - -2.4. Let t = 5.3 - 5.4. Which is smaller: t or u?
t
Let k = -41.96 + 43. Let d = -0.04 + k. Is d at least as big as 1?
True
Suppose 14*l = 17*l + 9. Let b = -0.6 - -2.6. Is l less than or equal to b?
True
Let p be (-4990)/(-6) + 3/9. Let t be p/(-180) - 4/(-18). Let n = 73/20 + t. Which is smaller: n or -1?
-1
Let b = -53/4 - -13. Let o = -2 - -7. Is b smaller than o?
True
Let x = -0.1 + 0.1. Let b be -2*9/6 - 20. Let s = b - -30. Which is smaller: s or x?
x
Let z = 234.1 - 225. Let b = z - 9. Suppose -5*v + 3 = 3*i, 6*v + 5 = v + 5*i. Is b at least v?
True
Suppose -16 = 2*y + 2*y, -3*t - 3*y = 3. Is 3 at least as big as t?
True
Let h be (211*1/21)/3. Let l = 25/7 - h. Let s(r) = -r + 3. Let k be s(3). Which is bigger: k or l?
l
Suppose 2*s - 2*t - 2 = -4, -2*s - 17 = 3*t. Let g = 7 + -4. Let f(r) = -r**3 + r**2 + 4*r + 1. Let i be f(g). Which is greater: s or i?
s
Suppose -7*h + 8*h = -10. Let s = -11 - h. Is 0 less than s?
False
Let d = -0.3 + 0.2. Let v(p) be the second derivative of p**3/2 + 4*p. Let a be v(-1). Which is bigger: a or d?
d
Let x(c) = 1. Let r(w) be the second derivative of w**3/3 + w**2 - 2*w. Let i(a) = -r(a) + 2*x(a). Let d be i(-1). Is d > 3?
False
Let r be 6/15 - 13/(-5). Is r >= 0?
True
Let g(s) = 0*s + 2*s + 2 + s - 4*s. Let x be g(2). Let h = 1 + 0. Which is smaller: h or x?
x
Let g = -54/35 + 7/5. Suppose -3*u + 12 = -5*z, 3*u - 2*z - 9 = 2*z. Is g >= u?
True
Suppose 0 = -t + 1 - 0. Suppose 0 = w + t. Let y be 0 + 0/w - 0. Is -2/5 at most as big as y?
True
Let h(i) = -i**3 + 12*i**2 + 14*i - 10. Let g be h(13). Suppose 0 = 2*d + d - g. Is d greater than or equal to 2/9?
True
Let f = -36.9 + 43. Let q = 0.9 + f. Are -1/3 and q unequal?
True
Let y(r) = r**3 - 9*r**2 + 7*r + 5. Let q be y(8). Let p be q + (-2*3)/(-3). Which is greater: -2 or p?
p
Let f(v) = -v**2 + 5*v - 1. Let d be f(4). Suppose -4*t - 3*q - 10 + d = 0, 2*q = 4*t - 18. Suppose 3*g - 10 = -t*b, -2*g - b - 2*b = -10. Is 1 at most g?
True
Let h be (-403)/(-26)*(-12)/(-3). Is 62 less than h?
False
Let o = -16701/25 - -669. Which is bigger: o or 0?
o
Let s = 8 + -18. Let a = 0.021 + 0.079. Which is smaller: s or a?
s
Suppose 0 = -38*f + 32*f + 6. Which is greater: 2/21 or f?
f
Suppose 4*y - 3*l + 23 = -y, -y - 3 = l. Let s = y - -4. Suppose u = -s*u. Is u at most 0?
True
Let f(s) be the second derivative of s**6/120 - s**3/6 + 3*s**2/2 + 3*s. Let m(w) be the first derivative of f(w). Let o be m(0). Is o greater than -1?
False
Suppose 9*k - 2*k - 14 = 0. Let q be (2/(-2))/(k/(-2)). Which is smaller: 1/15 or q?
1/15
Suppose 0 = -n - 4*b + 2, b = -3*n + 5*n + 5. Let z = -11 - -11. Let x = n - z. Is x <= -2?
True
Suppose 8 = 2*j + 3*x, 0*x - 16 = -4*j - 4*x. Suppose 2*w + 3*l - 11 = 0, -j*w + 4 - 6 = -2*l. Suppose 0 = -n + 3*n - 