26 or q?
-26
Suppose -5*o = -h + 1123, -o = -5*h + 116 + 99. Is o at least as big as 0.4?
False
Suppose -5*c + 24 = -4*n, -2*n + c = 10 - 4. Do 1/1104 and n have different values?
True
Suppose -9*x + 4*x - 4*w = -2937, 0 = -2*x + 2*w + 1164. Are 584 and x unequal?
True
Let a = -36 + 39. Suppose 2*l - 3 - 4 = -5*g, -3*l + a*g = 0. Let f be ((-2 - -2)/(-4))/l. Which is smaller: 1/36 or f?
f
Let k(f) be the third derivative of -f**4/12 - 5*f**3/3 - 7*f**2. Let m be k(2). Is m greater than -5?
False
Let w = 1/154 - -1081/23254. Are w and 1 non-equal?
True
Suppose -3*t = -20*q + 25*q - 9, -5*q + 5*t - 15 = 0. Is q at least -13/66?
True
Suppose -4*z - 29 = -0*m + 5*m, -3*z - 18 = 3*m. Let j = m + -6. Do -11 and j have the same value?
True
Suppose -418*a = -399*a + 19. Which is smaller: a or -7/10?
a
Let i be ((-1)/3)/((-4)/48). Suppose -4 = 5*b - r, -4*r + 12 = -i*b - 4. Which is greater: b or 3/44?
3/44
Let p = -13/36 - -1237/3492. Let c = -2615/582 + p. Let a be 10/(-5) + -2 + 0. Which is greater: c or a?
a
Suppose -i = -5*t + 19, -3*i - t + 17 = -i. Let r(d) = d**2 - 6*d - 1. Let x be r(i). Is 7/17 at least x?
True
Let h = 41 + -34. Let w be 18/(-252) - 3/h. Is -15 < w?
True
Let b be (0 - 0)*(-2 + 3). Let p be 2 + 182/(-38) - -3. Is p at least as big as b?
True
Let f = 26 + -18. Suppose 3*a - 4*h = -6, -a - 3*a = h + f. Let s be (1/a)/(1/2). Which is smaller: -1/8 or s?
s
Let v be -1 - 5/(5/22). Let p = 2225/2 - 1134. Which is smaller: v or p?
v
Suppose 27*p = 1678 + 5531. Is p at least 267?
True
Let x(m) = m - 5. Let g be x(8). Suppose -g*u - 2 + 5 = 0. Suppose 4*h - u = 3*h. Which is greater: 0 or h?
h
Let x = 9335/6 + -1555. Are -116 and x unequal?
True
Suppose 0 = 5*u - 33*v + 34*v - 76, 3*u - 5*v = 40. Which is smaller: u or 8?
8
Let p be ((-6)/4)/((-18)/48). Let m be p/(-6)*14/(-28)*-2. Suppose -5*v + 1 = i - 2, 0 = 5*i - 5*v + 15. Is m at most i?
False
Let j = 9900 - 287140/29. Is j at least 3/5?
False
Suppose -5*d - 16 = 2*b, -5*b + 3*d - 6 = 7*d. Which is greater: b or 0?
b
Let k be -1 - ((-8)/(-3) + 2). Let l = -6 - k. Let w = 13.2 + -3.2. Which is bigger: l or w?
w
Let d = 588 - 486. Which is smaller: 103 or d?
d
Suppose -2*v + 5*v = -3*r - 6, 3*v + 3 = -2*r. Let h be 8/(-20) - 34/(-10). Let z = -5/2 + h. Is z at most as big as v?
True
Let q = -0.016 - -0.056. Let f = q - -0.05. Which is bigger: f or 0.2?
0.2
Let m = 73 + -88. Let b = -15 - m. Is -0.13 less than or equal to b?
True
Suppose -3*x + 0*v + 2*v + 10 = 0, -v - 5 = 0. Is x bigger than 3/689?
False
Suppose 26*x = 21*x. Suppose 4*m = -i + 16, x = 4*i + 4*m + m - 53. Which is greater: 1 or i?
i
Let u = -158 + 158.99. Let g = 193 - 193.01. Let n = u - g. Which is greater: -9 or n?
n
Let l(x) = -x + 8. Let i be l(6). Let d be -4*1 - (-2)/(4210/8425). Let h = d - -6307/3368. Which is bigger: h or i?
i
Let u = 4 - 1. Suppose 30 = u*n + 2*n. Which is smaller: n or 5?
5
Let p be 2*2*-134 + (-597 - -602). Is -532 less than p?
True
Suppose 12 = -x + 45. Is x greater than or equal to 25?
True
Suppose k + 4*c = 39, 2*k - 4*k - 2*c = -66. Let r be -31*((-1)/4*-4)/(-1). Is k greater than or equal to r?
True
Let o(j) = 9*j**2 - 3*j - 6*j**3 - 2*j**2 - 3*j + 5*j**3 + 4. Let s be o(6). Let w be (2 + (3 - s))*0. Which is greater: 1 or w?
1
Suppose 2*p - 5*o - 115 = 0, -o = -5*p + 255 - 25. Suppose 4*a - p = 27. Is 18 equal to a?
True
Suppose t + 36 = 4*w - 28, -4*w + 52 = -4*t. Suppose 4*d = -9 + w. Is d less than -0.3?
False
Let m(w) = -2*w**3 - 2*w**2 + 1. Let u be m(1). Let o be 1/u + 0 - 2162/(-69). Are 30 and o unequal?
True
Suppose 0 = 3*k - 0*k - 18. Let i be 0 + 12 - (1 - k)/(-5). Which is greater: i or 10?
i
Let v be (-2)/(-6) - (-2 - (-136)/12). Let r(p) = -p**3 - 10*p**2 - 10*p - 4. Let x be r(v). Is x smaller than 6?
True
Let a be (810/108)/(2/60) - 4. Which is smaller: 220 or a?
220
Let s(i) = -i**2 + 23*i - 90. Let d be s(5). Which is smaller: -10/31 or d?
-10/31
Let v = -53.77 + 54. Suppose -2*c + 7 = -3*i - 9, 4*i - 5*c = -33. Which is smaller: v or i?
i
Suppose 5*x = x - 2*v - 232, 3*x - 3*v = -165. Is x less than or equal to -60?
False
Let g(m) = -m + 13. Let s be g(9). Suppose 0 = f - 3*f - s. Let v be f + 10/(2 + 0). Which is smaller: 10/3 or v?
v
Let y(h) = -5*h**3 + 2*h - 1. Let p be y(1). Let q be (9/90)/(2/(-96)). Is q greater than or equal to p?
False
Let q be -15*(-2 - 76/(-20)). Do q and -23 have the same value?
False
Let z = -1714 - -1714. Which is smaller: z or 1/2187?
z
Let v = 41.9 + -41.9. Is v not equal to 0.4?
True
Suppose -41 + 16 = 5*x, -a - 28 = 5*x. Let n = 36 + -41. Let k(z) = -z**2 - 4*z + 4. Let o be k(n). Is a less than or equal to o?
True
Let f be (2/3)/((-6)/(-27)). Let h(v) = -5*v - 83. Let l be h(-20). Let i = l + -12. Which is smaller: i or f?
f
Let n = -86.85 + 88. Let a = n - 0.15. Is a at least -4/9?
True
Let u(v) = v**3 - 9*v**2 - 12*v - 8. Let d(h) = -1. Let j(t) = -5*d(t) - u(t). Let b be j(11). Is -97 bigger than b?
False
Let h = -5 + -4. Let k(w) = w**2 - 7*w + 9. Let d be k(6). Let a = -11 + d. Is h <= a?
True
Let k(h) = h - 6. Let w be k(7). Is w greater than -46?
True
Suppose a - 5 + 3 = 0. Let x be (-3 + 82/28)*-68. Let n = -32/7 + x. Is n < a?
True
Suppose -23*t = -22*t - 2. Let w(a) = 7*a**3 - a**2 + 2*a - 4. Let r be w(t). Is r at least 53?
False
Suppose 0 = -2*y + 5 - 1. Let t be (7/14)/(1/y). Suppose 3*z - 4*l = -40, l - 3 - t = 0. Is -8 smaller than z?
False
Suppose -6*c - 12 = 24. Let s be (c/12)/((-1)/(-8)). Let w be ((-4)/24)/(1/s). Is 6 at most as big as w?
False
Let v = -67.93 + 68. Let w = 0.97 - v. Let y be (2/(-5))/(6/(-5)). Which is smaller: y or w?
y
Let s be (10 + -2)*(10 - 44). Is -272 greater than s?
False
Let h = 5.6 - 5.4. Are 14 and h equal?
False
Let u(h) = -2*h - 52. Let x be u(-9). Let p = 43 + x. Are 11 and p unequal?
True
Let l(n) = -n**2 + 19*n - 61. Let i be l(3). Is -9 < i?
False
Let h = 0.201 + 3.799. Which is smaller: -4/9 or h?
-4/9
Let j be (386/8)/((-9)/9). Let p = j + 48. Is p > -4?
True
Let d be 14/21 + (-1)/(-3). Let k(n) = 5*n - 2. Let g be k(d). Suppose -2*v = -2*i - 18, v - i - 24 = -g*v. Is v greater than 3?
True
Let b be -1*(6 + 14 - 1). Which is smaller: 1/5 or b?
b
Suppose q = -0*q + 5. Suppose 0*b - 5*b = 5, -4*b - 4 = -2*u. Let y = q - u. Which is smaller: y or 7/2?
7/2
Let c = -21 + 5. Let s = 31 + c. Which is smaller: -2 or s?
-2
Let p be -2 + (-96)/(-40) + (-354)/35. Which is smaller: p or -9?
p
Let o(y) be the second derivative of y**3/6 + 7*y**2/2 - 24*y. Suppose 4 - 11 = u. Let g be o(u). Which is greater: g or -2?
g
Suppose 0 = -0*d - 2*d - 3*p, 3*p + 18 = 4*d. Suppose -2*c + 5*f - 35 = 0, -4*f + 8*f + 18 = -d*c. Let r be (-91)/(-805) - (-2)/c. Is 0 smaller than r?
False
Let b = -2 - -23. Let d(x) = x**2 + x - 3. Let k be d(2). Suppose -88 = -4*f + q - k*q, -2*q - 92 = -5*f. Which is bigger: f or b?
b
Let p be (-16 - -14) + (4 - 0). Let r be (-4)/(-14) + (-405)/21 + p. Is r equal to -16?
False
Let d = -10975/9 - -1221. Let q(t) = t + 10. Let i be q(-8). Is i at least d?
True
Let x = -5188/15 + 1701/5. Are x and -6 non-equal?
True
Suppose 98 = -7*o - 7*o. Let h be ((-2)/2 + -2)*-3. Let i = -18 + h. Is o smaller than i?
False
Let g be (-222)/5 + 1 + 9. Is -35 not equal to g?
True
Suppose 0 = -5*u + i - 4, -3*u - 5*i = -7*u - 20. Let q be 1/(-2)*4/14. Is q less than u?
True
Let s = -4 + 50/13. Is s > 2/19?
False
Let n = -1.9 - 28.1. Is 1/4 at least n?
True
Let x = 0.11 - -57.89. Let i = -56.9 + x. Which is bigger: i or 2/3?
i
Let q = 14 + -15. Let z = -23084/135 - -171. Is q at least as big as z?
False
Let t be (39/13)/((-11)/4). Is -1 at least as big as t?
True
Let d = 1828 + -1829. Which is smaller: 1/128 or d?
d
Let v be (-7)/(-1) + 712/(-56). Which is bigger: v or -4?
-4
Let m = 3565 + -46435/13. Are -8 and m unequal?
True
Let b = -2068042/119 + 28867927750/1661121. Let y = b + -2/517. Let p = y - 118/135. Which is bigger: p or -1?
p
Let x be 151/(-40) - 2/(-5). Which is greater: x or -4?
x
Let b = -71 + 71.051. Which is smaller: 1 or b?
b
Let x = 35 - 33. Let n be (50/15 - x) + 2. Which is smaller: n or 0.2?
0.2
Let s be (24/27)/(16/8). Let f be (-1*(-2)/2)/(-1). Which is smaller: f or s?
f
Suppose -4*o = -5*o + k - 9, k + 39 = -5*o. Suppose 69 = 3*p - 39. Suppose 0*m = 4*m + 