(8/(-852))/(400/(-30) + 8). Is 0.1 smaller than h?
False
Let y = -3075 + 2746. Suppose -2*p = 259 + 401. Which is greater: y or p?
y
Suppose 0 = -4*z + 5*m - 4042, -2645*z = -2640*z + 3*m + 5071. Which is greater: z or -1018?
z
Let p = -1.4 + 0.4. Let z = -1.4 - p. Let d = -0.0849 - -0.4849. Is d not equal to z?
True
Let s be (-6 + (-22995)/3699)/((-10)/(-489)). Let t = 2987/5 + s. Which is smaller: t or 1?
t
Let d be 24/(-3408)*(-4 - 2450/(-615)). Which is greater: 1 or d?
1
Let r be 160/(-1280)*-12*(-4)/(-30). Let n = -42 - -36.8. Which is smaller: r or n?
n
Let t(w) = 2*w**3 + 12*w**2 + w + 10. Let a be (4 + -7 - 0)*2. Let n be t(a). Is n less than 18/5?
False
Let o = 5682 - 5681. Which is greater: 12/431 or o?
o
Let z be (35/(-114))/(-7)*3*4. Let m(n) be the first derivative of -n**4/4 + 4*n**3/3 + n**2/2 - 3*n - 12. Let s be m(4). Which is bigger: s or z?
s
Let b = -11084 - -11083.8516. Which is bigger: 0 or b?
0
Let z(h) = -89 + 3*h + 81*h**2 - 83*h**2 + 92. Let g be z(2). Which is smaller: g or -2/1265?
-2/1265
Let h(q) = 3*q**3 - 4*q**2 - 29*q - 59. Let p be h(-5). Which is bigger: -0.03 or p?
-0.03
Let g be 35/(-10) - (-51)/6. Suppose 0 = -7*v + g + 107. Which is smaller: v or 8?
8
Let u be (-1)/8 - (-6 - -1 - (-4209)/184). Is u >= -40?
True
Suppose -10*i = -11*i - 2, -3*a - 4*i + 187 = 0. Let w be (1572/a)/3 + -8. Suppose -v - 2 = 3*u, 3 = -5*u + v - 3*v. Is u at most as big as w?
True
Suppose -14*t - 783 = -5*r - 16*t, 4*r - t = 616. Suppose -157*p = -r*p - 82. Are 4 and p equal?
False
Let g(n) = -n**2 + 54*n - 649. Let q be g(22). Which is greater: 383/7 or q?
q
Let i(g) be the second derivative of g**3/2 + 50*g**2 - 168*g. Let l be i(4). Is l bigger than 112?
False
Let d = 807/1363 - 11/29. Let f = -21 + 20. Is f not equal to d?
True
Let f(l) = -21*l - 57. Let d be f(9). Let n = 266 + d. Are 20 and n non-equal?
False
Suppose -4067 = 94*b + 543 - 4. Do -47 and b have the same value?
False
Let h = 4.006 + -4. Let q = 2.006 - h. Are -55 and q equal?
False
Let i = -0.1729 - -0.2329. Which is greater: -345 or i?
i
Let n = 0.45 + -3.35. Let z = -3 - n. Suppose 5047 - 1671 + 12176 - 1992 = -1356*i. Is z at least i?
True
Let y = 2081 + -3250. Is -1166 at least as big as y?
True
Let f = 714779530038179/60676 - 11780267811. Let p = -245/44 + f. Is p != -1?
True
Let w be (-613404)/(-3927) + (-1)/7 - -1. Is 156 smaller than w?
True
Let w = -2670 - -2525. Is -144 < w?
False
Let g = 95 + -20. Let b = g + -32. Let v = 41 - b. Is -8 > v?
False
Let a(n) = -n**2 - 2*n + 63. Suppose 2*f - 17 = v, 5*f + 8 - 37 = -2*v. Let h be a(f). Is h at most 2/45?
True
Let m = 3/77 + 1/7. Let o be (-33)/(-77) - (-87)/(-105). Which is bigger: m or o?
m
Let y(i) be the third derivative of 1/30*i**5 - 7*i**2 + 1/120*i**6 + 0*i - 1/24*i**4 + 0 + 5/6*i**3. Let f be y(-3). Is -2/25 smaller than f?
False
Let f(z) = -z + 11. Let j be f(6). Suppose -5*s = -d - 3*d - 159, -j*d = -4*s + 210. Suppose 4*v = 5*k - 199, -2*v = 92*k - 94*k + 98. Is v <= d?
True
Suppose -2*i + 164 = 39*i. Let m be 5264/(-65961) - i/(-54). Is -1 at most as big as m?
True
Let f(r) = 5*r - 5. Let u be f(2). Suppose -4*l - u*y - 641 = 0, 2*l + 3*y = l - 169. Let a be (-464)/l - (-36)/(-12). Which is smaller: a or 0?
0
Let o = 6022.07 + -6022. Which is smaller: 91 or o?
o
Let t = -3.8 + 169.8. Let q = 128 - t. Is q equal to 6?
False
Let v(m) = 16*m - 236. Let o(q) = 2*q**3 - 5*q**2 + 6. Let k be o(3). Let w be v(k). Is w equal to 20?
False
Let o = -8747/132 + 728/11. Let t = 6 + -3. Is o smaller than t?
True
Let z = 13 + -2. Let u = 5213.07 + -5213. Which is greater: z or u?
z
Let s(c) = 6*c**2 - c + 5. Let j be s(-3). Suppose j*f - 15 = 57*f. Suppose 4*i - 7 = -2*a + 9, 3*a - 23 = -5*i. Is a greater than or equal to f?
True
Let b = -3930 - -4060. Which is greater: b or 128?
b
Let u = 469 - 466. Suppose u*m - 2*i = -m - 72, 5*m + 91 = 3*i. Which is greater: m or -15?
-15
Let n = 1754 - 1753. Let r be -4 - (4 - (-2524)/(-316)). Which is smaller: r or n?
r
Let u(q) = -148*q**2 + 706*q + 5. Let d be u(7). Are -6916/3 and d unequal?
True
Suppose -18*o + 11560 + 26426 = 60*o. Which is smaller: o or 484?
484
Let g(d) be the first derivative of d**2/2 + d - 2. Let n be g(-2). Let p be (-8)/(-14)*12439/117282. Which is smaller: n or p?
n
Let g be 3*(-18)/(234/(-91)). Let k(p) = 3*p**3 + 2*p**2 - p. Let v be k(1). Suppose v*m = m + 60. Are m and g nonequal?
True
Let z = 7417 + -1268320/171. Which is greater: 0 or z?
0
Suppose 5*k - 2*p - 762 = 0, -2*k - 128 + 420 = -4*p. Suppose 609 = 4*a + r, -a - 159 = -2*a + 2*r. Which is smaller: k or a?
a
Suppose 4*i + 3*d = 29 - 30, -d - 7 = -2*i. Suppose -2*p + 443 = 2*p + j, -j + 223 = i*p. Which is greater: 2/3 or p?
p
Suppose 9 = -0*b + 3*b. Let t(r) = -r + 96. Let n be t(-9). Let p be 20/6*441/n. Is b >= p?
False
Suppose -20879 - 21290 = -42*d - 8611. Which is smaller: 797 or d?
797
Let x be (-14)/(-77)*(2 + 9). Suppose -25 + 311 = 2*w - r, -3*r + 302 = x*w. Which is greater: 148 or w?
148
Let a = -1105 - -1097. Is -516/71 at least a?
True
Let l = 5057 - 4911. Which is smaller: 135 or l?
135
Let p = -3 - -2.8. Let x = -429 + 523. Let t = 77 - x. Which is greater: p or t?
p
Suppose 0 = 5*f + o - 2*o + 90, 0 = 6*f - 2*o + 108. Is f != -91/5?
True
Let v be 5 - (416/40 + -6). Suppose 5*u - 2 = 4*u. Let n be (-1)/2 + 5/u. Is n greater than v?
True
Suppose -w = v - 18, -3*v + 4*w + 59 = 2*w. Is 97/5 less than or equal to v?
False
Suppose 4*f - 4*y = -23 + 7, 3*f + 10 = y. Let t be (1 - 1) + 12/30*-5. Let h be (2/12)/(t/(-4))*-3. Are h and f equal?
False
Let v = -594.0071 - -594. Let s = v + 0.0671. Which is smaller: -0.3 or s?
-0.3
Suppose 4 = -2*t - 17*z + 14*z, t + 2*z = -4. Let j be (t/24)/(4330/(-40)). Which is greater: 0 or j?
0
Suppose 16*v - 13*v - 78 = 3*f, v - 3*f - 18 = 0. Let j be (-124)/24 + 5/v. Which is bigger: -1/13 or j?
-1/13
Let z(u) = u**2 + 6*u - 36. Suppose -8 + 63 = -5*n. Let r be z(n). Suppose -r*f + 25 = -14*f. Does f = 8?
False
Let l(s) = 10*s**2 - 3*s + 13. Let z be l(0). Let x be -8 + z + (-4)/1. Which is greater: 2/19 or x?
x
Let r be -13 + 6 - 2*(-31884)/9110. Which is greater: 1 or r?
1
Suppose 0 = -30*g + 12*g - 68*g - 148006. Does g = -1719?
False
Let u be (-3 - (-1)/(-1)) + -18 + 48. Let c be 2 - (-3 - (-2 + u - 0)). Is 0 < c?
True
Suppose -2*j = -8*j + 582. Let k = -93 + j. Let s be (10/220)/(1/72). Is k at least s?
True
Let j(r) = -6*r**2 - 37*r + 27. Let o be j(-12). Let k be -1 + 0/3 - o/51. Is 6 smaller than k?
True
Suppose -471 = -31*o + 3652. Which is smaller: o or 164?
o
Let n = 19 - 18.84. Let h = -76 + 56. Let p be 13/h - ((-6)/(-8) + -1). Is n <= p?
False
Let w = 79 - 108. Let m = -105 - w. Let c = -75 - m. Which is smaller: 2/23 or c?
2/23
Let r be (-8088)/27 + 36/(-81). Let f be 1/4 + (-4 - 1685/r). Is f equal to 3?
False
Suppose -14*o = -5*k - 15*o + 30373, -k + 6056 = -6*o. Which is bigger: k or 6073?
k
Let k = 1 + -32. Suppose 2*b - 195 = -3*x, -4*x - 3*b + 5*b + 260 = 0. Let l = x - 95. Is k greater than or equal to l?
False
Suppose -o + 11 = c, 103*c - 102*c + 4*o - 8 = 0. Which is bigger: -257 or c?
c
Let g = -9275 + 9273. Which is smaller: 520 or g?
g
Let t = 16 + -16.14. Let b = -256.04 - -256. Let c = t - b. Is -1 < c?
True
Let q = 2364 - 7022/3. Let t = q + -24. Let g = 0.077 - -28.923. Which is bigger: g or t?
g
Let r be (-4)/(-10) + 24564/(-135). Let s = r + 182. Suppose 8*n - 17 = -9*n. Which is smaller: n or s?
s
Let u = 9.277 + -9.192. Is u > -1/19?
True
Suppose 11*x + 1119 + 3960 = -894. Is x at least -4335/8?
False
Let t(s) = s**3 - 6*s**2 - 25*s + 42. Let x be t(8). Is -378/13 greater than x?
True
Let q = -25524 - -25523. Is q <= 1747?
True
Let m be (-8 - (-575)/69)/(1/(-561)). Which is bigger: m or -155?
-155
Let w(b) = -4*b**2 - 44*b - 16. Let q be w(-9). Suppose -5*k + q = c, 0 = -0*c + c + 2*k - 44. Suppose -18 = -4*m + 118. Which is smaller: m or c?
m
Let h be -9 + 5 - -5 - 2595/1995. Is 1 greater than or equal to h?
True
Suppose 175*s - 172*s + 3*r = -30, 3*s + 4*r + 28 = 0. Let w be 1 + (-276)/22 + -1. Which is greater: w or s?
s
Let o = -69.2 + 64.2. Let p = 5.4 + o. Let s = -0.83 - -0.8. Is p smaller than s?
False
Suppose b = -3*l - 14, -2*l + 5*l = 5*b - 20. Suppose 0 = 10*r - 27*r - 850. Which