ch is greater: -2/331 or b?
b
Let b(a) = 4*a - 4. Let k be b(8). Let h be (-40)/k + (2 - 1). Let x = 116 + -117. Does h = x?
False
Let z(u) = 3*u + 4. Let s = 28 - 28. Suppose s = -10*b + 2*b. Let r be z(b). Which is greater: 1 or r?
r
Let y be 21070/(-5225) + -2 + 12/(-15). Let p = -74/11 - y. Which is bigger: 0 or p?
p
Let z = -8 + 7. Let y be (511/525 - 1)*(-6)/14. Which is smaller: z or y?
z
Let r = 0.02 + 3.98. Let f = 836 + -837. Is f <= r?
True
Let j = -5.05 + 8. Let y = -2.9 + j. Let x = 1.95 + y. Is -4 != x?
True
Let v(i) = i**3 + 6*i**2 + 2*i + 9. Let c be v(-6). Let s be 44/(-76)*5 - c. Let x(z) = -z**3 + z**2 - z. Let o be x(1). Which is greater: s or o?
s
Let i be (0 + 1)/(2 - 0). Let u = 672 + -722. Is i > u?
True
Let p(a) = -a**3 - 10*a**2 - 26*a - 80. Let x be p(-8). Let o be (1 + -1)/(-1) + -2. Let b be x/o - (-4 - -2). Are -1 and b non-equal?
True
Let v be (-9)/(-6) + (-6)/(-12). Let q be 1/v*(1 - 1). Which is greater: q or -6/7?
q
Suppose -3*g + 7*g - 5*o = -56, 75 = -5*g + 5*o. Is -20 equal to g?
False
Let z be -7 + (-6)/(4 + -1). Is z at least as big as -8?
False
Let o be 55/((-880)/96)*215/27. Is o >= -47?
False
Let y(v) = -v + 2. Let r be y(10). Let o = r + 13. Let f be 9/(4 + -1) - o. Is 9 <= f?
False
Let t = -248 + 237. Let v = 14/9 + -73/45. Let y = v - -2/5. Which is bigger: y or t?
y
Let g(n) = -n + 1. Let u be g(-1). Suppose q + u = -3, -3*d - 2*q = -59. Suppose -2*w - 3*w - d = 3*c, -17 = c + 4*w. Is c smaller than -1?
False
Let w = -31.27 - -0.27. Let n = w - -20. Let h = -4 + 4. Are h and n nonequal?
True
Let m = -501 - -536. Which is greater: 32 or m?
m
Let f be (2/(-4))/(84/(-9)). Is f < 0?
False
Let d(j) = -j**2 - 13*j - 37. Let g be d(-9). Which is bigger: g or 2/503?
2/503
Let u = -2/377 + -305/13572. Which is bigger: u or 0?
0
Let j(h) = h**3 + 10*h**2 + 6*h + 20. Let w be j(-6). Let g = w + -114. Which is smaller: 2 or g?
2
Let c = -5/17 - -163/323. Suppose u + 5*y = -6 - 10, 2*u = -4*y - 14. Are c and u unequal?
True
Suppose z - 6*z - 5 = 0. Let n = 0 + 1. Let v be 240/828 - n/3. Which is bigger: z or v?
v
Let r(v) be the second derivative of -2*v**3/3 - 5*v**2 + 13*v. Let c be r(-3). Is -4 >= c?
False
Suppose -12 = 69*o - 66*o. Let y = 3 + o. Which is smaller: -10 or y?
-10
Let d = -15 + 16. Let r be d - (198/40 + -4). Which is greater: r or 0?
r
Let n be (-10)/(-56)*24/(-960). Which is smaller: n or 0?
n
Let y be (3/(-15) - 3) + (-4)/(-20). Let z = y + -1. Is 4 smaller than z?
False
Let n = -23.28 - -23.61. Which is bigger: n or -31/5?
n
Let k(a) = -a**3 + 2*a**2 + 4*a. Let f be k(3). Suppose 207 = -f*b - i, 0*i - 3*i = -9. Let r be (-42)/b*(-10)/8. Is r at least as big as -1?
True
Let k = -1 - 71. Let r = 18 + k. Do 1/3 and r have different values?
True
Let c = -124 + 66. Which is bigger: c or -57?
-57
Suppose 2*w + 1 + 11 = 0. Let b(v) = -v - 3. Let r be b(w). Let x = 14/19 + -32/95. Which is smaller: x or r?
x
Suppose -5*j + 0*y = 3*y - 6, 2*j + 4*y = 8. Suppose o - 7 - 1 = j. Suppose -5*q + 30 + 10 = 0. Is q greater than or equal to o?
True
Let q(p) = 6*p**2 + 27*p - 4. Let i be q(-12). Let k = i + -3725/7. Are k and 3 unequal?
True
Let x(w) = -5*w**2 - 53*w + 18. Let c be x(-11). Does 12 = c?
False
Let i be (3/3 - 43)*(-6)/(-3). Let b = -92 - i. Which is smaller: b or -64/7?
-64/7
Suppose 2*b - 23 = 11. Let i = b + -11. Which is bigger: 5 or i?
i
Suppose 35 + 24 = 2*i - 3*p, 4*p + 144 = 5*i. Let j be 0 - 1/((-24)/i). Which is smaller: 2 or j?
j
Let x = -51 - -27. Let l be 2 - (0 + x/(-21)). Which is smaller: 1 or l?
l
Suppose 13*r - 7*r + 72 = 0. Let b = 11 + -7. Suppose b*z - 20 = -72. Is r greater than z?
True
Let a(n) = -2*n**3 - 17*n**2 + 25*n - 19. Let s be a(-10). Are 29 and s nonequal?
True
Let t = -817 - -188. Which is smaller: t or 1?
t
Let o = 0 + -1. Let m = -0.0283 - 201.9717. Let s = 202 + m. Which is greater: o or s?
s
Let t(x) = 4*x - 6. Let k be t(2). Let b be (-145)/30 + k + -4. Let l = -439/66 - b. Which is smaller: 1 or l?
l
Let c = 16216/3 + -1329811/246. Is 0 less than c?
False
Let y = -2272/3 + 1489/2. Suppose -3*l + 2*i + 44 = 0, -3*i - 5 = 7. Let m = y + l. Is m greater than or equal to 0?
False
Let f = -1082/91 - -136/13. Are f and 0 non-equal?
True
Let h = 404 - 447. Which is bigger: 0.18 or h?
0.18
Let g be (-52)/39 + 38/24. Let m = 0 - -1/7. Is m > g?
False
Let a = 355 - 406. Is a not equal to -4/3?
True
Suppose 0*l - 5*i - 2 = 2*l, 4*l = -i + 14. Suppose -3*r - l = -5*r. Suppose 3 = r*k + 1. Which is smaller: k or -1?
-1
Let f be 3/(-18) - 25/(-6). Let u be (f - (8 + -2))/2. Let g be (10/(-110))/(u/(-3)). Which is smaller: 1 or g?
g
Let t = 70.9 - 70. Let u = 5.8 - 3. Let q = u - t. Which is smaller: q or -0.1?
-0.1
Let r = -1921 - -21111/11. Suppose -s - 10 + 3 = w, 5*w + 5 = 5*s. Which is greater: r or s?
r
Let y = 173 + 150. Suppose -3*v - 2*b = -8*v - y, 2*v - b + 129 = 0. Let z be 5/(-52) + 10/v. Is z bigger than -1?
True
Let x be (-3 + -11)*2/(-8). Let w = 10/3 - x. Is w > 8?
False
Suppose -565 + 2815 = -25*k. Which is smaller: k or -179/2?
k
Let x(s) be the second derivative of s**4/12 - s**3/3 - 3*s**2/2 + 6*s. Let w be x(3). Is -1 at least w?
False
Let s(u) = -u**2 - 22*u - 6. Let q be s(-22). Let o be (5 - 65/15) + 220/q. Do o and -36 have the same value?
True
Let t = -368/5 - -2566/35. Let c = 0.05 + -2.05. Let l = 1 - c. Does t = l?
False
Suppose 0 = t + i + 1, -t - 20 + 13 = 3*i. Suppose n + n = 0. Suppose -4*z - z + 5 = n. Are t and z equal?
False
Suppose -a - 4*a - 55 = -4*q, -5*a + 105 = 4*q. Suppose -2*p - q = 3*p. Let s = 3 + -4. Which is bigger: s or p?
s
Suppose -1213 = 3*g - 1213. Let c be ((-1)/1)/((-2)/4). Is c bigger than g?
True
Let q be (-4)/(-22) - (-1)/(33/13887). Is q at least as big as 421?
True
Let c(b) = 6*b + 7. Let w be c(-4). Let d = w + 37. Is 20 at most d?
True
Let b = 531 - 1063/2. Which is bigger: 4/5 or b?
4/5
Let o = 551.64 - 568. Let h = -0.5 - -0.14. Let q = h - o. Are q and -1 non-equal?
True
Let t = 2.05 - -30.95. Which is smaller: -6 or t?
-6
Let x be ((-2)/(-20))/(1*(-4)/8). Let m = 7 - 5. Let q = 2 - m. Is x > q?
False
Let i = -0.1 - -0.2. Let a(l) = 0 + 5*l + 1 + 3*l + 6. Let w be a(-1). Which is bigger: i or w?
i
Let c = 5 + -15. Let y = c + 6. Let q be (3/(-2))/(6/y). Which is smaller: q or -2/21?
-2/21
Let c(z) = -6*z**3 - z**2 - 2*z - 1. Suppose -2*w - 2*w = 4. Let p be c(w). Let u be 2 + 0 + (-16)/(-5). Which is smaller: p or u?
u
Let k be (-421)/12 - (4 - 39/9). Which is smaller: k or -35?
-35
Suppose -17*p - 192 = -9*p. Is p > -26?
True
Let o(i) = i**2 - 4*i - 13. Let k be o(6). Suppose 4*a + 565 + 1375 = 0. Let h = 16976/35 + a. Which is bigger: h or k?
h
Let o = 153077/72 - 2126. Is 2 not equal to o?
True
Let w = 4703/11 - 427. Let c = -32/99 + w. Is c at least as big as 0?
True
Let i = 35 - 21. Suppose 9*v + 66 = -21*v + 8*v. Is i > v?
True
Let x = -31/11 + 3. Which is greater: -7/5 or x?
x
Let p = 2600.7 + -2666. Which is bigger: p or 0.1?
0.1
Suppose 0 = 6*p - 198 - 36. Let u = -51 + p. Is u >= -21/2?
False
Let u be 1242/45 - 3/5. Let o = 92 - u. Let t = -24 + o. Which is bigger: 40 or t?
t
Suppose -3*h = h - 28. Let a(s) = s**2 + 8*s - 8. Let b be a(-10). Suppose 4*f - 22 = -10*m + b*m, 5*f - 3*m = 27. Which is smaller: h or f?
f
Let p = 5.635 - 0.035. Let f = 7.6 - p. Which is bigger: f or 24?
24
Let u = 1 + 3. Let c be (24/20)/(u/(-10)). Let k be (12/(-20))/(2/10). Is k < c?
False
Let l(m) = m - 4. Let n be l(5). Let h = -0.036 - -0.236. Let z = h - 0.15. Which is smaller: z or n?
z
Let g(j) = 2*j**2 + 7*j + 2. Let f be g(-3). Suppose 4*b - 2*i - i = -10, 5*i = 4*b + 14. Let z = b + 1. Do z and f have different values?
True
Suppose -2*i - 2*i + 8 = 0. Suppose 5 = -7*z - i. Is -12/13 <= z?
False
Let v = -0.727 - -714.727. Which is bigger: v or 1?
v
Let d = 0.0264 + 139.9736. Which is bigger: -0.1 or d?
d
Let x = 742 + -823. Are x and -85 equal?
False
Let z(k) = k**3 - 7*k**2 + 8*k - 9. Let p be z(6). Let w be p + (-1 - 2 - 1). Suppose 4*s = -9 - 3. Is w at most s?
False
Let u = -133 - -136. Let r be -10*(3 - 7/2). Suppose r*d + 3*z = 4, 5*z = -2*d + 3*z. Which is greater: u or d?
u
Suppose 4*d + 34*r - 35*r = -5055, -5*d = 4*r + 6303. Which is bigger: d or -2/5?
-2/5
Suppose -4*s - g + 106 - 362 = 0, 2