t s be l(0). Which is greater: s or -2/9?
-2/9
Let b(k) = k**2 - 8*k + 5. Let q be b(6). Let l be (4 - 3)*82/(-82). Which is smaller: q or l?
q
Let q(b) = 2*b**2 - b - 1. Suppose 0 = h - 3*z, 2*h + 2*z = 5*z. Let x be q(h). Let i be 31/(-37) - -3*2/6. Which is smaller: x or i?
x
Let j = 910 - 897. Suppose -9*f + 7*f = -16. Which is bigger: f or j?
j
Suppose 30*t - 20*t + 150 = 0. Let c(s) = -s**2 - 10*s + 10. Let u be c(6). Let m be (-4)/(-120)*6 + u/5. Is t equal to m?
False
Let s be (1 - (2 + -1))/(48/(9 - -3)). Which is greater: 1/6261 or s?
1/6261
Let t = -24365 + 24365.812. Does t = 0.08?
False
Let z be -1 + 5 + ((-144)/160)/((-8)/(-20)). Is 32/5 bigger than z?
True
Let f(r) = 2*r**2 - 220*r + 2537. Let t be f(88). Are t and -1333 unequal?
True
Let b = -16.3 - -591.3. Let n = 574.7 - b. Are -18 and n equal?
False
Suppose -8*i = -3*i - 295. Let d = i - -103. Let q = d + -313/2. Which is bigger: 6 or q?
6
Let q(d) = 3*d - 63. Let n be (-24)/15 + 416/(-40). Let i be q(n). Is -99 smaller than i?
False
Suppose 63*l - 61*l = -10, 9 = 3*k + 3*l. Let f(h) = -h**2 + 5*h - 3. Let q be f(3). Let t = 8 + q. Which is greater: t or k?
t
Let x be 76/14*(120 - 253). Is x at most -722?
True
Let s = 6.9 - 67.9. Let q = -62 - s. Let j = 21 - 19.9. Is q at most as big as j?
True
Let j be 21*(-1 - -24 - 27). Which is smaller: 10 or j?
j
Let v(d) = -303*d**2 - 5153*d + 16. Let r be v(-17). Are r and 152/3 equal?
False
Suppose 33 = 5*z - 722. Suppose c + 3*k + 108 = -2*c, -4*c + 3*k = z. Which is greater: -33 or c?
-33
Let d = -6909 + 7130. Which is bigger: d or -23/5?
d
Suppose 2*l - 3*l = -5*o - 69, 0 = 2*l - 4*o - 150. Let w be (38 + 37)/(1 + 0). Let m = l - w. Are 5 and m equal?
False
Let w = 5/4157 + 13697295/16628. Which is smaller: 824 or w?
w
Let x(l) = -5*l - 13. Suppose -3*z = -5*a - 9, 5*a = 3*a + 3*z. Let d be x(a). Suppose -4*f = 2*h - 8, -2*h + 4*h - f = -d. Which is smaller: 34 or h?
h
Suppose -41*u + 11*u + 19*u + 7744 = 0. Which is greater: 702 or u?
u
Suppose -47*x - 27390 = -62*x. Suppose -2050 = 8*r - x. Is r greater than -26?
False
Let m(w) be the first derivative of -w**4/4 + 13*w**3/3 - 3*w**2 - 22*w + 38. Let n be m(13). Let t be -2 + -2 - 5/(n/45). Is t at least -2?
True
Let w = -0.2804 + 0.34804. Which is smaller: -1 or w?
-1
Suppose -4*k - 5 = k. Let d be ((-46)/16 - 173/1384)*3. Which is greater: d or k?
k
Let u = -4 - -4. Suppose n - 9*n + 8 = u. Let p be -4 + (1/n - -1). Is -3 at most p?
True
Let k be ((-15903)/(-5282) - 3)*-3*2/(-159). Which is bigger: 1 or k?
1
Let k = 0.18019 + -0.48019. Are -841 and k non-equal?
True
Let j be (-5 - -5)/(-24 - -22 - 1). Let g be 2592/(-1294) + (2 - 0). Do g and j have the same value?
False
Let u = -9 + 12. Suppose -4*x + 4*m = -u*x + 80, 0 = 5*m - 15. Let a = -62 - x. Which is smaller: 11/2 or a?
11/2
Let h = 44388 - 44389. Is h not equal to 24745?
True
Let w(a) = 4*a - 13. Let v be w(4). Let g be (54/(-24))/((-9)/8). Which is greater: g or v?
v
Let o = 291/65 + -53/13. Let a be -2 + 2 - (-831 - -2). Let f = a - 7453/9. Which is smaller: o or f?
o
Suppose 1 = 2*f - 1. Let y = 242/17 - 3163/221. Which is smaller: y or f?
y
Let w = -20047/1612110 - -4/327. Is w at most 0?
True
Let q = -1062.988 - -1063. Which is smaller: q or 0.5?
q
Let s be 5 - (10 - (168/(-56) - (0 - 7))). Is s equal to 2/4329?
False
Let q = 0.06 - -1.94. Let y = -8870 - -8870.005. Is q < y?
False
Suppose -2*u = -6*q + 5*q - 27923, -q = -4*u + 27921. Let f = -32476777/1163 - q. Which is smaller: 0 or f?
f
Let i = -248 - -252. Let y be (4736/(-72) - i) + 2/(-9). Is -70 at least y?
True
Let t be ((-44 - -23) + 26)/(2/(-6)). Which is bigger: -464/31 or t?
-464/31
Let x be (-3)/(1260/10682) + 23. Which is bigger: x or -2?
-2
Let l = 3755 - 3753. Which is greater: l or 8?
8
Suppose -2*v + 309 = 483. Let b be v/((-11 - -9)/(-2)). Is 0.2 bigger than b?
True
Suppose -5*n - 29 = -2*f, 4*f - f + 3*n = -9. Suppose -f = 10*d + 8. Let t(c) = -9*c**2 + 2*c + 1. Let k be t(d). Are -13 and k nonequal?
True
Suppose -27*a - 1988 - 3394 = 693. Is -225 at least as big as a?
True
Let w(z) = z**3 - 25*z**2 - 59*z - 78. Let c be w(27). Is -228 != c?
True
Let g(z) = -2345*z - 19. Let l be g(-2). Let v = l - 607233/130. Which is smaller: 0 or v?
v
Let f = -37515/7 + 5364. Is f at least 6?
False
Suppose 8 = 4*i + 5*a, a + 8 = -a. Suppose c = 2*d - i, -4*c - 2*d - 18 = -5*d. Let u be (-6)/(-5)*(-8 - c). Is -29/5 smaller than u?
False
Let a(s) = -18*s + 47. Let o be a(-10). Let l = 225 - o. Is -2 at most as big as l?
True
Let w(r) = 4*r**3 - r**2 - r - 3. Let n be w(2). Suppose n*l - 15*l + 128 = 0. Is -19 greater than or equal to l?
False
Let o = -33 - -34. Let b(u) = -18*u**2 - 1. Let c be b(o). Let q be (-2)/(10/25) + (2 - 14). Which is smaller: q or c?
c
Let v = -11 + 18. Let n = -6065 + 6064. Let g be ((-238)/35 + v)*n/(-1). Which is smaller: -10 or g?
-10
Suppose 2*t - 4 = 3*n - 1, -2*n = -2*t. Let q(j) = -j - 1. Let k be q(t). Suppose -1 - 1 = -k*b. Is b greater than 4/3?
False
Let f = 3554 - 3520. Which is bigger: f or -2/5?
f
Let o be -7 - (8/14)/(3/84). Which is greater: o or -75?
o
Let k be (9/3)/((18/5)/6). Let o be (-17)/(-5) - (1 + (-3)/k). Suppose p - 3 - 1 = -w, 6 = o*w. Which is greater: p or 0.42?
p
Suppose -546 = -10*b + 24*b. Suppose -6*u = 136 + 92. Which is smaller: b or u?
b
Let o be (-4)/(-1) + (265128/37184 - 10). Let q = o + -3/581. Which is smaller: q or 1?
1
Let s = 6/2749 - -13637/49482. Is s at least as big as -109?
True
Let r = 275036009/670 + -410504. Let p = r - 2/335. Which is bigger: 0.1 or p?
0.1
Let i be 2 + 2 - (2 + 2). Let d be i - ((0 - 2) + 0) - -16. Let s be ((-189)/(-14))/((-3)/(-4)). Do s and d have the same value?
True
Let d be (-2)/(-7) - (-27)/(-21). Let p = -4689.4 + 4847.4. Is p less than d?
False
Let h(i) = 5*i**3 + i + 2. Let s be h(-1). Let c be (4 - (-8)/s)*(-1)/(-2). Which is smaller: 2/393 or c?
2/393
Let y = -147 - -164. Suppose 0 = -7*r + y*r - 550. Does 53 = r?
False
Suppose -3*p = p - 16. Let d be (p/42)/(2/6). Let m = -2910.98 - -2911. Which is greater: m or d?
d
Let j = -16742 - -28417. Is -0.1 != j?
True
Suppose k = -0*k + 5*k - 2860. Which is smaller: 716 or k?
k
Let h(o) = 107*o + 249. Let v be h(-7). Let m = -495 - v. Which is greater: -43 or m?
m
Suppose 0 = -l + 5, -5*l + 6*l = 3*o + 1316. Let c = -358 - o. Which is greater: c or 78?
c
Let j = 4377.1 - 4377. Is 5/837 at least j?
False
Suppose 53 = -c + 62. Is 24/7 at most as big as c?
True
Let n = -6/5545 - 238381/49905. Which is smaller: -5 or n?
-5
Suppose -4*j = 2*h - 3778, -4*h + 2*j + 6660 = -956. Are h and 1900 non-equal?
True
Suppose 19*b = 778 + 647. Suppose -3*w - 6 = 0, 0*w - b = -3*f + 3*w. Is 0 greater than or equal to f?
False
Let c = -321 + 16053/50. Let o = 69.9 + -27.9. Let p = o + -41. Is p equal to c?
False
Let c = -91/30 - -1499/420. Let l be 81/216 + 74/16 + -4. Do c and l have the same value?
False
Let g be (12/(-7))/(4/42). Let d be ((-1287)/(-7722))/((-2)/204). Which is greater: g or d?
d
Suppose -y - 2*w + 204 - 239 = 0, -3*w = -24. Let o(k) = -14*k**2 - 2*k. Let v be o(-2). Are y and v unequal?
True
Let z be 48/28*(-3 + 10). Suppose 8*t - 19*t = z*t. Which is smaller: t or 2/35?
t
Suppose -13 = 2*w - 7, 0 = 2*a - 5*w - 19. Suppose -17 + 15 = -a*d. Does d = -1/11?
False
Let b = -702 + 272. Is b bigger than -1286/3?
False
Let b = 86 + -86.91. Let t = b + 0.91. Which is smaller: t or -3?
-3
Suppose -14*q = -i - 11*q + 14, i + 6 = -2*q. Is i > 39/32?
True
Let t = -8273/6 + 1387. Let g be -3 + -1 - (-2 - 10). Is t > g?
True
Let o be 405860/(-25) + (-10)/(-25). Is o at most as big as -16235?
False
Suppose -c - 2*c = -7*c. Suppose -s - 100 = -5*l - c*s, 3*l - 3*s - 48 = 0. Let v = l + -23. Is -4/7 smaller than v?
False
Suppose t - 4*v - 312 = -79, 2*v - 1076 = -4*t. Let c(i) = -9*i**3 + 2*i**2 - i - 1. Let r be c(-3). Does r = t?
False
Let c = -9505/516186 - 1/9559. Is c greater than 0?
False
Suppose -1536*h = -1517*h - 19. Which is bigger: 108/211 or h?
h
Suppose 3*d + 8*j = 3*j - 212, 3*j - 154 = 2*d. Let g be -1*d/(-22) - -4. Suppose 2*v = 4*s - 10, -13*s + 3*v + 5 = -17*s. Is s at most g?
False
Suppose 2*l - 876 = 4*a, 328 + 117 = l + 5*a. Let g = l + -807/2. Which is smaller: 38 or g?
g
Let x = -1 - 158. Let n = 