- 6 = b. Are c and o unequal?
False
Let k = 441 - 563. Which is smaller: -2/7 or k?
k
Let w = -226 + 227. Which is bigger: -2/603 or w?
w
Let d(r) = r**3 + 5*r**2 + 3*r - 7. Let u be d(-3). Let b be ((-2 - -7)*u)/(4 + -2). Is 6 at most as big as b?
False
Let y = -91 + 76. Is y greater than or equal to -192/13?
False
Let u be (-1)/2 + (-5)/2. Let j be 1/((-27)/u + 0). Is 1 equal to j?
False
Let v be (-10)/14 - (-26)/(-91). Let s(h) = -5*h. Let b be s(v). Suppose 4*z = u - 2*u + 14, 11 = -2*u + b*z. Is 2 less than u?
False
Let t(r) = -29*r**2 + 1. Let c(v) = 6*v**2. Let p be c(1). Suppose 7 = -p*f + 1. Let k be t(f). Is -28 less than k?
False
Let h = -1.831 + 87.831. Which is greater: h or 3/8?
h
Let x = -582 + 827. Is x at most as big as 245?
True
Suppose -2*p - 7 = -5*l, -3*p + 3*l = 2*p + 8. Let b = 3.82 - -0.18. Is p at least b?
False
Suppose 0 = 2*x - 8, -11*z - 37 = -x. Let d(j) = j + 2. Let h be d(0). Let y be 8/(-3)*3/h. Which is smaller: z or y?
y
Let p(k) = k**3 - 7*k**2 + 5*k - 4. Let r be p(6). Suppose 4*h - 6 = 2. Suppose -s - 7 - h = 0. Is s smaller than r?
False
Suppose 0 = -3*s + 41 + 13. Suppose -s = -4*p - 2*n, p - n = -2*n + 5. Let r(m) = -m + 3. Let v be r(p). Which is smaller: v or -2/35?
v
Suppose 10 + 0 = a. Suppose 5*t + a = 7*t. Let n = -11 + 17. Is t < n?
True
Let n = 0.144 + -0.044. Are 379 and n equal?
False
Suppose -c = -27 - 0. Let l = 19 - c. Is -15/2 at most as big as l?
False
Let a be 2*(1/(-4))/((-2)/(-4)). Which is bigger: 82 or a?
82
Let d be (32/36*-3)/((-2)/(-114)). Is -1/4 less than d?
False
Let l = -76/15 + -41/60. Let a = -49/8 - l. Suppose -3*y + 4*s + 9 - 1 = 0, -s - 2 = 5*y. Is a at least y?
False
Let x be (1 - -2)*(-15)/((-90)/(-8)). Do 8 and x have the same value?
False
Let r = 42 - 6. Let m = -18 + r. Let n = -18.1 + m. Is -3/5 equal to n?
False
Suppose 3*u - h = 55, 0*h = 3*u + h - 59. Suppose -4*r - u + 7 = 0. Which is bigger: 0.5 or r?
0.5
Let k = -18721/79 + 237. Which is smaller: k or 0?
0
Let v be -25 - -27 - (-1 - -4). Which is greater: v or -4/379?
-4/379
Let s be 214/(-535) + 44/10. Suppose -g - 15 = -4*g. Is g >= s?
True
Let c be 3 + 1386/(-91) + 3. Is -9 != c?
True
Let q be ((-10)/(-4) - 2)*-2. Does q = -1/167?
False
Let t = 0.21 + -1.11. Let s = t + 0.9. Let f(y) = y**2 + 12*y - 9. Let v be f(-12). Which is bigger: v or s?
s
Let c(m) = m**2 + 7*m + 9. Let b be c(-5). Let v be (6/(-214))/((-3)/(-2)). Which is greater: b or v?
v
Let h(g) = g - 4. Let r be h(5). Let x be (r - -1)/((-16)/22). Suppose 135 = 74*o - 119*o. Is x greater than o?
True
Let q be (28/4 - 3) + -3. Let p = -19 + 324/17. Is p > q?
False
Let w = -161/121 + 106663/79981. Which is greater: -1 or w?
w
Let u = 64 + -90. Let m = u + 24.9. Are 0 and m equal?
False
Let l be (-17)/2 - (-1)/(-2). Let q = l - -15. Let g be 0 + (-19)/(-5) + (-1)/(-5). Which is bigger: q or g?
q
Suppose -1280 = -53*f + 37*f. Is f at least as big as 77?
True
Let r = -4.6 + 1.6. Let m = r + 3. Let b = -21 - -23. Which is smaller: m or b?
m
Suppose -13*s = 234 + 741. Which is smaller: 2 or s?
s
Let j = -56.1 - -51. Let f = 4.9 + j. Which is greater: 0.3 or f?
0.3
Suppose -7*m - 411 = -40. Let u = -143/7 + 512/7. Let p = u + m. Which is greater: -9 or p?
p
Suppose 12*a - 8*a + 44 = 2*m, -a = -5*m + 92. Which is bigger: 11 or m?
m
Let p be (0 + (-15)/(-20))/((-1113)/2). Let d = 13361/3710 + p. Which is smaller: d or 5?
d
Suppose -5*y + 8*y - 15 = 0. Let d be (-8 + y)/((-5)/2). Which is bigger: d or 3?
3
Let z be -4 + 2 - (-9858)/(-27). Let g = -366 - z. Let l = 4 - 4. Which is greater: l or g?
g
Let i = -0.113 - 32.587. Let n = 33 + i. Is n greater than -6/7?
True
Suppose 0 = -2*u - 2*s + 6, 3*s + 12 = u + 1. Suppose 2*h + 2 = 2*v, u*h - 2 = -0*v - 2*v. Let g be 0 - (-2)/(-53 + -1). Which is greater: g or h?
h
Suppose 2*l = -3*f - 2, -18 = -4*f + f + 3*l. Let w be (-2)/8 + f/8. Which is smaller: w or -2?
-2
Let q = -31.18 - -29.869. Let n = q + 0.011. Are -1/3 and n unequal?
True
Let v = 350.064 - 350. Is v at least as big as 0?
True
Suppose -2*z = -1 + 3. Let w(a) = -196*a**3 - a**2 + a + 2. Let d be w(z). Let u = d - 1368/7. Are 1 and u unequal?
True
Let z be (-34)/28 - (-27)/(-18). Is -4 < z?
True
Suppose -n + 4 = b, -n = -4*b + 3*n. Let t = -2 + b. Let h = -2935/6 + 488. Is h > t?
False
Let h = -1717 - -25753/15. Which is smaller: 3/41 or h?
h
Suppose -3*x = 2*b - 87, -77 = -3*b - 4*x + 52. Is 39 greater than b?
False
Suppose 0 = -6*p + p + 2075. Let c be ((-3)/4)/(p/40). Let f = c + -17/913. Is f bigger than -2/7?
True
Suppose -46 = 6*v + 14. Which is greater: v or -15?
v
Let u be 11 + (-2 - 2) + 5. Suppose -2*w + b = -26, 0*b + 2*b = 2*w - 24. Is w smaller than u?
False
Let s = -0.972 - 0.028. Which is bigger: s or 2/33?
2/33
Let g = -275/639 + -1/71. Is g greater than 0?
False
Let f(j) = -3*j**2 - 4*j + 131. Let d be f(6). Which is smaller: d or 1/887?
d
Suppose -3*b + 505 + 191 = 0. Which is smaller: b or 230?
230
Let j be 3140/942 + 1 + 1/(-3). Which is smaller: 23/5 or j?
j
Suppose 39 = -5*v - 6. Suppose 2*x - 16 = 4*x. Which is smaller: x or v?
v
Let n(z) = -z - 2. Let w(g) = g. Let p(i) = -n(i) + 6*w(i). Let q be p(1). Let y = q + -10. Which is bigger: -1/5 or y?
-1/5
Let v(j) = -3*j - 14. Let o be v(-6). Suppose 32 = 3*d - o. Suppose 0 = -2*a - 6 + d. Is 3 smaller than a?
False
Suppose 16 = -h - 4*d, 34*d - 4 = 3*h + 35*d. Let y = -18 + 8. Let l be (-2)/(-8)*16/y. Which is smaller: h or l?
l
Let y = -917 + 1864. Let i = -12305/13 + y. Which is greater: 0 or i?
i
Let p(g) = 4*g**3 - g**2 - 3*g + 3. Let x be p(2). Let z be (-30)/x*(-10)/6. Which is greater: 40 or z?
40
Let g be 0 - (9 + -6 - 168). Is 166 at most as big as g?
False
Let b = -92 + 198. Let v = b - 109. Which is bigger: 6 or v?
6
Let q(b) = -b**3 + 13*b**2 + 11*b - 14. Let l be q(14). Is l smaller than -57?
False
Let l(f) = -1 + 3*f + 10*f**2 - 5*f**2 - 1 + 9*f**2. Let i be l(1). Let r be (-1)/((-3)/((-36)/i)). Which is bigger: r or -2?
r
Suppose -2*t + 8 = 4. Suppose t*c = 4*c + 2. Which is bigger: c or -3?
c
Let c = -10 - -23. Let t = c - 13.04. Let s = t - 0.96. Is 5 greater than or equal to s?
True
Suppose 3*i = -4*a + 33, -3*a + 0 + 6 = -4*i. Let b be a/28*(-5)/15. Let v(w) = -w + 5. Let k be v(4). Is k at most as big as b?
False
Let y be (-1 + 3)/((-10)/(-25)). Suppose -g + 6*g - 15 = -l, -4*g = -y*l - 12. Suppose -z = -g*z. Is 0 less than or equal to z?
True
Let v(z) = -3*z - 2. Let q be v(-8). Let t be (-1 + q)*(-1 + 0). Let u be 9/7 + 6/t. Which is greater: 1/11 or u?
u
Let m = 3272/1165 - 2/233. Which is smaller: m or 4?
m
Let i be (-4)/14 - 0*(-11)/(-143). Let k = -25 + 18. Which is bigger: i or k?
i
Suppose -5*i + i - 3*p = 60, 0 = -4*i + 2*p - 40. Let b(h) = h**3 + 13*h**2 + 13*h + 14. Let t be b(i). Let d = -0.5 - 1.5. Is d greater than or equal to t?
False
Let q = 87 - 91.1. Let c = q - -1.1. Which is greater: 4/9 or c?
4/9
Let w be 0/((-2 + 1)/((-23)/(-46))). Is -3/341 <= w?
True
Let j = 35.4 - 38. Let c = 2.5 + j. Which is bigger: 1/36 or c?
1/36
Let c(a) be the first derivative of -a**3/3 + 9*a**2/2 - 11*a + 12. Let l be c(7). Which is bigger: l or 4?
4
Suppose 0*u = -u - 5, 0 = -5*s + 4*u - 4930. Let k be s/308 + (-2)/7. Does 1 = k?
False
Let z be (-152)/(-24) + 4/6. Let k = z + -6. Is 5 > k?
True
Let o = 492.9 - 493. Which is greater: o or -0.3?
o
Let l be (-2804)/(-3520)*5 + -4. Which is smaller: 1 or l?
l
Let z = 37.3 - 35. Let k = z + -2.4. Which is smaller: 4/9 or k?
k
Suppose 320 = -33*o - 439. Is o >= -27?
True
Let j be 32/12*6/(-4). Let n(d) = -d + 4. Let z be n(j). Let h(w) = -w**2 + 7*w + 9. Let x be h(z). Is 0 bigger than x?
False
Let t(p) = p**3 + 4*p**2 - p - 3. Let s(i) = -4*i**3 - 2*i + 2. Let y be s(1). Let m be t(y). Which is smaller: m or 2/171?
2/171
Suppose -4*r - 6*r = -2*r. Suppose -5*z + 2 + 23 = r. Suppose 0 = 3*x - 12 - 9. Is x bigger than z?
True
Suppose -5*b + 2*b - 2*i + 3 = 0, 0 = 3*i. Which is bigger: b or 2?
2
Suppose -8*k + 5*k - 12 = 0. Let v be k/((-8)/(-9))*-2. Which is bigger: 10 or v?
10
Let h be ((-2)/2)/((-3)/(-21)). Let d be (h/(-14))/(-2 + 54/4). Let o(b) = -b**2 - 2*b. Let m be o(-1). Which is greater: m or d?
m
Let s = 164 + -30. Suppose -34 + s = 4*h. Is h at most 24?
False
Suppose -1422 = 152*f - 134*f. Which is 