-85 - -67. Let y be (-81)/w*32/6 + -4. Let i be (0 - 9/6)/((-30)/y). Which is bigger: -8 or i?
i
Let w(j) = j**3 + 5*j**2 + 7*j + 132. Let f be w(-10). Let d = f + 440. Is d at least as big as -51?
True
Suppose 3*h = 63*b - 61*b + 1065, -h - 3*b + 344 = 0. Is 363 at most h?
False
Let p = 227 - 177. Suppose 3*z = -2*f + 59, -f + 160 = 5*z + p. Are 202/9 and z nonequal?
True
Let s = 9.155 - 461.155. Is -0.17 smaller than s?
False
Let q be (-3)/13*(-585)/95895. Which is smaller: 1 or q?
q
Let o be (-3)/(432/(-112))*100/14. Let b = 0.32 - 0.52. Do b and o have the same value?
False
Let x = -67 + 67.43. Let n = -0.77 + x. Let j = 3 + -3. Is j > n?
True
Suppose -p = -2*w + 64, w - 76 = -w + 4*p. Let o = 18 + -15. Suppose o*h - 6*h + 90 = 0. Is w equal to h?
True
Let r = 9215/57054 + 1/1542. Is r greater than or equal to 11?
False
Let z be (-2)/11 + 12132/660 + -15 + -2. Suppose 2*n - 4*n - 24 = 0. Is z at least as big as n?
True
Suppose -2*j + 311 = 4*q - 1835, 0 = -5*q - 2*j + 2680. Do 532 and q have different values?
True
Let x(k) = 3*k**2 - 4*k + 9. Let n be x(5). Suppose -5*m = -n - 16. Suppose 4*h + m = 3*r, -4 = 2*r - 5*h - 24. Are r and -2/21 non-equal?
True
Let q = -5 + 9. Suppose 22*d + q = 24*d. Suppose d*r + 11 = r. Which is smaller: -2/7 or r?
r
Let q be 450/4 - (-1)/(-6)*3. Suppose q = 2*t + 102. Suppose 5*b = -t*b - 120. Which is bigger: -11 or b?
-11
Let v = 5567 + -2772367/498. Is -1 greater than v?
False
Suppose 2*s - 48 = 4*p, 2*s = -5*p - 3*s - 30. Let f(y) = 53*y - 11. Let z be f(2). Let q = z + -107. Which is greater: q or p?
p
Suppose -43*a + 54*a - 605 = 0. Suppose -3*m - a - 101 = 0. Is m > -51?
False
Suppose 2*n + n = -3*p - 9, 10 = -5*p - 4*n. Suppose g + p*j = 27, j - 9 - 16 = -g. Is 23 > g?
False
Suppose 9*k + 8 = 4*k + 4*k. Which is smaller: 1141 or k?
k
Let x = -31 - -37. Suppose x*h + 0*h - 24 = 0. Let u be h/(-1) - (2 + -4)/2. Is u greater than -6?
True
Let v = 24 + -23.822. Let h = 0.478 - v. Which is bigger: h or 32?
32
Suppose -2*p - 16 = -3*p. Let n be (1*-1)/((-8)/p) - 46. Let j be (-2)/10 + n/(-120). Which is smaller: j or 0?
0
Let a = -347 - -423. Suppose q - a + 55 = 0. Which is smaller: q or 67/3?
q
Suppose -3*q - 48 = -18. Suppose -20 = -134*x + 136*x. Is x at least q?
True
Let t = 6581.96 + -6739. Let i = -157 - t. Which is smaller: i or -10?
-10
Let u be 3621/(-68) + (-16)/(-64). Let v be -53 + (-1*6)/(-2). Is u != v?
True
Let d = -44 + 32. Let s be ((-1)/(-3))/(d/36). Which is smaller: s or -71?
-71
Let o = 0.1308 + -540.1308. Let t = -638 - o. Which is smaller: t or 0.1?
t
Let m = 16499/28884 + -63/116. Is m less than or equal to -1?
False
Suppose -108*u - 15 = -111*u. Suppose 0*k = u*k + 435. Let o = -83 - k. Are o and 4 nonequal?
False
Let y be ((-424)/(-12) + -20)/((-4)/6). Which is smaller: y or -3/7?
y
Let g = 301/13 + -23. Let u = -1.07 - 41.93. Let s = -41 - u. Is s smaller than g?
False
Let f = -13 + 23. Let h be f/6*(-4 + 37). Let i be (-1365)/(-25) + (-6)/10. Is i equal to h?
False
Let r = -189.02205 + 0.02205. Which is greater: 16 or r?
16
Suppose -2*y + 8 = 2*y. Let n be 1 - (y + 2) - -20. Let r = n + -16. Which is bigger: r or 12/29?
r
Suppose 0 = -2*j + 5*c - 616, 4*j - c = 3*j - 308. Let u = 308 + j. Let m be -2 - -173*3/261. Is u less than m?
False
Suppose -25*p + 21 = -22*p. Suppose -3*o = p*o - 4*o. Is -1/453 at most as big as o?
True
Let r = -299 + 133. Let t = -16263 + 16263. Is r less than or equal to t?
True
Let s(x) = x**2 - 73. Let a be s(9). Let b be (-2 + (14 - a))*133. Do b and 533 have different values?
True
Let s = 184 - 146. Let x be s/(-152) - 71/(-236). Which is smaller: x or 0?
0
Let u = -2572 - -1306. Which is greater: u or -1261?
-1261
Suppose -2*b + 4505 = -5*n, 2*b = 2*n + 2257 - 461. Is n not equal to -913?
True
Let d = -321 - -1291/4. Suppose 0 = a + 5*a. Suppose n = 5*t + 1, a = -3*n - 0*t + t + 3. Is d >= n?
True
Let n = 14 + -8. Suppose 0 = -3*c - 0 - n, r + 4*c = -12. Let o = 5 + -8. Which is smaller: o or r?
r
Let k = -157 + 161. Suppose 2*z + k*x = -18, 12 + 11 = -3*z - 5*x. Let g = 1686606/259 - 6512. Which is greater: g or z?
g
Let a = 376/11 - 3382/99. Let s be 15/10*308/63*3. Suppose s - 19 = 3*z. Is z greater than a?
True
Let p(z) = -z**2 - 8*z + 475. Let x be p(-27). Suppose -h = h + 76. Is h > x?
False
Let z(j) = 31*j + 119. Let b be z(-4). Let u be (-77)/4 - (-5)/(-20) - b. Let c be (-2)/((-18)/21 + 1). Which is smaller: u or c?
u
Let g = -119 - -1784/15. Let v = 320 - 320. Suppose v = 3*q - 12, -2*q + 4 = -5*f + 9*f. Which is smaller: g or f?
f
Suppose -31 + 13 = -4*u - 3*x, -2*u + 10 = x. Suppose 496*y = 486*y + 50. Is y equal to u?
False
Suppose i + 2*x + 4579 = 0, -5*i + 53*x - 58*x = 22865. Do i and -4567 have different values?
False
Let f be ((-4542)/(-9))/((-2)/(-3) + 0). Let k = f - 739. Does k = 35?
False
Suppose 31 = -5*s - 109. Let n = s - -27. Which is greater: 2/265 or n?
2/265
Suppose 3*x - 9*x + 18 = 0. Suppose 4*s = 3*a + 6*s, 0 = x*a - 3*s. Are -2/935 and a unequal?
True
Let r(c) = 5*c - 30. Suppose -25 = 98*a - 103*a. Let b be r(a). Let v be b/(-4)*(-4)/(-170). Which is bigger: v or 0?
v
Let k = 2404 + -3124.8. Let a = -622 - k. Let l = a + -99. Which is smaller: -2/35 or l?
l
Suppose -66*d + 63*d + 4*z = 2250, 2*d = -z - 1478. Which is bigger: d or -740?
-740
Let d = -3.65 + 3.8. Let w = 1.23 - 1.43. Let h = w + 0.4. Which is smaller: h or d?
d
Let u(r) = r**3 - 14*r**2 + 5. Let v(i) = -2*i**3 + 11*i**2 - 3*i + 4. Let q be v(5). Let g be u(q). Is -2 > g?
False
Suppose -p = 4*b - 2, 0*p + b - 29 = -5*p. Let z be p/(3 + -6 - -2). Let j be (-41)/(-123) - -1*8/z. Is 8/17 less than or equal to j?
False
Let f = 2/217 + 1507/1302. Let t = f + -5/3. Let z = -575 - -582. Is t bigger than z?
False
Suppose 3*n = -2*v - 11, -51*v - 4 = -50*v. Let h be (-22)/(-79)*(-9501)/6. Let o = h + 441. Is n not equal to o?
True
Let o = 355 - 291. Which is greater: o or 1.4?
o
Suppose 12*t + 3*t = 3525. Suppose 10*j + t = 5*j + 5*i, i = -5*j - 217. Is -44 at most j?
True
Suppose 8*p - 14*p - 570 = 32*p. Which is smaller: 3 or p?
p
Let c be (2/8)/((-5)/(-132155)) - (-201)/(-268). Is c at least as big as 6606?
True
Let t = 391691/683880 + -565/984. Let b = -1 - -1. Is b bigger than t?
True
Let o be (20/(-8))/((-6)/12) - 332. Let x = o - -340. Is 14 greater than or equal to x?
True
Let k = -63.6 + 12.6. Let m = 45 + k. Let z = m - -11. Which is bigger: 0.3 or z?
z
Let v(i) = i**2 - 32*i + 203. Let x(k) = 4*k**2 - 53*k + 69. Let h be x(12). Let a be v(h). Let o be 11/2*-2 - -1. Is a bigger than o?
True
Let b = 113 - 2941/26. Suppose -51*s = 1977*s - 500*s. Which is greater: s or b?
s
Let h = 712.1249 + 0.8751. Which is smaller: -1 or h?
-1
Let r = -87.079 + 0.079. Let u = 77.2 + r. Let a = 10 + u. Is a < -6/11?
False
Let f(g) = -4*g. Let q be f(2). Suppose -132 = -j + 4*j. Let u = -53 - j. Which is greater: q or u?
q
Let y = -9241 - -397346/43. Is y at most as big as 1?
True
Let c be 3 - (14/49)/((-3)/14). Let w(x) = 4*x - 13. Let m(h) = -h**2 + 4*h. Let g be m(2). Let y be w(g). Which is bigger: y or c?
c
Let v = -4406 - -4407. Is v at most as big as -6029?
False
Let k = 1880 + -2627. Are -3732/5 and k nonequal?
True
Let i = -7958429 - -7966547.033. Let l = i + -8126. Let h = l - 0.033. Is h less than 3/5?
True
Let n be 0 + 0 - -2*20. Let a be 0 - (-24)/18 - (1130/(-15))/2. Does n = a?
False
Suppose 0 = -6*v - 3*v + 36. Suppose -4 = v*m - 4*s, 4*m + 4*s + 0*s + 28 = 0. Let p be m*(2 + -3) - (-19 + 7). Is 15 at most p?
True
Let d(l) = 3*l**3 - 24*l**2 - 111*l + 161. Let f be d(13). Which is bigger: 1257 or f?
1257
Let p(w) = 0 - w + 2*w - w**2 + 1 - 2*w. Suppose 2*s = -4*f, -s - 2 = 3*f - 4. Let y be p(f). Is -18 bigger than y?
False
Let h = 295 + -187. Let d be (h/144)/(0 - 102). Is d not equal to 0?
True
Let r = 0.00091 + -0.20091. Which is greater: 29/42 or r?
29/42
Suppose 22*u = 7076 + 29070. Is 2 less than or equal to u?
True
Let d = 157 - 99. Let k = -60 + d. Which is greater: k or -42?
k
Suppose 0 = 326*q - 438*q. Which is bigger: q or 1/2634?
1/2634
Let m(p) = -2*p + 10. Let d be m(7). Let f be -5*(-4)/(-40)*d. Let b = 130 + -131. Which is greater: b or f?
f
Let q = 104.028 + -0.028. Let f = q + -103. Which is greater: f or -38?
f
Let f be -5 + 13 