/(-6). Let n be ((-16)/(-24))/((-4)/b). Which is greater: -1 or n?
n
Let h = 6 + -4. Suppose 4*a - h*a = 4*j + 434, 2*a - 440 = j. Let d = a + -2429/11. Is -1 < d?
True
Let z(v) = v**3 - v + 12. Let u be z(0). Let q be (1 - u/9)*-18. Do 6 and q have the same value?
True
Let i(g) = 23*g + 39. Let w be i(-2). Is -7 greater than or equal to w?
True
Let u be (-2)/(-13) + 10/(-65). Let m be (0 - 1/3)*-1. Which is smaller: m or u?
u
Let x(k) = -6*k**3 - 2*k**2 - k. Let y be x(-1). Suppose 3*u + v - y = -1, -4*u = -v - 3. Let c be (1 - -1) + -2 - 2. Are c and u nonequal?
True
Let r(c) = c**3 - 2*c**2 + c - 4. Let m be r(0). Suppose -2*a + 4 = -l, -5*l - 8*a = -4*a - 8. Which is smaller: m or l?
m
Let c = -27816/11 + 828221/330. Let q = -121/6 - c. Is 0 at most as big as q?
False
Let h = -0.3 + 6.3. Let o = 4 - 3. Is h < o?
False
Let c = 2.9 + 0.1. Let k = 16 + -46/3. Is k greater than c?
False
Suppose 2*i + 2*i = -44. Let v be -1 - (-4)/i*-5. Let s = 16/33 - v. Is -1 less than s?
True
Let b(y) = -y**3 + 8*y**2 - 7*y. Let k be b(7). Let i = -458 - -157. Let p be 3*1 + i/105. Which is smaller: k or p?
k
Let f be 0 + (1 - 4/6). Let q = 6 + -2. Suppose q*g = 1 - 5. Which is smaller: f or g?
g
Let o = 1435 + -464. Let p = o + -35929/37. Do p and -1 have the same value?
False
Let k be (((-32)/(-270))/4)/((-6)/5). Is 1 >= k?
True
Let y be (6/(-8))/((-5)/(-100)). Let q = 22 - -1. Let j = y + q. Is 7 greater than or equal to j?
False
Let l be (1/(-1))/((-7)/(-133)). Let r = l + 211. Let c be 2/(-7) - r/(-378). Is c smaller than 0?
False
Let n = -21 + 22. Is n > 1.7?
False
Let y(d) = d**2 - d - 1. Let o be y(0). Let g = 3 - 3. Which is smaller: g or o?
o
Let i(p) = -p**2 - 17*p. Let z be i(-17). Let k(c) = -c**2 + 7*c - 4. Let h be k(6). Are z and h nonequal?
True
Let q be 759/230 + (0 - 1/(-5)). Which is smaller: 5 or q?
q
Let b be (2/3)/((-2)/(-6)). Suppose -3*m = -6, 2*g = -2*g + b*m - 32. Let r be (-3)/6 + g/2. Which is bigger: -5 or r?
r
Suppose 1 = -3*w + k + 11, 3*w = 5*k + 2. Which is bigger: 2 or w?
w
Let h(m) = -m**3 - 4*m**2 + 6*m + 1. Let a be h(-5). Let b be 0/1*2/a. Let d be 2/10*(-15)/(-18). Is d >= b?
True
Suppose 4*r - 6 - 14 = 0. Suppose -27 = -r*m - 2*f, 0*m + 2*f = 3*m - 29. Let n(l) = l**2 - 8*l + 6. Let q be n(m). Do q and 1/3 have the same value?
False
Let r = 8 + -8. Is r at most as big as 14?
True
Let w(x) = 14*x**3 - x**2 + x + 1. Let k be w(-1). Let s be 9/k - 28/(-30). Let b = -0.1 - -0.1. Which is smaller: b or s?
b
Suppose 0 = 7*z - 3*z - 12. Let t = 7 - 4. Do z and t have the same value?
True
Let c = 1 - -1. Let j be (-1)/5*(c + -1). Let n = -5 - -4. Are n and j unequal?
True
Let y be (-2)/(-5) - 2/30. Let i = 2 - 2. Is i <= y?
True
Let v = 2527/10 + -253. Let i = 0.03 + 0.07. Is i >= v?
True
Let u = -2.8 - -3. Let r = 0.3 - 0.4. Let g = r - 0. Which is bigger: g or u?
u
Let w = 68/7 + -613/63. Which is bigger: w or 0?
0
Let k = -35 - -34. Is 0 smaller than k?
False
Let i be ((-18)/5)/(4/10). Let f be -2 - i/((-27)/42). Which is smaller: f or -17?
-17
Let r be ((-8)/(-16))/((-2)/(-4)). Let o be ((-4)/(-3))/(1/3). Let x be r + (-2)/o*2. Is x at least -2/9?
True
Let p = 1 - 3. Let s = -7.4 + 1.4. Let u = 5 + s. Which is greater: u or p?
u
Let x(k) = k**2 - 9*k + 17. Let l be x(6). Which is bigger: l or -1/31?
-1/31
Let k(x) = x**3 - 11*x**2 + x - 6. Let l be k(11). Suppose 0*s = -l*z - s + 1, -3*z + 2*s = -11. Does z = -2/55?
False
Let p = -18 + 39. Suppose 3*y + 3 = p. Suppose 15 = -u + y*u. Which is smaller: 1 or u?
1
Let f be (((-4)/246)/(-2))/((-24)/(-36)). Which is smaller: 1 or f?
f
Suppose 0 = -5*k - 5*g + 25, -2*g + 5*g - 9 = -2*k. Suppose -2*i - 3*q = -k - 2, i - 4 = q. Which is bigger: i or 2?
i
Let r = -7 + 4. Let h = 7 + r. Let x = 6 - h. Which is bigger: x or 0.1?
x
Let t = 4.059 + -0.059. Suppose 3*w + 3*p = 12, 2*w - 5*p + 13 = -0*w. Is w > t?
False
Let s be (-5)/3 - (0 + -1). Let j(p) = p - 2. Let c(o) = -o**2 - 4*o - 3. Let l be c(-3). Let y be j(l). Does s = y?
False
Let s be (-6)/(3 - 6) - 37 - -3. Which is smaller: -31 or s?
s
Let k be 3 + 1 + -8 + 40. Which is greater: k or 37?
37
Let c be (-421)/(-5) + 4/(-60)*3. Which is smaller: c or -0.1?
-0.1
Let p = 52/51 + -6/17. Which is smaller: p or 1/3?
1/3
Suppose 5*l - 2 - 28 = 0. Let p = -1 + 7. Let d be 2/p + 4/l. Which is greater: 0 or d?
d
Suppose -2*j + 32 = -4*y, 0 = -j + 3*j - 4. Are y and -10 nonequal?
True
Suppose 0 = -3*v + 6, d + 2*v + 1 = v. Let g be (-6)/(-4)*(-3)/(-9)*-4. Which is bigger: d or g?
g
Let u be (-23)/63 - 40/(-180). Let f(p) = p**3 + 2*p**2 + 2*p + 3. Suppose 10*q - 5*q + 10 = 0, 2*g + q = -6. Let s be f(g). Do u and s have the same value?
False
Let t be 2 - 4/(4/1). Let r be (-6)/10 + (-22)/(-40). Which is greater: r or t?
t
Let j = 139/357 - 5/17. Let r = -3 - -2. Which is greater: r or j?
j
Suppose 0 = -3*f - 21 + 3. Is -7 <= f?
True
Let t(i) = 2*i**2 - 7*i + 1. Let y be t(3). Is -5 < y?
True
Let b = 2.95 - -0.95. Let j = 4 - b. Do j and 0.1 have different values?
False
Let o be 3*((-4)/(-6) - 0). Let d = o - 2. Which is greater: d or 3/8?
3/8
Let z = 88.9 - 89. Is -21 at most as big as z?
True
Let p be 1 - (1 - 0 - -1). Let s be p + 0 + 0/(-5). Suppose 0 = -0*t + 2*t. Is s less than or equal to t?
True
Let y = -20 - -18. Let j be 1*y*1/2. Which is greater: j or 2/21?
2/21
Let s(u) = -u**3 + 5*u**2 - 5*u + 5. Let w be s(4). Let f(p) = 2*p + 1. Let x be f(1). Let z be (27/5)/x + -2. Is w at most as big as z?
False
Let k = -16/3 - -17/3. Suppose 0 = 5*b - 3 - 27. Let g be b/(-4)*14/(-21). Which is smaller: g or k?
k
Let t(f) = -f**3 - 13*f**2 - 11*f + 15. Let r be t(-12). Suppose l = r*l. Is l != -3/23?
True
Let n be (-2 + 0)/(-2) - 1. Suppose -2*l - 3*l = n. Which is smaller: 2 or l?
l
Let c = -17 + 173/10. Let n(h) = h + 3. Let p be n(-4). Are p and c non-equal?
True
Let k = 2 + 2. Let w = k - 4.1. Let c be 93/33 - (-5 - -8). Is c < w?
True
Let l = -4.93 - 0.07. Let v = -15 - -11. Let s = l - v. Is 0.1 > s?
True
Let o = -1 + 0.8. Is o at least as big as 0.9?
False
Let s(w) = 2*w + 15. Let h be s(-12). Let b = -3 + h. Is -12 equal to b?
True
Let r = -3 + 3.3. Let n = r - -1.7. Let a = n - 1.9. Are 0.1 and a equal?
True
Suppose -16*s + 2 = -15*s. Is s equal to 14/9?
False
Let l = -31.1 - -31. Is -5 less than l?
True
Let w = -5 - -4. Let b = 2 + w. Is b > 1?
False
Let p = -4.9 - -2.9. Is 3/5 != p?
True
Let o = -4 + 27/7. Let c = 2 + -1. Is o < c?
True
Let k = 2 + -4.5. Let d = -0.5 - k. Let x = d + -2. Do 1/3 and x have the same value?
False
Let l be (-52)/(-14) + (-6)/(-21). Let b be (4 + -2)/(2/9). Suppose b*x - l*x = -5. Which is smaller: x or 1?
x
Let x be (-6)/(((-21)/(-2))/(-7)). Which is smaller: x or 6?
x
Let p = -0.2 - -12.2. Let m = 12 - p. Let t(v) = 2*v - 4. Let j be t(4). Which is smaller: m or j?
m
Let r be (-14)/(-35) + 154/(-310). Which is bigger: r or -1?
r
Let c = -33 - -34. Is c <= -1?
False
Let a be (-17)/(-68) + 58/(-8). Are -6 and a equal?
False
Suppose -3 = 3*q - 15. Suppose -17 = q*h + 23. Which is smaller: -11 or h?
-11
Let s = -3642 + 17854/5. Let y = s - -71. Is y at least as big as -0.2?
True
Let c be 5 + (-3 - (-7 + 2)). Suppose 0 = -c*p - 0*p. Which is greater: p or -1/2?
p
Let o(l) be the third derivative of -l**5/30 - 3*l**2. Let f be o(-1). Let b(d) = -d - 8. Let x be b(-7). Which is smaller: f or x?
f
Let u(j) = j**3 - 6*j**2 - 8*j + 7. Let r be u(7). Let t be (-2)/((3 - 2)*-13). Is r smaller than t?
True
Let a = -17 + 10. Let x(c) = -c**2 - 8*c - 7. Let h be x(a). Let z be (1 + -2)*(-1)/5. Is h not equal to z?
True
Suppose -2*f - 11 = -3*a, -5*a - 2 = -4*f - 25. Let q(y) = y + 6. Let j be q(f). Which is greater: j or -1/12?
-1/12
Suppose 3*x = 4*x + 15. Is x greater than -15?
False
Let t = 2/17 + -55/34. Suppose 3*p = 3*u - 9, p - 2 + 3 = 3*u. Is u <= t?
False
Let q = 728 - 1407/2. Let s = q + -23. Is s < 2?
True
Let o be -4 + 1 + (-1179)/(-405). Let p = o + -26/45. Which is bigger: p or -1?
p
Let u be 2/6 - 2/6. Let z(x) = -x + 2. Let l be z(3). Which is greater: u or l?
u
Let k(a) = a**2 + 2*a - 3. Let q be k(-4). Let v = 9 - q. Suppose 3*j + 25 = v. Is -6 greater than j?
True
Let v = -1083/7 + 155. Let u be (14/(-10) + 1)*-5. Let o be 0*(2 + (u - 5)). Is o > v?
False
Let k = 5.3 - -0.7. Let z = k