j = -2*d + 4, 0 = 6*d - d - 10. Let q = 3/188 + -603/2444. Is j at most as big as q?
False
Let r = 437 + -488. Is -53 at most r?
True
Let a = -4322414/2735 + 7902/5. Is a at most as big as 0.1?
True
Let v(s) = s**3 + 3*s**2 - 1. Let h be v(-3). Let x be 1/(-10) - 6801/(-210). Let z = 32 - x. Which is greater: h or z?
z
Suppose -43*h + 20*h = -138. Which is smaller: h or 8?
h
Let n be 42/((-5 - -2) + 2). Let b be n/(-28)*4/(-54). Let d(g) = -g**2 + g + 1. Let t be d(2). Is b < t?
False
Let k be 1*(-4 + 38*5/(-10)). Which is smaller: -27 or k?
-27
Suppose -v + 350 = -3*n, -960 = -5*v - 4*n + 695. Which is greater: v or 334?
v
Let u = -4815/11 + 438. Let l(j) = -j**3 + 3*j**2 + 18*j - 54. Let t be l(3). Which is smaller: u or t?
t
Let r = -5932 - -5119320/863. Which is smaller: 1 or r?
r
Suppose -8*j + 13*j - 140 = 0. Let v = j + -27. Which is greater: v or -3/10?
v
Let l = -254/5 + 47. Is -5 greater than l?
False
Let m = 30.08 + -30. Let n = m + 5.92. Is 1 not equal to n?
True
Let t(m) = m**3 + 9*m**2 + 7*m + 6. Let y be t(-8). Suppose x = f, -4*x - y = -2. Are -3 and f unequal?
False
Let f be 2*(11/30 + (-10)/(-75)). Let x be (-16)/14*2 + f*2. Which is smaller: x or -4.3?
-4.3
Let v = -54 + 105/2. Let y be (123/(-82))/(-1*(-1)/2). Which is greater: v or y?
v
Let s be (-1 - 3) + -36 + 2. Let b = s - -227/6. Are b and 1/4 unequal?
True
Let y = 171 - 170.968. Are -2/9 and y equal?
False
Let p = -831 + 835.5. Let n = -0.2 + 0.3. Which is greater: n or p?
p
Let t be (-2)/(-12) - (35737/2346)/(-13). Let v = -2/391 + t. Is v equal to 0?
False
Let t be 2/(-7)*49/371. Does 2/7 = t?
False
Let v = -1 + 3. Suppose -3*k = -v*k. Let c be 6/((294/(-28))/1). Is c < k?
True
Let j be (2/(-20))/((-18)/(-72)). Suppose 27 = -0*s - 3*s. Is j != s?
True
Let u = -0.0976 - -0.0296. Is u not equal to -0.1?
True
Suppose -19*l + 24*l = -1260. Which is bigger: l or -251?
-251
Let p(y) = y**3 - 5*y**2 + 2*y + 2. Let n be p(3). Let r be (-106)/n - (-14)/35. Let m = r + -8. Is 3 at most as big as m?
True
Suppose 0 = 4*s + 4*t - 296, 2*s - s - 65 = 2*t. Which is greater: s or 1?
s
Let x = 879257/405 - 2171. Let r = x - 824/2835. Is -4 at least r?
False
Let x(z) be the second derivative of 2*z**3 + z**2/2 + 22*z. Let v be x(2). Is 25 at most v?
True
Let k = -12 - -6. Let y(x) = -x**3 + 25*x**2 + x - 34. Let i be y(25). Which is bigger: i or k?
k
Let s(x) = x**3 + 5*x**2 + 7*x + 5. Suppose 0 = 5*f + 17 + 3. Let p be s(f). Let a(q) = -q**3 - 6*q**2 + 8*q + 6. Let d be a(p). Is -7/4 less than d?
True
Let r = 119/5 - 3218/135. Let z = -14 + 15. Which is smaller: r or z?
r
Suppose -13*g - 3 + 146 = 0. Is g at least 14?
False
Let k = 2.779 - -0.221. Is k > -24?
True
Let l = 1.54 - 1.59. Let d be 4/(-5)*(-15)/2. Let v be 4/6 + d + -7. Is l at most v?
False
Suppose 0 = 127*z - 107*z + 13120. Which is bigger: z or 0?
0
Suppose 8*u + 124 = -524. Let m be ((-3)/u)/(5 - 4). Is 1 < m?
False
Let o = 106 + -105. Which is smaller: o or -7.1?
-7.1
Let m be 44/44 - (1 + -4). Is -38 at least m?
False
Let z = -24/13 + 434/221. Suppose g + 11 = 4*m - 8, -2*m = 4*g - 14. Let w be (-3)/m + (-6)/(-10). Which is greater: w or z?
z
Let b = -2 - -3. Suppose 16*o = 18*o - 6. Let k be 2/(-6)*o*(-1)/3. Which is greater: b or k?
b
Let l be (-9408)/(-440)*(-15)/(-6). Let p = 5380/99 - l. Let z = p + -13/9. Which is greater: 0 or z?
0
Let o = 1651328/253 - 6527. Let j = o + -467/3289. Is 11 at least as big as j?
True
Let h be (12/15)/((-6)/(-45)). Let b(d) = -122 - 2*d + 0*d + 3*d + 115. Let m be b(h). Is -1.3 less than or equal to m?
True
Suppose 5*u = -3*n, u - n - 11 = -u. Let x be (-996)/(-330) - 4/(-22). Is x smaller than u?
False
Let s be (-20 - -20) + 2/3*3. Let z be ((-60)/(-14))/(-5)*(s - 30). Which is bigger: 0.1 or z?
z
Let g = 6 + -22. Let q = 17.08 + -0.08. Let i = q + g. Which is smaller: -0.2 or i?
-0.2
Let y = -334 + 287. Which is greater: y or 3/5?
3/5
Let j(h) = -20*h**2 - 10*h + 8. Let a be j(8). Let d be ((-2044)/a - 3/2) + 0. Is d bigger than 0?
True
Suppose 0 = 2*t - q - 58, t + 3 = -q + 32. Let h = t - 20. Which is smaller: 6 or h?
6
Let r = 21 + 5. Suppose 8*q = r + 38. Are 8 and q nonequal?
False
Let x be 3/27 + (-5129)/(-3519). Is 3 < x?
False
Suppose -1764 = -3*z - 1233. Is 179 smaller than z?
False
Suppose -k - 15 = -6*k. Suppose -2*i - 35 = 5*z - i, 5*z = -k*i - 35. Which is bigger: -4 or z?
-4
Suppose m - 5*m - 12 = 0. Let l(o) = o**3 + o. Let u(h) = -5*h**3 + h**2 - 9*h + 3. Let v(n) = -6*l(n) - u(n). Let g be v(m). Is 2 >= g?
False
Let r = 672 - 509. Which is bigger: 165 or r?
165
Let i be (7 + (-2)/1)*(-75)/(-125). Does i = 5?
False
Let f = -435 - -435. Are 4/199 and f equal?
False
Let k = -6 + 15. Let m be 0/((8/(-14))/(4/(-14))). Let c(s) = 6*s + 10. Let n be c(m). Which is smaller: k or n?
k
Let l = -28 - -14. Let r = l + 30. Is -2/5 <= r?
True
Suppose 0 = -13*j + 11*j + 2. Let a be (-25)/161 + 4/14. Which is bigger: a or j?
j
Let v(i) = -i**2 - 3*i + 21. Let c be v(-7). Let u be 2/(-12)*-2 + c/(-231). Is u equal to 0?
False
Let z = -138757/4052 - 6/1013. Let n = -73 + 107. Let q = n + z. Are 1 and q non-equal?
True
Let j be (-6)/(-4)*(-4)/9. Let l(p) = p**2 + 2. Let t be l(0). Suppose 6*w = -4 - t. Does j = w?
False
Let d be (-6)/27 + 70/(-9). Let s be (-36)/d - 1/(-2). Suppose -9 = -s*m + 6. Are 3 and m unequal?
False
Let a = -220 - -220. Which is smaller: a or 0.3?
a
Let j be 4/(-22) - 9/11. Let s = -24060/19 - -1266. Which is bigger: s or j?
s
Let b be (-4 - -4 - -2) + 2. Let x = b + -5. Which is smaller: x or -2?
-2
Let s be (22908/1026)/((-3)/18). Let v = s + 134. Are 0 and v nonequal?
True
Suppose 30 = 5*v - 15. Suppose -2*n - 4*l - l = -15, -2*n - v = -3*l. Is n > 2/283?
False
Suppose -7*r - 3 - 60 = 0. Suppose 13*f - 18*f = 65. Which is greater: r or f?
r
Let k be 4332/92 - 8/92. Which is greater: k or 330/7?
330/7
Let h be 378/693 - (-36)/(-187). Let v(w) = -w**3 - 3*w**2 - w - 4. Let b be v(-3). Is h greater than or equal to b?
True
Let q be 6*(-1515)/(-2430) + 1 + -5. Are 1 and q non-equal?
True
Let c = -13401 - -8643647/645. Is c smaller than 0.2?
True
Let t(v) = -2*v + 19. Let s(f) = f - 9. Let q(z) = -13*s(z) - 6*t(z). Let o be q(4). Which is bigger: 5/19 or o?
5/19
Let h(x) = -4*x - 101. Let s be h(-20). Which is smaller: s or -18?
s
Let k be ((-88)/(-308))/((-3)/63). Which is bigger: k or 2?
2
Let t be 8 + 1 + (-2 - -2). Suppose 4*y - 3*m - 1 = 16, 4*y + 4 = -4*m. Which is greater: y or t?
t
Let r be 1*13 + 2 + -2. Suppose 5*j + 5*t = -25, 10 = -3*t + t. Suppose j = -2*n - m + 29, 3 = 2*m - m. Is n >= r?
True
Suppose -g + 22 = l + l, 0 = -4*g + 2*l + 78. Suppose 3*f - 4*d = 68, 3*d - 74 = 3*f - 7*f. Is f bigger than g?
False
Let g be (11/105)/((-49)/12 - -4). Which is smaller: g or -1?
g
Let h be 136/17 - -47*25. Is 1183 greater than h?
False
Let u(c) = c**2 + 5*c + 3. Let f be u(-3). Let g(p) = 4*p**2 + 11 - 3*p**2 + 10 - 25 + 3*p. Let h be g(f). Which is smaller: h or -3?
h
Let j = -0.2 - 0.9. Let x = 0.1 + j. Let l = x + 1.2. Which is smaller: -0.3 or l?
-0.3
Suppose -5*f = 2*b - 21, -f + 2*b = -3 - 6. Let u = -19 + 78. Let i = 64 - u. Is i less than or equal to f?
True
Let s be (-3)/21*-2 - (2 + -2). Is s equal to 1/7?
False
Suppose -2*c - c - 4*l = -15, -l = 3*c - 15. Suppose 11 = 2*k - 2*i + 5*i, -4*k - 8 = -4*i. Let m be (c/k)/(-3 + 6). Is m at most 3?
True
Let c = 229 + -228. Is 5/13 less than c?
True
Suppose -5*v - 3*y - 417 = 0, -4*y - 247 = 3*v - 3*y. Let p be (18/v)/(2/(-394)). Let j = 44 - p. Which is smaller: -0.1 or j?
-0.1
Let r = -1669 + 1672. Is 3/26 greater than r?
False
Suppose q - 2 = -h, h + 4*q + 7 = -0*q. Suppose -2*a - 94 = -2*u, -h*a - 5*u = -9*u + 234. Which is bigger: -47 or a?
a
Let z = 122.353 - -0.647. Which is greater: z or 0.04?
z
Let t(l) = 1. Let v(h) = -8*h + 48. Let s(a) = 24*t(a) - v(a). Let w be s(10). Let f be ((-3)/w)/(72/(-32)). Which is bigger: -1 or f?
f
Let s = 77 + -57. Let j(o) = -o + 7. Let r be j(7). Is r < s?
True
Let m be (-198)/(-132) + (22/(-8))/1. Is m less than 2/9?
True
Suppose -6*c + 12 = -2*c. Suppose -c*y - y = -4. Let t be 3 - ((-82)/(-22) - y). Which is greater: 1 or t?
1
Let z = -25 + 50. Let v = -2 + z. Which is smaller: 24 or v?
v
Let l(t) = -t**2 + 2*t + 6. Let y be l(5). Let a(n) = -9*n**