-113)/(-8))/(g/(-2)). Let f = u - 28. Which is greater: -1 or f?
f
Let o = -2 - -4. Let g be -2*(0 - 1)/o. Let s be -1*((g - 1) + 0). Which is greater: s or -1?
s
Suppose -u = 2*u - 3. Let x be (1 - (-14)/(-16))/u. Let b be 0 - (-2)/(-1) - -2. Is x > b?
True
Let s = -5 + 7. Let t = s + 0. Suppose -2*d + 8 = -t*p, 0 = 5*p - p + 5*d - 11. Which is smaller: p or -2/5?
p
Let m(n) = n**2 - 11*n + 9. Let f be (-7 + 11)*(-5)/(-2). Let t be m(f). Which is greater: t or -2/37?
-2/37
Suppose 3*l + 0*l + 87 = -u, 2*l + 62 = -2*u. Is -28 greater than or equal to l?
True
Let z = -377 - -13948/37. Which is bigger: z or 1?
1
Let l(v) = v + 1. Let r = 1 + -4. Let z be l(r). Is -2 at most as big as z?
True
Let f = 4/1123 + 49392/5615. Which is greater: 8 or f?
f
Suppose -x - 3 = 2. Let y = 44 + -49. Is y greater than or equal to x?
True
Let w = -2 - -3. Let z be (12/(-15))/(4/(-10)). Suppose -u - z = u. Which is smaller: u or w?
u
Let v be 4/(-10) + 28/(-5). Let w = v + 12. Which is smaller: w or 5?
5
Let q be -1 + -3 - (-133)/28. Which is bigger: -2 or q?
q
Let y = -7/16 - -3/16. Is y less than or equal to -1?
False
Let z be ((-4)/3)/((-5)/45). Let o = 11 - z. Is -1 at least as big as o?
True
Suppose 0 = -s + 2*p + 1, -s = 2*s + 3*p - 3. Let h = 0.165 + -0.045. Is h less than or equal to s?
True
Suppose 0 = -n + 2*n. Let m = 1 + n. Is 1/3 <= m?
True
Suppose 0 = -6*b + 2*b. Suppose 0 = 2*z + 2*z + 4. Which is greater: z or b?
b
Let y = -8 - -12. Which is smaller: 6 or y?
y
Let g(v) = -2*v + 5. Let d be g(3). Is d > 0?
False
Let a(b) = b. Let h be a(4). Is 5 greater than h?
True
Suppose 0 = -4*h + 5*t + 19, -2*h + 3*h + 4*t + 11 = 0. Let a = 19/110 - 3/11. Which is smaller: a or h?
a
Let l = 0.018 - 2.018. Which is bigger: -0.06 or l?
-0.06
Let k be ((9 - 0) + -3)*-9. Let f be ((-12)/(-18))/((-3)/k). Is 12 > f?
False
Suppose 0*f + 8 = 2*f. Suppose f = 3*x - 7*x. Does -1 = x?
True
Let h(a) = a**3 - 7*a**2 - 12*a - 1. Let j be h(8). Which is bigger: j or 1?
1
Let o = 183 - 183. Suppose -5*a + 4 = i - 13, 4*a = 2*i + 8. Is a smaller than o?
False
Let x be (-6)/(-2) + (0 - 0). Suppose n - 2*n - x = 2*z, -5*n = -z - 18. Let g = z + 3. Which is bigger: g or 2/7?
2/7
Let u = -12 + 12. Let y = 1 + -1. Let t = y - -1. Which is smaller: u or t?
u
Let t be (-9)/(-6) + (-315)/18. Which is bigger: t or -2/11?
-2/11
Suppose -3*t + 193 = 5*o, -o + 30 + 3 = -5*t. Which is smaller: 36 or o?
36
Let n = -532847/232536 - 2/9689. Let r = 516 + -4149/8. Let p = n - r. Is p less than 0?
False
Let d = 31 - 37. Is -6 less than d?
False
Let q be (68/8*-2)/(-1). Let c = -11 + q. Which is smaller: c or 4?
4
Let n = 12 - 9. Suppose -3*i - 3 = j + 8, n*j = 2*i. Which is smaller: -7 or i?
-7
Let j be 3/(-7)*(-77)/176. Which is smaller: 1 or j?
j
Let p be (2 + 3*-1)/(-1). Let n be 1 + -1 - (-149)/45. Let l = n - 16/5. Is p at least as big as l?
True
Let p be (6 + 133/(-28))/((-2)/(-104)). Which is smaller: 66 or p?
p
Suppose 2*r + 2*r - 40 = 0. Which is smaller: 9 or r?
9
Let r be ((-3)/(-39))/(1/(-25)) + 3. Which is bigger: r or 2?
2
Suppose -2*w = -5*w. Suppose 3*b = -w*b + 12. Is b less than 4?
False
Suppose 0 = -3*c + 5*s - 195, 4*c - 4*s = c - 195. Let r be 2/(-3) + c/(-75). Let a be (-2)/4*-4 - 2. Is r <= a?
False
Let j be (-14)/(-6) + 2/(-6). Let u(d) = d**2 + d - 2*d + 1 + 0. Let t be u(1). Which is smaller: j or t?
t
Suppose -2*l = f + 2, -5*l + 4*f = -4 - 17. Are l and 4/3 unequal?
True
Let s = 2.375 + -0.075. Which is smaller: 1/2 or s?
1/2
Let u = -0.965 - 0.055. Let g = -3 + 3.02. Let a = u + g. Which is bigger: a or 5?
5
Suppose -151*i + 148*i - 27 = 0. Is -8 at least as big as i?
True
Let b = 21.73 + -22. Let z = 0.07 + b. Which is smaller: -3 or z?
-3
Let a be (1/2)/(28/(-8)). Which is smaller: -1 or a?
-1
Suppose 2*k = 3*i - 4, -4 = 3*k + k - 5*i. Let j(f) = f**3 + f**2 - 6*f + 3. Let p be j(2). Which is greater: k or p?
k
Suppose -3*f + 79 = 4*d, 9 = 2*d - 3*f - 8. Let t be (7 + -1)*d/(-6). Let q be 2 - (t/(-10) - 0). Which is smaller: q or 1?
q
Let w = -4.5 - 6.7. Let y = w - -10. Are 0 and y non-equal?
True
Let b be (-2)/6*6/(-2). Let i = -7 + b. Let g be i/(-4)*(-12)/(-18). Is 2 smaller than g?
False
Suppose -13 + 3 = -5*j. Let f be (-2)/((-16)/6 + j). Suppose -f*q = q. Do -2/3 and q have different values?
True
Let c(f) = -f + 12. Let w be c(4). Are w and 1 equal?
False
Let g = -0.5 - 2.4. Let f = g - -3. Is f at most as big as 0.1?
True
Suppose 3*p - 4*p = 4*f + 6, 3*p = -3*f - 9. Is -7/4 at least p?
True
Suppose 3 + 1 = -2*k. Let v = k - -2. Let h = -0.7 - -1. Does h = v?
False
Let c be 36/(-30)*15/6. Suppose 0 = 4*b - 4*a + 4, 5*b + 2 = -a + 3. Suppose -d + 2*z = 5, -4 = 3*d + 5*z - b. Is d less than c?
False
Suppose 4 = -0*j + j. Let g be 48/70 - j/14. Let s be (2/(-2) - -1)/(-2). Is s at most g?
True
Suppose -2*f - w = -45, -w + 6*w + 15 = 2*f. Suppose -x + 5*x = -f. Is -3 less than x?
False
Let v = 2.5 - 0. Let c = v - 0.5. Let q = 0.4 - 0.3. Which is smaller: c or q?
q
Let j = -15 + 17. Is 2 greater than j?
False
Let c(d) = -d**3 + 6*d**2 - d + 4. Let j be c(3). Let b be j/96 + 2/(-12). Which is greater: b or -2/5?
b
Let p = 67 + -75. Is -8 smaller than p?
False
Suppose -x = -k + 4*k, 0 = 3*k + 3. Let p be 22/6 + 3*(-6)/27. Is x < p?
False
Suppose 7*n + 9 = 4*n. Let h = 0 + 1. Let s = h + n. Which is bigger: -1 or s?
-1
Let i be 35/14*(-1)/4. Is 0 equal to i?
False
Let r be (9/3)/(66/(-4)). Suppose 5*s - 8 - 7 = -5*v, -3 = -v. Which is smaller: s or r?
r
Let u(c) = -c + 1. Let l be u(7). Are l and -6 nonequal?
False
Suppose -5*b = -4*b - 2. Let l be 1/(-7) + (-17)/(-21). Which is bigger: l or b?
b
Suppose 0 = -0*m + 4*m - 4. Which is bigger: 0.02 or m?
m
Let i = -3 + 2.6. Let q = -0.3 - i. Which is greater: q or -2?
q
Let l = 0 + 5. Let y be 16/3 + 2/3. Suppose 0 = z - y. Which is bigger: z or l?
z
Suppose -i - 11 = -5*q, -i + q = 4*i + 7. Suppose 0 = 2*p - 5*p. Let r be 11/10 - (p - -1). Is r smaller than i?
False
Let w = -73 + 74. Is w at most -3/29?
False
Suppose 0 = 4*y + t - 6, 2*y + 5*t = -6 + 18. Let z be 7/1 + (-4)/2. Which is smaller: z or y?
y
Let u be (-18)/(-12) + (-10)/4. Which is bigger: u or -2/39?
-2/39
Let c be 4/5*2*95/551. Are 0 and c nonequal?
True
Let i = 14 + -17.2. Let h = i - -3. Is h at least 1?
False
Let q = 43/228 + -1/12. Which is greater: -1 or q?
q
Let s(g) be the first derivative of -g**2/2 + 5*g + 1. Let h be s(6). Let z be (h - 1)*2/(-6). Which is smaller: z or -1/4?
-1/4
Suppose 2*a + 9 = -a. Is a not equal to -5?
True
Let a = -9269/2110 + -3/422. Is a != -5?
True
Let f = -146 - -18. Let b be f/264 - 4/22. Let q(m) = -m - 2. Let i be q(-2). Which is smaller: i or b?
b
Let r be (-2)/9 + (-58)/(-18). Suppose 2*b + 1 = r*b. Let f be (b - 2)/(2/6). Which is greater: f or -0.1?
-0.1
Let l(m) = 3*m + 21. Let p be l(-10). Which is smaller: p or -7?
p
Suppose 7*b - 3*b + 20 = 0. Let r(s) be the second derivative of -s**4/3 - s**3/6 + 2*s. Let j be r(1). Is j greater than b?
False
Let x be (8/(-10))/(2/5). Let d(q) = q**3 - 4*q**2 + 4*q - 4. Let l be (-17)/(-5) - 4/10. Let t be d(l). Is t bigger than x?
True
Let q = 0.25 - 0.05. Let m = 0.3 - 0.1. Let w = m + -0.3. Which is smaller: w or q?
w
Let d(p) = -p**3 + 6*p**2 + 9*p - 1. Let j be d(7). Is -0.2 bigger than j?
False
Let l = 4 - 2. Let b be 2*(-1)/(l/(-3)). Do 3 and b have different values?
False
Suppose 5*k + 10 = 0, -2*z - 27 = -7*z - 4*k. Is 5 bigger than z?
False
Let k(a) = a**3 + 5*a**2 + 2*a - 2. Let w be k(-4). Let s be (-2)/w + 51/99. Suppose -3*r + 3*p - 9 = 6*p, -3 = p. Is s less than r?
False
Let t(y) = -7*y - 5. Let k(b) = 20*b + 15. Let w(z) = 6*k(z) + 17*t(z). Suppose 3 = p + 8. Let a be w(p). Which is smaller: a or 1/4?
a
Let q be (30/(-8))/(-5)*8. Suppose -2*p = 3*p - 50. Let d = q - p. Which is bigger: -5 or d?
d
Let f = -16 - -20. Suppose 4 = -f*p, g - 2*p + 0 = 2. Is 2 less than g?
False
Suppose 0 = 3*u - 5*c - 22, -4*u - 5*c + 6 = -0*c. Suppose -4 = -u*i - 0. Which is bigger: i or -3/7?
i
Let z be 2/12 + (-4)/18. Which is smaller: -1 or z?
-1
Suppose -5*c = -0*c + 305. Let q = c - -241/4. Let v = 129 + -130. Which is smaller: q or v?
v
Let v(z) be the first derivative of -z**3/3 - 2*z**2 - 4*z - 2. Let m be 2/(-8) - (-11)/(-4). Let q be v(m). Which is bigger: q