ller: j or 0?
0
Let k = -6.0541 + 0.1241. Let h = -49.03 - k. Let f = h + 42. Which is smaller: -1/5 or f?
f
Let l = -425.07983 + 0.07983. Is -7/5 greater than l?
True
Let s(x) = -x**2 - 2*x + 6. Let u(k) be the first derivative of -k**3/3 - 2*k**2 - 6*k - 1. Let p be u(-3). Let b be s(p). Which is bigger: 4 or b?
4
Let r(z) = 2*z**2 - 25*z + 71. Let n = 886 - 900. Let t be r(n). Is -0.1 > t?
False
Let w = 14 + -15. Let m be (-4822)/120 + (-18)/210*-7. Let d = m + 79/2. Is d at most w?
False
Let f(s) = -s**3 - 4*s**2 + 5*s + 2. Let b be f(-5). Let o be 8/(b - -2)*11. Let i be (5/(20/(-8)))/((-42)/441). Is i greater than o?
False
Suppose n + 2*j = -6, 4*n + 0*n + 3 = -j. Suppose g - 4 = -2*r - n, -r = 3*g - 12. Let c be (-3)/(-42)*g + 0. Which is smaller: -33 or c?
-33
Suppose 252 + 147 = 7*s. Suppose -4*i + 2*o = -264, -i - s*o + 66 = -52*o. Are 2 and i nonequal?
True
Suppose 4*m = 64 + 104. Let z = -208/5 + m. Are -2 and z unequal?
True
Let c = -18 + 18.4. Let a = -0.07 - -1.07. Let m = a - 8. Is c > m?
True
Let t be 54962445/(-6655) + (-2)/11. Let v = -8259 - t. Is 0 >= v?
False
Let s = -8589.95 + 7687. Let h = s - -903. Which is smaller: -1/7 or h?
-1/7
Let j = 16183 - 16183. Is -2/20335 greater than j?
False
Let s = 81895 - 3030487/37. Is s greater than -11?
True
Let p(x) = x**2 + 8*x - 2. Let g be p(-8). Let n = -9967/11 + 905. Is g at most n?
True
Let t be (-304)/96 + (-3)/1. Let p = 763424 - 105353381/138. Let u = p - t. Is 0 not equal to u?
True
Let p = -1521 + 2056. Is 1/4 not equal to p?
True
Suppose 20 = z + 16. Suppose 0 = -5*q + 3*h - z, q + 2*h + 1 = -5. Which is greater: q or -50/17?
q
Suppose 0 = -102*h + 99*h - 3*z - 1017, -3*h = -2*z + 1002. Which is smaller: -331 or h?
h
Let h = 2.5 + -2.6. Let s = 70 - 78.5. Let l = s - -6.8. Which is smaller: h or l?
l
Let k be (-6)/(((-1728)/112)/18). Are k and 0.37 non-equal?
True
Let f = 78 - 34. Suppose 0 = 2*i - 4*u - 66, -4*i + 6*u + 148 = 2*u. Which is bigger: f or i?
f
Let k = 16906 + -16905. Which is smaller: -8/1267 or k?
-8/1267
Let a(s) = s**3 + 3*s**2 + 9. Let y be a(-3). Suppose -y*u - 4*u = -0*u. Is 2/15 bigger than u?
True
Let k = 4.83 - 5.69. Let q = -10.14 + k. Is -0.01 at least q?
True
Let m = 0.0607 + -4.6007. Let b = 5.14 + m. Which is smaller: b or -2/3?
-2/3
Let b(q) = 7*q**3 - 3*q + 6*q**3 + 2*q - 12*q**3. Let l(h) = 12*h**3 + 2*h**2 + 2. Let a(w) = -4*b(w) + l(w). Let s be a(-1). Which is bigger: -11 or s?
s
Let r be (-4)/(-2) - ((-6209)/(-7) - (8 - 3)). Is r at most as big as -875?
True
Suppose -3*k = -i - 36, 0 = 4*k - i + 5*i - 48. Suppose -5*d = -f + k, -3*d = 3*f - 2*d - 84. Let b be 0*(-1)/1 + 28. Is f > b?
False
Let w = 190778/25 + -7630. Let k = -1903 - -1905. Which is greater: k or w?
k
Let p = -4201 - -3805. Which is greater: p or -395?
-395
Let h = -716 - -698. Which is smaller: h or -50?
-50
Let j = 41 - 33. Let o(a) = a**2 - 9*a + 11. Let n be o(j). Let r be (-10 - -3 - -3) + n. Which is smaller: r or 7/17?
r
Let r = 6.2 - 9. Let w = -29.5 - -31.8. Let l = r + w. Which is greater: 0.1 or l?
0.1
Let k = 103626 + -36061601/348. Let b = 6/29 + k. Let m = b + -79/60. Which is greater: 1 or m?
1
Let z = -130 - -129.658. Let d = 0.028 - z. Let a = d + -0.43. Is -2/7 equal to a?
False
Let j = -0.5 + 0.9. Let c = 45 + -43. Suppose -3*f = -4*p + 4, 8*p + c = 10*p - 2*f. Which is smaller: j or p?
j
Let z = 302 + -295. Suppose 3*a = -5*v + 26, -6*a + a = -4*v + 6. Suppose -16 = 3*q - q - 4*c, -a*q + 5*c = 21. Which is greater: z or q?
z
Let f = 6639359/1248 + -5320. Which is smaller: f or -1?
-1
Let d be ((-698)/(-6))/(((-70)/21)/(-10)). Suppose 0 = -3*n + 2*p - 7*p + d, 0 = -3*n + 3*p + 333. Which is smaller: n or -0.1?
-0.1
Suppose 32*r - 1113 + 793 = 0. Suppose 4*a - 72 = -0*a + 3*n, 0 = -3*a + 3*n + 57. Is a less than or equal to r?
False
Let p(o) = -o**3 - 5*o**2 + 7*o - 3. Let n be p(-6). Suppose 1715 = 323*s - 328*s. Let z = -351 - s. Are z and n non-equal?
True
Let v = -8052 + 6883. Which is smaller: -1 or v?
v
Let o be (-3412)/2436*5 - 0. Let v = 210/29 + o. Let h be 0*((81/(-2))/9 + 5). Is h at most as big as v?
True
Let j = 137/19 - 940/133. Is -9/2 bigger than j?
False
Let q be (2/10)/((-165)/(-3300)). Let r = -2311 - -3790. Let c = r + -7368/5. Is c >= q?
True
Let x = -64 + 64.02. Let b = 14.02 - x. Let o = b + -14. Which is bigger: 13 or o?
13
Let w be (-8)/36 - (-1235)/9. Suppose 0*q + q = w. Suppose 10*c + 27 = q. Does c = 12?
False
Let z be ((-811314)/(-84)*2/15)/1. Is 1287 less than or equal to z?
True
Let i(x) = -19*x - 482. Let n be i(-25). Is n >= -814?
True
Let m be ((-12)/(-134))/((-4)/16*2). Let v = m + -7681/134. Is -59 != v?
True
Let t = -154 + 162. Let d be (-70)/t + 30/40 + -1. Which is bigger: -15 or d?
d
Let o = 303 + -289. Let j = o - 25. Are -1 and j unequal?
True
Let d be 17043/(-3405) - (-2 - 3). Let q = -3616/1113435 - d. Is q at least as big as -1?
True
Let h be 58/6 + (-4)/6. Suppose 0 = -4*v, 3*y + 2*v + 2030 = 8*y. Let a = y + -397. Is h greater than a?
False
Let n(j) = 6*j**2 - 210*j - 1. Let f be n(13). Which is greater: f or -1719?
f
Suppose 0 = d - 12*d + 770. Suppose d*a - 6 = 67*a. Suppose -3*x - a*y = 0, 2*x - 19 + 0 = 5*y. Which is greater: 13/8 or x?
x
Let j(h) = h**2 - 20*h - 12. Let y be j(6). Let i = -93 - y. Suppose 0 = -i*b - 2*p + 59, 6*b - 2*b = -5*p + 81. Are 19 and b non-equal?
False
Suppose -121 = 3*d + l, 2*d - 6*l = -2*l - 90. Let i = d + 100. Let a = i + -48. Which is smaller: 10 or a?
10
Let f = -563.1 + 185.9. Let j = f + 332. Let a = -45 - j. Are 8 and a unequal?
True
Let j = -10534/6604485 + -1/32217. Is 0 not equal to j?
True
Let h = -335 - -591. Let u = 255.96 - h. Is u at least as big as -2?
True
Suppose -469 - 811 = 5*d. Let q be -6*(1534/d - -6). Which is smaller: q or -1?
-1
Let a = 4431 + -4582. Is a < -152?
False
Let g = 270.614 + -271. Let s = g - -0.34. Let x be 0 - -1*2/8. Is x at most s?
False
Suppose 10*d - 8 = 12*d + 3*q, -3*q = -3*d + 3. Let i(n) = 2*n**2 + 78*n + 1. Let a be i(-39). Which is smaller: a or d?
d
Suppose 0 = p + p - 5*r - 73, -2*r = 3*p - 81. Suppose 298 = 21*o - 269. Which is smaller: o or p?
o
Suppose -11*w + 38*w = -26*w - 398719. Which is smaller: -7524 or w?
-7524
Let m be 5 + -1 + -11 + -74*3/(-6). Is m greater than 281/9?
False
Let q = 1047/4634 + -3710191/12442290. Let x = q - -1/179. Is x bigger than 2/23?
False
Let h(a) = -2*a - 1. Let o be h(-2). Suppose 6*l + 4*d + 68 = 4*l, -o*l - d - 77 = 0. Let y = 17 - 39. Which is greater: l or y?
y
Let a(m) = m**3 + 3*m**2 - 2*m - 10. Let s be a(-7). Let l be (-5)/(165/s) + 14/(-7). Let v be (10/6)/((-22)/(-66)). Is l < v?
True
Let w(j) = -j**3 - 4*j**2 + 5. Let z be 12*(4 + (-4)/12*13). Let d be w(z). Which is smaller: d or 10?
d
Let y(d) = 20*d**3 - 4*d**2 + 17*d + 68. Let i be y(-5). Which is smaller: -2616 or i?
i
Let h = 12019 + -19681. Let u = 53777/7 + h. Is 21 != u?
True
Let u = -16292/5 + 3260. Let y = 1.14 - -0.06. Let p = y - 0.8. Which is smaller: u or p?
p
Suppose 71*v - 2266 + 8 = 1008. Is 48 not equal to v?
True
Let d = -25 - 35. Suppose 0 = -3*z + r - 81 - 85, -2*r + 275 = -5*z. Is d less than or equal to z?
True
Suppose -2*l - 70 = -9*l. Suppose 7*z = l*z + 1422. Let y be -2 + (-28)/(-12) + 170/z. Which is smaller: -1 or y?
-1
Let m(o) = 4*o + 18. Let a be m(-4). Suppose a*k - 10*k = -2*k. Is 2/1333 less than or equal to k?
False
Suppose 2*v + z - 8 = 0, z = v - 2*z + 10. Suppose v*k - 11 = -7. Let w be (-8)/k*(-5)/20. Are 4/11 and w unequal?
True
Suppose u - 86*z + 4238 = -87*z, 4*u + z = -16934. Is -4231 at most as big as u?
False
Let s be ((-10)/75)/((-248)/1860). Which is greater: s or -1/8458?
s
Let f = -334 - -449. Let n be (-2)/4*(11 + -11) + f. Does n = 116?
False
Let s be (124/(-5))/((-28)/70)*-2. Let c = s + 238. Is c at most 115?
True
Suppose -72*q + 5*q + 24036 = -121086. Are 2169 and q non-equal?
True
Suppose -2*n + 5*d + 30 + 12 = 0, 5*d = -n + 51. Suppose 3*l + n = -53. Does -30 = l?
False
Let c be (284/(-146))/(-1) - 2. Let t be (5/60)/((-140)/1680). Which is bigger: t or c?
c
Suppose -35 + 3 = -16*l. Let w be 6*1*(11/l + -5). Is w >= 33/8?
False
Suppose -4*o + 671 = -2*y + o, -5*y = 5*o + 1695. Let z = y + 13860/41. Suppose -11 = -2*j - 3*k, 3*j - 4*k = -12 + 3. Which is greater: 