*i. Is 2/7 equal to i?
False
Suppose -3*l + 35 = 2*l. Suppose -2*q = -h + l - 1, 0 = h + q. Let z = 3 - 5. Is h >= z?
True
Let m = -4 - -3. Let d = -58 - -288/5. Do m and d have the same value?
False
Let l = 15 - 10. Which is smaller: l or -1?
-1
Let b(v) = 4*v**2 - v + 3. Let k(g) = 2*g**2 + 1. Let o(z) = -2*b(z) + 5*k(z). Let c be o(-2). Suppose c*x = -x. Is 0 != x?
False
Let l = 9 - 0. Suppose 3*c + 1 = k, -c + l = -k - 3*c. Let b be (-3)/k - (-6)/(-110). Is 1 >= b?
True
Let y(r) = r**3 - 12*r**2 + 10*r + 17. Let z be y(11). Suppose 2*n = -f + 4*n, 0 = 5*f + 5*n - 60. Suppose -2*m = -h - 3*h - 28, 4*m + 4*h - f = 0. Is z < m?
False
Let r = 0 + 1. Let a = 194 + -197. Is r equal to a?
False
Let w be 4/10 + (-165)/(-25). Let z = w + -1. Is z <= 7?
True
Let m = 4 - 3.97. Let c = 0.05 - m. Let f = c + -0.22. Which is bigger: f or -1?
f
Let w = 476 - 8096/17. Which is bigger: 0 or w?
0
Let f be (15 + -14)*2/1. Which is smaller: f or 12/11?
12/11
Let x(j) = -j**3 - j**2 + 3*j + 3. Let d be x(-2). Let h be (-8)/5 - (1 + -3). Is h greater than d?
False
Let g be (-2 + 2 - 2)/((-32)/16). Which is bigger: 2 or g?
2
Let f = 9734/59 + -165. Is 1 less than or equal to f?
False
Let h = 0.3 - 1.3. Let o = -9.1 + 9.07. Which is smaller: h or o?
h
Let b be 10 - (1 + 3 + -1). Suppose -4*y - b - 17 = 0. Which is bigger: 0 or y?
0
Let d = 8 - 7.7. Let u = d + -0.4. Let q = 1.1 - 1. Which is smaller: q or u?
u
Let j = -0.05 - 0.05. Let g = 0.2 - j. Are -1 and g non-equal?
True
Suppose -5*u - 2*x + 17 = 90, 27 = -3*u + 3*x. Suppose 24 = -4*s - 24. Which is smaller: u or s?
u
Let v = 4 - 3.92. Let n = 0.28 - v. Is n >= 2/9?
False
Let l(p) = -p + 5. Let u be l(0). Let t(r) be the second derivative of -r**5/20 + r**4/3 + 2*r**3/3 + 7*r**2/2 + 4*r. Let a be t(u). Which is greater: 3 or a?
3
Suppose -4*t - 3*d - 10 = 0, -4*d - 14 = 4*t + d. Which is greater: t or 0.1?
0.1
Suppose 0 = 2*s + 1 + 5, -s - 3 = -5*i. Let x(h) = -2*h**2 - 39*h - 19. Let y be x(-19). Do i and y have different values?
False
Let a(m) = 137*m**2 + m - 1. Let n be a(1). Let d = 545/4 - n. Let k(t) = -t + 2. Let f be k(2). Is d greater than or equal to f?
False
Let q = -1351/19 + 71. Let u = 359 + -359. Which is smaller: q or u?
q
Let j = -0.1 - 0. Let a = -11 - -6. Let z = a + 3. Are j and z non-equal?
True
Suppose -4*m + 29 = 5*s, 2*s + 26 = 5*m - 2*s. Let f(k) = k**2 - 6*k. Let c be f(m). Let y be (-5)/12*8/(-20). Which is smaller: c or y?
c
Suppose -3*x + 0 = 6. Let s = x - 2. Is s less than -2?
True
Let h = 6 - 1. Suppose -4*s - h = s. Let z = -2/139 + -256/1529. Is s equal to z?
False
Let b be (-1)/(26/28 + -1). Suppose 3*z + 5*l = -0*z + b, -l = -4. Suppose k - 5*k - p = 7, -2*k + 4 = 2*p. Are k and z equal?
False
Suppose -w + 3*w - 2 = 0. Which is greater: w or -1?
w
Let u = -1487/198 - -1/99. Which is bigger: -7 or u?
-7
Let l = -4 + 3. Let z = -2 - l. Let f = 1.1 + z. Is f smaller than 0.1?
False
Let q = -1 + 8. Let f = -3 + 9. Which is smaller: q or f?
f
Let s = -3 + 12. Is s >= 9?
True
Let r = -20 - -14. Let k(c) = c**3 + 5*c**2 - 7*c - 2. Let j be k(r). Suppose -3*l + y = 18, -2*y = -j*l + l - 21. Which is smaller: -6 or l?
-6
Let s be 24/9*(1 + 32). Let g be 2/(-8)*s/(-55). Which is smaller: g or -0.1?
-0.1
Let m be (-2)/((-24)/(-10)) - 0. Let o = -1/6 - m. Suppose 0 = 4*g - 0 + 8. Is o at least as big as g?
True
Let g(q) be the first derivative of 7*q + 1/2*q**2 + 1. Let r be g(-5). Is r > 1?
True
Let m = -43 - -27. Is -18 at most m?
True
Let g be -1 - (3 + (-1 - 1)). Let b be 15/(-13) + (-1 - g). Which is smaller: b or 1?
b
Suppose -3*c = 3 - 0, -2*c - 16 = -2*r. Suppose r*f + 20 = 3*f. Which is smaller: f or -2?
f
Let s be 20/6*396/(-30) - -2. Which is smaller: s or -41?
s
Let g(u) = -u**2 - 6*u + 2. Let k be g(-6). Let b(n) = n**3 - n**2 - 4*n + 3. Let j be b(k). Is 1/4 smaller than j?
False
Let f be ((-2 - -4) + -2)/1. Let g be ((-1)/3 - 0)/1. Which is smaller: f or g?
g
Suppose -2 + 12 = -n. Let o be n/(-24)*(-3)/10. Let s = 4 + -5. Which is smaller: s or o?
s
Let f = 0.1 + -2.8. Let h = f - -3. Let m(s) = s - 8. Let p be m(7). Which is greater: p or h?
h
Let q = 25 - 25. Is 3 <= q?
False
Suppose -n + 4 = -2. Is n at most as big as 6?
True
Suppose 5*o - 10 = 0, -5*o + 15 = -3*j - 2*j. Let v = 3 + -9. Let y = 3 + v. Is j > y?
True
Suppose -47*x + 8 = -48*x. Is x < -66/7?
False
Let h = 1.27 + -0.27. Is h <= 29?
True
Let b be 4/(-10) - 48/5. Let u = 9 + b. Does -2 = u?
False
Let h(y) = y**2 - 14*y - 12. Let v be h(15). Let w(j) = -j**2 + 6*j - 4. Let k be w(v). Is 2 at least k?
False
Let h = 0.52 + -1. Let s = 0.4 + h. Which is greater: 2/7 or s?
2/7
Let x(b) = -4*b - 12. Let h be x(-4). Let c = 8/9 + 29/18. Is c at least h?
False
Let j = 91 - 92. Let x = 4060/11 + -15385/77. Let v = -169 + x. Which is smaller: j or v?
j
Suppose -b = -4*d + 44 + 48, -5*b - 86 = -3*d. Is 5 at least d?
False
Let v = -0.1 - 0. Let s = 0 + v. Let b = 157/3 + -53. Is b smaller than s?
True
Let o be (2 - 2) + (-1)/6. Let g = 1.57 + -0.57. Which is smaller: g or o?
o
Let q(y) = 2*y - 2*y**2 + 5*y**2 - 2*y**2 - 1. Let s be q(-3). Let z(i) = i + 1. Let g be z(0). Is s < g?
False
Let h = 1/653 - -6521/5877. Let v = -11 - -13. Which is smaller: h or v?
h
Let z be (-1189)/1272 + 5/15. Let p = 12/53 + z. Suppose 0 = -r + 2, 4*w + 0*r + 8 = 2*r. Which is greater: p or w?
p
Let v be (1/9)/(12/(-9) - -1). Which is smaller: v or 27?
v
Suppose 3*z + 2 = n + 9, -45 = -5*n - z. Let o = n + -26/3. Is 1 greater than o?
True
Let s = -0.03 + -0.07. Let c = -4.02 - -0.02. Let m = 3 + c. Which is greater: m or s?
s
Let a = 0.45 - 0.35. Is 0.4 less than a?
False
Let u(x) = x**3 + x**2 - x + 1. Let i be u(2). Is i less than or equal to 10?
False
Let d = -12 + 12.1. Let t = d - -0.1. Is 0.2 less than or equal to t?
True
Let t be (-420)/(-18) + (-1)/3. Let w = t - 22. Which is smaller: w or 1.1?
w
Let l(s) = -11*s**3 + s**2 - 2*s + 1. Let a be l(1). Let m = -2 - -1.9. Which is smaller: a or m?
a
Let l = 24 - 34. Let w = l - -9. Which is greater: w or 0.02?
0.02
Let n = 218255/20043 - 1/2227. Is 11 at most n?
False
Suppose 5*o = -8 + 3. Which is smaller: -2/19 or o?
o
Let i be 266/67 - 20/5. Let n = i + 140/201. Are 6 and n nonequal?
True
Let y = 1/27 + -32/135. Let q = 22 - 18. Suppose -3*u - 15 = -q*x, 2*x = -4*u + 2*u + 4. Is y at least u?
True
Let o = 5 - 3. Let p = o + -2. Is p bigger than -3/5?
True
Let n(j) = -j**2 - 4*j - 3. Let r be n(-3). Let y = r + -1. Which is smaller: y or -3/2?
-3/2
Let v be (-2)/(-8) + 111/(-12). Let x be 1 + -1 + v/30. Is -1 less than x?
True
Let t = -288 - -289.99. Let a = t + 0.01. Suppose -2 = -3*g - 5*s, 0*g - g + 5*s - 6 = 0. Which is smaller: a or g?
g
Let c = -34/3 - -11. Let i(p) = -p**2 + 7*p - 6. Let g be i(5). Suppose 3*a + 5 = -t, -2*t + 3*a + 4 = -g. Which is smaller: t or c?
c
Let f be (2/(-7))/2 + (-31)/(-266). Which is bigger: f or 1?
1
Suppose -2*t = -2*d + 2, 4*d - 36 = t - 5*t. Is d not equal to 6?
True
Let i(n) = 5*n**3 + 1. Let r be i(-1). Let h = r + 9. Is 4 >= h?
False
Let p = 487/385 + -5/77. Is p > 0?
True
Let g = -11 + 10. Suppose -r - 4*m = -3 - 7, 4*r = -5*m + 7. Is r greater than g?
False
Let x(v) = 2*v + 5*v**2 + 1 - 2 - 2*v**2. Let i be x(1). Suppose 2*h = i*k + 4 + 2, 10 = -5*k. Which is smaller: 2/9 or h?
h
Let o = 947.97 + -941. Let a = o - -0.03. Let w = -7.1 + a. Which is bigger: w or -0.3?
w
Suppose -2*i = -0*i + 14. Is i >= -7?
True
Suppose 5*g = -2*i + 2 + 19, -2*i - 3*g + 15 = 0. Which is smaller: 4 or i?
i
Suppose 0*y - 4*y + 12 = -2*b, -5*y - 7 = 3*b. Let k(m) = m**2 - 6*m + 3. Let u be k(4). Let d(n) = -n**3 - 4*n**2 + 5*n + 1. Let s be d(u). Is y >= s?
True
Let h be (-2)/(-14) - (-3)/(-21). Which is smaller: 2/37 or h?
h
Let u be 2/((-22)/(-7) - 3). Let i be 20/u + 1 + -3. Which is smaller: -1 or i?
-1
Let q be (18/12)/((-2)/(-4)). Which is bigger: q or 2?
q
Suppose 5*c = -r + 27, r + 4*c - 9 = 14. Is 7 smaller than r?
False
Suppose -3*m + 5*p = 10*p + 25, -3*p - 15 = 3*m. Let b = -110 - -877/8. Which is bigger: m or b?
m
Let x = 11 + -11. Is x equal to -2/11?
False
Let w = -28 + 36. Which is bigger: -1 or w?
w
Let j = 3.04 + -3. Let z = 26.86 + -27. Let c = j + z. Which is smaller: 1/4 or c?
c
Suppose 6*a + 17 = -55. Is a >= -4?
False
Let l(p) = 