Let u = 30155 - 723385/24. Let a = 14 - u. Which is smaller: -1 or a?
-1
Let u = 22.92 - 23.32. Is u at most as big as 276?
True
Suppose 1414 = -4*p + 3*j, 3*p - 450 = 4*j - 1514. Let r be 49 + (p/(-80) - (-6)/10). Is 158/3 less than r?
True
Let f be 626/(-29) - 7*154/98. Is f < -34?
False
Suppose 41 = 4*d + 17. Let g = 6 - d. Let k = 55/8 + -793/120. Which is smaller: g or k?
g
Let i = 47 + -53. Let h be (0 + (-8 - -4))*i/8. Which is bigger: h or -3?
h
Let z be 80/160 - (0 + 29/(-2)). Suppose z = 4*l + y - 10, 4*y = 20. Which is bigger: l or 27/7?
l
Suppose -44 + 11 = 4*y - 5*b, -y - 2*b + 8 = 0. Suppose i - 5*x = -14, -4*x + 27 = i + 23. Let v be (y + i)*3*(-16)/36. Does v = 6?
False
Let a be (399*-5 - -2)*(29 - 30). Which is smaller: 1991 or a?
1991
Let d = -0.3216 - -0.5216. Let u = -72.3 - 5.7. Does d = u?
False
Let w = 69.102 - 52.03. Let o = -1.104 + w. Let x = 0.032 + o. Which is smaller: -2 or x?
-2
Let m = 4839 - 5832. Which is greater: m or -992?
-992
Let b = -33 + 35. Suppose 140 + 42 = -5*z - u, b*u + 112 = -3*z. Let m be 2 + (-5)/3 - (-588)/z. Which is greater: 1 or m?
1
Suppose 325 = 5*g + 2*m - 3*m, 3*g + 6*m - 162 = 0. Which is smaller: g or 1/9?
1/9
Suppose -4*t + 16*l - 85 = 15*l, 0 = -5*t + l - 106. Let p be (-70)/t + 12/(-9). Which is smaller: p or 2/3?
2/3
Let w = 18724/119 - 772/7. Is 48 less than w?
False
Let w(f) = -f**3 - 5*f**2 + 7*f + 6. Let a = -117 + 111. Let u be w(a). Which is greater: u or 1/89?
1/89
Let j(t) = t**2 - 3*t + 2. Let d be j(2). Let b be 140/71 - (d - -2). Suppose 26 - 46 + 19 = k. Is k at most as big as b?
True
Let s be (107710/(-43092))/(-5) - (-1528)/(-3056). Are s and -1 non-equal?
True
Let g be (1 + (-6)/4)*-8. Suppose -x - g*x = 5. Let f(z) = 303*z + 89685. Let j be f(-296). Which is smaller: j or x?
j
Suppose -28 = 3*i - 2*i. Let u = i + 41. Let w be (-2 + 5)/(-3) + (-60)/(-48). Are w and u unequal?
True
Suppose 24 = z + 59. Let y = -36 - z. Which is smaller: -1/63 or y?
y
Let b be (-9)/(-6)*6/(-9). Suppose 3*r + q = 12, 12*r + 3 = 14*r - q. Let p be 9/(1809/(-1204)) + 3 + r. Which is smaller: p or b?
b
Let w(h) = -2*h - 11. Let r be 3 + -4 + 6 + 0 + -3. Suppose -t + 9 = -r*k, -3*k - t = -2*t + 12. Let o be w(k). Which is smaller: o or -0.02?
o
Let b = -25 - -29. Suppose 9*m - 4*m + 33 = -a, m = b*a + 90. Are a and -26 unequal?
True
Let y be -1 - 66/(-54) - 278412/(-54). Let w = -3201877/621 + y. Is w at least 1?
False
Let w be (2 - (7 + -7))/(126/603). Which is greater: -16 or w?
w
Let b = 11968309/84924 - 13/12132. Let q = 279/2 - b. Which is smaller: q or 8?
q
Let b(z) = 31*z**3 - 2*z**2 + 2. Suppose 18 - 6 = -4*j, -5*j = -2*t + 13. Let x be b(t). Is x at least as big as -5?
False
Suppose 0 = 4*g - q - 80, 0*q - 117 = -5*g - 3*q. Let k(s) be the first derivative of -2*s**3/3 - 14*s**2 - 77*s - 180. Let o be k(-7). Is o >= g?
True
Let a be -2 + (1 - -2) - (-560)/(-515). Let d = a - -7152/515. Is 15 less than or equal to d?
False
Let t(q) = -6 - 7*q + 13*q - 12*q. Let m be t(6). Let o = -49 + 6. Is o greater than m?
False
Let y be (650/30)/13*(-4)/(-2860). Are y and 2/5 non-equal?
True
Let y = 438 + -449. Let z(l) = -l**3 - 3*l**2 - 1. Suppose -5*t + 0*s = -s + 20, -12 = -t - 3*s. Let b be z(t). Is b equal to y?
False
Let z(b) be the second derivative of -b**3/3 + 6*b**2 + 29*b. Let j be z(4). Suppose -3*n = 2*s - 27, -5*n - 77 = -j*s + 10. Is 0.2 <= s?
True
Let f = -101 + -1. Suppose 5*z - 5*x + 530 = 0, 76 = -z + 7*x - 12*x. Let q = f - z. Is q at most 1/268?
True
Let w = -0.12355 + 0.41695. Which is smaller: 1/2 or w?
w
Let q = -8.14 + 8.156. Let a = 3.4 + -3.284. Let k = q - a. Is -56 equal to k?
False
Let c be (-9*(-8)/(-12))/2. Let z be 4/1049*(-5)/(-30)*c. Is z equal to 1?
False
Let p be (2 + -3)/((-2)/44). Let a be (-39 + -3)*p/(-4). Let h be 4/3 - (1 + a/666). Which is greater: h or 1?
1
Let h be (-8)/(-40) - 29/(-5). Suppose -x - 10 = -3*b, -h*b - 5*x = -b - 30. Let l(z) = -z**3 + 3*z**2 + 2*z - 6. Let c be l(b). Is c less than -16?
False
Let x = 21 - 104. Let f(i) = -28*i + 113. Let a be f(7). Is x less than or equal to a?
True
Suppose -2*i = 1 - 11. Suppose 0 = i*h - 3*h - 94. Let f(x) = x**3 - 6*x**2 - 39*x + 230. Let d be f(8). Which is bigger: d or h?
h
Suppose 0 = -4*x - 627*w + 628*w - 1134, -x + w = 285. Is x > -288?
True
Suppose -3*y + 5*f - 187 = 0, 3*y = 3*f - 36 - 159. Let w = 1/10 - 348/5. Let b = w - y. Is 4/3 at most as big as b?
False
Suppose 2*w = 4*s + 82, 53 = w + 5*s - 3*s. Let o = 5 + 42. Let i = w - o. Which is smaller: i or -6/7?
-6/7
Let a = -11 + 14. Let q be (-22)/(-42) + 1/a. Let s(n) = -2*n**3 + 44*n**2 + 2*n - 45. Let u be s(22). Is q <= u?
False
Let f = 134 + -556. Let d = f + 422.03. Is -0.051 > d?
False
Suppose -13*d + 11*d + 8 = 0. Suppose 0 = 2*c + d + 4. Let s be 5 + -4 + c/(-4). Which is greater: 3 or s?
3
Let q(s) = 2*s**2 + 113*s - 235. Let z be q(2). Are -12/203 and z non-equal?
True
Suppose -215*m = -5*m - 60480. Is m bigger than 291?
False
Suppose -91 = 3*n - 5*y, -2*n - 62 = -0*n - 4*y. Let q = -30 + 33. Suppose 3*m + 2*m - q*p + 146 = 0, 150 = -5*m + 5*p. Is m bigger than n?
False
Let w(o) = 39*o - 5188. Let b be w(133). Which is smaller: b or -237/95?
-237/95
Let a = -17.03 + 16.93. Let c be ((-4)/(-49))/((-2)/(-7)). Is a < c?
True
Let g = 1/7020 + -841/55184220. Which is smaller: 0 or g?
0
Let p = -19550.3 - -19550. Is p less than or equal to 427?
True
Suppose -4*i + 4*b - 4656 = 0, -6*i + 11*i + 4*b + 5784 = 0. Which is smaller: -1163 or i?
-1163
Suppose -13*j + 12*j + 108 = 0. Let l be (-1 + 3 + j)*(-1 - -2). Let b = 552/5 - l. Which is smaller: -1.3 or b?
-1.3
Suppose 0 = -5*f - a + 103 - 9, 2*a + 64 = 4*f. Let m be 1/f*-1 + 0. Suppose 52*j - 34*j - 37*j = 19. Do j and m have different values?
True
Let o be ((-3)/(-36)*-2)/(3/(-30)). Let w(n) = -n**2 - 4*n + 1. Suppose -2*s = 4*a - 5*s + 28, 0 = 4*a - 4*s + 32. Let u be w(a). Which is smaller: o or u?
u
Let l(b) = 4*b - 12. Let d be l(3). Suppose d = 6*i - 7*i + 1. Let k be 24/15 + (-3 - (i - 3)). Which is greater: -0.1 or k?
k
Suppose -5*y - 20 - 34 = -74. Which is greater: y or 240/83?
y
Suppose -9 + 9 = -4*z. Suppose 3*w - y + 263 + 141 = z, 5*y + 564 = -4*w. Are w and -136 non-equal?
False
Let c = -1292/645 + 89/43. Which is greater: -0.05 or c?
c
Suppose 44528 = 11*l - 14993. Which is bigger: 10819/2 or l?
l
Let b be (-1)/7 - (-10572)/(-84). Is -129 less than or equal to b?
True
Let w = 3.672 + -3.7. Let g = w - -106.028. Is -0.1 < g?
True
Let y(h) = 8*h - 37. Let b be y(5). Suppose 0 = -8*j + 5*j + 4*p + 47, -12 = -3*j - b*p. Is 7 less than or equal to j?
True
Let d = 0.074 + 0.376. Let m = 2.55 + d. Does m = -1.7?
False
Suppose -3*i = 5*h + 136 - 1656, 5*i + 1179 = 4*h. Let k be 3 + -8 + h/63. Let o = -4 + 2. Which is greater: k or o?
k
Let f = 22.927 + -21.927. Which is smaller: f or 85/257?
85/257
Let w = -12 - -22. Suppose y = w + 2. Let f be (2/y - (-196)/(-24))/(-2). Which is smaller: 2 or f?
2
Let v = 1193/12 + -427/4. Suppose c = -0*g + 2*g + 1, 3*g = -3*c + 3. Suppose -5*b + 3 = j + 42, 4*b + 2*j + 36 = g. Which is bigger: b or v?
b
Let z = -84.779 + 32.739. Which is smaller: z or -2/9?
z
Let v = 103 - 112. Let b be (87/29)/(6/(-38)). Which is bigger: v or b?
v
Suppose -6*g + 13*g = -7. Let l be (-8638137)/5265 - (-2)/(-10). Let v = 1641 + l. Which is greater: v or g?
v
Let d = -3561 + 4239. Which is bigger: d or 674?
d
Let y = 3930 + -3934. Is y at most -0.391?
True
Suppose -3*g = -j - 14*g + 44, -20 = -5*j - 5*g. Let i = 0 + 3. Is i less than j?
False
Suppose -2*i = -3*q - 18883, -2*i + 296 = -9*q - 56333. Is -6292 smaller than q?
True
Let z = 18606147/239770 + 1/47954. Is 1 at most as big as z?
True
Suppose -2*w - 3465 = -2*r - 111, -11*w + 4*r - 18454 = 0. Which is smaller: -1680 or w?
-1680
Let b = -0.187 - 303.813. Let g = 301 + b. Is 1/69 at most g?
False
Let x(y) = -3*y**2 + 41*y - 18. Let b be x(6). Let v be ((-42)/(-8))/((-5)/b*-171). Is v equal to 2?
False
Let i = -163 - 195. Let c = i + 307. Is -1 equal to c?
False
Let k = 50 + -48. Suppose -l = 3*v + 178, -56 = v + k*l - 0*l. Let w be 2/4*(-4 + v/(-14)). Is w not equal to 1?
True
Let k(j) = 2*j - 10. Suppose 24*i = 72 + 48. Let f be k(i). Do -89 and f have the same value?
False
Let j = 0.52 - 0.45. Le