smaller: m or w?
m
Let l be (92/(-207))/((-40)/18 - -2). Is l bigger than 14/15?
True
Let v = -7.954 + 6.11. Let t = v + -0.156. Are t and 0.1 non-equal?
True
Let q = 2785.697 - 2787. Let r = q + 0.003. Is -2/5 at least r?
True
Let w be ((-1)/70)/((-15)/(-180)). Does w = 1/5?
False
Let o(r) = r**3 + 2*r**2 - r. Let v be o(-2). Suppose -2*g - 4 - 28 = -4*q, -v*g - 2*q - 38 = 0. Which is smaller: -16 or g?
g
Suppose 33*v - 453 = 30*v. Is v greater than or equal to 150?
True
Let w = -342 - -342. Let d = -42/5 - -4232/505. Does d = w?
False
Let r be (-3)/(4 + -1) - 0. Let p be (32/112)/((-9)/(-14)). Is r < p?
True
Let m(n) = -n**2 + 11*n - 27. Let b be m(7). Which is bigger: 2/567 or b?
b
Let m = -42 - -19. Let y = m + 22. Is 3/16 at most y?
False
Let w = -132350/39 - -3394. Let d = -599/156 - w. Which is greater: -5 or d?
d
Suppose 3*t = 4*t. Let r = -48 + 3. Let y be (-2)/(-3)*(r/(-267))/5. Is y bigger than t?
True
Suppose 0 = 2*l + l + 2*a - 459, 0 = 4*l + 3*a - 612. Which is smaller: l or 152?
152
Let p = -82 + 87. Suppose -3*u + 26 = p. Is 9 less than or equal to u?
False
Let l be (-1 + (-10)/(-11))*-1. Suppose -o - 77 = -6. Let z = -70 - o. Which is greater: z or l?
z
Let z = -149.939 - -150. Let x = 10.939 + z. Which is smaller: x or -1/5?
-1/5
Let g = 951 + -947. Are g and 11/5 equal?
False
Suppose 5*d - 676 - 359 = 0. Suppose -7*b - 11 + d = 0. Which is smaller: b or 27?
27
Let p = -9 - -13. Let n(h) = -h**3 + 5*h**2 + 7*h - 5. Suppose 0 = 4*w + k - 6 - 23, -3*w + 23 = k. Let r be n(w). Which is smaller: r or p?
r
Suppose 0*y + 36 = 3*r + 3*y, 0 = -3*r - 4*y + 39. Let t(h) = -h**2 + 13*h + 14. Let j be t(14). Let a be j/((r/3)/(-3)). Is -1 < a?
True
Let z = 11383082/96795 + 2/19359. Let t = z - 118. Which is smaller: 0 or t?
t
Let k be (-8)/42*(-1404)/(-104). Which is greater: -2 or k?
-2
Let p be (-2)/(-5*(-1)/(-90)). Do 37 and p have different values?
True
Let n = -559/88 + 74/11. Let k = -0.03 - 9.87. Let w = k - -10. Which is smaller: w or n?
w
Suppose x - 5*f = -2*x + 53, 60 = 4*x - 4*f. Suppose -2*s - d + x = 0, s - 2*d - 22 = 3*d. Is s at least as big as 5?
True
Let u = -45 + 18. Let g = u + 27. Which is greater: g or -27?
g
Let c = 4140 + -393296/95. Which is smaller: 1 or c?
c
Suppose -f = -5*n - 91, 0 = 4*n + 1 - 5. Let o be f/23 + (-3 - 1). Do o and 1 have the same value?
False
Suppose 1675 - 1741 = 6*o. Is o not equal to 2?
True
Suppose 4*d - 347 = 73. Suppose 7*c = 2*c - d. Is c less than 0?
True
Let n(o) = -o**3 + 9*o**2 - o + 11. Let w be n(9). Which is bigger: w or 71?
71
Suppose -7 - 15 = -y + 5*p, 4*y + 12 = -5*p. Suppose -5*f = -y*f + 6. Let t be 1/f - (-50)/140. Is -3 > t?
False
Let a(r) = -r + 8. Let q be a(11). Let d be (-6)/(36/(-5))*q. Which is smaller: -4 or d?
-4
Suppose -14 + 267 = i. Is i at least as big as 252?
True
Let u(q) = 4*q**3 + 2 + 0*q**2 + 2*q**2 - 3*q**3 - 7 - 5*q. Let d be u(-2). Is d less than -4?
False
Let a be (3 + 65/(-20))*-4. Let b be a*(-21)/(-9) + -1. Which is bigger: 0 or b?
b
Suppose -8*c + 14*c = -276. Is c less than or equal to -44?
True
Let u = -779/22 - -71/2. Let y(o) = -2 - o + 5 - 7. Let v be y(-3). Which is smaller: u or v?
v
Let a(p) = 2*p**3 + 5*p**2 - 2*p + 2. Let s be a(-4). Let b = -37 - s. Which is smaller: -2/21 or b?
-2/21
Let p = -1180 - 1314. Is p less than or equal to -2495?
False
Suppose 4*o = -2*b + 3*o - 1, 0 = -3*b + o - 14. Let p = -13 + 1. Let v = 8 + p. Which is smaller: v or b?
v
Let p be ((-14)/4)/((-3)/18). Let a(r) = 2*r - 43. Let l be a(p). Suppose -o - 11 = -3*s, 0 = 4*o - 2*s + 2 + 12. Is l less than o?
False
Let g = -1422.862 - 2.138. Is g equal to -1/2?
False
Let i = 1512998/133 + -11376. Which is bigger: i or 1?
1
Let g(h) = h + 2. Let m be g(-6). Let o be ((-4)/84)/(2/m). Which is smaller: -1 or o?
-1
Let h = -585007861/2338 - -1751566/7. Let i = h + 1/167. Which is smaller: 6 or i?
6
Let i(v) = 2*v**2 + v - 6. Let f be i(-2). Suppose -h - 58 + 65 = f. Which is greater: h or 58/7?
58/7
Let f = -90 + 39. Is f >= -50?
False
Let c = -24.19 + 23.99. Which is smaller: c or 112.9?
c
Suppose -2*r = -7*r - 165. Suppose 11*d - 121 = -506. Which is bigger: r or d?
r
Let j(q) = q**2 + q. Let t(g) = -4*g**3 - 2*g**2 + 1. Let w(v) = -j(v) - t(v). Let f be w(-1). Let h be 0 + (-3)/((-9)/f). Which is smaller: -5/8 or h?
h
Let m be -3*-3*(-4)/(-18). Let h = -61 + 63. Suppose -k - 3 = -4*y, h = 2*k - 3*y - m. Which is bigger: k or 4?
k
Let j = -0.4 - -0.8. Let z = j + -0.1. Let y = -0.179 - 0.821. Which is greater: z or y?
z
Let a = -1313 - -1163. Which is greater: a or -1/2?
-1/2
Let k = -1 + -5. Let f = -4 - k. Suppose -4*i + 3*u = 1, 3*i + 1 = -4*u - 6. Which is smaller: f or i?
i
Let k = 0 + 7. Suppose -p + 12 = v, 54 = 5*v - 2*p + 4*p. Which is smaller: v or k?
k
Suppose -3*h = 12, -4*h - 566 = -2*g - 3*g. Suppose -5*z - g = 110. Is -45 equal to z?
False
Suppose -21*y + 6*y = 0. Let r be (1 - (-11)/(-13))*-4. Which is bigger: y or r?
y
Suppose 0 = 4*j - 5*i - 923, 8*j - 7*j - 3*i - 236 = 0. Is 224 bigger than j?
False
Let g be 2/(-8) + 4893/84. Let i = g - 639/11. Is i >= -1?
True
Let t be 5/2 - (0 - -1). Suppose g + 2*j - 9 = 0, 4*j + 8 = 5*g + 5. Which is smaller: t or g?
t
Let n be -3*(0 + (3 - 4)). Let c be (n/9)/((-4)/(-12)). Does c = -2/21?
False
Let p be 6 + (8 + -2)/2. Let r be 1/6 - p/54. Let t be (-1)/(-1) - (-22)/(-8). Which is bigger: t or r?
r
Let n = -357/8 + 30329/680. Let t = n + 78/425. Is 0 != t?
True
Let p = 3585/2 - 1837. Let b = p + 44. Which is smaller: -1 or b?
-1
Let o = 14 + -13. Let d = 172.7 + -187. Let n = -15 - d. Is n smaller than o?
True
Let j be (-16)/280*(-18)/(-4). Let n = j + -1/35. Which is bigger: -0.47 or n?
n
Let r = -442043/10716 + 2/2679. Let u be 0 + ((-1565)/36 - -2). Let v = r - u. Which is smaller: 0.4 or v?
v
Let n = -0.12 + 0.62. Let x = 0.041 - 2.041. Which is smaller: x or n?
x
Let z be (8/722)/(-1 - 1). Which is smaller: z or 0?
z
Suppose 8*c - 24*c + 384 = 0. Is 12 smaller than c?
True
Let h = 1.17 + -80.17. Let u be (7 - 154/21) + 0. Is u less than or equal to h?
False
Let w be 56/(-6)*(-18)/2. Suppose 4*u = -5*t + w + 56, 2*t = 5*u - 208. Suppose -u = -y - 37. Is 3 > y?
False
Let z = 454 - 454.2. Is z greater than 1.3?
False
Let i(c) = -c**2 - c - 1. Let q(s) = -6*s**2 - 8*s - 7. Let r(z) = 10*i(z) - 2*q(z). Let g be r(-4). Let f = 7 - g. Which is greater: -16/3 or f?
f
Let o be -1*(-8304)/(-8316) - 2/(-2). Which is bigger: -1 or o?
o
Let d(j) = 3*j - 20. Suppose -2*b + 3 = -l - 0, l - 17 = -2*b. Let c be d(l). Which is smaller: -1/51 or c?
-1/51
Let h(c) = c**2 + 12*c + 3. Let o be h(-12). Suppose 0*t = o*t + 15. Let x be (-2)/((t/4)/(-1)). Is x != -2?
True
Suppose 5*l = -3*g - 1, l + 3*l - 20 = -5*g. Is g less than or equal to 17?
True
Let p = -331 - -380. Is p smaller than 53?
True
Let r = 314 + -318.9. Let u = 16.9 + -16. Let n = u + r. Is n smaller than 1/2?
True
Let f be (-2)/(-8) - (-2)/(-72). Let h = 6/3991 + 7928/35919. Does f = h?
True
Suppose -2*g - 1 = 2*d - 67, -3*g = -4*d - 99. Let l be 237/g + 6/(-33). Is 3 greater than l?
False
Let t(f) = -2*f**2 - 22*f - 12. Let p be t(-11). Let s be ((-12)/9)/((-2)/6). Suppose s*k = -63 + 11. Is k bigger than p?
False
Suppose 0 = -0*u - 17*u + 34. Is u greater than or equal to 2?
True
Let a = 14 + -22. Let f be -2*((-36)/a - 2). Let b be ((-25)/2)/f*4. Is 8 bigger than b?
False
Let d = -1978 - -1292. Do d and -685 have the same value?
False
Suppose 0 = -67*x + 66*x. Which is smaller: -7/64 or x?
-7/64
Let f = 0.851 - 0.651. Let x = 3.1 + -16.1. Is f less than x?
False
Suppose -h - 21 = -10. Let y(g) = -5*g**3 + g**2 + g. Let b be y(-1). Suppose -r - 5 + 3 = 0, -2*i - 12 = -b*r. Is h smaller than i?
False
Let p = -4/317 - -718/6657. Is 7 at least as big as p?
True
Let o = 48 + -120. Let w = o + 36. Is -36 != w?
False
Let i = 814 - 812. Is i >= 1?
True
Suppose 9 = d - 2. Let m = d + -11. Suppose -4*h - 18 = -2*g, 0*g - 2*g - 2*h - 6 = m. Which is smaller: g or -2/123?
-2/123
Let d = -6.7 - -32.7. Do d and 2/5 have the same value?
False
Suppose -3*c - 187 + 154 = 0. Is -8 >= c?
True
Let w = 0.1 + 0.1. Let d = 27 - 25. Let z be d/3*(-3)/5. Do z and w have different values?
True
Suppose 0 = d, 0*d = 2*v - 3*d. Let u be -4 + 5 - (v + -2). Suppose 2*g + 18 = -5*m 