alse
Let h = 1571 - 857. Suppose 14*u = h + 448. Is 85 less than or equal to u?
False
Let f be 340/(-154) + ((-2262)/182 - -13). Is -6 at most as big as f?
True
Let x = -5/198 + 379/11088. Is x < -1?
False
Let c be -3 + ((-9)/2)/((-11)/44). Let h be -5 - 280/(-50) - 3/c. Which is smaller: -1/45 or h?
-1/45
Let i be (0 - -13) + 167 + 1486. Which is bigger: i or 1667?
1667
Let u be (-5027)/(-914)*52/11. Is 458 less than or equal to u?
False
Let k be 1*9*(6 - 21). Let n be (-294)/k + (-8)/(-36). Suppose -88*x = -68*x - 20. Which is bigger: n or x?
n
Suppose -29 = p - 4*p - 5*i, 3*p + 7 = 4*i. Let q = 243/4 - 1071/20. Which is greater: p or q?
q
Suppose 9*z - 7*z = -2. Let f be -130 - 0 - (-5 - -8). Let d be 57/f - (-26)/(-70). Are d and z unequal?
True
Let v(a) = a**2 - 4*a - 2. Let c be v(4). Let z = 57.7 + -21.7. Let r = 16 - z. Is r < c?
True
Let i = -144/11 + 387/22. Let v = 4 - i. Let q be (5/330*6)/(2/(-8)). Which is smaller: v or q?
v
Let f = 26331 - 26330.933. Which is smaller: 4 or f?
f
Suppose 2*x + 3*x = 3*x. Suppose 4*y - 38 = -5*h, 0 = -5*h - 0*y - 3*y + 36. Let j be (1422/(-574) - -2) + h/14. Which is greater: j or x?
x
Let a = 457 + -313. Let c be 1/((-7)/264) + a/(-504). Which is smaller: 2/3 or c?
c
Let w = -15470/3 + 819922/159. Let i be 2/(4 + (-1 - 1)). Which is bigger: w or i?
i
Let x = 9813 + 5418. Is 15230 bigger than x?
False
Let j be ((-204)/(-765))/((-4)/6). Is j at least 45?
False
Let a be 14/49 - -761734*(-3)/(-14595). Let d = -1098/7 + a. Is d at least 1?
False
Let h be ((-150829)/63 - 7)*30/116. Let o = -621 - h. Which is bigger: 0.01 or o?
0.01
Suppose 4*q = -0*q. Let d(b) be the third derivative of -21*b**4/8 + 98*b**3/3 + 6*b**2. Let m be d(3). Is q < m?
True
Let j be (-4 - 132/104)*2 - -9. Let k = -0.8 - -1. Are j and k nonequal?
True
Let n = 198 + -203. Let l = -5/3 + 1/6. Which is greater: n or l?
l
Let g = -5.18 - -3.02. Let t = g - -0.16. Is t bigger than -71?
True
Suppose 5*i = 44 + 1. Let y = i - 3. Suppose 8*w + y*w = 0. Is -5/11 smaller than w?
True
Let j = -9.2 - -38.2. Let o = 27.974 - -0.026. Let b = o - j. Which is greater: b or 39?
39
Let k(t) be the third derivative of t**5/60 - 5*t**4/24 - t**3 + 15*t**2. Let w be k(6). Let o be w/((-5)/15*-3). Is o at least as big as -6?
True
Suppose -378 = -4*g - 2*l, 4*g - l = 2*l + 363. Let u be -7 + (0 - 3865/45). Let r = g + u. Which is smaller: -0.2 or r?
-0.2
Let t = -108 - -99. Let i be t*8/(-12) - (-84)/(-11). Suppose 0 = -x - 0*x - 1. Is x bigger than i?
True
Let c = -598 + 750. Which is greater: c or -1/4?
c
Let c(v) = v**2 + v - 11. Let r be c(5). Let x = 37/2 - r. Let f = -195 + 216. Are x and f non-equal?
True
Suppose -16*x - 28*x = 8*x + 364. Which is smaller: -483/86 or x?
x
Let s(v) = 0 + 15*v**3 + 2 - 15*v - 14*v**3 - 14*v**2 + 0*v. Let c be s(15). Suppose 2*d - 4*p + 14 = -4, -4*d + c*p - 12 = 0. Which is smaller: 4/21 or d?
d
Let h = -1.06 + 1. Let o = 2.177 + -2.277. Which is smaller: h or o?
o
Let g = 126 - 122. Suppose 1 = g*r - 4*m + 5, 0 = 3*r + 2*m + 3. Is r > -3/23?
False
Suppose 282*s + 191 = 91*s. Which is smaller: 3/11666 or s?
s
Let b(s) = -s**2 - 12*s - 20. Let p be b(-9). Let x(y) = -6 - 13 - 3 - p*y - 3. Let n be x(-6). Are 17 and n non-equal?
False
Let d = 26/3 - 274/33. Is 0 < d?
True
Suppose 5*d = 0, 76 = x + 3*d + 75. Which is smaller: x or 2/16607?
2/16607
Let w = 45 - 42. Suppose -3*k - 4*u = 5 + 12, -12 = w*k + 3*u. Let a be (10 - 9)/((2 - 2) + k). Is 14/13 less than a?
False
Suppose 8*o - 56 = 7*o. Let y = o - 35. Let p be ((-3)/y)/(2/(-3)). Which is smaller: p or 1?
p
Let g(p) = -p**3 - 3*p**2 + p + 3. Let j(a) = a**3 - a. Let z(l) = g(l) - j(l). Suppose 0 = 4*b + 8. Let s be z(b). Which is bigger: -0.03 or s?
s
Let q = 21200 - 13595. Is 7605 not equal to q?
False
Let b be -153*(36/(-27))/((-6)/12). Which is bigger: b or -413?
b
Let l = -3126 - -2807. Which is bigger: l or -325?
l
Let x be 2*(0 + -2) - ((-232)/(-29) - 7). Which is smaller: 281 or x?
x
Let k(i) = 3*i**2 + 29*i + 316. Let z be k(-19). Is z greater than 847?
True
Let z(n) = 2*n. Let o be z(3). Let m = -128 - -134. Let v = m - o. Are -1/10 and v unequal?
True
Let x = 27 - 25.9. Let f = 15.1 - x. Let q = -111 - -113. Which is greater: q or f?
f
Let d = 0.19 + -0.59. Let u = -3165.431 + 3165.5. Which is smaller: u or d?
d
Let k = 804 + -18. Let t = 51881/66 - k. Which is bigger: 1 or t?
1
Let c(g) be the second derivative of 2*g**5/5 - g**4/6 + 2*g**3/3 - 3*g**2/2 - 156*g. Let t be c(1). Which is greater: t or -6/17?
t
Let w(z) = 2*z**2 + 39*z + 22. Let v be w(-19). Suppose v*p = -p. Let l = 7 - p. Which is smaller: -1 or l?
-1
Let k be (-1 - -23) + (-2 - -2). Suppose 13*n = n - 240. Let h be (5/n)/(-2*(-5)/(-880)). Is h < k?
False
Let p = -59 - -107. Let l be (p/(-224))/(12/(-14)). Which is greater: -17 or l?
l
Let y = 237 - 109. Suppose -2*n - 4*k + y = 0, 2*k = -4*n + 265 + 15. Is 71 at least as big as n?
False
Suppose -3 = -2*a + 1. Suppose -u = -3*w + 4, 3*w + a*u = 14 + 5. Suppose 3*p = -s + 5*p - 1, 4*p = w*s + 11. Which is bigger: s or 2/3?
2/3
Let k = 92 + -458/5. Let o = 135.9 + -22.9. Which is greater: k or o?
o
Let s(r) = -231*r + 232. Let d be s(1). Which is greater: -2/2433 or d?
d
Let v = -7 - -6.943. Let n = -1986 + 1986.043. Let z = v - n. Which is smaller: -23 or z?
-23
Let t = -14 + 56. Suppose 0 = -t*d + 40*d - 36. Does d = 0.09?
False
Let n = 13 + 2. Suppose 2*y + y = n. Let m be 2/(-9) + 16/(-9) + 9. Are y and m unequal?
True
Suppose -5*n - 9305 = 2*s, 92*n - 2*s = 93*n + 1853. Which is smaller: n or -1860?
n
Let k(w) = 5*w + 18. Let y be k(-4). Let f be 5 + 7 - (y + 2). Let c = f + -18. Is -8 at most as big as c?
True
Let k(a) = -104*a**3 - 9*a**2 + 36*a - 84. Let g be k(3). Which is smaller: -2867 or g?
-2867
Let z = -65.1 + -262.9. Let f = z - -327.91. Let x = -10 + 13. Which is smaller: x or f?
f
Suppose -43 = -5*p - 28. Suppose 2*v - 3*l = 121, p*l + 0*l - 292 = -5*v. Suppose 2*d - v + 23 = 0. Are d and 2 equal?
False
Let b(i) = -i**2 + 18*i + 2. Let y be b(26). Let d = -205 - y. Is d at most 1/2?
False
Let n be ((10/12)/5)/((-4)/(-9)). Let z = n - 9/8. Suppose 4*c + 1 = -f - 1, 2*f = -5*c - 1. Which is smaller: z or c?
c
Suppose -2*h + 44 = 2*h + 4*o, -2*h + 18 = o. Suppose -h*s = s - 88. Suppose -l = -s + 19. Which is bigger: l or -7?
-7
Let r(c) = -13*c + 61. Let q = 141 + -132. Let l be q - ((-6)/(-6) + 4). Let p be r(l). Which is smaller: p or -1?
-1
Suppose b - 4509 = -5*d + 4*b, 0 = 3*d - 3*b - 2703. Suppose 16*o = -5*o + d. Which is bigger: o or 44?
44
Suppose 210 = 14*r + 21*r. Let w be ((1 - r) + 6)/(1/188). Which is bigger: -1 or w?
w
Suppose 2*c = 5*c - 465. Let u = c + -221. Let x be 15/12 - u/(-72). Which is bigger: x or 6?
6
Let g be (-9)/(((-8140)/(-1630) - 5)/1). Is 1466 bigger than g?
False
Let j = -11325429/12905 - -4388/5. Is j equal to -1?
False
Suppose 2778 = 10*w - 2. Which is smaller: w or 288?
w
Suppose -31*o - 2*r - 91 = 0, -3*o + 7*o = 3*r - 15. Which is smaller: o or -1818?
-1818
Let y(i) = -i**2 - 10*i + 13. Let o be y(-11). Suppose 863 = 5*t + o*k, -2*t - 5*k + 187 + 154 = 0. Let s = -1737/10 + t. Which is smaller: -1 or s?
-1
Let k be -5 + 0 - (-271)/48. Is 1 less than or equal to k?
False
Let u = 10 - 9. Let o = -7189 + 7145. Which is bigger: o or u?
u
Suppose -9 = -8*a + 15. Suppose -w + 4*l = -13 - a, 3*l = 4*w - 12. Are 1/120 and w equal?
False
Let x be 18/99 - (-13477)/(-11) - -6. Is -1218 bigger than x?
True
Let x be 5 - 29727/4842 - ((-45)/6 - -6). Is x at most as big as 0?
False
Let k = 199 + -507. Let l = 316 + k. Which is greater: 0.1 or l?
l
Suppose 1561*h - 1521*h = -30600. Which is bigger: -5353/7 or h?
-5353/7
Suppose -3*w + 280 = 2*w. Let s = w + -53. Let f be (-16 - s)/(3/(-3)). Which is greater: 21 or f?
21
Let x = -4.92 - -2.26. Let a = x - -13.76. Let o = a - 10.1. Is o at most as big as -53?
False
Let o = 947695/31 + -30576. Which is greater: o or -5?
-5
Let z be ((-342386)/(-48))/(25902/(-54)). Let s = z - 6/1439. Which is smaller: -15 or s?
-15
Let h(u) = -u**2 - 20*u - 100. Let p be h(-10). Let k(r) = 132*r**2 - 20*r - 19. Let t be k(-1). Is p not equal to t?
True
Let j = 30 - 20. Let m = -6 + j. Let r be ((-3)/(24/(-52)))/(6/4). Which is smaller: m or r?
m
Suppose -17*b = -0*