*f - i - 7 = r. Which is smaller: 3 or f?
3
Let p = 24 + -24.4. Let m = p - -0.7. Let i = 17/21 + -8/7. Is m smaller than i?
False
Let c = 18.29 - 6.29. Let m = -5/2 - -3. Do m and c have the same value?
False
Let d = 108 + -106. Suppose 0 = -d*l - 0*l. Is l at most as big as 1/32?
True
Suppose 392 = -3*u + 4*b - 0*b, -264 = 2*u - 2*b. Let s = -137 - u. Is -2/223 at most s?
False
Let h be 24 + (-3 - 69)/12. Which is bigger: h or 15?
h
Let m be (6/(-10) + (-1159)/(-2565))*102. Is m smaller than -16?
False
Suppose -d + 7*f - 4 = 2*f, 2*f = -3*d - 29. Suppose 48 = -140*u + 134*u. Which is smaller: d or u?
d
Let r = 1 - 3. Let l(b) = 4*b**2 + 5*b + 3*b**2 + 2*b**2 + 2 - 7*b**2. Let k be l(r). Which is greater: k or -3/5?
k
Let s = -24.8 + 24.2. Which is smaller: 6/7 or s?
s
Let i = -57/11 - -421/77. Is i equal to -21?
False
Suppose -x + 722 - 258 = 0. Let m be x/(-480) + (-1)/(-1) + 0. Is 0 equal to m?
False
Let s be (-15)/(-6) + 5/(-10). Suppose -k = -s*k - 9. Is -1 > k?
True
Let q(v) = -19*v - 43. Let j be q(-3). Which is smaller: 15 or j?
j
Let w = 208 - 209. Which is smaller: 4/427 or w?
w
Let w = 6.77 + -4.77. Is 5.3 at least as big as w?
True
Suppose 7 = -5*r + 2*s + 2, 0 = -5*r - 5*s - 40. Let o be r/(-6) + 42/4. Which is bigger: 12 or o?
12
Let u = -11 + 36. Let m = 16.95 + 4.05. Let l = m - u. Is -1/2 at most as big as l?
False
Let o = -25 + 14. Let v be 3 + (-2)/(0 + 2). Let j be o/v - -2 - -3. Is j > -1?
True
Let z = -622 - -281. Let p = z - -4430/13. Suppose 13*q - 2 + 15 = 0. Are p and q non-equal?
True
Let y(m) = -m - 11. Let h be y(0). Let d = -4 + h. Is -15 at least d?
True
Suppose -k = 3*y + 138 - 27, 0 = 3*k. Does -40 = y?
False
Let x = 3 - 3.1. Let v = -252 + 294.8. Let c = v - 43. Is c greater than or equal to x?
False
Let a(u) = -u**3 - 6*u**2 - 9*u. Let b be a(-4). Suppose -5*v - 8 = -5*c - 3, 0 = -2*c + 4*v. Suppose -h = -0*h - c*i - 8, -b*i = 2*h. Does h = 1?
False
Let d = 16 + -8. Let l be 2/d*62*-2. Let g = -278/9 - l. Is g smaller than -1?
False
Let u = -82 + 92. Let y(n) = -n**2 + 6*n + 40. Let h be y(u). Which is smaller: -1/32 or h?
-1/32
Let x = -49.7 - -62.7. Which is greater: x or 9?
x
Let y be (-6)/15 - (-51)/90. Let i be (-85)/585 - 10/(-45). Which is bigger: i or y?
y
Suppose -280 = 2*t - 40. Is t < -119?
True
Let f = 237 - 277. Suppose 5*p - 220 = p. Let r be (p/f)/((-1)/(-2)). Which is bigger: -3 or r?
r
Let k(j) = -2*j + 3. Let l be k(-1). Suppose 4*c + l*p = -14, -3 = 2*c + 2*p + 3. Is -4/7 bigger than c?
True
Suppose 4*k - v + 166 = -3*v, -213 = 5*k - 3*v. Which is bigger: -44 or k?
k
Let t = -265/6 + 2207/50. Suppose 1 = i - 2. Suppose g - i*g = 0. Is g > t?
True
Suppose 2*p + 0*p - 2*x - 138 = 0, -5*x = -2*p + 150. Suppose -10*v + 5*v = -p. Let o(j) = 11*j**2 + 1. Let q be o(1). Is q greater than v?
False
Let a = 1.204 + -0.204. Do 160 and a have the same value?
False
Let h(v) = -v + 3. Let j be h(0). Let k(g) = 2*g - 3. Let s be k(j). Let o be (-2)/(-4) - (-5)/(-6). Are o and s non-equal?
True
Suppose -27*q - 134 = -24*q + 4*x, q + 4*x + 50 = 0. Is -33 smaller than q?
False
Let f = -17/2 - -42/5. Suppose -b + 1 = 2*r + 13, -2*b - 2*r = 20. Let h(g) = -g**3 - 9*g**2 - 6*g + 14. Let s be h(b). Which is bigger: f or s?
f
Suppose 0 = 2*j - 3*j + 4*k + 177, -2*k = 10. Let m = j + -947/6. Let q = -11 + 10.9. Which is greater: q or m?
q
Let l = 17899/27 - 663. Which is smaller: -1 or l?
-1
Let u be 4/18 - ((-236)/(-90) - 2). Which is greater: -3/29 or u?
-3/29
Let a = 607.2 - 613. Which is bigger: a or 0.03?
0.03
Let w be (13 + -6 - 11)*-1. Let x = -4 - -6. Is w less than x?
False
Suppose 3*n - 4*u = 88, 0 = -2*n + 6*n + u - 92. Let b = n - 28. Let f(j) = j**2 - 8*j + 9. Let a be f(6). Which is greater: a or b?
a
Let k = 52147/86 + -1215/2. Which is greater: -1 or k?
-1
Suppose 19*m + 6 = 24*m - r, -5*r = 5. Which is greater: m or -13/49?
m
Let p be ((-1564)/308 - -1) + 4/(-14). Let q = p + 454/99. Which is greater: q or 0?
q
Suppose d = -7 + 2. Let c be ((-1)/(-3))/(d/15). Which is smaller: c or 65?
c
Let r = 36 + -21. Let u = 142 + -127. Is r < u?
False
Let s be (-4)/5 - (-36)/90. Is s less than 202?
True
Let c = -292 + 292. Which is smaller: c or -2/359?
-2/359
Let m be 0 + 5/((-15)/(-9)). Which is smaller: -10 or m?
-10
Suppose -7*r + 9*r + 79 = -5*j, -3*j + r - 54 = 0. Is j greater than -17?
False
Suppose q = 3*d - 1105, 2*d + 4*q = 357 + 361. Which is smaller: d or 365?
365
Let u(f) = 2*f**2 - 2*f - 2. Let c be u(-1). Suppose -3*v = -0*p - c*p - 14, 2*p + 2*v = 6. Let g = 0 - 1. Is p smaller than g?
False
Suppose 67*z - 79*z = 744. Is -48 equal to z?
False
Let o = 6/65 - -7/65. Which is greater: o or -0.25?
o
Let b = -3.0307 + 0.0307. Is 0.7 at most b?
False
Let r(c) = c**3 + 8*c**2 - 9*c - 1. Let u be r(-9). Let s be u*3 - 100/(-30). Which is smaller: -1 or s?
-1
Let d = -32 + 35. Let y be d + ((-69)/(-21))/(-1). Let b = 1 + 1. Are b and y non-equal?
True
Let f = -307 + 306. Let r be (-1)/3 - (-7)/39. Let u = 8/13 + r. Which is smaller: u or f?
f
Let c(i) = i**2 + 33*i - 150. Let q be c(-29). Let w = -45900 + 182527/4. Let f = w - q. Which is smaller: f or -2?
f
Let t = 659/4 + -163. Is 2 less than or equal to t?
False
Let i = 1767/2 - 887. Let b = -3 + 3. Suppose 0 = -4*j - b*j - 16. Is j >= i?
False
Let r(i) = -i**2 - 4*i - 6. Let s be r(0). Let d be 8/(-9) + s/27. Is d < -1?
True
Let l be (-54365)/360 + (0 - -1). Let f = 1394/9 + l. Let h = f + -265/56. Which is greater: -2/5 or h?
h
Suppose 24*z + 20 = 25*z. Suppose -15*s + z*s + 20 = 0. Are s and -4 unequal?
False
Let u = -37.2 + 37. Which is smaller: u or -4/7?
-4/7
Let b(m) = 16*m**3 + 2*m + 1. Let p be b(-1). Let s = -1 + p. Let k be 4/s + 1536/108. Is 14 equal to k?
True
Suppose l - 78 + 3 = 0. Suppose -l = 5*a + 5*r, -6 + 3 = r. Is 2 bigger than a?
True
Let n be (52/182)/(1810/602 - 3). Suppose 0 = 3*s + 4*g - 138, -s + 22 = -3*g - 11. Which is greater: n or s?
n
Suppose 5*y + 790 + 797 = -18*y. Suppose f + 139 = a - 3*a, 3*a - 4*f = -214. Which is smaller: a or y?
a
Let w = -1923 + 3001. Which is smaller: 1077 or w?
1077
Let o(w) = -2*w - 69. Let l be o(-5). Which is greater: -60 or l?
l
Let h be (-3)/15 - 212/(-10). Suppose -5*l = 5*w - 45, 3*w - l - h = -2*l. Let i = w - 8. Is -2 greater than i?
False
Let u = 52243/350 - 1045/7. Let s be (0 - -1)*(1 - 0). Which is smaller: s or u?
u
Let q be ((-3)/5)/((-3)/15). Suppose q*g - 4*x - 3 + 4 = 0, -3*g - x + 4 = 0. Let i = -1058/3 + 353. Is g less than i?
False
Let m(u) = -u**3 - 5*u**2 + 3*u + 5. Let b be m(-4). Let p(t) = t**3 - 6*t**2 + 4. Let l be p(5). Which is greater: l or b?
l
Let u = 275194/71 + -3876. Let z(y) = y**3 - 2*y**2 - 4*y + 3. Let g be z(3). Which is greater: u or g?
g
Let c = -247 + 246.71. Which is smaller: 2/3 or c?
c
Suppose 4*k + 28 = -4*q, -4 = q + 3*q - 2*k. Which is bigger: q or -34/9?
q
Let i(v) = -10 - 2 - 5 + 1 + 5*v. Let d be i(3). Let p = -31152/37 - -842. Which is greater: d or p?
p
Let i = -65/3 + 19. Let a = 33 - 37.1. Let q = 4 + a. Is i less than or equal to q?
True
Let h be 5/(-2) - -23*(-30)/12. Suppose -3*y + 5 = -10. Let f be (-48)/h - (1 - y). Which is smaller: 6 or f?
f
Let o = 3/11 - 125/539. Let n = 30223733/147 - 205602. Let p = o + n. Is p >= 1?
True
Let h(y) be the second derivative of -y**5/20 - 2*y**4/3 + y**2 + 3*y. Let l be h(-8). Which is smaller: 5 or l?
l
Suppose 0 = -4*x + 4*m - 60 - 136, 5*m = -3*x - 123. Let a = 38 + x. Let g(o) = 2*o**3 + 3*o**2 + 3*o + 3. Let i be g(-2). Is a greater than i?
False
Let n be (-4)/(-12)*(1 - 22). Let t be n + (-1 - -3) - -1. Which is smaller: t or -18/5?
t
Suppose 4*c - 4 = 2*c. Suppose 0 = -3*h - c*d - 21, 2 - 37 = 4*h + 5*d. Which is greater: h or -6?
h
Let a be (-2*1 - 4) + (-61 - 83). Which is greater: -148 or a?
-148
Let q = -2348 + 2368. Is 11 equal to q?
False
Let d be (55/30)/(4/416). Let f = 207 - d. Let z = -925/57 + f. Is -2 smaller than z?
True
Suppose 2*b = -3*b + 5. Let r = -9870247/31240 + 22520/71. Let i = r + -3/88. Which is smaller: b or i?
b
Suppose 56*a - 158 + 46 = 0. Which is smaller: a or -350?
-350
Let u(y) = -9*y + 146. Let c be u(16). Which is bigger: 11 or c?
11
Let u be (140/8 - 16)/((-3)/(-182)). Which is smaller: -2/7 or u?
-2/7
Let d = 89.85 - 89. Let m = 0.75 - d. Is m n