 - 0. Is f at least x?
True
Suppose 3*i + s = -6, -i = -4*i - 3*s - 12. Let w be i - (-3)/((-12)/(-7)). Is 2 > w?
True
Let o = -19980038/225 + 88800. Let r = o - -7/25. Is 0 at least as big as r?
False
Let r = -6 - -10. Suppose 0 = -4*s + r - 12. Do 0 and s have the same value?
False
Let c = 34 + -34. Let n = -16 + 25. Let b be 3/2*(-3)/n. Which is bigger: c or b?
c
Let z = 0.93 + -1.23. Is z equal to 0.1?
False
Suppose 0 = -3*q - s - 33 - 50, 5*q + 139 = -2*s. Let v be (-2)/(-9) + 60/q. Which is smaller: v or -5/6?
v
Suppose 0 = 2*o + 4*q - 6, 0*q = o - q. Let k be (o - 1) + -3 + 8. Let z = -0.1 - 0.9. Do z and k have the same value?
False
Suppose -3*c = -u - 10, -3*c - c + 13 = -u. Let w = 5623/5 + -1121. Let m = 67/20 - w. Which is smaller: m or u?
u
Let c be (-6)/9 - (-4)/(-3). Let x be c/(-8) + (-15)/24. Which is greater: 1 or x?
1
Suppose -4*v = 4*d + 36, -v - 4*v + d = 21. Let l = v - -1. Suppose -5*p - i - 17 = 0, p + 2 = -3*p + 5*i. Is p less than l?
False
Suppose -7*l + 2*l = -15. Suppose 2*m + 4*z + 1 - 5 = 0, 3*z = -l*m + 3. Is m not equal to -2/5?
True
Let a = -0.04 + 0.1. Let u = a - 0.06. Are -3 and u equal?
False
Let f be 4/(-2) + (-21)/(-9). Let o = 2 - 5. Let a be (-2 - -1)*0/o. Is f greater than a?
True
Let p be 2/(-9) - (-4)/18. Suppose 4*a - 5*q = -2, -5*a - 5*q + 2 + 18 = p. Let z be (-2)/(-4)*(-3 + 3). Which is smaller: a or z?
z
Suppose -26 = -2*m + 22. Let g be 1 - (-1 - m/(-21)). Is g at least as big as 1?
False
Let h = 13 + -8. Let k be 5/(-125)*-5 + 34/5. Do h and k have the same value?
False
Suppose 4*k - 183 + 471 = 0. Are -71 and k non-equal?
True
Let k = -877/70 + 87/7. Let w = -1 + 1. Which is bigger: w or k?
w
Let l = 13 - 14. Let o = -6 - -8. Suppose -m = o*m. Is m greater than or equal to l?
True
Let u = 67122470936822034641/131969838 + -156654894496039/308. Let s = 2/461433 - u. Let t = 1/52 - s. Is 0 greater than or equal to t?
True
Let r be ((-13)/2)/((-2)/4). Suppose 3*u = r + 8. Suppose y - 4*y + 5*t + 10 = 0, 0 = 2*y - 3*t - u. Which is smaller: 4 or y?
4
Let p = -7565/201 + 113/3. Which is greater: 1 or p?
1
Suppose 0 = -5*s - 5 - 5. Let t be (-2)/(-5) + s/5. Which is bigger: 2/9 or t?
2/9
Let y = -6 + 4. Let s = y - -2. Let d be (0 - s)/(2/(-2)). Is d at least as big as 2/9?
False
Let r = -95/2 - -47. Suppose v - 6 = -v. Suppose 0*x = -4*x, 5*j - v*x + 10 = 0. Which is smaller: j or r?
j
Let j = -41/3 - -14. Which is bigger: -11 or j?
j
Suppose 55 = -h + 6*h. Which is smaller: h or 13?
h
Let w be 1 - -2 - 29/9. Which is smaller: w or 0?
w
Let s = -11.86 + -0.14. Is s not equal to -1?
True
Let l(r) = -r + 6. Let j be l(4). Which is smaller: j or 10/7?
10/7
Suppose -4*s = -23*s - 1102. Which is greater: -57 or s?
-57
Let w = 21.5 + 0.5. Let o = 21.9 - w. Suppose -2*g + 3*i + 3 = 13, -g - 7 = -2*i. Which is smaller: o or g?
o
Let m(k) = -3*k + 13. Let s be m(6). Let x(r) = 2*r + 11. Let i be x(s). Is -2/31 greater than or equal to i?
False
Suppose -5 = 3*y + 5*p, -y + 3*y + 5*p + 10 = 0. Suppose 0 = y*k - 4*o - 35, -4*k = -o - 5 - 12. Is k <= 3?
True
Let k be -1*(-2 + (-22)/(-10)). Let l = -31 - -31. Is l at most as big as k?
False
Let q be 3 + 0 + -2 + -1. Suppose w = -4 - q. Let l be (-3)/(6/w) + -2. Which is greater: 2/19 or l?
2/19
Let o be -8 - 1072/(-136) - (-278)/340. Let l = -3 - -4. Is l != o?
True
Let v = 139 + -1531/11. Let j = 5 - 3. Which is bigger: j or v?
j
Let v = 1585/352 - 1/352. Which is bigger: 4 or v?
v
Let d(p) = 9*p - 54. Let k be d(8). Which is smaller: k or -2?
-2
Suppose 7*m = 4*m - 60. Let b = m + 27. Which is bigger: 5 or b?
b
Let g = -0.58 + 0.48. Let f be (-4)/(-6) - 2/(-6). Let l be (f/(-8))/((-2)/(-4)). Which is smaller: g or l?
l
Let g be 4/6 - 3/9. Let l = 0.5 - -9.5. Let m = l - 9. Is g greater than m?
False
Let p = 21088 + -106043/5. Let o = -145 + 24. Let x = p - o. Which is smaller: x or 0?
0
Let k(t) = 6*t - 4. Let h be k(4). Suppose -5*s + 22 = c - 0*c, -5*s + h = 0. Let u(v) = -v + 3. Let m be u(3). Is c less than or equal to m?
False
Let p be ((-4)/(-12))/((-4)/6). Let d(b) = -b + 12. Let v be d(0). Suppose 5*t = -5*i - 20, i - 3*t + 0 = v. Is p > i?
False
Let b(f) = f + 29. Let u be b(-18). Which is bigger: u or 1?
u
Let b = -74/3 - -25. Let r = -11 + 43/4. Which is smaller: b or r?
r
Suppose 5*q - 6*f + 118 = -4*f, -3*f + 34 = -q. Is -25 smaller than q?
True
Let h = -8.3 + 8. Let z = h + -0.7. Let m = -1/4 + 0. Is m > z?
True
Let l = -2/973 + -4841/11676. Which is bigger: -1 or l?
l
Let p be -4 - 1/((-1)/4). Which is greater: -2/305 or p?
p
Let p = 0.1 + 0.9. Let w = -8.1 - -8. Let s = 0.1 + w. Which is smaller: s or p?
s
Let a be (3 - 30/8)*-4. Which is bigger: 12 or a?
12
Let a = 55 - 56. Let p(f) = -f**2 - 5*f + 6. Let j be p(-5). Let k be (j/52)/((-3)/(-4)). Are a and k nonequal?
True
Suppose -4*o - 156 = 2*o. Does -26 = o?
True
Let h = 5 + -5. Let z = h - -1. Let f be 2*z + 48/(-15). Is f at least as big as -2?
True
Let u(g) = g**2 - g - 1. Let n be u(-1). Let v = 2 - n. Which is smaller: 2 or v?
v
Let b(v) be the third derivative of v**4/12 + v**3/6 + 3*v**2. Let a be b(-1). Is -2/21 at least a?
True
Let w = -61/119 - -16/17. Which is greater: 0 or w?
w
Suppose -6*i = -4*i - 10. Suppose 3*j - 6*j - 1 = -i*w, -2 = -j + 4*w. Are -2 and j nonequal?
False
Let t be (4/4)/(2/10). Suppose -t*s - 3 = -8*s. Are 1 and s equal?
True
Let k = -7.95 - 0.05. Let u = k - -8.3. Let p = -0.6 + u. Is p at least 0.1?
False
Let f(p) = p + 1. Let s(u) = 2*u. Let z(o) = f(o) + s(o). Let x be z(1). Suppose 29 = -2*k - 3*n, x*n + 20 = -0*n. Is k smaller than -6?
True
Let t = -3 + 3. Suppose t = -0*k + 2*k - 6. Suppose 5*x - 1 - 4 = 0. Which is greater: k or x?
k
Let t = -0.31 + 0.41. Suppose -2*v + 3*v + 2*c + 2 = 0, -3*v + 3*c - 24 = 0. Is v > t?
False
Let p = 350/3 + -114. Let l = p + -13/6. Which is smaller: l or 0?
0
Suppose -3*d + 16 = 2*t - 7*d, 0 = -t + 5*d + 20. Which is smaller: t or -32?
-32
Let t(k) = -23*k**2 - 9*k - 17. Let o(b) = 8*b**2 + 3*b + 6. Let x(f) = -17*o(f) - 6*t(f). Let g be x(-2). Are g and 3 nonequal?
True
Suppose 0 = -2*q - 2*q + 4. Suppose 6 = 2*o - 3*o. Let t be -6 + 3 - 20/o. Which is bigger: t or q?
q
Let m(b) = b**2 + 5*b - 7. Let u(v) = -7*v + 1. Let o be u(1). Let l be m(o). Let x = 57 - 227/4. Which is bigger: l or x?
x
Let v = 28 - 14. Let n = v + -8. Let i = n + -4. Is i less than 1/5?
False
Let r = 8 - 8.5. Let s = -1.7 - -2.7. Which is bigger: r or s?
s
Let y(p) = 2*p**3 - 2*p**2 - 3*p + 2. Let q be y(2). Let o be (9/((-108)/(-8)))/(4/30). Is o != q?
True
Let u = 9 - 10.1. Let m = 0.2 - 1.2. Let d = m - u. Which is smaller: 0 or d?
0
Suppose 16 = 27*c + 43. Let b = 0.1 - -0.1. Which is smaller: c or b?
c
Let l = -24110/9 - -2682. Is 2 greater than l?
False
Let w = 47 - 46.66. Is 1 < w?
False
Let g be ((-2)/12 - (-75)/(-630))/1. Let a = -2 + 2. Are g and a nonequal?
True
Let g = 1.547 + -0.047. Is 0.1 not equal to g?
True
Let p = 7 - 4. Suppose -2*f + 520 = p*f. Let o = -517/5 + f. Which is smaller: 1 or o?
o
Let c(q) = -q**3 + 8*q**2. Let d be c(8). Let w = -9 + 7. Is d smaller than w?
False
Let t = 38/427 - -12/61. Suppose -12 = -4*j - 0*j. Which is greater: j or t?
j
Let p be (-8)/12 - 30/9. Let w = 1 + p. Is -1 bigger than w?
True
Suppose -p - 2*p + 12 = 0. Let g be p/6 + (-14)/(-6). Let h be -2*g/15 + 0. Which is smaller: 1 or h?
h
Let i = -1.3 - -4.3. Let s = i - -9. Is s <= -0.1?
False
Let z be (-2)/(-7) + (-40)/42. Let b = -10 - -9. Which is smaller: z or b?
b
Let i(r) = -5*r - 1 + 3 - 5 - r**2. Let m(w) = -w**2 - 3*w - 3. Let z be m(-3). Let h be i(z). Which is bigger: 4 or h?
4
Let l(t) be the first derivative of -t**3/3 - 5*t**2 - 10*t - 1. Let r be l(-9). Which is greater: -3 or r?
r
Let b(f) = -f**3 + 3*f**2 + 2*f + 2. Let o be b(4). Which is smaller: -2 or o?
o
Suppose 5*o = 4*r + 10, -r + 2*r = 0. Let v(n) = -n**3 - 4*n**2 + n + 3. Let j be v(-3). Let m(k) = k**3 + 10*k**2 + 10*k + 12. Let y be m(j). Is o equal to y?
False
Let j be 2*(60/7 - (-44)/(-77)). Which is smaller: j or 0.1?
0.1
Suppose -3*a + 18 = -x - 19, 0 = 3*a + x - 41. Which is smaller: 11 or a?
11
Let l = -14 + 15.5. Let h = l + -1.5. Is 2/7 >= h?
True
Let r(j) = -2*j - 33. Let p(k) = -3*k - 49. Let s(l) = -5*p(l) + 7*r(l). Let m be s(-9). Are 3 and m uneq