(-102))/(30/81). Is f < -68/3?
False
Let h = -75.9 + 76. Let k = 929.975 + -930. Which is smaller: k or h?
k
Let f = 1505/26 - 58. Let d(h) = -2*h**2 + 64*h + 947. Let v be d(-11). Which is greater: v or f?
v
Let w(r) = -r**3 - 21*r**2 - 107*r + 8. Let v be w(-9). Which is greater: v or 2/2203?
2/2203
Let d = 240.1 + -47. Let m = d - 152. Let l = m - 42. Which is bigger: l or 2?
2
Suppose -4*x = 263*w - 261*w + 2, 4*x = -8*w - 20. Let r = -226/45 - -34/5. Which is bigger: r or x?
r
Let o = 54.14 - 55.14. Is -0.371 less than or equal to o?
False
Suppose -809 = 82*q + 615 + 134. Which is greater: q or -421/22?
q
Suppose 41*c - 24*c - 665 = 24*c. Suppose 3*w = 2*r - w - 196, -5*r - 2*w + 478 = 0. Let s = c + r. Are s and -6/41 non-equal?
True
Let x(s) = s**2 - 16*s + 17. Let n be x(17). Let d be (-4)/(-2) - (-17)/n. Let h be 2*3/(9/6). Which is bigger: d or h?
h
Let y(r) = 11*r**2 + 0*r - 10*r**2 - 101 + r + 99. Let m be y(-2). Is -2/77 <= m?
True
Let u be ((-9795)/(-20) + -1)*((-24)/(-10))/(-6). Which is smaller: u or -195?
u
Let h(w) = -w**2 + 103*w - 1554. Let f be h(84). Which is smaller: 28 or f?
28
Suppose 0 = 4*y + 5*v - 68, -4*v - 1 = -17. Is 47/4 at least as big as y?
False
Let q be ((-19)/((-38)/(-24)))/((-33)/517). Are q and 157 equal?
False
Let r be 2/548*(-116)/1102. Which is smaller: 0 or r?
r
Let l(x) = 5*x + 16. Let z be l(-3). Let g be (8 - -3)/11 + -1*z. Which is smaller: -9 or g?
-9
Suppose t - 28 = -23. Let v be ((-3)/48)/(t/(-390)). Which is smaller: 5 or v?
v
Let u = 130 + -107. Let n = u + 44. Let w = n - 65. Is w not equal to -29?
True
Let z = 30459 + -30459. Is 3/295 at most z?
False
Let b = -83299 - -757604403/9095. Is b not equal to -2?
True
Let d = -29470.4703 + 29471. Are d and 0 unequal?
True
Let y(q) be the second derivative of q**4/12 + 13*q**3/6 + 17*q**2/2 - 11*q. Let h be y(-13). Let j(i) = -i**2 + 15*i + 26. Let n be j(h). Is -6 not equal to n?
True
Let m = 4353/1816 - 19/8. Which is bigger: 1 or m?
1
Let x = 3275 - 3227. Let w = -38.9 + 39. Which is bigger: x or w?
x
Let p(d) = d**3 + 2*d**2 - 15*d + 2. Let s be p(0). Suppose -f - 3*v = -47, -38 = -s*f + 4*v + 16. Which is greater: f or 7?
f
Suppose 0 = 3*r - 6, 5*x + 5*r - 4*r - 7 = 0. Suppose -33*u - 753 = -30*u. Let m = u - -2263/9. Is x at most m?
False
Let k be (4/54)/(((-220)/(-99))/20). Is 125/7 greater than k?
True
Let v be (-35)/7 + (8 - 3)*2. Let x be (3 - 2)/(v/(-5)). Let k = 1131 - 90481/80. Which is smaller: x or k?
x
Let s(u) = -u**3 + 17*u**2 + 16*u - 10. Let b be s(15). Let r be 6/(-51) + 131/b. Let a be ((-4)/10)/(-1) - 46/115. Is a less than or equal to r?
True
Suppose -50*v + 2173 = 2173. Which is smaller: 286.6 or v?
v
Suppose 2 = 2*i, 5*c = -2*i - 1078 - 1830. Let g = c - -581. Is g > -3/97?
False
Let q = -177.38 + 158. Let f = q + -2.72. Let o = f - -22. Which is smaller: 36/5 or o?
o
Let x(q) = -79*q - 1116. Let h be x(90). Is h at most -8226?
True
Let u(p) = -31*p**2 - 9*p + 23. Let i be u(4). Let r be (-6)/33 + (-67164)/132. Is r less than or equal to i?
True
Suppose -41*h + 217 = -29. Let u be -3 + 11 + -15 + h. Let j be 2/4*9/(-12). Is u less than j?
True
Let g = 11540/17 + -679. Let x be 0/(-4*(-2)/8*1). Let p be x/((6/(-12))/(2/(-16))). Is g at most p?
True
Let h = -15479 + 18002. Which is smaller: 2 or h?
2
Let w = 0.18 + -19.18. Let g = -1358/3 - -42043/93. Let o = 8/31 + g. Is w smaller than o?
True
Let s = -111 - -23. Let y(i) = i**2 + 56*i - 31. Let h be y(-55). Is h less than or equal to s?
False
Let s = -111.11 + 4.11. Does 1/2 = s?
False
Let l = 11/112694 - 3918289/22257065. Let w = 6/79 + l. Which is bigger: 1 or w?
1
Let z(q) = 2*q**2 - 18*q + 3. Let c be z(12). Let i = c - 76. Let t be (-4)/(-9)*30*(i + -2). Which is smaller: 2/5 or t?
t
Suppose 27*q + q + q = 0. Suppose 5*t - 47 = -837. Which is bigger: t or q?
q
Let y be 6 + 15 + -28 + (-196)/2. Which is smaller: y or -121?
-121
Let n = -94 + 93.9. Let w = -218 + 122. Let p = w - -52. Which is smaller: p or n?
p
Let h be -3*(3 - 413/21). Suppose h*p = 47*p - 3. Which is smaller: p or -3/188?
p
Let d be ((-3)/8)/3 + (-408526)/(-368). Let p = d - 3560/3. Is -76 < p?
False
Let f be -4 + 1 + (7 - (8 - -102))*1. Is -116 >= f?
False
Suppose j - 37 = -28. Let m be 1*(12/j)/(16/12). Suppose -3*x - 1 = -4*x. Is x greater than m?
False
Let j(p) = p**3 + 156*p**2 - 1311*p - 12. Let c be j(-164). Is c <= -237?
False
Let m(x) = 17*x - 698. Let o be m(41). Is o not equal to 1/1584?
True
Suppose 0 = 5*b + 2*k - 10, -10 = 8*b - 4*b - 2*k. Suppose -m + 2 = -b*m. Let c be ((-12)/10)/(m/(-5)). Is c > 11/6?
True
Suppose 10*s + 47 - 607 = 0. Let m(y) = 2*y**2 + 57*y - 102*y + 22 + s*y - y**2. Let r be m(-5). Which is bigger: r or -6?
-6
Let c be (-48139)/260 + 2/(-8). Let r = -185 - c. Is r bigger than 1/3?
True
Suppose -3*o + 3*l - 210 = -8*o, 2*o - 4*l - 58 = 0. Let p(a) = 5*a - 183. Let k be p(o). Which is smaller: 40/3 or k?
k
Let p be -16 - (5 - (99 - 9)). Which is greater: 49 or p?
p
Suppose 95*m - 78 = 101*m. Suppose -4*q = x + 105, -2*x = -2*q - 6*x - 70. Let z = q - -11. Is m at least as big as z?
True
Let l be 8 + 5/((-930)/1494). Let z be (7 - 6)/(2/8). Suppose t = -z*t. Is l != t?
True
Let o be (-36)/(-198) + (-1)/(-5). Is o at most -0.1?
False
Suppose -4 = -o + x, o - 16 = -2*o + 5*x. Let k = 3/26 - 99/13. Let w = k + 215/26. Which is smaller: o or w?
w
Suppose 0 = -9*l - 2*l + 11. Let y be (0/l)/(-4) - (-1 + -1). Suppose -2*h + 14 = -y*i, -8 = h + 2*i - 0. Is 0 greater than h?
False
Let p be (((-8512)/12)/4)/(2/48). Let h be (p/24 + 1)*1. Which is smaller: h or -177?
-177
Suppose 2*p + 11 + 1 = 4*o, 3*o = -p + 4. Suppose o*m = 3*j + 179, 0 = -4*j + 2*m - 142 - 94. Is -56 greater than j?
True
Let g = 8942 + -8941. Does -1/22144 = g?
False
Let d be ((-6)/21 - (-60)/(-35)) + 0. Let h be ((-2)/d + -2)*1*-3. Which is smaller: 25/7 or h?
h
Suppose i + x - 2474 = -793, -4*i + 2*x = -6718. Suppose 520 = -10*q - i. Which is smaller: q or -219?
q
Let r be (-1*(-11 - -11))/10. Is r equal to -2/1541?
False
Suppose 2*z - 5626 = -6218. Is 6 greater than z?
True
Let q = -18.3 + 0.3. Let u = q - -26. Let j = u + -8.4. Which is greater: 2/27 or j?
2/27
Suppose 2979*t + 18683 = 3136*t. Which is smaller: t or 235/2?
235/2
Let o(n) = n**2 - 18*n - 763. Let s be o(38). Is s equal to -130/81?
False
Let k(o) = -108*o + 16. Let a be k(1). Let z be 0 - (a + -4 + 3)/(-3). Let s = -111 + 79. Is s at least as big as z?
False
Suppose -7*x - 13189 - 3751 = 0. Which is smaller: x or -2422?
-2422
Let k = 400 - 400.539. Let g = -0.539 - k. Which is smaller: -5/28 or g?
-5/28
Suppose 0 = -2*m + 4, 0 = -0*h - 4*h + 3*m + 6. Suppose i = h*x + 25, 0 = 4*i + x - 74 - 13. Suppose i*t = 29*t - 504. Is t bigger than 73?
False
Let a be (85/50)/17 - (-5 + 2152145/421950). Is 0 at most as big as a?
False
Let m(b) be the first derivative of -11*b**2/2 - 7*b + 10. Let k be m(-1). Suppose 0 = 4*t + 4*s - s + 109, 0 = -4*t - k*s - 104. Is t <= -61/2?
True
Let n be (23/7)/(108/63). Let a = -13/6 + n. Is a less than -1/4?
False
Let g(n) = -n**2 + 12*n - 13. Let t be g(11). Let o = 80 + -157. Let c = 74 + o. Which is smaller: t or c?
c
Let i = 42.8 + 3.2. Let s = 72.05 + -1.05. Let u = 72 - s. Which is bigger: u or i?
i
Suppose 0*t + 5 = t. Let z(b) = -b**3 - b**2 + 21*b + 4. Let o be z(-5). Is o greater than t?
False
Suppose 1540 = -2*z - z - 4*t, 5*t = z + 545. Which is smaller: -518 or z?
z
Let w be 4/(-2)*8/(-16) + 15. Suppose -2*t + 6*t = -w, -2*y + 82 = 2*t. Let c = -41 + y. Which is bigger: c or 14/5?
c
Let z be 4/(-3) - (-36062)/78. Let y = 439 - z. Let g be 2/2 - 10/8. Which is greater: y or g?
g
Let v be ((-4)/16)/(2*(-5)/80). Suppose 0 = v*r - 7*j + 4*j - 152, 3*j - 76 = -r. Which is bigger: r or 73?
r
Let b be (((-1332)/(-30))/(-3))/(1 - -1). Let u = -78 - -80. Is u equal to b?
False
Let o = 50830 + -50722. Let u be (18 - (-2 - -2))*6. Is o at most u?
True
Let h be (3/(-72))/(91/(-845)). Let o = h - 1/84. Let n = 1 - 2. Which is smaller: o or n?
n
Suppose -132 = -2*o + p, -4*p + 16 - 96 = -o. Suppose 824 = 13*l - u, 2*l - 4*u = 85 + 61. Is o equal to l?
False
Let s = 748.3 + -748. Is s > -554?
True
Let m be ((-234095)/(-110))/(2 - 15/10). Let j = m - 4239. Is j greater than or equal to 18?
False
Let h = 2498 