ich is smaller: z or -1/2?
-1/2
Let f(l) = -104*l - 460. Let p be f(-4). Is p at most as big as -25?
True
Suppose 0 = -3*v - 5*s + 22, -v - 8 = -5*v + 4*s. Suppose 0 = -j - 4, -v*k + 3*j + 33 = 1. Is k less than or equal to -1/5?
False
Suppose 4*p = -5*h + p - 35, -4*p = 20. Let n be h/10 + (-10)/(-25) + 12. Suppose 0*q - q = -11. Is n > q?
True
Suppose -u - 1 = 0, -3*u = 5*x - 6*x + 428. Suppose x + 871 = -27*h. Which is smaller: h or -47?
h
Let h be (-1)/((-11)/386) + 66/(-726). Which is smaller: -4 or h?
-4
Let g = -0.046 + 3.986. Let u = -1.06 - g. Suppose -25 = -5*r, -y = 3*y - r - 3. Is y at most u?
False
Suppose -3*l - 330 = -5*p, 22*l - 11*l + 1094 = -p. Which is greater: -95 or l?
-95
Let n = -339 - -245. Let v = n - -79. Is 0.03 >= v?
True
Let o = 51 + -14. Let b = -995 + 1035. Let d = o - b. Which is greater: d or 1?
1
Let z = 5440 + -5442. Do 190 and z have the same value?
False
Let p = 15 + -83. Let k = p - -146. Let z = 389/5 - k. Does z = -1/3?
False
Let m(x) = -x**3 + 4*x**2 - 7*x + 5. Let r be m(5). Let z = -1130 - -1126. Let o be 3/(24/(-36)*z/(-48)). Which is smaller: o or r?
r
Let a = 1991 - 1934. Let x be (1 - 12)/(36/184). Let p = x + a. Is 2 at most p?
False
Suppose -3*p = -81 + 75. Suppose z = -4*t - 4, z - 2*z = -2*t - p. Is 3/5 at most z?
False
Let u = -11528/5 + 2316. Let w be 26/(-52) + 21/28. Which is bigger: u or w?
u
Let q = -48 - -53. Let y be 0 + (-2)/q + 11067/(-245). Let x = y + 45. Which is smaller: x or -1?
-1
Let x be (-6)/15 + 562599/803160. Let s = 3/776 + x. Which is smaller: -1 or s?
-1
Let q be 9/(-36)*16 + (0 - -1)*-2131. Which is bigger: q or -2137?
q
Let v = -105.081 - -105. Let x = -87.919 + v. Let i = x - -110. Which is bigger: i or -0.1?
i
Let l(z) = 2*z**3 + 21*z**2 - 12*z - 19. Let s be l(-11). Let q be s/(-116) + (-13356)/4437. Do -4 and q have the same value?
False
Let p = -499/9 - -55. Suppose 4*g + 0*g + 164 = 0. Let m = g - -46. Is m > p?
True
Let d = -12939 + 12972.047. Let h = d + -0.047. Let m = -3/199 - 383/995. Are m and h non-equal?
True
Let a be (5 - (-28)/(-20))*176/33. Which is greater: a or 0.08?
a
Let x(p) = -86*p - 1636. Let j be x(-19). Which is bigger: j or -133/135?
-133/135
Let g(y) = -25*y**3 - 4*y**2 - 10*y + 12. Let a be g(-5). Which is smaller: a or 3086?
3086
Suppose 3*d - 1605 = b, 65*d + b - 2126 = 61*d. Which is bigger: 527 or d?
d
Let i(r) = -r**3 + 8*r**2 + r - 10. Suppose -2*g = -4*g - 5*k + 26, 0 = g - 4*k. Let f be i(g). Suppose 3*l + 2 = 5*y, 4*y - 8 = 2*l + 2*l. Is f >= y?
True
Let c be (6684/(-19495))/((-16)/(-20)). Let v(w) be the third derivative of w**4/24 + w**3/6 - 2*w**2. Let r be v(0). Which is greater: r or c?
r
Suppose -3*o - 305 = -0*n + 2*n, -2*o - 5*n = 196. Is -87 less than o?
False
Let g = 64 - 49.3. Are g and 2 equal?
False
Let n = -279912/11 - -25508. Is n != 61?
True
Suppose -396 = 32*r - 26*r. Let v be 2 + -6*r/(-212). Is 1 equal to v?
False
Suppose -16*z - 591 = 2209. Let l = -171 - z. Which is smaller: l or 38?
l
Let i(q) = 2*q**3 - 4*q**2 - 4*q + 1. Let z be i(3). Let r(y) = y**3 + 11*y**2 + 13*y + 7. Let l be r(-10). Let c = l + 27. Does c = z?
False
Let d(u) = -u**3 + 6*u**2 - u + 6. Let m be d(6). Suppose m = -33*x + 31*x - 750. Let w be x/93 - (-3 + -1). Which is greater: 0 or w?
0
Let d be 4556/(17 + -34)*2. Which is smaller: 1 or d?
d
Let j = -4081/168561 + -1/2081. Let m = -13263/8 + 11817805/7128. Let i = m - j. Which is bigger: 0 or i?
i
Let h = -125 + 344. Let b = -217 + h. Let j be ((-45)/84)/((-6)/16). Is b less than j?
False
Let x(d) = -96*d**2 + 175*d + 1479. Let h be x(-9). Is h smaller than -7872?
False
Let c(j) = 246*j - 56838. Let o be c(231). Let r be (-9)/(-2)*(-6)/(-3). Suppose 1 + r = -k. Which is smaller: k or o?
o
Suppose -s + 5*s = 16. Let d(j) = -9*j**2 + 10*j - 11. Let b(l) = -3*l**2 + 3*l - 3. Let x(w) = -7*b(w) + 2*d(w). Let i be x(s). Is i at most 43?
True
Let p = -3208 - -3126. Let o = 16 + -7. Suppose o*g - 2 = 7*g. Which is greater: g or p?
g
Suppose 4*h + 31*g = 47*g - 608, 2*h + g + 277 = 0. Let i = 70 - 211. Is h at most i?
False
Suppose -15 = 5*y, 2*d - y = y - 40. Let p(l) = -l**3 - 22*l**2 + 24*l - 9. Let q be p(d). Let r = q + 95/3. Which is greater: -1/40 or r?
-1/40
Let v = -2 - -1.8. Let d(k) = 4*k - 28. Let q(l) = 4*l - 28. Let x(z) = 6*d(z) - 7*q(z). Let a be x(10). Is a less than v?
True
Let s = -51 + 48. Let z = -174 - -192.2. Let m = 18 - z. Is s greater than or equal to m?
False
Let q be 8 - (3/(-6))/(1/4). Let v(y) = -y - 23. Let a be v(q). Let z = a - -24. Which is smaller: -11 or z?
-11
Let b(l) = 5*l**2 - 59*l - 232. Let x be b(16). Is x at least -14?
True
Let n = -24698 + 24697. Is -64/213 equal to n?
False
Let t(j) = -j**3 + j**2 + 84*j - 85. Let q be t(1). Which is smaller: -2/1431 or q?
q
Let z be (2/(-2))/((-9)/45). Suppose 0 = -z*m + 9*m + 48. Suppose 3*a - 4*a = 13. Is a at least m?
False
Let x(j) be the second derivative of 3*j**4/4 + j**2/2 + 3*j. Let z be x(-1). Let o = -431 + 442. Which is greater: o or z?
o
Let j = 7380/23 + -3949749/12305. Which is smaller: j or 1?
j
Let y be -1 + -24 + 303872/12160. Let q(s) = -s**3 - 5*s**2 - 3*s + 3. Let k be q(-4). Is k <= y?
True
Let m be 18/(-90) - 919*(-3)/(-15). Let k = m + 606. Is 421 >= k?
False
Let f = -67 - -68. Suppose i + 6 = -2*o + 2*i, -4*o = 5*i + 26. Which is greater: o or f?
f
Let b(f) = -2*f + 80. Let u be b(26). Let o be 5/(-30)*u/175. Suppose 3*a = -2*a + 5. Which is greater: a or o?
a
Let f = 65.8 + -7.8. Which is smaller: -2 or f?
-2
Let p(a) be the first derivative of a**4/4 - 5*a**3/3 + a**2 + 8*a - 48. Let m be p(4). Let l = -9 + 16. Are l and m equal?
False
Suppose 4*j = p + 9, 2*j = -3*p + 1 - 0. Suppose -6*o = -j*o - 5*x - 124, 5*o + x = 126. Let i = -24 + o. Is 10/7 >= i?
False
Let u(x) = 2*x**3 - 28*x**2 + 11*x - 155. Let y be u(14). Which is bigger: y or -12/865?
-12/865
Let m be (12/15)/((-2)/10). Let c be (-115 + -2)*3*(-25)/15. Let k be (-239)/c + m/(-10). Which is smaller: -1 or k?
-1
Let y(u) = 81*u - 3249. Let r be y(39). Which is bigger: -118 or r?
r
Let h(r) = 136*r - 13184. Let l be h(97). Which is smaller: 374/53 or l?
374/53
Let g(d) = -d**2 - 4*d + 35. Let c(b) = -b**2 + 33*b - 90. Let q be c(30). Let p be g(q). Are 34 and p non-equal?
True
Let n = -556 - -528. Let u be 460/(-77) + 16/n. Which is smaller: -6 or u?
u
Let b be (-11)/(297/(-6)) - 2/90*-1259. Are b and 27 non-equal?
True
Let g = 14060.04902 - 14060. Is 0 bigger than g?
False
Suppose 43*r + 51*r - 13*r = 0. Is 1305 at least as big as r?
True
Let i = -1 - -11. Let a be (0 - 1)/(-3) + (-61)/(32940/(-4896)). Is i > a?
True
Let s = -0.079 - 17.921. Suppose 0 = -2*g - 2*r - 2, -4*g + 2*r - 2 = 2. Let i be (g/(-6))/((-12)/(-16)). Which is smaller: s or i?
s
Let x(z) = z**2 - 12*z - 169. Let d be x(35). Let f be (-2)/15 + (-4 - (-9602)/15). Is f < d?
False
Let y be ((-6)/(-12))/(4/32) + -16. Let k(g) = -g**3 - 11*g**2 + 15*g + 36. Let w be k(y). Which is greater: w or 32/33?
32/33
Let l = 28.05 - 3.05. Let a = -25.05 + l. Are 11/4 and a equal?
False
Let p(z) = z**3 - 5*z**2 + 22*z - 48. Let i be p(3). Let c be 3 + (8 + i - 10). Which is bigger: c or -5/79?
c
Let r be (-9 - 767/(-130)) + 7. Is 3 not equal to r?
True
Let d(h) = -h**3 + 3*h**2 + 2. Let p be d(0). Suppose p = -4*u + 3*b - 14, -4*u - 5*b = -16. Which is bigger: -5/189 or u?
-5/189
Suppose -4*x = -8*x. Let h be 32/((60/(-16))/(-3)). Let t = h + -4869/190. Is x bigger than t?
True
Suppose 13 = 9*k - 5. Let m = -57 + k. Let q = m + 55. Which is smaller: 7/23 or q?
q
Suppose 147 = -12*q - 3*z - 75, z + 20 = -q. Let x be (-15 + -2 + -6)*(0 - -1). Which is greater: q or x?
q
Let q be (-4)/6 - (-82)/6. Suppose 9*a = q*a - 164. Suppose 2*c - c = -b - 7, 3*b = -5*c - a. Is -10 bigger than c?
False
Let c = -1302245937/7493 - -173795. Is 0 at most as big as c?
False
Let f = -439/1081 - -15/47. Suppose 0 = -z + y - 164, 3*z + 5*y + 392 = -68. Let i be -4*-4*4/z. Which is smaller: i or f?
i
Let x = -1795 + 1795. Let s be -1 - 18/(-98) - -1. Is x at most s?
True
Let i = 7838 - 7837. Let b = -0.25 - 11.75. Which is smaller: i or b?
b
Suppose 3*i - 6*i + 57 = 0. Let c = -19 + i. Suppose c = v - 2 + 3. Do 1/60 and v have the same value?
False
Let j be 46865/(-195)*6/(-7). Which is greater: