Suppose -j + 4 = -2*y + h, 2*h - 10 = 0. Is y at most as big as s?
True
Let z = -185 - -188. Which is greater: z or 24/7?
24/7
Let l be (-3)/4 + (-1)/4. Suppose o - 4*o - 9 = 0. Which is greater: l or o?
l
Let w(y) = y**3 + 5*y**2 - y - 1. Let h be w(-5). Suppose -23 = 2*u - 27. Which is bigger: u or h?
h
Let p be (-2)/8 + 14/(-8). Suppose -4*q - 41 = -5*b - 8*q, -11 = -b + 2*q. Let g be b/(-6)*p/(-9). Which is smaller: g or -1?
-1
Let g = -2 - -4. Suppose -2*l - 3 + 5 = 4*q, 3*q = g*l + 5. Let u = q + 2. Is 3 < u?
False
Let r be (-3)/2*(-28)/819. Let f(m) = m**3 + m**2 + 2*m + 1. Let p be f(-1). Is p greater than r?
False
Suppose -r + 4*z = -2 + 1, 5*z = -2*r + 2. Let p = 1 + r. Suppose 4*g + p = 6. Which is bigger: -0.2 or g?
g
Let d = 4 - 7. Let n = d - -2.8. Let c = -0.4 - n. Is c less than or equal to -0.1?
True
Suppose -5*d + 6 = -4. Is 0.2 greater than or equal to d?
False
Suppose x + 4*j - 25 = 0, 0 = 4*x - 5*j - 62 + 4. Let g = -21 + x. Is -4 equal to g?
True
Let l(j) = j. Let r be l(1). Let k = r - 5. Is k smaller than -4?
False
Let v = 9.3 - 14. Let t = v + 5. Let j = 0.3 - t. Is j equal to -0.1?
False
Let z = -8.91 - 0.09. Which is greater: z or -1?
-1
Let l = -127 + 106. Is l <= -24?
False
Let r be 8/24 + 4/15. Which is smaller: 2 or r?
r
Let y = 10 + -45. Let m be ((-14)/y)/(2/5). Suppose -12 = -5*x - q, 3*q - 2 = 3*x - x. Is x >= m?
True
Let b(j) = -j**3 + 3*j**2 - 3*j + 3. Let r be b(2). Suppose -7*t + 15 = -2*t. Let u be t/(-2)*4/63. Is u at least r?
False
Let w = -16 - -29. Is w smaller than 0.2?
False
Suppose 2*j - 12 = -3*n + 11, 4*n = j - 28. Let c be 2 - (-1)/((-9)/j). Let i be (-5)/((-5)/(-3)) + 4. Which is smaller: i or c?
c
Let r(j) = -j**2 - j + 1. Let h be r(-1). Let p be (-3)/(21/5) + h. Let o be (-1 - 20/(-12))*-1. Which is greater: p or o?
p
Let w = -0.02 + -1.48. Let c = -0.5 - w. Let i be (-8)/(-12) + (-20)/21. Are c and i unequal?
True
Let d be 68/119*39/12. Which is greater: d or 3?
3
Let g(x) = -x**3 + 6*x**2 - 5*x - 1. Let c be g(5). Let s = 8 - 4. Do c and s have the same value?
False
Let x = 655/1098 + -5/122. Which is bigger: x or 0?
x
Let o(v) = v**3 + 7*v**2 + 8*v + 5. Let i be o(-5). Suppose a + i = -4*a. Is -2 > a?
True
Let z be (-43)/66 - 14/77. Which is smaller: z or -1?
-1
Suppose 10 = 2*u + 2. Let p be (1/u)/(3/(-6)). Is p equal to 1?
False
Suppose -3*c + 13 = -s, 4*c = s - 4*s. Suppose c*o = -o. Suppose o*h = -2*h. Which is smaller: h or 1/3?
h
Let a(s) = 4*s - 5. Let u be a(4). Suppose 0 - u = -y + 5*n, -2*y + 2*n = -6. Let i(o) = o**3 - o**2 - o + 3. Let g be i(0). Which is bigger: g or y?
g
Let l be ((-4)/3)/((-2)/(-6)). Let d be (l/(-8))/(1/(-2)). Is d equal to 2/19?
False
Let t = -5 + 7. Suppose -3*s = 2*i - 5*s + 26, 5*i - 2*s = -56. Let k be (4/i)/(12/(-15)). Is t <= k?
False
Let w(d) = 7*d - 2. Let r(x) = -4*x + 1. Let m(b) = 5*r(b) + 3*w(b). Let j be m(7). Which is bigger: j or 4?
j
Suppose 6*o = o + 15. Let u = -5 + o. Is -3 smaller than u?
True
Let z = -5 + 5. Suppose z = 5*s + 20, 0 = 5*t + s + 3*s + 181. Let b be (-3)/t*1*-2. Which is smaller: b or 1?
b
Let x(f) = f**2 - 6*f + 4. Let y be x(6). Suppose 2 = 3*b - y*b. Let w be (-16)/84*3/b. Which is greater: -1 or w?
w
Suppose 4 = -4*y + 8*y. Let x = 0 + -1. Let w be ((-2)/2 + x)/(-2). Is y smaller than w?
False
Suppose -5*o + 330 = -5*d, 6 = 2*o + 8. Which is bigger: d or 0.1?
0.1
Let w be (24/5 + -2)*5. Let k be 1/(5/(390/6)). Is k at least as big as w?
False
Let k(q) = 1. Let s(m) = m**2 + m + 5. Let g(a) = -6*k(a) + s(a). Let f be g(1). Suppose f + 2 = -p. Which is greater: p or -4?
p
Let x(l) = l**2 + l - 6. Let w be x(5). Let n = 71/3 - w. Let h be (-2)/(-8) - 1/4. Which is smaller: h or n?
n
Let h(i) = -2*i - 3. Let t be h(-3). Suppose 0*o = t*o - 6. Which is greater: 3 or o?
3
Let s(u) = -u + 5. Let j be s(8). Which is smaller: -1 or j?
j
Let g be (4/(-12))/(8/36). Which is smaller: g or -1/22?
g
Let r = 1.241 - 43.361. Let v = -41 - r. Let g = v + -1.1. Which is smaller: 0 or g?
0
Suppose 0 = -4*w + 8*w + 12. Let q(d) = -d**2 + 5*d - 2. Suppose y - 3 - 2 = 0. Let p be q(y). Is w > p?
False
Let w = 10 + -10. Let z be (1/3)/(8/(-22)). Let n = z + 7/6. Is n greater than or equal to w?
True
Suppose -3*g - 5 = 13. Let o be (-3)/((-369)/g + -3). Is o at most as big as 0?
True
Let n = -0.82 + -0.18. Let o = -4 - -3.7. Let b = 1.3 + o. Is n at least as big as b?
False
Let x = 9 + -1. Let k be (-60)/x + 1/(-2). Let u be k/(-12)*(-9)/6. Which is smaller: u or 0?
u
Let h be 1/(-1584)*-266 - (-4)/(-22). Is -1 not equal to h?
True
Let t be ((-5)/10)/((-1)/6). Let v be (-2)/(-9)*-3*6. Let a(o) = -o. Let q be a(v). Which is smaller: t or q?
t
Suppose -3*k = 3*i - 24, -k - k + 2*i = 0. Let l be k + -2 - (-16)/(-10). Let n = -4 - -5. Is n smaller than l?
False
Let k = -0.019 + -2.081. Is k > 0.1?
False
Suppose 22 = 4*t + k, 4*t - 3*k - 19 = -t. Suppose -d = -t*d. Let r be (-1 - 0)/(-1 + 0). Is r != d?
True
Suppose -5*p = -2*r - 23, 4*p - 4 = r + 3*p. Which is smaller: -1 or r?
-1
Let o = 8264 - 74288/9. Let v = -2851/306 - 22/17. Let y = v + o. Does -2 = y?
False
Let z = -1.7 - 0.3. Is z != 7?
True
Let x be ((-1)/2)/(4/(-8)). Let b be -1*(80/28 - 3). Which is bigger: b or x?
x
Suppose 0 = -4*h - 2*d + 66, 5*h - 5*d = 75. Suppose -2*v + 4*x = -x + h, -3*v - 1 = 4*x. Suppose -p = -5*p - 8. Is p != v?
True
Let z be (-2)/(-8) + 2/(-8). Suppose -9 + z = -y. Let m(x) = -x + 9. Let d be m(y). Does d = -2?
False
Let p = -17 - -17. Which is smaller: p or -2/33?
-2/33
Let r = -281 - -182. Is r greater than -99?
False
Suppose -7*l + 2*l - 7 = 3*k, k = -4. Let g = -7/39 - -193/858. Are l and g equal?
False
Let o be (4/(-8))/((-6)/(-4)). Is o > -0.07?
False
Let l = 317078/9 + -35160. Let t = -71 + l. Is t greater than or equal to 0?
False
Let d = -0.2 - -0.5. Let t = -9.3 + d. Let i = t - -6. Is -0.1 <= i?
False
Let y be 24/40 + (-8)/5. Suppose 0 = j + 3*j + 12, -20 = -5*s + 5*j. Which is smaller: s or y?
y
Let h = -14003021/48840 + -69/3256. Let s = -1017/5 - h. Let w = s - 84. Is w greater than or equal to -2?
True
Suppose 10 = 3*g - g. Suppose -22 = -5*s - 3*d, 3*s - 13 - g = -3*d. Suppose s*m = m. Is -3/7 > m?
False
Suppose 1 = -o - 0*o. Let t = 4/21 - 11/21. Is o > t?
False
Let x(r) = -r + 2. Let i be x(4). Let z be (-3)/42 + (-3)/7. Is z > i?
True
Suppose 0 = 4*c - 4*g - 412, -4*c - 5*g + g + 380 = 0. Let q be 13/16*122/(-1). Let y = q + c. Which is bigger: y or -1?
y
Let v be (6/(-9))/((-8)/3). Let m = 12 - 17. Let y = 4 + m. Which is smaller: v or y?
y
Let q(h) = -h**2 - 4*h - 6. Let o be q(-6). Which is smaller: -17 or o?
o
Let p(c) = c**3 + 4*c**2 - 1. Let q be p(-4). Suppose -u = -4*u - 6. Let y(k) = -k**3 - k**2 + k - 1. Let d be y(u). Are d and q nonequal?
True
Let x = 6 + -6.1. Let v be 8/70 - (-2)/7. Which is smaller: x or v?
x
Suppose 0 = -c - 5, -6*r = -2*r + 5*c + 25. Are -2/7 and r nonequal?
True
Let q be (-3)/5 + 65/25. Suppose r = q*r. Suppose 3*c - 9 = 3*n - r*n, n - 12 = -2*c. Is 2 >= n?
True
Let t = 9/143 - 1685/10868. Let d = -16/19 - t. Is -1 <= d?
True
Let g = 0.4 - 1.4. Let o = 0.4 + -1.4. Let v = g - o. Which is smaller: 0.4 or v?
v
Let l = 95 - 46. Which is bigger: 48 or l?
l
Let g = -30 + 28. Which is greater: -4/5 or g?
-4/5
Let g(u) = 2*u - 7. Let t be g(6). Suppose a - 3*y - y = 8, 0 = 5*a - t*y + 5. Suppose -3*r = 4*z + 4, r - 24 = z - 4*r. Is a at most z?
True
Let k(j) be the second derivative of j**5/20 - j**4/4 + j**3/3 - j**2 - 2*j. Let n be k(3). Let i be 21/(-18) + 2/n. Is i less than -1?
False
Suppose -u + 0*u + 115 = 0. Let t = u - 803/7. Is 1 greater than or equal to t?
True
Let v = -0.03 - -2.03. Suppose -p = -2*p - 8. Let f = p - -8. Which is smaller: f or v?
f
Let b be 3/(((-84)/(-8))/7). Let l = 4 + -3. Let v be ((-2)/l - 0)*-1. Is v greater than or equal to b?
True
Let z = -163 + 811/5. Let q be 1/3*-1*15. Let h be (-10)/(-4)*4/q. Which is greater: h or z?
z
Let g = 1323/5 - 263. Let t = g + -44/15. Which is smaller: t or 0?
t
Suppose -4*m + 4 = -44. Let d be (-3)/(2 + (-33)/m). Is 4 at least as big as d?
True
Let r be (-3)/((-9)/19) + (-1)/3. Are 12 and r unequal?
True
Let t be 4/(-2) + (2 - -4). Let d = 22 - t. Suppose 4*k - 9*k = 5*r, -2*k + d = -4*r. Are 1 and k nonequal?
True
Let z = 10 - 10.2. Is