et o be 2/(-7) + (-8)/(-28). Suppose a + 2*r = -o*r - 10, 5*r + 24 = -2*a. Which is smaller: i or a?
a
Let c be ((-8)/16)/(2/4). Which is greater: -2/5 or c?
-2/5
Let r = 1993/6 + -333. Is r less than -1?
False
Let a = 1384/7 + -198. Which is bigger: -1/5 or a?
-1/5
Let o be 2 - ((-129)/(-33) - 2). Which is smaller: -1 or o?
-1
Let f be -2 + -1 + -1 - (-3619)/903. Which is smaller: -1 or f?
-1
Suppose -4*y = 5*d + 3, y + 3*d = d. Suppose -1 + 4 = -r, 3*q - r + 18 = 0. Let w = -9 - q. Do y and w have the same value?
True
Let g = -9 - -9. Let j be 6/(-4)*4/(-6). Which is greater: g or j?
j
Let h = -1/204 - -413/1020. Is 0.1 greater than h?
False
Let g(n) = -n - 6. Suppose -2*s - t - 6 = 0, -4*s - 5 = -3*t + 27. Let y be g(s). Is y at least as big as -2/15?
False
Suppose -3*b - 4*a - 4 = 0, 5*b + 2*a = b - 2. Let l(y) = -y**3 - y**2 + 1. Let k be l(b). Let s be 2*1*k/(-2). Which is bigger: s or -1/2?
-1/2
Suppose -5*f = -15, 4*n + f = 4*f - 13. Let i = 301/4 - 75. Is i smaller than n?
False
Let f(g) = -g**2 + g + 1. Let l be f(0). Suppose 2*h + 4*x - l - 23 = 0, -10 = -2*x. Let s be 20/(-24) - h/12. Is -4/3 greater than s?
False
Suppose -2*d + 13 = -5*l, 2*l = 6*d - 2*d - 18. Suppose d = 4*h - 2*h. Let y = -4 - -3. Is h equal to y?
False
Let j(k) = -k + 10. Let l be j(6). Suppose -4 = l*g - 6*g. Suppose b = -g + 3. Is b <= -1/4?
False
Let d = -5 - -3. Let l be d/(-40) - 8/32. Which is greater: 2/9 or l?
2/9
Suppose -23 = r - 5*r + 5*i, i + 1 = -r. Which is greater: r or 4?
4
Let f = 1828/171 - 82/9. Let q = f + -188/95. Is q < 0?
True
Suppose j = 5*j + 8. Let o be j/(-3) + 6/18. Which is greater: o or 1/4?
o
Let s = -27/13 + 25/13. Let n = 18 - 14. Let c be 4 + -6 + n - 2. Is c > s?
True
Let o be 2 - (1 - (-2)/(-2)). Let q be (4 - 1) + o/(-1). Let i(j) = -j + 6. Let x be i(4). Is x at least as big as q?
True
Let m(s) = -s - 3. Let t be m(0). Let a be (1 - 1)/(1 + t). Is a > -3/5?
True
Let l = 11.06 - 11. Let d = l - 0.06. Is -0.2 at most as big as d?
True
Let c = 2 + -9. Is c at most as big as -7?
True
Let r = 15 - 11. Let j be ((-3)/(-2))/(6/r). Let s be (15/(-12) + j)/1. Are s and -2/3 nonequal?
True
Let v = -38.3 + 38. Which is greater: 1/12 or v?
1/12
Let k = -0.2 - 0.1. Let x(j) = -j**2 - j + 2. Let h be x(-3). Let f be (-2)/6 - h/(-60). Is k > f?
True
Let j be ((-15)/10)/((-3)/2). Let g(m) = -m**3 - 2*m**2 + m - 3. Let r be g(-3). Suppose 7 = 2*x + r. Is j at least x?
False
Let b be (6/18)/(1/(-3)). Let q be -1 + (-2 - -2 - b). Let k be ((-2)/10)/(8/(-10)). Is k >= q?
True
Let k be 8/(-6)*(-18)/4. Let s be -1*(-2 + 1) + (2 - -2). Which is smaller: s or k?
s
Let l = 30 + -92/3. Let i(b) = -b**2 + 7*b - 2. Let p be i(6). Suppose 2*r = j - 9, 8*j + r = p*j - 9. Is l >= j?
True
Suppose -4*q - 12 = -0*q. Let d(c) = 17*c - 26. Let z be d(2). Let x = z + q. Is 4 smaller than x?
True
Suppose d - 6*d = 0. Suppose j = 4*x + 7, 4*x + d = 3*j - 5. Let p be (-2 - -2)/(2*-1). Which is bigger: x or p?
p
Suppose 0*g = g - 3. Suppose o = g*o. Which is smaller: o or -1/7?
-1/7
Let t = 50.9 + -51. Let a = -1 - -5. Is t less than or equal to a?
True
Let i(v) = -3*v**2 + 4*v - 2. Let x be i(2). Let j = -8 - x. Is j smaller than -2?
False
Let t be 2193/(-135) + 1/(-3). Let m = -84/5 - t. Is -1 at most m?
True
Let h(n) = 3*n - 12. Let v be h(4). Which is smaller: 4 or v?
v
Suppose -2*k - 36 = 4*k. Which is smaller: -7 or k?
-7
Let b = 47 - 47. Suppose 0 = 3*r - 4*y - 23, 4*y - 44 = -5*r + 5*y. Let j be (-5)/r - 3/(-9). Which is smaller: b or j?
j
Let y be (2 - 0) + 25/(-1). Let u be (-6)/9 + y/(-21). Are 1/4 and u unequal?
True
Let a = 583 + -44890/77. Is 0 not equal to a?
True
Let o = 109 + -83. Which is smaller: 1/4 or o?
1/4
Let n = 8 + -8. Suppose n = 3*k + k. Let d = 1/41 - -159/205. Are d and k equal?
False
Suppose -8*s = -2*o - 5*s + 11, 0 = -2*o + 5*s + 17. Suppose -5*k + k - 20 = 0. Which is smaller: o or k?
k
Suppose -5*m - a + 10 = 2*a, 8 = 4*m + 3*a. Let x be (-22)/(-28) + 6/(-21). Which is smaller: x or m?
x
Let q(w) = w**3 - 11*w**2 + 10*w + 12. Let p be q(10). Which is smaller: p or 10?
10
Let n = -0.024 + -0.176. Which is bigger: -0.05 or n?
-0.05
Let n(u) = -u - 3. Let p be n(-7). Suppose -t = 3*q + 3, -p*q + 5*t = 2*t - 9. Is 1 at most as big as q?
False
Suppose -3*t + 110 - 38 = 0. Let j be (t/(-20) - -2)/(-2). Suppose u + 3*u + 4 = 0. Which is smaller: j or u?
u
Suppose -2*n + 29 = -5*l, n = -n + 4. Let a = l + 5. Which is smaller: -2 or a?
-2
Suppose 4*o - 10 = -2*k, 3*k - 1 = 6*k - 2*o. Is 1/16 <= k?
True
Let p = 22/9 - 92/45. Let d = 8 - 14. Let q = -4 - d. Is p at least q?
False
Suppose m - 3 + 28 = -4*l, -l = -4*m - 15. Suppose 0 = 2*r - 0 - 4. Suppose q = -3*j + 6 - 20, 0 = -r*j + 3*q - 24. Is l smaller than j?
False
Let d be 10/8 - (-1)/(-4). Suppose -4*t + 5*t = -d. Let a be t/(-4) + 3/4. Do a and -3/7 have different values?
True
Let o = 4 + -5. Let b be o/2*-1*4. Let l = 1 + 0. Is b bigger than l?
True
Let l = 20/11 + -1589/880. Is 0 smaller than l?
True
Let t be ((-9)/15)/((-2)/10). Suppose 4*c = -4*m, -m - 4*c + 3 = -t. Let u(y) = -y - 4. Let r be u(-3). Is r != m?
True
Let q(n) = 21*n**2 - 7 - 22*n**2 - 2*n - 6*n. Let y be q(-5). Is y smaller than 6?
False
Let a be 2/(-8) + 3/(-6). Suppose -5*z = 15, 3*q - 5*z + 10*z + 9 = 0. Suppose 0 = -4*x + q*x. Which is bigger: a or x?
x
Suppose -2*u + 7*u = -35. Let l be 6/12*(-1 - 17) + 3. Which is bigger: l or u?
l
Let i = 1 - 4. Let o be 3/5 - (-2)/5. Is o bigger than i?
True
Suppose -2*l + m - 53 = 0, -4*l - m = -6*m + 91. Is -29 greater than l?
False
Let r be 2/11*21/(-14). Which is greater: 0 or r?
0
Let k = 3 + -6. Let b = -30 + 29.9. Is b less than k?
False
Let s be 137/5 - 24/60. Let n be 9/s + (-2)/9. Which is bigger: 0 or n?
n
Let u = -3 + 0. Let w = u - -3. Which is greater: w or 4?
4
Let i = -0.9 - -1. Let x be (1 - -1 - 1)*-1. Let z be (1 - x/3) + -2. Which is greater: i or z?
i
Suppose -3*d + 2 = -2*i - 2*d, 12 = 3*d. Which is smaller: i or -1/12?
-1/12
Let r be ((-32)/36 - -1)*-1247. Let f = 139 + r. Let k(b) = -2*b + 1. Let o be k(1). Do o and f have different values?
True
Suppose 2*g = -c + 13, -3*c + 1 = -14. Let r be (-6)/(-12)*g/29. Is -1 greater than r?
False
Suppose -4*f - 23 + 7 = 0. Let b be ((-3)/2)/((-9)/12). Suppose -y = -5, r = -r - b*y + 4. Which is greater: r or f?
r
Let c = 0.7 - 0.2. Let l = c + 0.5. Is 0.06 greater than or equal to l?
False
Let o(t) = -t**3 - t**2 - t + 3. Let z be o(0). Suppose 1 - z = -2*x. Is 1/40 != x?
True
Let j(p) = 19*p**3 - p. Let x be j(1). Let s be -5*((-3)/x + 0). Which is smaller: s or 1/4?
1/4
Let w = 10.6 - 10. Let h = w - -0.4. Let m = -15/8 + 53/24. Which is greater: h or m?
h
Let f(p) = -2*p - 4. Let h be f(5). Let z be (1*(-10 + -5))/(0 + 1). Do z and h have different values?
True
Let a = 28 + -14. Suppose 3*b - 5*j = -j + 17, 4*b + 2*j = -a. Is 1/4 greater than b?
True
Let x be (-6)/(-14) - (-6 - 364/(-49)). Which is bigger: 0 or x?
0
Let s = 0 + 5. Let j = s + -6. Does -2 = j?
False
Let i = 254269/3082 + -2/1541. Let u = -81 + i. Let d = 0.1 + -1.1. Which is greater: u or d?
u
Suppose 0*s = -3*s - 3. Which is smaller: 1/13 or s?
s
Let a(x) = -x**3 + 6*x**2 + 8*x - 5. Let k be a(7). Suppose 4 = 2*t + 4*l, -t + l = -0*l - k. Suppose -f = 2*f - 9. Is t >= f?
False
Suppose -5*z + 0*z - 10 = 0. Let f be (-2)/2*3 - -11. Let u be 4/f + 7/z. Is u bigger than -3?
False
Let h = -6.7 - -7. Let n = h - 0.4. Let o = 2.9 - n. Is o at least as big as 0.1?
True
Let y(c) = -c**3 - 3*c**2. Let a be y(-3). Is -0.1 smaller than a?
True
Let w = -9 - -14. Suppose -2*y + 3 = -2*q + 5, w*q = -3*y + 37. Is y bigger than 3?
True
Suppose 4*h - 5*j + 0 = 3, 0 = 5*h - 2*j + 9. Which is smaller: -4 or h?
-4
Let x = 51 + -151/3. Is 0 <= x?
True
Let f(o) = -5*o - 11. Let u be f(-5). Is u at least 1?
True
Suppose j + 14 - 4 = 0. Which is smaller: -11 or j?
-11
Suppose 4 = m + 3*a, -3*m + 7*m + 2*a + 14 = 0. Let x be m/10*(-4)/9. Let i = 0.5 + -0.6. Which is greater: i or x?
x
Let g = -20 - -20.02. Which is smaller: 2/7 or g?
g
Let k(z) = z**2 - z - 4. Let y be k(4). Let x be 46/y - 21/28. Which is greater: x or 6?
6
Let s(k) = k**3 + 9*k**2 + 9*k + 8. Let v be s(-8). Let x be (v + (2 - 3))*-3. Which is smaller: x or 5/2?
5/2
Let c be (-6)/(1 + 3/6). 