r: y or 8?
8
Let b be (-29)/(-21) + -6 + 5. Which is bigger: 0 or b?
b
Let s = 9 - 4. Let k be (-4)/8*22/s. Which is smaller: k or -2?
k
Suppose 33 = -2*u + 15. Let z be 2/u + 11905/(-9). Let q be 387/z + (-1)/(-3). Is 0 bigger than q?
False
Let f be ((-3)/(-9)*3)/(8/(-16)). Is 0.7 bigger than f?
True
Suppose -3*g - q = -g - 9, 3*q + 5 = 2*g. Suppose g*b + u = -2*u + 6, 5*u + 19 = 3*b. Let n be b/(135/(-3))*-9. Are n and 1 unequal?
True
Suppose -3*m - 4*a = -8*a + 67, m - 5*a = -15. Let k = 54 + -24. Let p = k + m. Is 3 at least as big as p?
False
Let c be (11/286)/(2/(-8)). Which is greater: c or -1?
c
Let d(s) = -6*s + s + 4*s**2 - 13 + 7 + 0*s + s**3. Let z be d(-4). Suppose -5*u - 6 = y + z, 0 = -4*u - y - 17. Which is smaller: u or -0.2?
u
Let y = 5.9 - 5.8. Let s = y + 0. Which is smaller: 1.7 or s?
s
Let b be 3/(-6) + 46/4. Let a(p) = p - 10. Let l be a(b). Suppose -3*j + l = 4. Which is bigger: j or 5?
5
Let c be 3/(-8) - (-372)/(-32). Let s be 3/(-1) - c/3. Let g = -187/1368 - -2/171. Is g at most as big as s?
True
Let d be 345/27*(-3)/(-5). Are d and 0.1 equal?
False
Suppose 5*w = -25, -2*w + 324 = -k + 292. Let f(p) = p**2 - 8*p - 4. Let d be f(6). Let t be (-27)/k*d/6. Is -2 less than t?
True
Let h = 236.7 + -237. Which is smaller: h or 44?
h
Let s(m) = 3*m**3 + 3*m**2 - 1. Let u be s(-2). Let i be ((-32)/(-24))/((-4)/(-138)). Suppose 0 = 4*c - t + i + 13, -30 = 3*c + 4*t. Is u < c?
False
Let y be 6*((-33)/9 + 3). Let r be 119/(-35) + y/(-10). Suppose -16*p = -14*p + 4. Does p = r?
False
Let d(m) = m**2 + 7*m. Let q be d(-5). Suppose -10*n + 7*n - 21 = -2*a, n - 3*a - 7 = 0. Do n and q have the same value?
False
Let y be (-4)/(-30) - (-112)/(-48). Is y bigger than -5?
True
Let h = 1.09 + -0.14. Let z = -0.05 - h. Let v = 91 + -84. Are v and z equal?
False
Let r be (-3)/40*(-15)/6. Suppose -698*j + 16 = -682*j. Which is smaller: j or r?
r
Let p be 1 - 0 - 1 - 29. Suppose -t = -4*d - 121, 3*t - 125 = 4*d - 2*t. Is d greater than or equal to p?
False
Let i(a) = -a**2 + 13*a - 16. Let f be i(10). Suppose 5*u + 15 = 80. Do u and f have the same value?
False
Let d be 13/(273/(-28)) - -2. Does -0.0921 = d?
False
Let v = 2131 - 5511. Let z be (v/(-8) - 2)/2. Let y = z - 214. Which is smaller: -3 or y?
y
Suppose 39*t + 18 = 42*t. Let z(c) be the third derivative of -c**4/12 + c**3 - c**2. Let y be z(t). Is -6 > y?
False
Let j = 7.12 - 7. Let f = 275 + -276. Which is smaller: j or f?
f
Let y(z) = -z**3 + 2*z**2 + 2*z - 1. Let n be y(2). Suppose -5*w - n*k - 75 = -w, -k = 2*w + 35. Which is smaller: w or -16?
-16
Let x(q) = 3. Let p(k) = -k - 7. Let f(t) = 3*p(t) + 7*x(t). Let l be f(1). Which is smaller: -13 or l?
-13
Let c be -4 + (3 - 14)*-1 + -982. Which is greater: c or -1?
-1
Let i be (1/10)/(102/24). Suppose 8*w - 11*w - 3 = 0. Is w less than or equal to i?
True
Let d = 22 + -10. Suppose -5*l - 42 = -d*l. Let x be 5/(-25)*(-10)/l. Is x less than or equal to 0?
False
Suppose -4*r + 5*c + 12 = 0, 0*r - 18 = r + 4*c. Let y = 20.6 - 2.6. Let p = y + -17. Which is smaller: r or p?
r
Let i = -79 - -64. Which is greater: -9 or i?
-9
Let c = 98 - 98.045. Let y = 0.055 - c. Which is smaller: -30 or y?
-30
Let j = -521/328 - 3/82. Which is bigger: -2 or j?
j
Let t = 851 - 851.1. Which is bigger: t or 44?
44
Let l = -16.1 + 1.1. Let y = -15.8 - -0.8. Let a = l - y. Is 5 not equal to a?
True
Suppose -125 - 505 = 14*o. Let q = o - -45. Let d = 4841/29 + -167. Which is smaller: d or q?
d
Let p(d) = -d**3 - 3*d**2 + 10*d. Suppose 0 = 4*u - 5*s + 20, 5*s - 7 = 3*u + 8. Let m be p(u). Which is greater: 3 or m?
3
Let i = 578 + -563. Is 0.17 < i?
True
Let p(b) = -2*b - 71. Let y be p(-29). Is -10 < y?
False
Let t be 2*(-2)/((-4)/(-23)). Let o(r) = -r**3 - 7*r**2 + r + 28. Let q be o(-4). Which is smaller: t or q?
q
Let p = -1.88 - -13.88. Which is greater: p or -7?
p
Suppose 2*d - 13 = 3*y + 4, y + 5 = 0. Do -5/113 and d have the same value?
False
Suppose -b - 15 = -2*b - 5*z, -2*z + 60 = 4*b. Let p be (-26)/(-8) + 3/(-12). Which is bigger: p or b?
b
Let n(i) = -i**3 - 18*i**2 - 46*i - 20. Let m be n(-15). Which is smaller: m or 0.04?
m
Let k = -2 - -1. Let a be -31 - (-3 + 7 - 4). Let x = a - -30. Is k at least x?
True
Let y = 867 + -4359/5. Let n be (-2 - 5)*((-26)/(-14) - 1). Which is greater: n or y?
y
Let u be (-1)/(-2) - 2058/84. Is -28 bigger than u?
False
Let z be (-74)/(-333)*(-135)/100. Let g = -0.6 + 2.6. Which is greater: g or z?
g
Let n be 48/(-28)*133/(-2). Let u = -114 + n. Which is bigger: 1/138 or u?
1/138
Let i be (-13 - -22) + 2/5. Which is greater: -0.1 or i?
i
Let a be -60*(0 + (-6)/9). Which is greater: 199/5 or a?
a
Let u be (0 - (-3)/4)*22/6. Let f = -6 - -9. Are u and f nonequal?
True
Let h(v) = -v**2 + 10*v. Let o be h(10). Suppose n - 5 - 1 = o. Which is smaller: n or -1?
-1
Suppose 5 = 4*n + 1. Let x = 35/9 + -9/2. Let h = 2/9 - x. Is n at least as big as h?
True
Let w(q) be the second derivative of q**3/6 + 6*q**2 - 8*q. Let r be w(-5). Let z(d) = d**3 - 6*d**2 - 9*d - 2. Let p be z(r). Which is greater: -17 or p?
p
Let x = 131.04 - 131. Is 1 less than x?
False
Let c = 7 + -8. Let b be c/(-2)*(71 - 1). Let f be (-4)/14*b/(-10). Which is smaller: 12/11 or f?
f
Let g(b) = b + 14. Let q be g(-9). Suppose 0*o - q*y = -4*o + 6, -16 = -2*o - 4*y. Suppose o + 0 = -4*t. Does t = 1/4?
False
Suppose 6*u - 2*u = -4. Let g(z) = 162*z**2. Let w be g(u). Let b = w - 1784/11. Which is smaller: b or 1?
b
Let o = -43 + 134. Which is smaller: o or 93?
o
Let b = 4.1 - -0.9. Is b <= -1/8?
False
Let l = 1186 - 1255. Which is greater: 0.04 or l?
0.04
Let i be ((-288)/24)/(6/4). Is -93/11 > i?
False
Suppose 0 = 5*x + 3*r, 4*x + 2*r + 2*r = 8. Let m = 91 + -93. Which is greater: m or x?
m
Let s = 6542/5 + -1312. Let x = 4 - 8. Which is smaller: x or s?
x
Suppose -18 = -3*u + 30. Let c(b) = 15*b**3. Let f be c(1). Let a = f - u. Which is smaller: a or -6?
-6
Let q = -17744 + 17942.06. Let t = q + -200. Let i = 0.06 - t. Is i at most as big as 2/9?
False
Let w = -1380 + 1381. Let p be 2/(-8) - 33/(-60). Is p greater than w?
False
Let h(b) = -b**3 + 16*b**2 + 16*b + 17. Let o be h(17). Suppose 5*a = -5*k - 15, o*a + 8 = 4*a - k. Is a at least as big as -2?
True
Let s be -2 - (22/(-6))/((-72)/(-54)). Which is greater: 0.016 or s?
s
Let j be -1 + ((-340)/2)/(-2). Let x = -15546 + 15629. Which is smaller: j or x?
x
Let p = 908/556351 + -1617075338/8376977007. Let n = p + 2/2151. Which is greater: n or 1?
1
Let w = 2706 - 2729. Let o(c) = c**3 + 6*c**2 - 5*c - 7. Let q be o(-7). Which is greater: w or q?
q
Let a(m) = m**2 - m + 2. Let g be a(1). Let o be (-9)/(-2)*4/21. Is o less than g?
True
Let w = -0.8 + 0.83. Let g = -0.3 + 0.6. Which is greater: g or w?
g
Let o be 156/((-24)/(-4)) - -2. Let a be 302/o + (0 - 5/10). Which is greater: a or 9?
a
Suppose 3*h - 50 = -11. Let c be (-2 + 0)/((-2)/h). Let p be 26/(-91) - c/(-21). Is -1 greater than or equal to p?
False
Let t(q) = -q**3 + 5*q**2 + q - 4. Let s be t(5). Let n be 3/(-6)*(s + 1). Let w be (4 - 3)*-1 + n. Is w bigger than 3?
False
Let m = 77/24 - -2/3. Let s = m + -381/88. Is -0.1 <= s?
False
Let v = -3 + 3. Let k = -0.4 - v. Let d = k + -0.6. Which is bigger: d or -2?
d
Let p be -5*30/100*(3 - 191). Are p and 282 equal?
True
Suppose 5*a = 3*f + 14, 2*f + 3 = -31*a + 28*a. Which is greater: -2/2519 or a?
a
Suppose 3*k - 10 = p, -1 + 9 = 3*k + p. Suppose m = -r - 21, 6 = -k*m - 6. Is -14 <= r?
False
Suppose -3*x - 3*z = -6, -1 = -x + 3*z + 1. Let v be (x - 0)*44/(-32). Let c(w) = -w**2. Let a be c(-2). Is a at least v?
False
Suppose -5*o + 1717 = -l - 1653, 4*l - 2720 = -4*o. Let b be 1*(-1 - o/(-681)). Is 0 at most b?
False
Let k = -42.024 - -0.024. Does k = 0.3?
False
Suppose 4*b = 2*f + 52, -4*b + f + 56 = -3*f. Let g be (b/24)/(-1 + 0). Is 2/5 bigger than g?
True
Let u(q) = -q**2 - 12*q - 31. Let b be u(-5). Suppose b*r = -4*d + 116, 1 = -3*r + 13. Which is greater: d or 23?
d
Suppose 4*w - 2*c = -22, c + 0 + 21 = -2*w. Let k be ((-620)/(-465))/((-2)/6). Is w greater than or equal to k?
False
Let k = -0.15 - -0.4. Let i = k - 0.43. Which is smaller: 1 or i?
i
Let s = 161/2 + -80. Which is smaller: s or 0.017?
0.017
Let q be (-42)/(-10) - 16/80. Suppose -q*t - 3*w = -6 - 4, -2*w = 3*t - 7. 