o = 401/2 + f. Is o > 1/8?
False
Let c = -0.192 - -0.2. Let f = 4870 + -4868. Are c and f nonequal?
True
Let u = -37 + 40. Suppose -u*a + 4*s = -17 - 6, 4*s + 20 = 0. Let g be (12/(-75))/(1 + a). Does g = -1?
False
Suppose 46*n = -1512 + 1558. Let y(o) = o**2 + 5*o + 3. Let j be y(-4). Let a be (-3)/(-192 + 3)*j. Which is smaller: n or a?
a
Let i = -11467 - -46377/4. Let d = i + -2633/20. Which is smaller: -5 or d?
-5
Let d be 74 - 67 - ((-8)/(-36) - (-409)/63). Let j = 3/73 - -11/3285. Which is bigger: d or j?
d
Let l(c) = c**2 + 5*c + 3. Let p be l(-4). Let z = -88649/324 + -52/81. Let j = z - -273. Is p >= j?
True
Let o = 94.9762 + -0.0762. Let u = -99.863 + o. Let q = 0.037 - u. Is q <= 0.15?
False
Let i be -4 + 7 + -1*(-2)/2. Let f be i/(-28) + (-7)/(-49). Are f and 1/294 nonequal?
True
Let a be -1*(-6)/21 + (-544)/(-56). Let h(t) = -t**3 + 10*t**2 - 5*t + 38. Let u be h(a). Suppose 0 = 4*z + 14 + 42. Are z and u nonequal?
True
Let r be (-70)/(-21)*(-3)/(-2). Suppose -f = r*w, 6*w - 2*w = -f. Suppose w = 3*z - 2*z + 1. Which is bigger: 3/20 or z?
3/20
Let w = -89 - -175. Suppose 194 = -13*j + 15*j + 5*a, 2*a = 3*j - 253. Which is bigger: w or j?
j
Let i(w) = 3*w - 21. Let f(a) = -a**2 - 6*a - 1. Let s be f(-3). Let p be i(s). Suppose -2*t + 0*t = g - p, -t + g = 3. Is t less than or equal to 1/46?
True
Let q be -2 + 1 - (2 + -60 + 6). Let b = 44 - q. Let k = b + 17. Is k greater than 1?
True
Let f = 12.5 + 54.5. Let a = -64.3 + f. Let h = a + -2.66. Which is smaller: h or -0.02?
-0.02
Let o = 3386.1 + -3249. Let d = -2.3963 - 134.6037. Let v = o + d. Which is greater: v or -51?
v
Let t = -7904749/90570 + 1/135855. Let z = t - -349/4. Is z not equal to -1?
True
Let y = -618.087 - 0.613. Is y smaller than 0?
True
Let x = 0 + 1. Suppose 0 = 4*a + 139 - 647. Which is bigger: x or a?
a
Suppose 0 = 5*a + 10, 18 = -2*o - 2*o - 3*a. Let h = -3 + 8. Suppose 5*s = z - h*z - 11, 5*s - 52 = 3*z. Which is greater: z or o?
o
Let l(q) = 23*q + 10. Let m = 16 - 18. Let x be l(m). Let a be 4/(-16) - (-7)/x. Which is greater: a or -1?
a
Let m be (18/7 + 0)*(-3136)/19488. Let j = 25 + -37. Let n(r) = -2*r**2 - 24*r + 1. Let l be n(j). Is m < l?
True
Suppose 62 = 226*w - 164. Is 40/541 bigger than w?
False
Let p(q) be the third derivative of -2/15*q**5 - 25*q**2 - 1/3*q**3 + 0 - 1/8*q**4 - 1/120*q**6 + 0*q. Let c be p(-7). Which is smaller: -29 or c?
c
Suppose 2*c - 25 = 7*c - 4*a, 0 = -3*c + 5*a - 28. Let j be 302*c/(-308) - 1. Does j = 0?
False
Let f(k) = k**3 - 19*k**2 + 13*k + 95. Let u be f(18). Suppose p + 5*q = 0, 3*p + u*q = -31 + 1. Is p equal to -16?
False
Let v(y) = -104*y**2 + y. Let r be 1/(10/35 - 9/7). Let t be v(r). Let x be 73/t + -2 + (-52)/(-20). Is 0 at least x?
True
Suppose -4*p - 2*m = 3*m + 23, p = 3*m + 7. Let d = 2834091/7 + -404873. Is p greater than or equal to d?
True
Let c be ((-12)/54 + (-32269)/1035)/((-1)/55). Which is bigger: 1729 or c?
1729
Suppose -2*m = -5*w - 22, 11 = m - 3*w + 1. Which is greater: 14 or m?
m
Suppose 4*b - 2*b - 2 = 0. Let o be (-1095)/(-2310) + (-3)/2 + 1. Which is smaller: b or o?
o
Let c(r) = -616*r**2 + r - 160 - 625*r**2 + 1242*r**2. Let p be c(13). Let g be ((-46)/(-8))/(2/8). Is g > p?
True
Let i(g) = 3*g - 24. Let f = 248 - 233. Let q be i(f). Which is smaller: q or 20?
20
Let u = -104/413 - 2/59. Let x = -4986.6 - -5002.6. Are x and u non-equal?
True
Let s = -1.43 + -20.27. Let m = s + 20.4. Let i = 0 + -2. Is i > m?
False
Let x = 51662/5 - 10332. Let d = 0.83 - 0.03. Is x > d?
False
Let n(x) = x**2 + 3*x - 2488. Let z be n(-52). Suppose -37 - 137 = -3*d. Which is smaller: d or z?
d
Let j be 12*(9 + -10)*-2. Suppose 4*x = x + 21. Suppose 4*y + 5*r - 81 = 0, -2*y + x*r + 60 = 3*r. Is y at least as big as j?
True
Let v be 8 + ((-244)/32)/((-10)/80). Which is greater: v or 71?
71
Let j(f) be the second derivative of f**4/12 + 7*f**3/6 - 2*f**2 - 19*f. Let z be j(-8). Suppose -z*d + 0 = -0. Which is bigger: d or -6/13?
d
Let w(y) = 531*y - 1498. Let t be w(16). Which is smaller: t or 6997?
6997
Let z be 125 + 7 + (-9)/(-3). Suppose -118 = -m + 4*x, 23*m - 20*m = -x + 406. Which is bigger: z or m?
z
Let r(a) = 3*a**2 + 2*a - 9. Let h be (11 - (2 + 5)) + -10. Let b be r(h). Which is greater: b or 86?
b
Suppose -t + 13 = -10. Let b be t/(-7) - (10/14 + -1). Let i be (0 + b + 2)*1. Which is smaller: 1/12 or i?
i
Let s be (-72)/(-684)*(-114)/(-36). Let y = 1.21 - 2.59. Let q = -0.08 - y. Do s and q have the same value?
False
Let w be (-112)/20 - -5 - (-9512)/39770. Are w and 0 unequal?
True
Let x = -20286 + 20164. Is x < 12?
True
Suppose r - 44 = 31. Let f be (-2 + 2 + 1)/(-49 + r). Which is greater: f or -1?
f
Let m(f) = f**2 + 2*f + 1. Let g be m(-2). Let q = 0.0553 - 269.0553. Let k = q + 269.31. Which is greater: g or k?
g
Let t = 1595 + -1581. Are 21 and t non-equal?
True
Let i(h) = 3*h - 40. Let w(v) = -15*v + 119. Let z be w(7). Let f be i(z). Is 108 less than or equal to f?
False
Suppose 68*i + 44 = 72*i, -4*i + 398 = -6*w. Let v = 2099/4 - 584. Which is bigger: v or w?
w
Suppose 0 = -6*d + 9*d + 216. Let h = -56 - d. Let w be ((-606)/120 + 5)*(-30)/h. Which is smaller: w or 0?
0
Let k be (40/45)/((-2)/(-3)) + 188840/(-141900). Is 0 smaller than k?
True
Let v = 285/17 + -12555/34. Which is smaller: v or 0.1?
v
Suppose 0 = -44*k - 136*k - 57*k - 237. Which is smaller: -3019 or k?
-3019
Let w = 60 - 62. Let g be (-25)/150 + ((-166)/12 - w). Which is greater: g or -10?
-10
Let f(k) = -9*k + 1. Let j be f(2). Let r(p) = p**3 + 20*p**2 + 51*p + 9. Let t be r(j). Which is bigger: t or -11?
t
Let k(y) = y**2 - 4*y + 3. Let f be k(4). Suppose 0*s - 103 = f*t + 2*s, 2*t + 3*s = -77. Let g be ((48/5)/1)/((-6)/20). Is t less than g?
False
Let t(x) = x**3 - 3*x**2 - 18*x + 5. Let i be t(6). Suppose -a - 2*a + 21 = -i*l, 5*a - 16 = 2*l. Let w be -1 + 2 - (1 - (3 - a)). Which is smaller: 3/29 or w?
3/29
Let b be (4 - (-8)/4) + (-72460)/3820 + 12. Which is greater: 0 or b?
0
Let c = 175 + -181. Let a(x) = -x**2 + 3*x + 48. Let y be a(c). Is -12 equal to y?
False
Suppose 68*a = -21*a + 25*a - 165376. Are -1 and a non-equal?
True
Suppose -85*m - 285 = 1075. Which is smaller: -199/13 or m?
m
Let r = -17362 - -17363. Do r and -3/260 have the same value?
False
Let w(j) = -1292*j - 55. Let h be w(-4). Do 5113 and h have the same value?
True
Let n(a) = -5*a + 43. Let d be n(9). Suppose 4 = 5*w - 11. Suppose w*m - 4 = 2*k + 4*m, 18 = -4*k + 3*m. Which is bigger: d or k?
d
Let o be (414/(-27))/(-1 + 6/9). Let q be (72/(-10))/(1/10). Let d = -27 - q. Are o and d non-equal?
True
Suppose -99 = -2*v + z, -5*v + 179 = 5*z - 91. Let t be (v/(-9) + 5)*(-3)/(-480). Which is smaller: t or 0?
t
Suppose -22*j + 23*j = 0. Let y be (j - (-12)/1)*1/69. Let g be 2/(-6)*(-3 + 6). Is y > g?
True
Let z be (-51)/(-9) + -6 + 25998/45. Let v = z - 579. Which is smaller: 4 or v?
v
Let d = -41581/119989 + 101/291. Is 0 equal to d?
False
Let i = -2979.2 - -3039.2. Which is greater: 271 or i?
271
Let c = 167555/21 - 7987. Is c not equal to -9?
True
Let b = 25780 + -23680. Which is greater: 2102 or b?
2102
Let o = -1081 + 1128. Which is smaller: o or 75?
o
Let j(q) = -7*q + 105. Let k be j(13). Suppose k*w - 162 = -134. Which is bigger: -1/222 or w?
w
Let o = 1801 + -10807/6. Which is greater: o or -0.11?
-0.11
Let l be -4 + 0 - (138 - -1). Let j = l - -146. Let g be -3*j*2/1566. Which is greater: g or -1?
g
Suppose 37*x - 28 = 33*x. Let w be -5 - -2 - (-5 + -22). Suppose -w = x*t - 9*t. Is t > 1/3?
True
Let j = -180.18 + 179.68. Which is smaller: -0.512 or j?
-0.512
Suppose -5*h = 4*x - 8, 16*h + 4 = 10*h + 2*x. Which is greater: h or 4/107?
4/107
Let t = 22214 - 2065958/93. Let k = 2/31 - t. Let p(i) = -3*i + 52. Let o be p(5). Which is smaller: o or k?
k
Let t = 1.33 - -75.67. Let d = 93.0541 - 0.0541. Let c = t - d. Which is greater: 1/2 or c?
1/2
Suppose -5*b + d = -7, d + 12 = 2*b - 4*d. Suppose -4*x + 24 = 2*m, -3*x + 0*x - 4*m = -23. Suppose 15 = i - x*l - 5, i + 5*l = -20. Which is bigger: i or b?
b
Suppose -4*u = 0, -2*x + 291 = u - 43. Suppose -33 - x = -10*l. Suppose 6*i + l = i. Is 0 at most i?
False
Let n(m) = -3*m + 15. Let a be n(6). Let x(s) be the first derivative of -2*s**3/3 - 3*s**2/2 + 2*s - 9. Let k be x(a). Is k <= -9