*s**2 - s - 2. Let i be f(t). Are i and c non-equal?
True
Let x be 2/(-16)*(-488)/183. Let j = 0.07 - -4.93. Which is bigger: j or x?
j
Let r = 13 + -3. Let a be 0 - (r/(-6) - -1). Do 1 and a have different values?
True
Let b be (4/(-35))/((-6)/21). Does -1.3 = b?
False
Suppose -21*h + 18*h - 3 = 0. Which is bigger: -11/12 or h?
-11/12
Let w = -3 + 2.1. Let m = w - 0.1. Suppose 5*v - 2*v = 0. Is v at least as big as m?
True
Let s(c) = c**3 + 5*c**2 - 1. Let r = -9 - -4. Let q be s(r). Do -3 and q have the same value?
False
Let a(u) = -4*u**2 + 0*u**2 - 1 + 0*u**2 + u**3 + 0*u**3. Let f be a(4). Which is smaller: f or 2/5?
f
Let f(a) = -2*a + 3. Let d be f(2). Let y(i) = -2*i**3 + i**2 - i - 1. Let j be y(d). Suppose 2*o - 1 = -j. Is o equal to 0?
False
Let n = 1/83 - -236/1079. Is 1 at most n?
False
Suppose -n + 9 = h + 2*h, 2*h - 16 = -4*n. Suppose -q + 3 = -h*q. Is -3 less than or equal to q?
True
Let j be (-106)/(-98) + 5/(-5). Which is smaller: j or 0?
0
Let k be (-5)/15 - (-11)/42. Is k less than 1?
True
Let i be (-27)/(-21) - -3 - (2 - -2). Let a = -4/15 - -1/15. Which is bigger: i or a?
i
Let d = -1491/4 + 377. Which is smaller: 4 or d?
4
Let w = 0.3 - -0.7. Let h = w + -0.8. Let j = h - 0.3. Is 2 greater than j?
True
Let j = -207/1358 - 6/97. Which is smaller: j or 0?
j
Let w = 6.86 - -0.14. Let d = w - 4. Is d <= -3?
False
Let n = -1 + 0.97. Which is greater: 1/5 or n?
1/5
Suppose -2*f = -2*h - 2, 6*h + 4*f = 3*h - 10. Let p(y) be the third derivative of -y**6/60 - y**4/24 - y**2. Let u be p(1). Which is greater: h or u?
h
Suppose z = 4*z + 4*f + 13, 0 = z - 5*f - 21. Are z and 2/15 nonequal?
True
Let q = -0.101 - 5.899. Which is greater: -8 or q?
q
Suppose -4*s + 4*w = -20, -2*w + w = -4*s + 11. Which is smaller: s or -0.1?
-0.1
Let x be ((-3)/2)/(2/(-4)). Suppose 0 = 4*l - 4, -6*r - 5*l = -x*r - 5. Let m be 3*(1 + (-14)/18). Are m and r equal?
False
Let k(a) = -3*a - 17. Let w be k(-7). Is 2 > w?
False
Let l = 33 + -8. Let t = l - 35. Is -0.1 greater than or equal to t?
True
Let k = 366/23 - 16. Let t = 0.03 - -0.97. Is k smaller than t?
True
Let g be (-2)/(-4)*4/(-25). Suppose -s - 1 = 1, -8 = 2*l + 3*s. Which is bigger: g or l?
g
Suppose 34 = m + 35. Which is smaller: 1/101 or m?
m
Let h = -1 - 0. Let d be (-14)/4 + (-3)/(-12). Let y = d - -73/20. Which is greater: y or h?
y
Let r = 25 - 16. Let l = r + -14. Is 0.3 bigger than l?
True
Suppose c = -4*r - 3*c - 4, 8 = -3*r + 2*c. Which is smaller: r or -3/4?
r
Let k be 2*(1/2 - 0). Is k not equal to -1/26?
True
Let f = -15 - -1. Let s = -16 - f. Which is bigger: -3/2 or s?
-3/2
Let c = 106 + -128. Is -21 > c?
True
Suppose 6*u - 8 = 2*u. Let k be 2/(15/6 - 2). Suppose -3*c + 4*c + 5 = -k*d, -d = -4*c - 20. Are u and d non-equal?
True
Let m = -0.8 + 3.8. Let v = 7 + -4. Let t = m - v. Which is greater: t or 2/7?
2/7
Let j = -91 - -457/5. Let i = -57 - -57.2. Which is bigger: j or i?
j
Let p = -143809/87 - -1653. Is p greater than -1?
True
Let b = -15 + 23. Is 9 <= b?
False
Let x = -6.3 - -6. Is 1 bigger than x?
True
Suppose 3*u = 3*j + 9, j + 7 = 5*u - 12. Let y(q) = -q**2 + 3*q + 2. Let r be y(3). Let m be (-3)/(-15) - r/10. Which is smaller: m or j?
m
Let j be -1 + (-1)/((-2)/(-2)). Let x = j + 1. Let h = -14/19 - -164/171. Is h less than x?
False
Let n be (1/11)/(1/2). Let x = -1.2 + 1.3. Which is smaller: x or n?
x
Suppose 0 = p - 1, -2*p = -3*z + 2*p - 7. Is -2/101 not equal to z?
True
Let g = 365/3 + -3659/30. Is g at least 1?
False
Let z = -0.2 + 0.4. Let v = -2.21 - -2.13. Is v < z?
True
Let j = 4 + -4. Let r = -0.03 + j. Let l = r + -0.07. Which is smaller: l or -5?
-5
Let r be (-3)/(-5) - 0/(-2). Let a = -0.5 + 0.9. Let g = a + -0.2. Is r at most g?
False
Suppose -3*d - 5*q = -6*d - 31, 3*q + 12 = 0. Does -8 = d?
False
Let s be -3*3/18*-18. Are 10 and s non-equal?
True
Let b(g) = 2*g - 7. Let z be b(5). Let h = 12.5 + -13. Let i = 0.5 - h. Which is greater: i or z?
z
Let i be -3*4/(-72)*-10. Let d(j) = j**3 + j + 1. Let f be d(-1). Is f >= i?
True
Suppose -7*f = -9*f - 62. Is -30 at least f?
True
Suppose i = c + 2, -3*i + 4*c - 1 + 12 = 0. Let y be 2 - (-6)/(i + 1). Suppose -x - 3*x - 4 = 0. Is x <= y?
True
Let n = -1 - 0. Let d(s) = -s**2 - 4*s + 1. Let w be d(-4). Let c be n/(w - 2) + 2. Do c and 3 have the same value?
True
Suppose 2*p = p - 4*n, -5*n = -4*p + 21. Suppose z + 10 = 2*f + 3, -p*f - 1 = 3*z. Let r(b) = -b**2 - 19*b + 17. Let m be r(-20). Is z at most as big as m?
True
Let p = -29 - -115/4. Which is smaller: p or -1?
-1
Suppose 3*c = 5*c - 2*z - 32, -2*z - 4 = 0. Suppose -f = 2*d - 10, -2*d = -3*f + f + 32. Is c bigger than f?
False
Let d(r) = -r**3 - 9*r**2 - 8*r + 10. Let o be d(-7). Let x = o - -46. Which is smaller: 13 or x?
13
Let a = -56 + 104. Let y be 3/2*a/54. Let k be (-6)/(-4) + (-1)/2. Is y bigger than k?
True
Let a be ((-21)/3 - -4)/2. Which is bigger: -2 or a?
a
Suppose 2*r + 22 = 2. Let o = r - -12. Which is smaller: -3 or o?
-3
Suppose -h = 4*t - 7, h + 0*h + 5*t - 9 = 0. Let d be 1 - 2 - 1/(-2). Is d at most h?
False
Suppose 4*t - 5*p = 185, t - 4*p + p - 48 = 0. Let v = t + -317/7. Is 1 equal to v?
False
Let x(o) = 15*o**2 + 1. Let v be x(-2). Let b = v + -185/3. Let l = 15 + -16. Which is bigger: l or b?
b
Let a = -7 - -7.08. Let q = a - 1.08. Which is bigger: q or -0.6?
-0.6
Let n = -0.029 - 96.971. Are n and -1/2 non-equal?
True
Let i(h) = h**2 + 3*h - 4. Let o be i(-5). Suppose -o*u = -2*u. Let b be (u/(-2 + 5))/(-1). Is b greater than or equal to 3/7?
False
Suppose 0 = -3*c - 2*a - 3 - 2, 0 = 4*c + 2*a + 6. Is c >= 5?
False
Let i = 5/12 + -1/60. Let j = 155 - 156. Which is greater: i or j?
i
Let r = 8 - 4. Let b = r - 6. Let m = -1 - b. Does 0.1 = m?
False
Let j = -26 + 25. Let g(q) = -10*q - 2. Let a be g(j). Are 7 and a non-equal?
True
Let r = -45 + 25. Let v be (-4)/(-6) - r/(-21). Let g = -0.777 - -1.777. Is v less than g?
True
Let c(o) = -o + 13. Let n be c(11). Let g be 1/(-2)*-2*1. Let v = g + -1. Is n less than or equal to v?
False
Suppose 0*q - 3*q + 1590 = 0. Let v = 282 - q. Let b = -3722/15 - v. Are -1 and b equal?
False
Let l = 199/45 - 21/5. Let t(m) = m**3 - 8*m**2 - m + 9. Let d be t(8). Let n be (d - 1)/(3/1). Which is smaller: n or l?
n
Suppose -25 + 26 = o. Are o and 10/31 non-equal?
True
Let q = 30 - 30. Let j be (-32)/(-44) - (1 - 0). Is q bigger than j?
True
Let j = 11.07 - 11. Let v = j - 0.47. Let n = 1.6 - v. Which is bigger: n or 0.2?
n
Let j(n) = -n**2 + 6*n + 4. Let x be j(7). Is x bigger than -17/5?
True
Let h = -2.9 - -2.8. Which is smaller: h or -10?
-10
Let b be 6*(-3)/(-8 + 2). Does 18/5 = b?
False
Let w be ((-3)/(-168))/(12/42). Is 1 < w?
False
Let m(o) = o + 2. Suppose 4*d - q = -11, -2*d + 16 = -7*d + 2*q. Let b be m(d). Suppose 2*v - 5*v = b. Which is smaller: v or 3/5?
v
Let q be 446/(-10) + 6*2/(-30). Is q at least as big as -44?
False
Let a be (0/(2 - 1))/3. Let b be (-1)/(-6)*(-8)/(-6). Which is greater: a or b?
b
Let q(f) = -f**3 + 11*f**2 - 10*f - 2. Let m be q(10). Suppose 0 = -2*d + 2 - 6. Is d at most as big as m?
True
Let p be (-1)/5 - (33/(-15) + 1). Is 1/37 at least p?
False
Let k = 0.02 + 0.98. Let i = k - -3. Is -1 at least i?
False
Let z(b) = 4*b + 7. Let u(l) = 7*l + 13. Let a(t) = 3*u(t) - 5*z(t). Let n be a(-11). Do n and -8 have different values?
True
Let x = -6755/16 + 422. Are x and -1 equal?
False
Let z(h) = -h + 16. Let o be z(0). Let u = 10 - o. Let l(j) = -j**2 - j + 1. Let v be l(2). Which is greater: v or u?
v
Let r be (2/(-3))/((-8)/(-12)). Let t be 3*3/12 + r. Let c be (-18)/(-14)*-1 - -1. Is c at least as big as t?
False
Let z = -0.9 + -6.1. Let g = 6.4 + z. Let m = -0.61 - g. Is -1 at most as big as m?
True
Suppose -2*m + 16 = 8. Which is smaller: m or -1?
-1
Suppose 3*z - 5*b - 3 = 0, -b - 4*b - 4 = -4*z. Let k = -9 + 83/9. Is k at least z?
False
Let i = 18 - 20.9. Let v = i - 0.1. Let m = 2/633 - -140/211. Is v bigger than m?
False
Suppose 2*h = -2*r + 6*r - 16, -4*h - 18 = -r. Let u be (h/((-12)/(-9)))/(-10). Which is smaller: u or -1?
-1
Let r = 11 - 10. Is 3 at most r?
False
Let x be (-1)/((-7)/2) + (-30)/84. Which is bigger: 1 or x?
1
Let a(n) = -n + 14. Let g be a(21). Which is smaller: g or -6?
g
Let q = -7457051/17 - -438829. Let k = 179 - q. Which is great