0). Suppose -j*w = -6*w - 20. Suppose -3*r = -2*c - 8, -w*r + 8 = -c - 1. Which is bigger: r or 9/7?
r
Let x = -8/7 + 10/21. Let s = -5 - -7. Suppose 4*d + 4*q = 5*d + s, -2*d + q = 4. Which is smaller: x or d?
d
Let u(q) = q - 1. Let j be u(-2). Let x be (1 + -2)/((-4)/88). Let h = x - 25. Is j >= h?
True
Let w = -13597 - -13592. Let p = 1 - 0. Suppose -i = 6 - p. Is w at least i?
True
Let j = 3457313/124 + -27882. Let b = 6/31 + j. Suppose -5*i - 4*w - 21 = 0, 2*i + 3*i = -w - 9. Is i smaller than b?
True
Let k = 26 + -12. Let h be (4/14)/(1/k). Suppose 0 = 2*a + 2*a - h. Is a smaller than 5/9?
False
Let t = 1/105 - 8/105. Let n = t - -2/5. Let c = n - 2/3. Which is greater: c or -0.2?
-0.2
Let q = 36 + -24. Suppose 8*w - 20 = q*w. Which is smaller: -6 or w?
-6
Let z = 997/35 + -141/5. Which is bigger: -169 or z?
z
Suppose 2*b - 2 = h - 7, 0 = -2*h - b. Let t be (h - 0)*(1 - (-6 + 5)). Is t bigger than 0.03?
True
Suppose 5 = -4*a - 3*u, -2 = -3*a - 2*u - 6. Let i be (-3)/a - 2/(-4). Suppose i*q - 6 = 6. Are 6 and q nonequal?
False
Let b = -43 - -76. Let o be b/88*(2 - 8). Which is bigger: o or 0?
0
Let j = 2/1221 - 35413/2442. Which is smaller: -14 or j?
j
Suppose 0 = 2*c + 3*c, 4*x + 2*c = 144. Suppose -6*q + 2*q = 2*g + x, g + 4*q = -26. Suppose 6*o = o - 50. Do g and o have the same value?
True
Let n = 4 - 2.5. Let u = n - 1.2. Are u and 0 equal?
False
Suppose -3*j + 2*r + 1535 = 0, 4*j - 3*r = -4*r + 2043. Are 512 and j equal?
False
Let o = -1.77 - 82.23. Let q = 82.66 + o. Let c = 1.3 + q. Which is smaller: c or -0.1?
-0.1
Suppose -157*z = -199*z + 42. Is -21 != z?
True
Let g = -5 + 6. Let p = g - 0. Let o(x) = 2*x + 4. Let h be o(0). Which is smaller: h or p?
p
Let t = 1.803 - 2.803. Is -448 greater than or equal to t?
False
Let v = -190 + 277. Which is smaller: v or 88?
v
Let a = -51 + 54. Let x be -3*-4*15/9. Suppose 10 + x = a*q. Is q >= 8?
True
Let w = 20.8 + -2.8. Let x = w + -26. Let m = x - -7. Which is bigger: -1/4 or m?
-1/4
Let r be ((-210)/(-245))/((-4)/7). Is -3 smaller than r?
True
Let i(j) = 2*j**2 + 7*j - 4. Let g be i(-4). Is -4 bigger than g?
False
Let j = 1366/11 - 124. Let b = 65 + -61. Suppose t = -b*t. Do t and j have different values?
True
Let j = 33 + -22. Let h = j + -13. Let f = -8.7 + 8.5. Which is smaller: h or f?
h
Let z = 171 + -161. Suppose 0 = z*k - 650 + 170. Which is smaller: k or 2?
2
Suppose -h - 2*n - 5 = -17, -4*h = 4*n - 32. Let l be (4/h + 2)*2. Suppose g = -4*y + 16, -4*y + 2*y = 2*g - 2. Do l and y have the same value?
False
Let t be ((-4)/(-14))/((-6)/(-84)). Let k be 1*(-3 - (-8 + t)). Is k >= -5/18?
True
Let z be ((-105)/(-135))/(2/2). Is 1/4 greater than or equal to z?
False
Suppose k - 5*g + 0*g - 298 = 0, 5*k - 1544 = -2*g. Is k <= 307?
False
Let s = 5 + 9. Suppose -g = -s + 9. Let q be (14/5)/(3/5). Which is bigger: q or g?
g
Let q = 220 + -286. Which is smaller: 1 or q?
q
Let v be (252/(-49))/(9/(-210)). Which is bigger: v or 122?
122
Let x be (630/75)/((-1)/(-5)). Let s = -47 + x. Is s at least -2?
False
Let q(j) = -j. Let i be -3*-1*(2 + -1). Let a be q(i). Which is bigger: a or 0?
0
Suppose 7*f - g - 2 = 6*f, 3*f - 4*g = 3. Which is smaller: 14/3 or f?
14/3
Suppose 2 + 40 = -6*i. Let u(v) = -v**2 - 9*v - 6. Let j be u(i). Does 9 = j?
False
Let i = 48421/2793 + -52/3. Which is greater: i or -1?
i
Suppose -894*j = -907*j + 7943. Which is smaller: j or 1?
1
Let s = 995 + -2286. Is -1291 <= s?
True
Suppose 29*z - 25*z + 20 = 0. Which is smaller: z or -49/9?
-49/9
Let r be (0 - 64)*(-4 + 3). Let c(l) = l**2 - 5*l - 42. Let o be c(-8). Is o equal to r?
False
Let v = 15/28 - 4/7. Let f = v + 59/84. Which is smaller: 4 or f?
f
Let o = -31 + 30.78. Let d = -0.32 - o. Is 32 at least d?
True
Suppose 0 = -3*j - v + 1229, -4*j - 1652 = -8*j + 2*v. Which is smaller: j or 413?
j
Suppose -f = -6*f - 235. Let v = -143/3 - f. Is v bigger than -2?
True
Let r be (-28)/(-5 + 2230/450). Is 631 greater than or equal to r?
True
Let w be 29/(-2) + (-1)/(-2). Let q = 7 + w. Let a be -1 + q + (-4)/2. Do a and -11 have the same value?
False
Let l be ((-18)/5 + 3)/(-6). Let m = 2 + 1. Suppose -m*d + 2 = -d. Does l = d?
False
Suppose -3*y - 4*g + 173 = -691, 2*y = 2*g + 590. Which is smaller: 291 or y?
291
Suppose 3548 = 3*f + 5*q, 6*f - 14*q + 11*q = 7122. Is -1 at most f?
True
Suppose -9*n = -4*n + 5. Let m = 9 + n. Which is bigger: m or 11?
11
Let f = -25 + 2. Let m = f + 33. Which is smaller: m or 8?
8
Let k(q) = -2*q**2 + 11*q + 7. Let l = 22 - 15. Let f be k(l). Is f less than or equal to 1/2?
True
Let f = -6.6 + 6.3. Let c = 8.31 - 8. Let h = c + f. Is h <= -1/3?
False
Let a = 1283 + -1299. Let o = -0.14 - -12.14. Let i = o + a. Is i <= 0.1?
True
Let k = -175 + 190. Is k < 13?
False
Suppose 4*p + t + 4 = 15, p = 5*t + 8. Is -5 less than or equal to p?
True
Let g(x) = x**2 + x. Let f be g(0). Let c = 18/37 + -1344/481. Let v = -287/130 - c. Which is bigger: f or v?
v
Let i(m) = 4*m**3 - 97*m**2 + 20*m + 76. Let l be i(24). Which is bigger: -0.11 or l?
-0.11
Let k = -47.7 + 37.7. Which is smaller: k or 1/20?
k
Let z = -1/12 + -1/4. Are z and 234 equal?
False
Let s be 6 - -267*(-2)/24. Which is bigger: s or -15?
-15
Let u be (-3)/(-6)*(-121)/3. Is u less than or equal to -19?
True
Suppose i + m - 13 = 0, 0 = 5*i + 4*m - 3*m - 61. Let y be (i/3)/2*1. Let s(k) = -2*k - 45. Let d be s(-22). Which is smaller: d or y?
d
Let k = 13 - 6. Suppose 2*m + m = s + 16, -2*m + 4*s - 6 = 0. Let o = m - k. Which is greater: -1/10 or o?
o
Let v be (-2)/(-6) + 41/3. Let k be ((-14)/(-4))/(2/24). Let a be 8/v*k/36. Which is greater: 1/2 or a?
a
Let s = -316 - 511. Is -2/9 >= s?
True
Let y = -119 + 124. Is 56/11 >= y?
True
Let i = -0.23 - 0.77. Is i at most 2/17?
True
Let d = -13 - -13.1. Let j = d - 0.1. Let w = 0.028 - 0.328. Is j less than w?
False
Let w(v) = v**3 - 29*v**2 - 21*v + 72. Let q be w(29). Does -537 = q?
True
Let m = -666/5 + 134. Let w = m + -17/15. Let t = -100.3 - -98.5. Which is smaller: w or t?
t
Suppose 3*g - 2*j = 17, -j = -3*g + 4*j + 20. Suppose -g*w + 51 = -w + h, -5*h = 4*w - 63. Suppose 65 = 5*f + y, -5*f + 3*y = -2 - 43. Does w = f?
True
Let s = -6 - -7. Let z be (0 + 1)*15/(-65). Which is smaller: s or z?
z
Let b = 0.2792 + -0.1573. Is b less than 1?
True
Let y = -35 + 21. Let l = -14.85 - y. Let p = -0.15 + l. Which is smaller: 1.1 or p?
p
Let p = 8 - -43. Suppose 0 = 2*x + x - p. Let s be -4 + (201/x)/3. Which is greater: s or -1?
s
Let g = -11 + 11. Suppose g*b + 2*b = 0. Suppose b = -2*c - 8, 2*h = 4*h - 3*c. Is -7 at least as big as h?
False
Let y be (-2 - -5) + -3 + 12. Suppose -y = 2*u - u. Is -13 > u?
False
Let x = -745 + 744. Which is smaller: 4/225 or x?
x
Let y(q) = q**3 - 2*q**2 - 3*q - 9. Let h be y(4). Suppose 2*g - 4*t + 8 = -g, 4*g - h = t. Which is smaller: g or 8/3?
8/3
Let p = 266 - 266. Which is bigger: p or 20?
20
Let t = -1665312/53 - -31422. Which is smaller: t or 2?
t
Let h be (0 - 1)*2 + 0. Let v = 47 + -65. Let l be h/(-1)*(v - -20). Are 1 and l equal?
False
Let n = 396 + -1982/5. Are 26 and n nonequal?
True
Let h be 6 + (-7)/42*46. Is h greater than -4/5?
False
Let p = 16 - 13. Suppose -2*i + 2*l = p*i + 52, -28 = i + 4*l. Let w = i - -17. Is 2 smaller than w?
True
Let c = -1464.5 - -1453. Which is bigger: -0.2 or c?
-0.2
Let b = 1224 - 1224. Is b > -1/269?
True
Let m = -0.754 + -0.246. Which is smaller: -0.22 or m?
m
Let y = -0.209 + 0.309. Which is smaller: y or 62?
y
Let f = -0.9 + 0.8. Let g = 0.04 + f. Let q = g - 0.94. Is 1/3 less than q?
False
Let z(o) = o**2 + 81*o + 411. Let c be z(-6). Does -77/2 = c?
False
Let j be 3/(-8)*28/(-63). Let q(z) = -z**3 + 6*z**2 + z - 5. Let c be q(6). Let o be c - (-1 + 5 + -2). Is o at most j?
True
Suppose 0 = 104*m + 12 + 300. Let z be (-4 - -2)*(-2)/(-4). Is z not equal to m?
True
Let c = 724 - 711. Which is bigger: c or 9?
c
Let n be 18/(-24)*(-3)/((-36)/8). Is 417 greater than n?
True
Let f(b) = -23*b + 75. Let d be f(16). Is -293 greater than d?
False
Let g = -5 - -10. Suppose 5*s = -2*j + 1, 3*j + g*s + 1 + 5 = 0. Let o = -2228 + 2227. Is j >= o?
False
Let a = -108 - -109. Let r be 2/(-4) - 7/(-14). Let l be (-24)/(-13) - (2 - r). Is l at most a?
True
Suppose -3*j + 2*v = j + 54, -3*v = -2*j - 25. Let k be ((-7)/j)/((-1)/