 -104. Let n = 43 + b. Which is smaller: -3/16 or n?
-3/16
Suppose -29 = -u + 36. Let q be 1485/u - 2/(-13). Which is greater: 24 or q?
24
Let o = 1170 + -1260. Is -91 bigger than o?
False
Let m = -60 + 77. Which is smaller: -4/9 or m?
-4/9
Let k = 34 - 33. Let o be (-9 + 8)*(54/87)/3. Is k greater than o?
True
Let o = -0.009 - 11.991. Let m = -13 - o. Is m at least 55?
False
Let p be (-2 - (-120)/54) + (-716)/(-18). Is p at most as big as 43?
True
Let z be (-3)/27 + (-2820)/(-108). Is 23 smaller than z?
True
Let w be 2/14 + 494/266. Let b be (-6)/105*(w - 1). Is b at most 1?
True
Let w = 12 - -2. Let v = w + -11. Let z be 26/3 - v/(-9). Which is smaller: 10 or z?
z
Let l(z) be the second derivative of -1/6*z**4 - 4/3*z**3 + 3*z**2 - 2*z + 0. Let n be l(-5). Is n equal to -14/3?
False
Let h(b) = 3*b**2 + 39*b**3 - 38*b**3 - 10*b**2. Let x be h(7). Let k(f) = f**3 + 1. Let y be k(x). Is y at least 2?
False
Suppose 22*w - 709 = 259. Is 47 > w?
True
Let o be (-4)/((5/2)/(-5)). Let l be 0/(5/((-5)/(-3))). Suppose -3*m - h + 35 = -3*h, -2*m - 3*h + 6 = l. Is o > m?
False
Let b = -979 + 1014. Is b >= 6?
True
Let z(h) = 0 - 4 - 2*h - 2 + 3*h. Let a be z(6). Is 1 less than or equal to a?
False
Let k be (-7 + 7)*(-2)/6. Let r be k + -3 + 33/15. Is r bigger than -2?
True
Suppose -3*p = -4*p + 4*q + 46, 3*q - 59 = -2*p. Let m be 42 + -4 + (-2 - (0 - -3)). Which is smaller: m or p?
m
Let i = -1384.02 + 1460. Let v = i + -76. Are v and -1/2 equal?
False
Suppose 7*q - 330 = 13*q. Is q equal to -54?
False
Let w = -3867 + 3865. Let i be 2/3 - (-1)/3. Which is bigger: w or i?
i
Suppose 9*r = 4*r. Let o = -920 - -919.76. Which is smaller: o or r?
o
Let g = 28/3 - 9. Let f = 240 + -118. Suppose 18 + f = 7*c. Which is smaller: c or g?
g
Let t = -55.06 + 1.06. Let v = 77 + t. Is -2 less than v?
True
Let g(c) = -c**2 + 16*c - 40. Let t be g(13). Do t and 1/339 have the same value?
False
Suppose 0 = -c - 5 + 2, 48 = -3*v - c. Let d be 1*5/v*3. Which is smaller: d or 2/13?
d
Let b = -35 + 20. Let m be 655/25 - (-3)/b. Let v be (-52)/91 + m/21. Is -8 at most v?
True
Let a = -408 - -6531/16. Let n = -1 - -2. Which is smaller: a or n?
a
Suppose 70 = -4*b + 74. Is b greater than or equal to -14/45?
True
Let m be (27 - 25)/(4/(-354)). Which is smaller: -176 or m?
m
Let b be (-10)/(-2) + (-36)/132*19. Are b and 146 non-equal?
True
Let i be (7/8 + -1)*2. Let x = -1033257581/814 + 1269358. Let l = x - -6/37. Which is smaller: i or l?
i
Let l = 16.768 + -15.66. Which is greater: l or 0.1?
l
Suppose -86 + 18 = 2*s. Is -33 equal to s?
False
Let u(n) = -2*n**3 + 2*n - 2. Let s be u(2). Let k be 3*s*(-3 + (-108)/(-28)). Are k and -34 equal?
False
Suppose 1 = -h + 2. Suppose -4*r - 4*g = 20, -3*g - 2*g - 21 = r. Are r and h unequal?
True
Let d = -0.2 - -0.3. Let z be (-4)/(-14) + 9/(-35). Let n = -6/35 - z. Is d < n?
False
Let a = 419/60 - 29/4. Suppose 0*h - 5 = h. Let l = -4 - h. Which is bigger: l or a?
l
Let l be (-45 - 1)*(-15)/(-10). Let h = l - -51. Are -15 and h nonequal?
True
Let s be 76*((-45)/(-150))/((-6)/5). Which is smaller: s or -24?
-24
Let a be ((2/(-6))/(-1))/((-104)/312). Which is bigger: a or 4/1079?
4/1079
Let s = -0.428 - 0.572. Is s < 79?
True
Let a = 218 + -1964/9. Let y(x) = -2 - 1 - x**2 - 4*x + 0*x. Let s be y(-3). Is a less than s?
True
Suppose 5*t + 2*y - 10 = 0, y - 3 = -5*t + 2. Let s = t - -4. Suppose -6*m = -s*m - 12. Which is bigger: m or 3?
m
Let t = 15.086 + -0.086. Let v = 109 - 124.4. Let o = v + t. Which is greater: -1/4 or o?
-1/4
Let z = 1378 + -1980. Which is bigger: -601 or z?
-601
Suppose 4*c + 3 = -5*x - 13, -5*c = 2*x + 3. Let l = 6/191 + 889/2101. Is l greater than c?
False
Suppose 2*r + 5 + 5 = 0. Suppose 4*c + u + 2*u - 63 = 0, c + 4*u - 19 = 0. Suppose -6*a - 21 = c. Which is smaller: r or a?
a
Let y = -2299 + 2302. Suppose 3*x = -2*j + 66, 0 = -4*x + x + 4*j + 84. Let z be x/(-14) + (-12)/(-6). Which is smaller: y or z?
z
Suppose 0 = -7*c + 3*c - 872. Let y be c/190*(12 + -11). Let a = y - -6/5. Which is bigger: 1 or a?
1
Let r be (8/10)/(64/(-160)). Let k be 2*13*(r - 3/(-2)). Which is smaller: -12 or k?
k
Suppose p + 696 = -c, 2*c = p + 2*p - 1377. Let j = c - -368. Let m be (-37)/j + 10/(-65). Which is smaller: 2/3 or m?
m
Let s = 4 + 8. Let w = 15 - s. Let i = 2.9 - w. Is -0.3 at most as big as i?
True
Let a(n) = -n**3 + 16*n**2 + 17*n + 10. Let v be a(17). Let q = v + -46. Is -36 <= q?
True
Let n = -45 - 6. Let u = 54 + n. Which is smaller: 5 or u?
u
Let r = 142 + -73. Which is greater: 68 or r?
r
Let b be (-16)/(-56) + (-3678)/(-14). Is 264 smaller than b?
False
Let x = 35 + -185. Is x at most -149?
True
Let g = 81 + -105. Let u = 24 + g. Is 3.4 < u?
False
Let j(c) = 3*c**3 + 8*c**2 - 4*c - 4. Let b be j(1). Is b < 0.13?
False
Let u = -8.86 + -0.14. Let l = u - -8.1. Suppose 38 = -14*v + 52*v. Is v at most l?
False
Let i be 1 - (2 - 0)/2. Suppose -4*d = 2*z - 0*z + 962, 3*z - 4*d = -1463. Let n = -10187/21 - z. Is n bigger than i?
False
Let g = -1277.1 - -1277. Which is smaller: g or 10.9?
g
Let q be (-6)/2105*465/279. Is -1 != q?
True
Suppose 0 = 8*r - 261 - 1795. Are 257 and r equal?
True
Let y = -1.239 + 2.199. Which is bigger: y or -1/5?
y
Let f be 14 - (-20)/(-30)*3/(-2). Suppose 0 = p - 3*d - 27, -5*d + f = p - 28. Are p and 32 unequal?
True
Let p be 0/(1 - -4) + -2 + 2. Which is bigger: -129 or p?
p
Suppose 0 = 2*u - 3*j - 1, -17*j + 13*j + 6 = u. Suppose 2*c + c - 3 = 0. Is c smaller than u?
True
Let i(p) = p**2 - 8*p - 8. Let u be i(10). Which is smaller: 4 or u?
4
Let l be (-8)/12 - 104/(-147). Let z be 330/(-56)*(1 + 142/(-140)). Let m = l + z. Which is smaller: -1/4 or m?
-1/4
Let k be 357/(-272)*(-1 - 3211). Let u = k + -4246. Let l = -30 - u. Is -3 > l?
False
Let q = -0.057 + -0.273. Let x = q - -0.43. Which is bigger: 2/5 or x?
2/5
Let g = -609 - -553. Is g >= -56?
True
Suppose -4*p - 26*k = -24*k + 464, 0 = 5*p + 3*k + 582. Is p greater than -113?
False
Suppose -5*o - 152 = -4*n, -4*o - 64 - 42 = 2*n. Let j be -24 - (7 - ((-24)/(-5) - 9/(-45))). Which is smaller: j or o?
o
Suppose 12 = -7*f + 4*f. Let y be ((-15)/(-20))/((-11)/f). Does y = -0.1?
False
Let z(n) = -29*n - 3. Let t be z(-1). Is t >= 79/3?
False
Suppose -50 = -6*r + 8*r. Let k be 4/(-10) + (-129)/(-5). Let g = r + k. Which is smaller: g or -17?
-17
Let p = -533 - -528. Let j be 1 - (-2)/4*0. Is p equal to j?
False
Let x be (-21 + 2)*(1 + 0). Suppose 27*g = -307 - 179. Is x > g?
False
Let q = 662 + -638. Which is bigger: -0.13 or q?
q
Suppose 0 = -35*h + 46*h + 3542. Is h < 1/4?
True
Suppose -l = r - 5 - 2, -1 = -r + l. Suppose -r*w + 5*c + 16 = -12, 2*w + 2*c = 32. Which is bigger: w or 13?
13
Let l(y) = -8*y - 414. Let t be l(-52). Which is smaller: t or 21/13?
21/13
Let m = 0.068 + -59.068. Let s = m - -66. Is -5 smaller than s?
True
Let s = -556 + 11674/21. Let z be 3/(-15) - 123/(-15). Let l be z/68 - 75/(-85). Are s and l equal?
False
Let z(v) = -2*v**2 - 9*v - 6. Suppose -2*k = k + 18. Let y be z(k). Is 1 smaller than y?
False
Let b(g) = 48*g + 762. Let f be b(35). Is f less than or equal to 2442?
True
Let a(c) = -c**3 + 7*c**2 + 9*c - 19. Suppose 4*d = 14*d - 80. Let l be a(d). Which is smaller: -37/3 or l?
-37/3
Suppose 207 = -3*y + 834. Let h = y - 1677/8. Is h less than -2?
False
Let p = 943/7 - 135. Let z = 6 + -9. Let m = 4 + z. Are m and p nonequal?
True
Let t = -214 + 209.05. Let o = -1 - -0.95. Let k = o + t. Which is smaller: 1/4 or k?
k
Let b = 2 + -1. Let g = -40 - -42. Is b <= g?
True
Let z = 48 + -53. Let p = -5 - -1. Which is smaller: z or p?
z
Let a = -1478/1975 + 116/79. Which is bigger: a or 0?
a
Let c be 30/(-105) + (-66)/(-182). Suppose 0 = -5*l + 15, 6*l - 16 = 4*w + 2*l. Is c >= w?
True
Let p(c) = -20*c**3 - 2*c**2 - 2*c + 3. Let g be p(1). Is -14 < g?
False
Suppose 4*z + 4*t = -19 + 115, -t = -2. Suppose 3*n = -3*a + 51, -8*n = -a - 7*n + 27. Is a bigger than z?
False
Let d = 8 - 8.1. Let o = -27 + 27.034. Let f = o - -25.966. Does d = f?
False
Let y be ((-2)/(-28))/((-7)/112). Which is smaller: 0 or y?
y
Suppose 2 = 4*g - 6. Suppose -f + 9 = g*f. Suppose 29 = 17*a - 39. Are a and f nonequal?
True
Let d(o) = o**2 + 13. Let h be d(0). Suppose 3*k + 4*x = 16, -5*k - 92*x + 40 = -88*x. Is h at most k?
False
Let k be