-23
Let f = 189 - 188.915. Which is greater: -1 or f?
f
Let k = -13 + 11. Let h be (-1)/2 + k/(-4). Suppose h = n - 2*n + 6. Is n >= 2?
True
Let k = -5415/451 - 1021/41. Is k greater than or equal to -36?
False
Let g(l) = -6*l**3 + l + 18. Let p(w) = -5*w**3 + w + 18. Let t(h) = 4*g(h) - 5*p(h). Let a be t(0). Let f be (-4)/(a/(-4) - 2). Is f at least -2?
True
Let c be 3482/10*(7 - 0)/49. Let s = 243/5 - c. Which is smaller: 0 or s?
s
Let n(w) be the third derivative of w**6/120 - w**5/10 + w**4/6 + w**3/6 - 5*w**2. Let y be n(5). Let o be (1/10)/(y/(-5)). Which is smaller: o or 1?
o
Let d = -70 + 59.8. Let k = 10 + d. Are -2/11 and k unequal?
True
Let a = 190 + -109. Suppose -10 = 13*w + a. Let v = -6 + 0. Is w less than or equal to v?
True
Let g be -6 + 4 + (10376/5885 - -1). Let k = g + -43/55. Which is smaller: 0 or k?
k
Let r be ((-1)/12)/(8/(-32)). Let o = 5.6 + 19.4. Which is greater: r or o?
o
Suppose -b - 104 = -3*g + 4*b, 2*b = 3*g - 101. Let m be ((-104)/6)/((-22)/g). Let a = -17 + m. Is 8 equal to a?
False
Let j(p) = 13*p - 28. Let l be j(7). Let y be l/(-6)*(-5)/60. Let a(h) = -h + 7. Let r be a(6). Which is smaller: r or y?
y
Let f be 4/3 + (-18)/(-27). Suppose -15*h + 20*h = 10. Suppose h*q - 20 = -3*q. Is f != q?
True
Suppose 0 = -5*l - 2*w - 0*w, 5*l - 2*w = 0. Suppose -5*y = -l*y - 25. Let g be (-3)/y - (-172)/120. Which is bigger: g or -1?
g
Let r = -16139/810 + 199/10. Let j be (-808)/(-72) + -10 + (-2)/9. Which is bigger: j or r?
j
Let k be 2/(((-28)/(-8))/(-7)). Let n = k + 3. Let h be (-4)/(-2) - (-9)/(-5). Which is bigger: h or n?
h
Suppose 6*s - 42 = 3*s. Suppose s*r - 9*r + 5 = 0. Which is greater: 2 or r?
2
Let c(g) = g**2 - 45*g + 7. Let l be c(44). Which is smaller: l or -42?
-42
Suppose 0 = 2*l - 3*l. Suppose 0*w + b - 2 = -w, 5*b = l. Suppose -4*o - w = 2*u + o, -4*o = 2*u. Is 2 at most u?
True
Let k be (-1 - -5) + 95/(-30). Let t = -127/280 + 3/56. Is t equal to k?
False
Let m = -294 + 293. Let k be 2 - (-14)/(-4) - -1. Are k and m non-equal?
True
Suppose u = 30*j - 31*j - 3, -4*u = -4*j + 20. Let c = 2756 + -383082/139. Is j at least as big as c?
True
Suppose 0 = 24*z - 18*z + 60. Is z > -78/7?
True
Let r be (-8)/6*(-4 + 7/(-2)). Are r and 8 nonequal?
True
Let z = 0.652 - 0.052. Which is bigger: 15/7 or z?
15/7
Let z(q) = -q**3 - q**2 - 2*q - 900. Let w be z(0). Is -900 >= w?
True
Let s(k) = k**3 + 2*k**2 - 1. Let c be s(1). Suppose f + 0*f - 3 = 0. Suppose -c*v = -f*v. Is -1/3 > v?
False
Let q = 0.1 - 0.16. Let z(t) = 4*t - 1. Let k be z(0). Which is smaller: q or k?
k
Let a = 331 - 234. Is -0.1 at most a?
True
Let y = -888/755 - -72767/19630. Let l = 1575 + -102373/65. Let b = y - l. Which is smaller: b or 4?
b
Let f(v) = -3*v - 21. Let d(t) = -2*t - 11. Let y(h) = 5*d(h) - 3*f(h). Let p be y(4). Is p > 5?
False
Suppose 40 = 4*j + j + 2*l, 5*j + l = 35. Let d be ((-1)/(-4))/(2/16). Let s be 2/(d*(-4)/(-16)). Is s greater than j?
False
Let p be 1/(-2) - (-10)/52. Suppose 4 = -2*r, r = 4*c + 2*r + 14. Let h be 4 + (-2)/1 + -4 - c. Which is smaller: h or p?
p
Let f(t) = -t**3 - 8*t**2 - 4*t. Let w be f(-7). Let y be (2/8)/(w/108). Which is smaller: -1 or y?
y
Suppose 180 = 11*z - 5*z. Is z greater than 19?
True
Let k(t) = -t**3 + t**2 + 1. Let y(c) = 3*c**3 - 7*c**2 - 3*c - 9. Let p(x) = -2*k(x) - y(x). Let i be p(6). Which is smaller: i or -6?
i
Let x be (-31146)/435 - -2*(-6)/(-20). Is -73 bigger than x?
False
Let y be 0 - (16/(-76))/(-2). Which is smaller: y or -1?
-1
Let k be 86/(-1708)*(-18)/4. Let x = k - 3/244. Suppose 4*r = 4*i + 8, 2*i + r - 5 = 6*i. Is x bigger than i?
True
Let o = -15 - -26.5. Let u = -12 + o. Are u and 3 non-equal?
True
Let i(r) = 99*r - 16. Let a be i(-2). Which is greater: -216 or a?
a
Let c = -8 + 8. Let l(m) = -m**3 - m**2 - 3. Let t be l(0). Let v be (-4)/2*t/(-33). Is v bigger than c?
False
Let k = 1091 + -999. Is k less than or equal to 88?
False
Let f be (-38)/95 - (-136)/90. Which is smaller: 0 or f?
0
Let y = 15620 - 15635. Let k = -0.6 - 1.4. Which is bigger: k or y?
k
Suppose -3*s - 5*u = -14, -3*s + 0*s = 3*u - 18. Suppose s*q - 6 = 10. Let f = 1340/7 + -190. Which is smaller: f or q?
f
Suppose -3*x - 4*z = -8*x + 35, -2 = x + z. Suppose 3*k + 6 = 5*k. Suppose -d - 16 = -k*d + 5*c, -x*d + 10 = -4*c. Is 1 <= d?
False
Let t = 52 + -47. Let q be 6/(246/125) - (-2 + t). Which is smaller: q or 0.1?
q
Let z = -10 - -14. Suppose 3*n - 3*m - 53 = -2*m, -z*n + 71 = -m. Suppose 0 = 2*p + 4*h - n, -4*p - 4*h = -5 - 11. Which is smaller: p or 2/5?
p
Suppose 0*f - 2*f + 778 = -5*o, 2*o - 2*f + 310 = 0. Suppose -5*y = -3*v - 22, 2*y - 1 = -2*v - 5. Let n be 32/o*-9 - y. Is n >= -1?
True
Suppose r + 11 = i, -2*r + 4 = 2. Which is smaller: 82/7 or i?
82/7
Let v be (-4)/((-5030)/4*(-8)/10). Which is smaller: -1 or v?
-1
Let f(o) be the third derivative of o**4/24 - o**3/3 + o**2. Let p(l) = -l**2 - 20*l - 17. Let s be p(-19). Let j be f(s). Which is smaller: -1 or j?
-1
Let l = 1.197 - 0.197. Is l equal to -0.036?
False
Let h be 3/4 + (-4 - (-188236)/(-24816)). Let g = h - -1/517. Is g >= -10?
False
Suppose 18*i + 972 = -36*i. Which is smaller: i or -125/7?
i
Let s = -8 + 4. Let b(x) = -10*x - 75. Let d be b(-12). Let z be s/18 - (-10)/d. Which is greater: z or 1?
1
Let p(j) = j - 4. Let m be p(6). Let c be ((-11)/11)/(m/(-4)). Suppose 2*y + c = 4. Is -1 at most as big as y?
True
Let s = -2180 + 50164/23. Is s equal to 0?
False
Let x(s) = s**3 - 4*s**2 - 2*s. Let a be x(5). Suppose -11*u = -a*u + 108. Which is bigger: u or 25?
u
Let j(s) be the first derivative of -s**2/2 - 4*s + 3. Suppose 4*w = 7*w + 12. Let z be j(w). Is 1 greater than or equal to z?
True
Let w(a) = 15*a. Let j be 63/(-15) + (-5)/(-25). Let g be w(j). Let u be 3/9 + g/(-9). Which is greater: u or -0.1?
u
Let o(p) = -p**3 - 22*p**2 - 18*p + 50. Let a be o(-21). Let s be 1 - (2 - 2) - 13. Is s less than a?
False
Let s be 43/(-129)*(1 - 1). Is s < 203?
True
Let w = -61/870540 - -37442042509/14799180. Let c = -2530 + w. Is 0 at most as big as c?
True
Suppose 4*b - 3*g = 2617, b - 3*g - 1307 = -b. Is b less than or equal to 654?
False
Suppose 355 = 11*p - 250. Is p at most as big as 276/5?
True
Let u = 40 - -14. Let c be (1/96)/(8/u). Let v = c + -2623/896. Are -4 and v unequal?
True
Suppose 4*p + 4*q - 22 = 6*p, 2*q - 15 = 5*p. Is p less than -69?
False
Let w = -298 + 180. Let l = -75 - w. Which is greater: 42 or l?
l
Let o be (-77220)/303696 + 2/8. Are o and 0 equal?
False
Let i be 2*(4/4)/1. Suppose 7*a + 2 = n + 2*a, -i*n = 4*a + 52. Let q be 3/n - (-4)/6. Are q and 7 equal?
False
Let a = -17 + 20. Suppose -m = -3*d - 7, a*m = -3*d - 5 + 2. Let l = -7 - m. Do -7 and l have the same value?
False
Let b(q) = -154*q + 121. Let v be b(1). Are -15 and v non-equal?
True
Suppose -5 = b, -4*q - 3*b = 2 - 11. Let m(v) = -v**2 - 10*v - 13. Let c be m(-6). Let u = c - q. Is u > 5?
False
Let q be 4/((-12)/7) + 1. Let s(n) = n**2 - 4*n + 3. Let v be s(3). Suppose -4*u + f - 4 = 0, 2*u + v = 5*f - 2. Which is smaller: u or q?
q
Suppose 9*c = 7*c - 194. Which is greater: c or -195/2?
c
Let v(r) = r + 12. Let l be v(-9). Suppose -l*o - 1 - 2 = 0. Let b = 87/10 - 171/20. Which is smaller: o or b?
o
Let y = 12 - 24. Let w be (-4)/(-5) + (-2070)/150. Is y at least w?
True
Let i(j) = 5*j**2 - 7*j + 4. Let v be i(7). Let z be (v/(-110))/(4/(-6)). Which is smaller: 3 or z?
z
Let b be 2404/(-14) + (-2)/7. Let v = b + 70. Let d = -512/5 - v. Is -0.1 at most d?
False
Let r(g) = -g**2 - 6*g + 29. Let j be r(0). Is j bigger than 29?
False
Suppose -65*d + 63*d + 18 = 0. Let f be (-8)/(-12) + (-16)/d. Is -1 greater than f?
True
Let y = 2.8 - 8.6. Let b = 11.4 + y. Let c = -6 + b. Is c less than or equal to -2?
False
Let t = -509 + 548. Which is bigger: 44 or t?
44
Let s = 67 + -67. Let o be ((-7)/(-2))/((-25)/(-10)). Let m = -43/20 + o. Is m >= s?
False
Let d = -1.6 + -34.2. Let b = -36 - d. Let w be -1*1*(-1)/(-3). Which is bigger: w or b?
b
Suppose -6*l = 3*j - 4*l, -4*l = -12. Let a be (j/4)/(4/80). Let w = 313 + -322. Is a equal to w?
False
Let k = 116 + -111.3. Let b = k - 5. Let m = 0.2 - 0.2. Which is bigger: m or b?
m
Let o be -1 - (-3)/(-21)*-22. Let m = 23123/651 - 1014/31. Let w = o - m. Is w at most 3/5?
True
Let v = -45 - -43. Let