big as k?
True
Suppose 9 + 71 = -5*s. Let p be 1/(-2)*s/4. Which is greater: 0 or p?
p
Let q = 39/38 - 425/266. Which is greater: q or 0.068?
0.068
Let z(u) = 11*u**3 - 8*u - 46. Let j(p) = -4*p**3 + 3*p + 15. Let k(s) = -8*j(s) - 3*z(s). Let t be k(0). Let o be ((-2)/5)/(t/15). Are o and 2/5 equal?
False
Suppose -3*f + 14 = 2*t + f, 5*f = 2*t + 22. Let h = -217/1012 + 3/92. Is h equal to t?
False
Suppose 4*b = -20, 0*t - 3*t + 113 = -b. Let w(g) = -g**3 - g**2 - g + 36. Let l be w(0). Suppose -3*p + t = -l. Is p at least 24?
True
Let j be (-4)/(-2) - (-9 + 57/5). Let c be -1*2*(-15)/10. Suppose 3*l = -c*y - 6, -5*y + l = 5*l + 9. Is y equal to j?
False
Let p = 98 + -100. Let z be 0 + (-1)/p + 2 + -2. Is 14 at most as big as z?
False
Let m(n) = n**2 - 2*n + 283. Let s be m(0). Let z = 19391857/210 + -648376/7. Let j = z + s. Which is bigger: j or 1?
1
Let k be ((-9)/(-53))/(20/40). Which is greater: k or -1?
k
Let b be (3/6)/(2/(-6)). Let z = -167/5 + 34. Let u = z + -17/20. Are u and b equal?
False
Let a be 37155/(-1955) - -8 - -11. Which is bigger: a or -1/6?
a
Let z be 18/12 + (-3)/(-2). Suppose 0 = -r + z. Suppose -y - 4*i - 91 = -4*y, -r*y + i = -79. Is 26 <= y?
False
Suppose 6*r = -8*r - 9*r. Which is greater: 9/32 or r?
9/32
Let v = 1 + 4. Let n(z) = -z**2 + z. Let k be n(-3). Let t = 18 + k. Is t less than v?
False
Let b = 42853/4 - 10658. Are 55 and b non-equal?
True
Let p = -75 + 227/3. Let r = 0.32 - 0.3. Is p > r?
True
Let m = 4299179/90 - 47765. Let o = m + -23/9. Let t = o + -1/2. Is t at most 2?
True
Let w = -59/6 - -133/12. Let j = 6 + -15. Let o be -3*(2 - (-12)/j). Which is smaller: w or o?
o
Let u = -115 - -112. Are 12 and u equal?
False
Suppose -101 = 5*t - 5*z + 4, -2*t - 43 = -3*z. Let j = t + 19. Is -10/19 at least j?
True
Let v = -8 + -6. Let z(a) = -25*a + 162. Let u be z(7). Is v at most u?
True
Let j(o) = -7*o - 165. Let d be j(-40). Which is bigger: 114 or d?
d
Let s(y) = 2*y - 16. Let v be s(9). Is 2/3 smaller than v?
True
Let q = 126764687 + -17620438831/139. Let v = q + 1060. Which is greater: v or 1?
1
Suppose 0 = 13*f - 16*f + 714. Which is greater: f or 240?
240
Let u be (11 - (-1560)/(-126))/3. Which is smaller: 1 or u?
u
Let v = 117.937 - 118. Let n = -1.063 - v. Which is smaller: -2 or n?
-2
Suppose 4*m - 8 = 8. Suppose -m*c - 1 = -25. Let g be (-28)/(-8)*(-8)/14. Is g less than c?
True
Let c = -241 - -241.2. Are 33 and c nonequal?
True
Let m be 0 + (-1)/(24/(-633525)). Let c = m - 26452. Let n = 55 + c. Which is smaller: 1 or n?
n
Let n be (11511/(-12))/((-2)/(-7 - 1)). Let j = n - -748217/195. Which is smaller: 0 or j?
0
Let s(a) = 14*a**3 + 8*a**2 - 5*a + 55. Let j(d) = 5*d**3 + 3*d**2 - 2*d + 18. Let i(w) = -11*j(w) + 4*s(w). Let l be i(0). Is l at least 23?
False
Let x = 31 - 30.9. Let d = x - 0.9. Let v = d - -0.1. Which is smaller: 0.1 or v?
v
Let g = 1754 - 1631. Which is smaller: -2 or g?
-2
Let d be 4 - (2 - (-76)/56). Let n = d - 17/70. Let o = -1 + 2. Is n <= o?
True
Let d(z) = -12*z**2 - 3*z**2 + 5*z**2 - 2*z. Suppose 4*l = -5*c + 11, -3 = -l - 4*c + 8. Let o be d(l). Is -9 > o?
False
Let w = -8.75 + 8.15. Which is smaller: -9/11 or w?
-9/11
Let c be 3 + 2 - -2*1. Let a = c - -3. Suppose 3*b + 24 + 5 = 2*r, b = 3*r - 33. Is a at most as big as r?
True
Let t = -72 - -72.1. Let f = 0.082 - 70.082. Which is bigger: t or f?
t
Let m = -8 - -4. Suppose -4*i + 55 = -7*i + 5*g, -96 = 5*i - 4*g. Let v be ((-18)/15)/((-8)/i). Which is greater: v or m?
v
Let x be (4/6)/(((-408)/(-7092))/17). Is 196 at most x?
True
Let m = 22.4 + -76.5. Let i = m - -52. Let w = i + 1.9. Is -7/3 greater than w?
False
Let m be 6/21*(-49)/(-14). Let k be (m/4)/(105/(-540)). Which is bigger: k or -2?
k
Let k = -81 + 45. Let n = k + 38. Which is smaller: -1 or n?
-1
Let w be -3 + (11/22)/(1/58). Let d = w - 86. Is d at most 0?
True
Let k = 0 - 22. Let p = 23 + k. Let u be p*3 - (-252)/(-99). Which is bigger: 2/3 or u?
2/3
Let j be (-1)/(-3) + 15/(-36)*2. Let q = -1.71 - -0.11. Is q less than or equal to j?
True
Let t = 40 + -21. Let n be (2 + (-90)/42)*-2 + 0. Does n = t?
False
Let c be (-15838)/(-16435) + (-16)/20. Let h = 1/173 - c. Is h less than -1?
False
Suppose 168 = 5*o - o. Let w be (-2)/6 + 8/o. Are -1 and w equal?
False
Let j(b) be the second derivative of b**5/20 - 3*b**4/4 + 5*b**3/6 + 4*b**2 + 12*b. Let k be j(8). Is -16 at least as big as k?
True
Let p be (-1 + 0)*59*9/9. Is -61 smaller than p?
True
Let n = 78 + -28. Let a be n*(-1)/13 - -4. Let h(i) = -i - 6. Let o be h(-5). Is a at least o?
True
Let p be (-10)/22 + 0 + 1. Suppose -2672 = -7*t - 2658. Which is bigger: t or p?
t
Let l(k) = k - 10. Let m be l(10). Suppose z = -2*b - 8, -2*z + 3*b + 18 - 6 = m. Suppose 5*o + 15 = -z*o. Which is smaller: o or -6?
-6
Suppose p - 4*p = -3*m + 39, 0 = -p - m - 9. Is p at least as big as -18?
True
Let u = -3/119 + -110/357. Is u <= 1.4?
True
Let g be (6/8 + 203/(-84))*3. Let y be ((-3 - -8) + -8)*g. Which is bigger: y or 14?
y
Let p = 463/3 + -154. Which is smaller: p or -0.162?
-0.162
Suppose -116*d + 4236 = -122*d. Which is smaller: -705 or d?
d
Let v(g) = -g**3 - 12*g**2 - 20*g + 13. Let u be v(-9). Let t be u/((-3)/6*2) + -2. Which is smaller: 49 or t?
t
Let l be (-154)/(-28)*-2*3. Let i = -0.18 + 0.08. Which is bigger: i or l?
i
Suppose 45 = -9*l + 4*l. Let b = 11 + l. Suppose -2*v = -b*u - 10, v = 4*u - 2*u + 1. Is v greater than 8?
True
Suppose 16*l - 12*l - 442 = -z, -216 = -2*l - 3*z. Which is smaller: -2/3 or l?
-2/3
Let d = 0.9 + 0.1. Let g = d + 1. Let w = -704.5 + 705. Which is smaller: w or g?
w
Suppose 8*a - 88 = 30*a. Which is smaller: 3 or a?
a
Let o be 10/106*(0 - (-40)/25). Is o smaller than 1?
True
Let w = 4 - 12. Let m = w + 1. Let f = 35 + -36. Which is smaller: m or f?
m
Let n be -4*121/(-176) - 4/2. Is 2 bigger than n?
True
Suppose 3*l + 37 = 208. Suppose -4*z + l + 3 = 0. Are z and 16 unequal?
True
Let j = 72 + -135. Let f be -1*j/(-7 - -4). Is -19 != f?
True
Let h = 673606/19 - 35466. Which is bigger: h or -12?
-12
Let r = 477 + -478. Which is smaller: r or 53?
r
Let f(q) = 223*q - 47. Let t be f(1). Is 0.1 less than t?
True
Let s = -301 + 300. Is s at least as big as -0.4?
False
Let o(s) = 10*s**2 - 2*s - 1. Let p be o(2). Suppose -2*t - p = 3*t. Let g be (-15)/t + (-3)/1. Which is smaller: g or -1?
-1
Let l = -0.4 - -0.5. Let a(k) = k**2 - 8*k + 5. Let g(b) = b**3 + 7*b**2 + 5*b + 1. Let c be g(-6). Let q be a(c). Is q less than l?
True
Let z be ((-36)/(-9))/(12/1). Let h = -5 + -3. Which is smaller: z or h?
h
Let j(v) = 10*v**2 + 3*v**2 + 7*v**2 + 3*v. Let f be j(-1). Which is smaller: f or 2?
2
Let k = 34.604 + 0.196. Let v = k + -35. Is -22 at least v?
False
Let b be (3/2 - 3)/((-6)/146). Let n = b + -40. Suppose -4*t - 29 = 4*p - 9, -3*p = t + 13. Which is bigger: n or p?
n
Let x = 236 + -228. Suppose 0 = 4*o - 40 + 8. Is x less than or equal to o?
True
Let v be (9/(-3) + 2)/(-1). Let k = 2 - 1. Let q be ((-96)/(-21) - k) + -3. Which is smaller: q or v?
q
Let b = -114 + 302. Which is smaller: 0 or b?
0
Let u(s) = s**3 - 5*s - 2. Let n(x) = x**2 + x + 1. Let c(a) = -6*n(a) - u(a). Let m be c(-5). Are m and -23 nonequal?
True
Suppose 65*r - 12*r - 71232 = 0. Is r not equal to -0.1?
True
Let o be (-6 - 4)/((-2)/(-1)). Let t be o/((-875)/(-20))*-1. Is t greater than or equal to 1?
False
Let s(y) = 2*y**3 - 7*y**2 + 3*y. Let l be s(3). Is l less than -1?
False
Let f be 2 - 2/(0 + 1). Suppose -s - 3*r - 35 = f, -60 = 2*s + r + 3*r. Let u be (-1 - 1) + (-42)/s. Which is bigger: 0 or u?
u
Let c = -39 - -67. Let b(m) = m**2. Let y be b(-4). Suppose 2*a - v + y = 0, -4*a - c = -0*v - v. Is a equal to -6?
True
Suppose 20 = 3*u + 8. Let o be ((-2)/22)/(u/21180). Let a = 481 + o. Which is bigger: 1 or a?
1
Suppose 0 = -3*a - 5*w + 8, -4*a = 4*w - 3*w - 5. Let x be 5/(-25) - 69/(-120). Is a < x?
False
Suppose 6*p = 2*p - 2*f + 12, 2*f - 2 = p. Suppose -4*k - 5*n + 14 = 0, 0 = -2*n + 6*n - 8. Suppose p*h + 7 = k. Is -3 less than or equal to h?
True
Let i be ((-21)/(-756))/(6/(-16))*12. Is i not equal to 0?
True
Let r = 158 - 258. Let z = r - -59. Which is bigger: z or 0.1?
0.1
Suppose 5*s - 3 = -2*v - 18, -5*v = 0. Let w be -22 + (16 - -7) + 19/(-4). Which is smaller: w or s?
w
Suppose 4*n + 3*n + 2