uppose -5*f + 5*a = -901 - 24, -3*f - a + 547 = 0. Let j = 205 - f. Which is smaller: j or 23?
j
Let k be 4 + (-2604)/(-44) + -7. Let c = k - 2835/44. Which is smaller: -7 or c?
c
Let q be ((-20)/4 - -5) + -4. Let o be (13/39)/(q/(-66)). Suppose 6 = 3*y - 3*m, 5*y + 6*m - 34 = 3*m. Which is bigger: o or y?
o
Suppose 5*s - 578 = -u + 637, -4*u + 4*s + 4836 = 0. Let m = u + -279508/231. Which is smaller: m or 1?
m
Let p be (85/(-34))/((-1)/(-2) - 1). Suppose 0*b = 2*b + 2, -4*r = p*b + 101. Let j = -44 + 21. Which is smaller: r or j?
r
Suppose -53*b = -49*b + 4. Which is smaller: -2/643 or b?
b
Let d be 21 + -22 + (-8)/(-2). Suppose -t = d*t - 12, -26 = -5*f - 2*t. Which is smaller: f or 26/5?
f
Let r = 0.659 - -0.341. Is r not equal to -30.9?
True
Let n = -9.654 + -6478.346. Is n at most -0.1?
True
Let r = 5.28 + 23.72. Let h = r + -28.971. Which is smaller: 0.5 or h?
h
Suppose -4*d = -12, 83*s + 2*d + 50154 = 88*s. Which is smaller: s or 10033?
s
Let g = 2456 + -3866. Let q be ((-700491)/g)/(10/25). Let l = q - 1242. Is 0 equal to l?
False
Let d = -36.1 + 34.33. Let p = d + -99.23. Let o = 8 + -7.9. Is o bigger than p?
True
Let j = 824/7 + -118. Let c = 74.6 + -74.5. Is c < j?
False
Let l = 1921561487529/603886989973190 - -3070/117634441. Let y = 1/7910 - l. Is -1 <= y?
True
Let h = 613085229989173/31521 - 19450056481. Let j = -2/1659 - h. Are j and 11 nonequal?
True
Suppose 3*t - 11*l + 13 = -6*l, -3*l + 4 = 2*t. Let k = 17764/5854305 - 2/8165. Which is smaller: k or t?
t
Let w = -9552 - -9532.6. Is -27 bigger than w?
False
Let y be ((-44)/32)/(-2 + 9296/4660). Let v = y - 267. Are v and 1 equal?
False
Let t = 3577 + -3480. Suppose 5*g - l - 383 = 0, -4*g = -3*g - 4*l - 69. Let h = t - g. Is 20 at least h?
True
Suppose -c - 3*t + 12 = 0, -2*c - 4*t + 29 = 13. Is -0.03691 > c?
False
Suppose -10*g = -7*g + 1845. Let p be (g/(-27))/(80/(-15) - -6). Is p at most as big as 35?
True
Let t be (-22 - -29 - 6)/1. Do t and 39/107 have the same value?
False
Let v = -2/3765 + 3618173/15060. Which is greater: v or -2/5?
v
Let i = -6684.7475 + 0.7475. Is i less than 0.1?
True
Let t = 22 - 51. Let u = -437 + 468. Let j = u + t. Is j >= 6/17?
True
Let n(z) = 2*z**3 + 10*z**2 + 2*z + 85. Let m be n(-6). Let o be 45/525*10/(-2). Is m greater than o?
True
Let d = 392/23 + -17. Let j = -27 - -6. Let l = 21 + j. Is d greater than or equal to l?
True
Let m(u) = -227 - 12*u + 0*u - 32*u. Let l be m(-6). Suppose q + 114 = 4*q. Is l greater than or equal to q?
False
Suppose -45 = 12*c - 9*c + 3*l, -2*c = 3*l + 35. Let k be ((-4)/c)/(90/(-25)). Suppose -4*t - 1 - 3 = 0. Is t smaller than k?
True
Let b = -9451 + 8415. Which is bigger: -1033 or b?
-1033
Suppose -20*z - 3*y = -18*z + 11, 4*z + 4*y = -16. Which is smaller: -31/71 or z?
z
Let i(d) = d**3 - d**2 + 4*d - 16. Let f = 790 + -786. Let v be i(f). Which is greater: v or 2/7?
v
Suppose 0*g = 4*g - q + 83, -5*g - 120 = 2*q. Let f = g + -88. Is f smaller than -111?
False
Let x be 429/(-22) - (-16 + -2). Let g = -4476/37 - -121. Are x and g non-equal?
True
Let b(w) = -33*w**2 - 13*w + 31. Let j be b(2). Let v be (-2 - (-123)/(-2))*2. Is j at most v?
True
Let c be (-5)/(-4) + 296/(-1184). Let j = -31 - -36. Is j bigger than c?
True
Let p = -863565/98 - -8812. Is 0.1 greater than or equal to p?
False
Let u = 32.7228 + -32.632. Are 1/12 and u equal?
False
Suppose 6121 - 716 = 235*n. Let k be 25 - -1 - (0 - -3). Is n at most k?
True
Suppose -b - 1252 = -2*o, o + 4*b = -3*o + 2504. Suppose 2*z + 2*g = o, 1298 - 46 = 4*z - 5*g. Suppose z = -14*n - 709. Is -73 greater than n?
False
Let j(d) = 35*d**3 - 17*d**2 + 16*d + 18. Let k be j(-9). Let s be -8 + (k/(-3375) - 0). Is s bigger than -1?
True
Let r = -4676.8 - -4599.834. Let t = -0.034 + r. Let q = 81 + t. Which is greater: q or -1/3?
q
Let k be 0*2/(-4) + 2*-35. Let h = 58 + k. Let u be 1 + h/9*(-6)/2. Is 5 smaller than u?
False
Let l = -8261 - -74228/9. Is -13 > l?
True
Let u = -7/6495 + 14647/17607945. Is 0 at least as big as u?
True
Let f = 207 + -194. Suppose 3*z - f = -4*a, z - 6 = a + 3. Which is smaller: z or 6?
6
Let m = -290 + 290. Let u = -2468/2167 + 25/22. Which is smaller: u or m?
u
Let y = 407/241262 - 8/2721. Which is smaller: y or 0?
y
Let w = 487 - 427. Suppose -51*z - 18 = -w*z. Suppose -4*d - 42 = 5*y, 2*d - d = 4*y. Which is smaller: d or z?
d
Let a = -8038621/2029335 + 9639/5522. Let v = a + 34/15. Is 0 <= v?
True
Let t be 297 + -283 - (55 - -2). Is -14 greater than or equal to t?
True
Suppose -26013 = 185*u - 116*u. Is -382 smaller than u?
True
Let h = -232 - -242. Let g be (-12)/30 + 4/h. Is g smaller than 1/2?
True
Let n = 5886 - 5885. Let q = 15 - 16.1. Is n greater than q?
True
Let c = -20 - -13. Let f be 3*(c + 1)*2/51. Which is greater: -1 or f?
f
Let h = -390 + 390. Are h and 42/1063 equal?
False
Let x be ((-1)/(8 - 9))/1. Let d be (7 - x)/462*15. Is 1 bigger than d?
True
Let i(w) = -1001*w + 1466. Let n be i(-7). Which is smaller: n or 1?
1
Let c(w) = 2*w**2 + 13*w - 8. Suppose -7*z - 63 = 2*z. Let r be c(z). Let g be 42329/(-3927) - -11 - (-2)/(-11). Which is greater: g or r?
g
Let p = 8854 + -26561/3. Are 9/163 and p nonequal?
True
Suppose 17 = -3*f + 5*t, -6*f - 7 = -5*f - 2*t. Is -21/1538 at least f?
False
Let n(x) = -6*x + 1. Let z be n(1). Let u be (z/(-35))/(1/(-18)). Suppose 379 = -182*p - 64*p - 113. Is u bigger than p?
False
Let d be (-1341440)/(-224) + (-9)/(-21). Which is greater: d or 5990?
5990
Let a = 2/301649 + -340395/5843846077. Is -1 >= a?
False
Let i be 4 + 72/4 - (14 + (-14 - -9)). Which is smaller: -1414 or i?
-1414
Let v be 2 - ((-82)/(-30) + -1). Suppose -458*d - 21*d - 1893 = 608*d + 281. Which is bigger: d or v?
v
Let r be (-16)/8 + -11 + -1 + 28. Suppose 5*s = 7*b - 2*b - 135, 0 = -b + 5*s + 47. Which is greater: r or b?
b
Let v = 889 - -280. Which is smaller: v or -2?
-2
Let q = -6 - -21. Suppose -2*p + q = 5. Suppose -3*x - 8 = 3*d - 20, 2*x + p*d - 23 = 0. Which is greater: x or -4/11?
-4/11
Let f = 0.37 + 1.33. Let j = -90158 - -90157.95. Which is smaller: f or j?
j
Let w be (-224546)/56115 + 20/5. Is -1 less than w?
True
Let j = -21 + 15. Let m be (-9)/5*1/j. Let v = 1826 + -1826.2. Do v and m have different values?
True
Let a = -110 - -113. Let s be (120/(-21) - -6)/(2/a). Which is greater: s or -1?
s
Let c = 1/66723 - 89659/46372485. Are 1 and c equal?
False
Suppose -614*l + 579*l = 35. Is 42/991 greater than or equal to l?
True
Suppose 46 = 5*f + 2*c, 4*f - 46 = 17*c - 14*c. Let m be (1/1)/((-12)/12)*-5. Which is smaller: m or f?
m
Let n(o) = o**3 - 31*o**2 - 691*o + 48. Let z be n(46). Is -69.5 less than or equal to z?
True
Let j = -12 + -31. Let m = j - -88. Let v = 0.02043 - -0.17957. Is v not equal to m?
True
Let c be (64 - 63)*128/(-1). Let s = c - -124. Which is greater: s or 0?
0
Let m = 18199 + -17047. Which is smaller: 1150 or m?
1150
Let g = -36 - -14. Let v be (-14)/28 + (-7)/g. Let s = 157 + -157. Which is smaller: v or s?
v
Suppose m - 89 + 8 = 0. Let h(w) = -w**3 + 7*w**2 - w + 10. Let s be h(5). Let c = m - s. Which is bigger: c or 27?
27
Let u = 46 + -40. Suppose -u*i = -758 + 14. Suppose -4*w + 4*q = -i, -2*q - 43 - 50 = -3*w. Is 30 less than w?
True
Suppose 3*n + 4*z + z = 46, 0 = -2*n + 3*z + 18. Let f be ((-2)/(-4))/((-201)/n). Let v(t) = -622*t + 621. Let p be v(1). Which is smaller: f or p?
p
Let z(w) = 5*w**2 + 26*w + 52. Let k(j) = -2*j**2 - 1. Let y(q) = -2*k(q) - z(q). Let p be y(-24). Let u be ((-2)/14)/(3/48). Is p not equal to u?
True
Let p = 27 + -14. Let l = 0.3832 - 0.0332. Let v = l + -0.25. Which is smaller: v or p?
v
Let s = 1400.4 - 1324. Are s and 0 equal?
False
Let g = 1940.1 - 1940. Is g not equal to 262.9?
True
Suppose 53*k + 126 = 762. Let q(s) = s**2 - 15*s + 13. Let t be q(14). Let p be (t/(-5))/(3/195). Does k = p?
False
Let h(l) = l**3 + 2*l**2 - 9*l + 1. Let m be h(0). Which is bigger: 6/4177 or m?
m
Suppose -7*g - 2*g = -99. Suppose 4*l - 4*k = g + 181, -141 = -3*l + 2*k. Let z = l - 45. Which is greater: z or 1/22?
1/22
Let i = -5459 - -5533. Is 587/8 equal to i?
False
Let q = 3 - -6. Let h = -109 + 110. Let l be (q + -5)/(3 - h). Is l bigger than -1?
True
Let i be (-161620)/140 - (2 + -4). Let y = 1148 + i. Which is greater: y or -5?
y
Let s = 1760/3 - 5