- 70.53. Let b = 1102.97 - 1103. Let c = o - b. Is -2 less than or equal to c?
True
Let d(s) = -s**3 + 10*s**2 + 32*s - 6. Let l be d(14). Let z be (1719/l + 5)*12. Which is bigger: -1 or z?
z
Suppose -16 = -4*k + 4*h, 5*k - h + 10 = 30. Let v = -6 - 0. Which is smaller: k or v?
v
Suppose 48 = 4*i - 2*d - 14, 2*i - 34 = 4*d. Let n = i + 26. Suppose -t = -4*p + n, 5*p - 39 = -5*t + 31. Which is smaller: 72/7 or p?
72/7
Suppose 294 - 117 = 5*u + p, 76 = 2*u + 3*p. Let h be (-8 + u/5)/(-1). Which is smaller: h or -38/9?
-38/9
Suppose 5*t - 3*a + 28144 = 0, 3*a + 15128 = -2*t + 3883. Is -5627 != t?
False
Suppose -4*o + 2*y + 1 = -7, y + 4 = -4*o. Suppose -2*q = 2*r - 5*q - 17, -5*r + 2*q + 37 = o. Which is smaller: 27/4 or r?
27/4
Suppose -3*l - 10 = 95*b - 96*b, 92 = 4*b + l. Suppose b*r - 382 = 80. Which is smaller: 29 or r?
r
Let f = -642 - -650. Let l(z) = -22*z + 138. Let a be l(f). Let i = 12 + -52. Which is smaller: a or i?
i
Suppose -9*g + 87 + 93 = 0. Let i be -1 + (g/5 - 4) + 4. Is i >= 0.02?
True
Let f = -4813 - -4814. Let l = 2/2933 - -11618/167181. Which is bigger: l or f?
f
Let x = -8.48 + 1.98. Let h = 0.122 - 6.222. Let n = h - x. Is n at most as big as 1/9?
False
Let a(o) = o + 7. Let l(v) = -v**2 + v - 1. Let s be l(3). Let z be a(s). Suppose z = x - 9*x. Are 1/94 and x non-equal?
True
Let s = 1947 - 44717/23. Does 3 = s?
False
Let x = -116294/193815 - -1/38763. Which is bigger: 9 or x?
9
Suppose -7 - 2 = -3*b. Let l = 4 - b. Let o be 220/77 + 1*-3. Is o at most l?
True
Let r = -60 + 88. Let s = 3/2903 - -37574/159665. Let b = s + -7/11. Which is greater: b or r?
r
Let x = -660 - -661. Let r be (0 - -826) + 3*(-2 + x). Is 823 > r?
False
Let i = 160 + -86. Let w = -97 + i. Which is bigger: -28 or w?
w
Suppose 0 = -2*z - 5*d + 444, 335*z + 5*d + 384 = 337*z. Which is bigger: 205 or z?
z
Let l = -12 + 11.9. Let z = 85.893 - 86. Let y = 13.107 + z. Which is smaller: l or y?
l
Let v be 264/8 - (2 + 1). Let m = v - 91/3. Let w be (-14)/21*42/16. Are w and m unequal?
True
Let a = 4632 + -3378. Which is greater: a or -2?
a
Let s = -41/2 - -209/10. Let u = -47/30 + s. Let y(d) = d**3 - 4*d**2 - d + 3. Let t be y(4). Is t greater than u?
True
Let v = -12213 + 12170. Which is smaller: -1.1 or v?
v
Let r = 65 + -69. Let q be (-1)/(2*r/(-8)). Let z be -2 + 2 + q + 4 - -17. Are z and 1/3 equal?
False
Let c = 7097/428 - -18/107. Suppose 32 = 2*a - 2*n - 8, -3*a + 4*n = -64. Which is smaller: c or a?
a
Suppose -24*d = -23*d + 4*u + 11, 0 = 5*d - 2*u + 11. Is d bigger than 17?
False
Let x be (3/(-98)*(-36)/27)/2. Suppose -7*l = -4*l. Which is smaller: x or l?
l
Let q = 401/23 - 2738/161. Is q at least -15.3?
True
Let j(q) = -215*q - 430. Let g be j(-2). Is 74 at least as big as g?
True
Let c be (2/(-3))/((-7)/(-3)). Let u = -97.987 - 0.013. Let h = 106 + u. Is h > c?
True
Let z(y) = -6*y - 18*y**2 + 8 + 15*y**2 - 1 - y. Let c be z(-3). Let w be 6/18 + (64/6)/c. Is 11 equal to w?
True
Suppose 2 = 5*c - 3*c. Let n = -441 + 444. Is n >= c?
True
Suppose -3*y + 12*g - 47*g - 258 = 0, -30 = 5*g. Which is greater: -204/13 or y?
-204/13
Suppose 87*g - 6791 + 686 = -24*g. Which is greater: g or 773/14?
773/14
Let y = -9861 - -9798.71. Let t = 62 + y. Let h = -17.9 - -18. Are t and h non-equal?
True
Suppose 2*l + 33 = 5*v, 2*v - l = 5*v - 11. Suppose 0 = -v*x + 5*w - w + 75, 5*w = 3*x - 58. Is 13 smaller than x?
False
Suppose -793 = 3*a - 781, -9380 = -3*n + 5*a. Is 3121 greater than or equal to n?
True
Let g = -6.0508 - -6. Let u = g - -1.0508. Let z be 1 - -23*2/(-48). Are z and u nonequal?
True
Let i be 4/22*(-1 + 4). Let u = i + -27/110. Is u at most 11?
True
Let a(x) = -3*x + 17. Let h be a(-6). Let c(w) = 3*w - 129. Let y be c(h). Suppose -4*s + 3*m = 4*m + 92, 5*m = 3*s + 92. Is y greater than or equal to s?
True
Let g(y) = -67*y + 4423. Let l be g(66). Let h = -23/72 + 3713/11736. Which is smaller: l or h?
h
Let h = 7811.7 - 7812. Which is greater: h or 145/8?
145/8
Let x = 4775 - 4775. Is x smaller than 91.5?
True
Suppose -2*b = 5*a - 3*a - 2, 0 = 3*b + 2*a. Let s = -34 + 67. Suppose -32 = v - s. Is v not equal to b?
True
Suppose 2596 + 116 = -33*q - 1677. Which is greater: q or -138?
q
Suppose 0 = 5*v + o - 3741, 3*v + 146 - 2397 = o. Which is smaller: v or 748?
748
Let c = -6243 - -6244. Which is smaller: -1/7869 or c?
-1/7869
Let v be (278/(-5995))/((-3)/(-6)) + (-2)/(-22). Which is smaller: -2 or v?
-2
Let o(m) = 8302052*m + 18. Let f be o(-6). Let b = -3735835052/75 - f. Let n = b - 1160. Is 0 less than or equal to n?
False
Let f be (-4 + (-58)/(-14))*-2. Let v = -0.132 - 51.268. Let t = v + 51. Does t = f?
False
Let b = -11871.3 + 11883.3. Let h = -0.22 + -0.08. Which is smaller: b or h?
h
Suppose 372*q - 356*q = -16176. Which is smaller: q or -1006?
q
Suppose -131*t + 14093 + 10243 = -14*t. Is 4 < t?
True
Let t be (48/28)/((-8)/84). Let p(j) = 2*j + 34. Let o be p(t). Let d be (-6 - (o + -3))*(-2)/8. Is 0.3 greater than or equal to d?
True
Suppose -4*l + 3*j + 33 = 0, -l - 3*j = -8*j - 21. Let g be l/8 - 18/120*5. Let x = 2/279 - 668/15345. Is x greater than or equal to g?
False
Let g = 0.113 - -17.287. Let r = g - 17. Let i = -0.07 - -0.07. Which is bigger: i or r?
r
Suppose 0 = n - 5*n + 4. Let m = -44866 + 2467632/55. Which is smaller: m or n?
m
Suppose 2*x - 9 = 4*f + f, 0 = x - 2. Let j = 47 + -65. Let u = j + 3. Which is bigger: f or u?
f
Let w(h) = -h**2 - h - 20. Let b be w(0). Let x = 8786 - 8802. Which is bigger: b or x?
x
Suppose 12*k - 72 - 12 = 0. Let u be 14/(-49) - (-2)/k. Which is greater: -4/43 or u?
u
Let y be (2 - 3)/((-1)/(-3)). Let u = 350.0038 + -0.0038. Let n = -355 + u. Is y less than n?
False
Let i be (20/(-25))/(130/9300). Which is greater: -56 or i?
-56
Let m = -22/51 + -4/17. Let g be 12/(-8)*(16 + (-975)/60). Which is greater: g or m?
g
Let f = 231.9464 - -0.0536. Let q = f - 230.5. Which is smaller: 2/5 or q?
2/5
Let s = -4 - -4.028. Let c = s + 32.972. Let b = 35 - c. Which is greater: -13 or b?
b
Let n = -0.109 - -65.109. Let g = 521 + -294. Let u = -228 + g. Is n >= u?
True
Let g be 88/(-5) - ((-165)/25 + 6). Let o = 35 + g. Suppose w + o = 2*w. Is w at least as big as 18?
True
Let p = -2782 + 2783. Let k be 17/9 - (-6)/27*-9. Which is greater: k or p?
p
Let q be (-2)/(-4) + 38/(-4). Suppose 0 = -63*h + 70*h. Suppose h = 31*f - 23*f + 40. Is q bigger than f?
False
Let n = 1719 + -1216. Which is greater: 5 or n?
n
Suppose -5*z = -2*t - 130, 4*z + 0*t = 3*t + 111. Let l be 614/10 - z/60. Is l greater than or equal to 60?
True
Suppose -5*d = -3222 - 2618. Let a = d - 143665/123. Is a not equal to 1?
True
Suppose -u + 0*u - 5 = -5*f, -2*f = -3*u + 11. Suppose f*y = 20*y - 18. Let q be (3/20)/((-14)/8). Is y at least as big as q?
True
Let q = 45 + -41. Suppose 0 = -4*w + 3*t - 4, -4*w - q*t = w - 26. Let z be -1 + 2 + w + 7 + -2. Is z less than 1?
False
Let v be ((-595)/(-34) + -15)*4/(-15)*882. Which is smaller: -589 or v?
-589
Let j be (192/32)/((-4)/(-112)). Which is greater: j or 1858/11?
1858/11
Let f = -243.5 - -245.167. Let v = 0.333 + f. Is -3/25 smaller than v?
True
Suppose -2*h - 11 = -3*j, 16*h + 20 = 11*h + 5*j. Which is smaller: -23/60 or h?
h
Let w = 567.07 + -564. Let j = -2.77 + w. Suppose 4*i - 4*n + 16 = 0, i + 10 = n - 3*n. Which is smaller: j or i?
i
Let u = 4860 + -4905.58. Let c = -45.7 - u. Is c smaller than -7?
False
Let t(c) = -c**2 + 14*c - 2. Let f be t(18). Let r be 4/f*(4/2)/(-2). Are r and -1 equal?
False
Suppose 0*z = -5*z - 40. Let o(y) be the first derivative of -y**4/4 - 19*y**3/3 - y**2/2 - 29*y - 54. Let r be o(-19). Which is bigger: r or z?
z
Suppose 46*h = -64*h + 8507 - 67797. Which is smaller: h or -545?
-545
Suppose 3*n + 0 = 4*w + 18, -3*n - 5*w = 9. Suppose -94 = -n*v - 0. Which is smaller: 53 or v?
v
Suppose 2*t - 5*w + 155 - 18 = 0, t + 61 = 5*w. Let v = t - -54. Which is bigger: -23 or v?
v
Suppose 0 = 19*p - 24*p + 150. Let u be (-5 - (-146)/p) + 1 + -3. Which is bigger: u or -2?
-2
Suppose -5*t = -217 - 308. Let g(u) = 2*u + 0*u - 86 - 3*u + t. Let p be g(13). Are 6 and p equal?
True
Let m = 0.013 - -23.987. Let i = -51 + m. Let d = i + 15. Is d < -1?
True
Suppose 98 = -10*f + 98. Which is bigger: f or 90?
90
Let z be 11*160/220*(-2 - 42). Are -359 and z equal?