3)/(-9) - (0/1 - 1). Is x greater than 9?
False
Suppose z = -4*i - 11, z - i = -4*z - 118. Let g = z - -95/4. Which is greater: 0 or g?
g
Let h = 396 - 4348/11. Is h greater than 0?
True
Let w = 2.3 + -19.3. Let x = w + 17.2. Is x less than or equal to -1/2?
False
Suppose s + 0*s + 3 = 0. Let m = 26 + -29. Do s and m have the same value?
True
Suppose -g + 2*g + 22 = -2*t, 4 = -4*t. Is -19 at most as big as g?
False
Let b(x) = -2*x + 6. Let p be b(8). Is p not equal to -10?
False
Let f be (-6)/15*(-3)/(-2). Suppose -4*d + 8*d = 0. Let t be d/(-1) + -1*1. Which is smaller: t or f?
t
Let x = 2 - -2. Suppose x*y = 2*y. Is 2/27 at least as big as y?
True
Let o = -6 - -4. Let a = -1 - o. Let h = -177 - -1945/11. Which is smaller: a or h?
h
Suppose -4*y = -4*w + 32, 5*w - 2*w = -5*y. Which is bigger: w or 0?
w
Let g = 3 - 3. Let r = -3 + 7. Let n = 6 - r. Which is smaller: n or g?
g
Suppose 16 = -3*r + r + 5*s, -r = -5*s + 18. Let o be (9/7 - 1)/(-2). Which is greater: o or r?
r
Let b = 947 + -948. Let o = 43/3 - 1336/93. Is b bigger than o?
False
Let d = -21 - -36. Suppose p = 4*p - d. Is 1 greater than or equal to p?
False
Let c = 0.973 + 0.027. Which is bigger: c or 6/25?
c
Let x be 3/(-4) + (-1)/4. Let f = 7/225 - 203/450. Let l = f + 1/50. Are x and l equal?
False
Suppose 0 = 5*u + 1880 + 240. Let c = -1042/3 - u. Let v = -76 + c. Which is greater: 5 or v?
5
Let s = -53 - -54. Which is bigger: s or -1/9?
s
Suppose 0 = 5*z + p - 2, -z + 0*z = 4*p - 8. Suppose 4*c + 5 - 21 = z. Are c and 1 equal?
False
Let w be ((-2 - -1) + 3)*2. Let s be (45/w)/((-2)/8). Let m be 100/s + 2/9. Is m less than or equal to -2?
True
Suppose 9*f + 267 = 1122. Which is smaller: f or 94?
94
Suppose -4*h - 2*m = -5*m - 15, -5*m = h - 21. Let a(u) = -u + 5. Let o be a(h). Which is smaller: -2/7 or o?
o
Let x be 57/(-15) - (-1)/(-5). Let s = 2 - x. Let i = -4 + s. Is i less than 1/2?
False
Let h = -1.1 + 2.4. Let b = -0.3 + h. Which is greater: -0.3 or b?
b
Let h be (-6)/9 + (-4)/10*-5. Does 2 = h?
False
Let d be (-4)/14 + (-12)/(-42). Is -1/11 less than or equal to d?
True
Let n = 57 - 40. Which is bigger: 16 or n?
n
Let p = 21 - 14. Let j = p - 6. Which is bigger: j or 0.1?
j
Let u = 15 + -10. Let j = -6 - -10. Suppose 2*k + j*n - 3 = 3*k, -k = n - 7. Is u less than or equal to k?
True
Let j = 0.3 - 0.34. Let y be 10/15 + 0/(-1). Which is smaller: y or j?
j
Let a be 7*1 - (3 + -3). Let q(z) = z**3 - 6*z**2 - 8*z + 9. Let s be q(a). Suppose 0 = -4*j - 6 + s. Which is smaller: 2/5 or j?
j
Let d = 95 - 95.41. Let n = d - -0.01. Let v = -5 - -5. Which is smaller: v or n?
n
Let s = 1 - -2. Suppose 0 = -v - 1 + 3. Is s bigger than v?
True
Let k(i) = -i + 16. Let c be k(18). Are c and -3 non-equal?
True
Let s = 8/13 + -37/39. Is -1 > s?
False
Suppose 5 = -5*d, -w - w - 4*d + 26 = 0. Let v = -10 + w. Let s(a) = a + 29. Let h be s(-24). Is v > h?
False
Suppose 2*j = 2 - 0. Is -6/13 >= j?
False
Suppose 0 = -2*h + l - 12, 0*h - 3*h = 4*l - 4. Let i be ((-2)/2)/(5 + h). Let a(w) = w - 4. Let t be a(3). Are t and i unequal?
False
Let z = -0.03 + 0.04. Let h = z + -0.11. Let j = -0.1 + 0.3. Which is bigger: h or j?
j
Suppose o - 32 = -4*g, -g - 5*o + 16 = g. Is 9 <= g?
False
Let t = 257/381 + -1/127. Let v = 1.4 - 7.4. Let x = v + 5. Is t not equal to x?
True
Let f(b) = -b + 10. Let j be f(8). Let s(t) be the first derivative of -t**4/4 + t**3 - 3*t**2/2 + 3*t - 1. Let v be s(j). Is v > 1?
False
Let g(i) be the first derivative of -i**3/3 + i**2/2 + i - 2. Let d be g(0). Let a be d*(0 - (1 - 0)). Which is smaller: a or -2?
-2
Let d = -4 - -3.9. Let z = -0.2 - d. Let j = -0.2 - z. Which is smaller: 0 or j?
j
Let l(h) = -h**2 + 8*h - 37. Let j be l(5). Is j greater than 2?
False
Suppose -4*u - 4 = -2*i - 6, 0 = 2*i - u - 4. Let h be (-2)/(-6) + (-10)/i. Let c be (3/(-3) + 2)/(-3). Is h greater than or equal to c?
False
Let q = -0.1 + 0.2. Let c = -161/246 - 1/82. Which is smaller: c or q?
c
Let l(o) = o. Let i be l(1). Let n be (-6)/4*8/(-6). Suppose 2 = 3*j + f, -j = -n*f - 2*f - 5. Is j >= i?
True
Let n be (-84)/(-22) - 10/(-55). Suppose -3*p + 4 = -n*d, 0 = -2*p + d + 4*d + 5. Is p less than -1/4?
False
Let k be 1386/121*(-2)/6. Are k and -3 equal?
False
Let a be (-2 - 41)/((-34)/314). Suppose -744 = -2*v + 50. Let k = a - v. Is k >= 1?
False
Let z be (0/(-3))/(-2) + 10. Suppose 10*f = 5*f + z. Is 3/4 less than f?
True
Let b = 92 - 44. Let d be b/210*10/(-4). Which is bigger: -2 or d?
d
Let s be ((-18)/(-2) - -2)*-1. Let v = 11 + s. Which is smaller: -2 or v?
-2
Let z be (12/(-4))/3 - -5. Is z at least as big as -5?
True
Let v = 0.07 - 0.03. Let n = v - 0.14. Is n <= 0?
True
Let l = 1/279 + -286/1953. Suppose 5*x + 1 - 16 = 0. Suppose 4*q + x = -1. Is l less than or equal to q?
False
Let a(l) = 14*l - 4 - 27*l + 0. Let j be a(4). Let u be (1 - -1) + j/22. Which is bigger: -1 or u?
u
Let d be (1/(-2))/(750/(-2012)). Let a = -1/125 + d. Let j be -20 + 22 + (2 - 4). Which is greater: j or a?
a
Let r be 1*87/27 + -2. Let z be 2/3 + (-10)/6. Let g = r + z. Which is smaller: g or -1/4?
-1/4
Let t = 253/6 - 42. Is -0.1 equal to t?
False
Let k(t) = t**2 + t - 33. Let p be k(-7). Is 9 bigger than p?
False
Suppose -4 = -x + 3*x - 2*d, -3*d = -3. Let j be 2/(-4) - 6/20. Which is smaller: x or j?
x
Let m = -10 - -5. Let n = -1 - m. Are 4 and n unequal?
False
Suppose 4*y = -y - 5. Suppose 0 = -4*w + 8, 5*w = -2*g + 6*g + 2. Suppose g*h = -h. Is y at most h?
True
Let c be (-5)/((-2090)/98) + 4/(-22). Is c <= 0?
False
Let o = -348.49 + 350. Let m = o - 1.6. Is -1 < m?
True
Suppose 4*k - 7*k = 0. Let c be (k - -2)*4/(-8). Which is greater: c or -2?
c
Let d = -8 + 8.6. Let g = d + 1.4. Are 1 and g unequal?
True
Let n = -0.031 + 0.131. Is n at most as big as 22?
True
Let y(l) = l**3 - l**2 - 3*l + 3. Let k be y(2). Suppose 16 = -4*p, -p - 6 = -r - k. Is 1/14 at most r?
True
Suppose 6 = -2*k + 16. Suppose k = -4*y + 1. Do -1 and y have the same value?
True
Let u = 0.18 + -0.08. Which is smaller: u or 0.12?
u
Let o(s) = s**3 - 4*s**2 - 4*s - 1. Let b be o(5). Let u be (-6)/(-10) + 1 + (-330)/175. Is b greater than u?
True
Let v(u) = 3*u - 4. Let x = -7 - -10. Let l be v(x). Let c be 3/l*10/15. Does 1 = c?
False
Let f be (-7)/(-98)*(1 + 9/(-15)). Is -1 <= f?
True
Let y = -94/5 + 1321/70. Is y at most -1?
False
Let j = -12 + 206/17. Let c(s) = s**2 - 8*s. Let r be c(8). Which is bigger: j or r?
j
Let s = 60 + -70. Which is smaller: -8 or s?
s
Let t = -15 - -15. Let y be t + (0 + 0 - -2). Suppose 11 = 3*j - 0*j + 2*b, -5*j + 17 = 3*b. Which is smaller: j or y?
j
Let t = -3 + 11. Let l = t + 10. Suppose 4*u - 2*b = l, u + 0*b - 1 = 4*b. Which is bigger: u or 4?
u
Let u = -21 - -62/3. Which is smaller: -2/7 or u?
u
Let w(q) = -q**3 + 3*q**2 + 2*q**3 + q - 3*q**3 + 3*q**3. Let l be w(-2). Suppose l*y + 4 = -2*y. Is y less than -1?
False
Let a be (1 - 0) + 1*8. Suppose 6*z = 3*z + a. Is 8/5 less than or equal to z?
True
Let z(k) = k**3 + 12*k**2 + 10*k - 3. Let h be z(-11). Let p = h + -5. Suppose -p*b + 4*g + 20 = b, -3*g = b + 11. Does b = 2?
False
Suppose -16 = c - 10. Suppose -5*v + 42 = a, 0*a + 3*a + 36 = 3*v. Let i = -14 + v. Which is bigger: i or c?
i
Let u = -0.089 - 27.911. Which is smaller: 0.2 or u?
u
Let i(g) = g + 2. Let w be i(12). Which is smaller: 3 or w?
3
Let f be 4/14 - 48/21. Let o be f/(-6) - (-210)/18. Suppose k + o = -3*k. Is -3 less than k?
False
Let c = -39/8 + 19/4. Which is greater: 0 or c?
0
Let s = 10 - 6. Suppose 4*m = -3*z + 2*z, 0 = -s*z + 4*m. Is z smaller than 2/3?
True
Let s(x) = 2*x**2 - 12*x + 1. Let a(u) = 3*u**2 - 23*u + 2. Let l(v) = 3*a(v) - 5*s(v). Let w = -22 + 13. Let h be l(w). Is -2 < h?
True
Let s = -80709022/545 - -148090. Let d = s + 34331/42510. Let t = -5/26 + d. Is 1 at most t?
False
Let n(b) = 3*b**2 - 10*b + 6. Let x be n(6). Suppose 4*d + x = -18. Which is bigger: -19 or d?
d
Let t = 124/385 - 2/55. Which is greater: t or -2/23?
t
Let u be (-8)/6*234/16. Let m = -20 - u. Suppose 5*c + 2 = 3*c. Which is greater: m or c?
m
Let a = -1.9 - 2.1. Which is bigger: a or -0.1?
-0.1
Suppose -7 + 2 = -5*f - 5*u, f - 5*u - 1 = 0. Let i = 463/5 - 93. Which is smaller: f or i?
i
Let a = 0.1 - 1.1. Let p = 2.2 - 6.4. Let b = -1.2 - p. Which is bigger: b or a?
b
Supp