ich is greater: 5 or s?
5
Let f be ((-2)/7)/(-1) - 33/140. Are f and 0 non-equal?
True
Let i = 22 + -14. Let g be (i/(-42))/((-2)/6). Which is bigger: g or 1?
1
Suppose 5*g - 4 = 1. Let n = -3 - 2. Is n at least as big as g?
False
Suppose 2 - 4 = -b, 5*n - 5*b - 5 = 0. Which is greater: n or 28/9?
28/9
Let z = 20 + -19.8. Is -5 greater than z?
False
Let u = 119.9 + -114. Let v = -9 + 15. Let d = v - u. Which is bigger: d or 2/9?
2/9
Suppose -o + 5 = -0. Which is greater: o or 46/9?
46/9
Let u = 5 + -2. Let h be -1 - (-5)/u - 0. Is h equal to 1?
False
Let y be (2 + -2)/((-15)/(-5)). Which is bigger: y or -8?
y
Let l = -5.9 + 11. Let c = l - 5. Is c >= -0.01?
True
Let k be (-10)/(-40) - (-410)/(-8). Let w be -2 - (k/21)/1. Is w <= -1?
False
Let c = 15 + -13. Which is bigger: c or 6?
6
Let g(m) = m**2 - 2*m + 2. Let a be g(3). Let q = 3 - a. Is q > -6/7?
False
Let n be 5/(-20) + 1/4. Let a be (24/(-10))/((-6)/(-148)). Let j = -59 - a. Which is greater: j or n?
j
Suppose -2*y - 40 = 8. Let a be (-4)/6 - (-8)/y. Let s = 1 - 3. Which is smaller: s or a?
s
Let y = -13.72 + -1.18. Let h = y + 15. Which is greater: 0.7 or h?
0.7
Let y(z) be the first derivative of 0*z - 1/3*z**3 + 1/2*z**2 + 1. Let u be y(1). Is 3/4 greater than u?
True
Let l(p) = p**3 - p**2 - 7. Let f be l(3). Is f greater than 12?
False
Let n be (-3)/(-15) + (-2)/10. Suppose s = 2*v + 2*s, n = -3*v - 3*s. Is -1/4 != v?
True
Let r(d) = -d**3 - 3*d**2 - 4*d - 7. Let l be r(-3). Do l and 26/7 have different values?
True
Suppose h + 3*h = 4. Let f(g) = g + 5. Let m be f(7). Suppose 4*x - x - m = 3*k, 5*k - 3*x + 10 = 0. Is h smaller than k?
False
Let d be (0/1)/(-2 + 0). Let n = -0.01 - -1.01. Which is bigger: n or d?
n
Let o be (-1)/6*(-18)/10. Let k(j) = 2*j - 4. Let z be k(6). Suppose -2*v - 5*h - 23 = 0, 0*v = -3*v + h + z. Do o and v have different values?
True
Suppose 4*h + 48 = 4*d, -2*d + 37 - 9 = -3*h. Is d smaller than 9?
True
Let q = 14 - 15. Which is smaller: -5 or q?
-5
Let n be 0/(-1) - 1198/8. Let f = -149 - n. Is 2 bigger than f?
True
Suppose -24 = -5*s + 1. Suppose -m + 4*m = f - 4, -s*m - 8 = -3*f. Which is smaller: -2 or f?
-2
Let m = 0.68 + -0.08. Let g = -0.1 + m. Let d = 0.4 - g. Is 3 greater than or equal to d?
True
Suppose 0 = 5*c + 14 + 11. Are c and -5 non-equal?
False
Let q(p) = p**2 - 12*p - 8. Let w be q(12). Let g(j) = 5*j + 5. Let x(c) = 11*c + 9. Let v(i) = -9*g(i) + 4*x(i). Let r be v(w). Is 0 < r?
False
Let u(v) = v**2 + 3*v - 5. Let k be u(-4). Let s(a) = -4*a - 9. Let y(g) = 7*g + 17. Let o(j) = -5*s(j) - 3*y(j). Let p be o(-7). Is p at least k?
True
Let q(l) = -l**3 + 3*l**2 + 5*l - 1. Let v be q(4). Suppose -8*g = -3*g. Suppose i - 2*i + v*d - 8 = 0, g = 4*i + 5*d - 19. Which is bigger: i or 0?
i
Suppose -14*j + 7*j = 98. Which is greater: j or -13?
-13
Let q = -9.04 + 0.04. Let s = q - -7. Is s greater than or equal to -1?
False
Let z = -0.03 + -5.97. Let l = z + 4. Which is greater: l or 0.1?
0.1
Let m be (14/3 - 4)*(-117)/(-6). Is m at most as big as 11?
False
Let u be (-1 + 4 + -3)/(-1). Let z = -39/5 - -8. Is u > z?
False
Let a be (-3)/12*-4*-1. Which is smaller: a or 1/27?
a
Let s be ((-1)/(-3))/((-3)/(-18)). Let k = -0.32 + 0.12. Is s at most as big as k?
False
Suppose 3*i - j = -15, 18 = -4*i + 4*j - 2*j. Are -7 and i non-equal?
True
Suppose 3*c = 6*c + 3. Is c equal to -2?
False
Let p = 7 + 4. Is 9 smaller than p?
True
Let s = 0.2 - 0. Let r be (-8)/(-45) + (-4)/10. Are r and s equal?
False
Suppose f - 2*f - 1 = 0. Which is smaller: 2/41 or f?
f
Let y = 4/41 + 103/205. Which is smaller: y or 2?
y
Let o(w) = -w**2 - 6*w + 5. Let j be o(-6). Suppose 5*p = 5*h + 40, -28 - 7 = j*h - 4*p. Suppose 4*q + 12 = -0*q. Do q and h have different values?
False
Let x be 0/6 + (-1 - 4/(-2)). Is 2/31 greater than or equal to x?
False
Suppose 0 + 1 = x. Let s be (4/18)/(2/(-78)). Let g = -179/21 - s. Is x bigger than g?
True
Let q be -1*(-1)/(-3)*-15. Suppose 5 = -q*t - 10. Let d(s) = s**2 - 7*s + 6. Let l be d(5). Is l smaller than t?
True
Let a(v) = v + 2. Let c be a(-2). Suppose c*j = -4*j. Is j less than or equal to -1/5?
False
Let v = -1 + -1. Is 1 smaller than v?
False
Let i = 149 - 3723/25. Let v = i - 0. Which is bigger: v or -1?
v
Let x be 33/(-44) - 218/8. Let j = 37 + x. Is 1 less than j?
True
Let w(y) = -y**3 - 4*y**2 - 2*y + 3. Let a be w(-3). Suppose a = -4*g + 9 + 3. Suppose -2*u + 0*z + g*z - 29 = 0, -2*u = -2*z + 24. Which is bigger: -6 or u?
-6
Let d be (18/15)/(1/5). Let h(t) = -t**3 + 3*t**2 + 5*t. Let j be h(4). Suppose d + 6 = -j*x. Does -3 = x?
True
Let y be (((-30)/(-36))/5)/((-1)/4). Which is smaller: y or -1?
-1
Suppose -14 = j + 5*h, -3*j - h = -7*j + 28. Suppose l - 10 = j*l + 3*f, -f = l + 4. Let u be (-2)/((-4)/((-8)/22)). Which is bigger: u or l?
l
Let g = 5 + -6. Are g and -1/3 equal?
False
Let w = 1202 + -1191. Let x be 1 + 1/(-1) - -12. Which is bigger: w or x?
x
Let o(b) = -2*b - 3. Let n be o(-2). Let c = -1 + 2. Is c smaller than n?
False
Let z = -0.06 + 0.16. Are z and 15 non-equal?
True
Let k = 33/532 - 1/28. Are 1 and k unequal?
True
Let k = 0.09 - 0.16. Let v = 2.93 - k. Is v less than 1/4?
False
Suppose 5*r = 2*u + 17, -5*u = 3*r - 4 - 0. Let a(h) = -h**2 + 14*h + 52. Let g be a(17). Is r at least g?
True
Let p(y) = -y**2 - 4*y + 17. Let b be p(-8). Is b <= -15?
True
Let c(g) = -g**3 - 6*g**2 - g - 7. Let v be c(-6). Let y(o) = -o**3 + 5*o**2 + 2*o - 7. Let u be y(5). Let w be -2*u/210*2. Which is smaller: w or v?
v
Let g = 1.68 + 0.12. Let w = 1.9 - g. Is w >= -0.08?
True
Let l = -47 + 24. Let v be (l/(-3))/(8/6). Let t = v - 6. Is -1/2 <= t?
True
Let m = -4 + 3. Which is smaller: 1/6 or m?
m
Let j(m) = m**3 + 6*m**2 - 7*m - 14. Let t be j(-7). Suppose 5*z + 32 + 38 = 0. Do t and z have the same value?
True
Let t be 3/(-3) - (-52)/56. Does -1 = t?
False
Suppose 0 = -i - 1 + 4. Let y be ((-1)/(-2))/(3/(-2)). Which is bigger: y or i?
i
Let x be 2 + ((-102)/4 - 2). Let i = -26 - x. Do 0 and i have the same value?
False
Let j(v) = -2*v - 6. Let h be j(-5). Is h not equal to 13/3?
True
Let d be (-490)/12*(-2)/(-40). Let x = -18/109 - -1779/872. Let b = x + d. Which is smaller: b or 0?
b
Let p be (-282)/105 + 3 - 0. Let v = p - 4/35. Is v not equal to 1/3?
True
Let o be 1 + (8*-1 - -1). Which is bigger: o or -5?
-5
Let k = 6 + -12. Let z be ((-2)/3)/(1/k). Let a be (-87)/(-30) - 2/5. Is z greater than a?
True
Let v = -36490/31 + 1177. Let k = v + 58/279. Which is greater: 1 or k?
1
Let a(i) = -i**3 + 9*i**2 - 7*i - 4. Let x be a(8). Which is bigger: -1 or x?
x
Let z be 4101/420 - 6/(-21). Let s = 41/4 - z. Suppose -3 = -4*g + 1. Which is bigger: s or g?
g
Let w = -1 - -1.1. Let x = 18.1 + -19. Let a = w - x. Which is greater: a or -4?
a
Let a = -115/6 + 19. Let o be (-3 + 32/12)*-3. Is o at most as big as a?
False
Let f = -5 + 4. Let u be f/1*(-6)/(-58). Let l = u - -79/203. Which is smaller: l or 0?
0
Let k be (-381)/(-99) - (-10)/(-55). Is k at least as big as 1?
True
Let y be (114/12)/((-2)/4). Does 2 = y?
False
Let b be (-84)/(-30) - 1/(-5). Suppose 11 - 2 = -b*j. Is -2 equal to j?
False
Let p be 6/14 + 148/(-476). Which is bigger: p or -0.3?
p
Let j be (1 - -1)/2 + -2. Let z be 4/(-2 + 1 + 0). Let g be z/12 - 2/(-6). Which is greater: g or j?
g
Let g be -44 - -4*2/4. Let h be (7/g)/((-2)/(-8)). Let w = 1.94 + 0.06. Is h equal to w?
False
Let f(a) = -a**2 + 11*a - 9. Let y be f(10). Which is smaller: y or 0?
0
Let d be 42/(-8) + (-9)/12. Which is smaller: -4/7 or d?
d
Let c = 58 - 56. Let t = 5 - 3. Suppose -4*v + 13 = t*r - 9, 12 = 3*v. Which is smaller: r or c?
c
Let i = -17 - -7. Let y(d) = d + 14. Let l be y(i). Is 5/2 > l?
False
Let i = -10.948 - -11. Which is smaller: i or 0.1?
i
Let b = 1.94 + -2. Let x = b - -3.06. Which is smaller: x or -1/5?
-1/5
Let p(h) = -h**2 - 21*h - 26. Let z be p(-18). Which is bigger: z or 27?
z
Let u(b) = 3*b + 3. Let a be u(-2). Let p be 2/6 + (-2)/a. Let s = p - -1. Which is smaller: -1 or s?
-1
Let t be 8 + -8 + (1 - -1 - 2). Is t bigger than -1/105?
True
Let p(l) = -l**2 + 6*l - 2. Suppose 0*h + m = h - 5, 2*m = -3*h. Suppose h*v + 15 = u, 3*u = -2*v - v. Let i be p(u). Which is smaller: 7/3 or i?
7/3
Let c be -1 + -4*(-1)/1. Let r(j) = -7*j - 1. Let b be r(-1). Let i be (