-15)/w + ((-1047)/(-12))/(-1). Which is smaller: z or 0.1?
z
Let m = -47 - -37. Let q be (12/m)/(88/(-1100)). Which is smaller: 18 or q?
q
Suppose -4*j - 385 = 2*o - 89, 4*o = 4*j - 580. Is o >= -149?
True
Let n = -52.99 - -47.74. Which is smaller: n or 4/7?
n
Suppose 0 = -95*f + 96*f + 4*a + 92, 3*f + 309 = -a. Is f less than -96?
True
Let f(g) = 4*g**2 - 7*g**3 + 8*g**3 - 4 + 5 - 5*g. Suppose 52*c - 60*c + 8 = 0. Let u be f(c). Which is smaller: u or 1/12?
1/12
Suppose -4*o + 66 = -o. Let n be 81/135 - 914/(-10). Suppose 4*l = -3*q + n, 0 = l - q - 2*q - 8. Which is bigger: o or l?
o
Let l = -6227 - -6230.956. Is l greater than 1?
True
Let q be (-2)/1 - 1/(0 + -1). Let p be 9 + (-203)/21 - (-2284)/3435. Which is greater: p or q?
p
Let g = -9/2 + 69/10. Let s(u) = -2*u + 12. Let m = 38 - 33. Let w be s(m). Is g at least w?
True
Let c = 1/7 + 5/14. Let k be 2717/627*3/13. Is k at least as big as c?
True
Let o be (-8 + -8 + 13)*-1. Suppose o*a - 2*c - 169 = 0, -4*a - c - 19 = -248. Which is greater: a or 60?
60
Let j(l) = -l**3 - 30*l**2 + 31*l. Suppose 0 = -22*n - 378 - 304. Let t be j(n). Is -18/19 < t?
True
Let k be (1647/(-54) + 32)*(-28)/26*-3. Do 6 and k have the same value?
False
Let l = -1191004085/9347 - -127421. Let a = -65255/813189 - l. Which is smaller: 1 or a?
a
Let o be (4 + (-627)/156)/(5/24). Let g = 53/715 + o. Let u = -57/110 - g. Is u <= 8?
True
Let h(c) = 676*c - 7948. Let z be h(11). Is z less than or equal to -516?
False
Suppose 7056 = 32*a - 46*a. Let q = a + 444. Is -67 equal to q?
False
Let r(m) = -2*m**3 + 6*m**2 + 8*m - 1. Let i be r(4). Let d be ((-372)/72)/31 - i/6. Is -2/35 < d?
True
Suppose 10*a + 3*a = 0. Suppose -4*q + 8*q + q = a. Which is bigger: q or 2/85?
2/85
Let s be (-3258)/(-333) + -9 + (-2 - 2). Which is bigger: s or -4?
s
Let a = -10 + 12. Let j be (75 + -1)/(0 - a). Suppose -5*x + 8*y - 192 = 4*y, -2*x + y = 75. Is j less than or equal to x?
True
Let h(m) be the second derivative of -m**4/12 + 37*m**3/6 - 87*m**2/2 - 45*m. Let a be h(32). Which is greater: a or 71?
a
Suppose 5*q - 55 = -5*p, -2*p - q = 3*p - 63. Suppose -911 = -p*o - 1. Which is smaller: -2/5 or o?
-2/5
Let s = 189 + -219. Let w = 9 + s. Which is greater: -2/9 or w?
-2/9
Let z = -8888 + 8965.02. Let f = 381.7 - 304.7. Let u = z - f. Which is smaller: u or -10?
-10
Let q = -273 + 140. Let x = -605.9 + 606. Is q bigger than x?
False
Suppose 5*s = 3*r - 7, -2*r - 2*s + 24 = 14. Suppose -2*v + 6*t + 14 = 10*t, -2*v + 22 = -r*t. Let c(m) = 9*m**2 + m. Let w be c(-1). Which is smaller: w or v?
w
Let n = -6296 - -6287. Which is smaller: n or -166/21?
n
Suppose 15*y + 20 = 5*y. Let b be y*(-6)/28*20/(-30). Which is greater: -45 or b?
b
Let n = -12742 + 12745. Is n bigger than 0.943?
True
Suppose -7*d = -d - 456. Suppose 3*z - 213 = 3*g, 130 = 2*z + 19*g - 23*g. Which is bigger: d or z?
z
Let v = -2381645 - -2381581. Let z be (-3 - -2)/2*-10. Suppose 5*c - 3*q = -321, -q = z*c + 2*q + 309. Is v at most c?
True
Let l be (3 + 21/(-6))*0. Let g be (-9)/5 + 53262/29700. Is l >= g?
True
Let h = -188 - -281. Suppose 2*b - 289 = 5*x, -4*x - 131 = 2*b + h. Is x <= -57?
True
Let o = 13129.68 - 13129. Is 61 equal to o?
False
Suppose 45*p - 50*p - 10 = 0. Let s be p/(-6)*2 - 626/48. Which is bigger: s or 1?
1
Let s(r) = r**2 + 4. Let v be s(0). Suppose -u = -v*k - 16, -3*k = -3*u - 4*k - 4. Let t be 1 + 50/54 - 2. Are t and u equal?
False
Suppose -39*q - 5338 + 1984 = 0. Is -86 < q?
False
Suppose 0 = 3*w + s + 91, s - 54 = 2*w + 3*s. Let d be (-2)/(-9) - w/18. Suppose 0 = -3*t + d*t + 1, -2*n = 5*t - 5. Is 4/11 != n?
True
Let t = -13/10835 + -15082073/205865. Which is greater: -74 or t?
t
Let w(c) = -3*c**3 + 2*c**2 - 1. Let a be (-24)/18 + (-4)/(-3) + -1. Let p be w(a). Are p and 0 equal?
False
Let a = -0.497 + 0.48. Let c = a + 1.017. Let t = -321 - -623/2. Is c at least t?
True
Suppose 2*s + 50 = -x + 6*x, -4*s - x - 78 = 0. Let j be s/(-1 + (-72)/(-56)). Which is greater: -72 or j?
j
Let i(m) = -65*m**2 + m + 2. Let y be i(-1). Let j be (y/(-1))/(288/42 + -2). Let t = -13 + j. Is -1 greater than or equal to t?
False
Let b be 2/(-4) + 324/840. Let v = -24 - -29. Suppose 2*c = -3 + v. Which is smaller: b or c?
b
Suppose i + n = -n, 3*n + 3 = 0. Suppose 2*o - 2*a = 3*o - 95, 0 = -3*o - 2*a + 281. Suppose 0 = 2*z + 3*j - o, 2*z - i*j - 108 = -0*z. Is z at most 52?
True
Suppose 0 = -2*k + 4*y - 12, 158*y - 163*y + 18 = -k. Let a(s) = -s**3 - 5*s**2 + 2*s - 6. Let d be a(-6). Let b be d/3*2*k/24. Which is bigger: b or 2/9?
b
Let o(q) = -2*q**3 + 22*q**2 + 6*q + 16. Let h be o(11). Suppose 83*a = h*a. Are 2/7 and a non-equal?
True
Let m(g) = g**3 + 2*g**2 + 8*g + 6. Let a be m(-6). Let k be a/14 - (-4)/14. Is k greater than or equal to 0.1?
False
Let f = 573 + -568. Suppose 8 = -i + 4*t - 7, 0 = -f*t + 20. Is -1/95 < i?
True
Suppose -239*r = -235 - 4. Is r at least 80/707?
True
Let m = -11587 - -11294. Suppose -220 - 73 = g. Is m not equal to g?
False
Let r be (1/799)/(856/321). Are -1 and r equal?
False
Let g = 585 + -587. Let m = 1067 + -1063. Which is bigger: m or g?
m
Suppose 5*s = -15, -5*s = -2*p + p + 52. Let i be ((-3)/(-8))/((-609)/(-63336)). Is i < p?
False
Suppose 3*j + 26 - 2 = 0. Let m be (2/j)/(7*(-3)/24). Let u(q) = -q - 14. Let s be u(-13). Which is greater: m or s?
m
Suppose 3 + 0 = 3*t. Let x = 188/11427 + -73271/4685070. Which is smaller: x or t?
x
Let m = -635 - -896. Let p = m + -266.2. Let u = 0.19 + -0.19. Is p at least u?
False
Let m = -5675 + -852. Which is bigger: -6526 or m?
-6526
Let d = -84 - -89. Suppose 1149 = d*x + 309. Is x greater than or equal to 0?
True
Let j(b) = -4*b**3 + 11*b**2 - b + 3. Let s(a) = -a**3 + 1. Let d(h) = -j(h) + 3*s(h). Let k = 1018 + -1007. Let i be d(k). Is i bigger than -0.2?
True
Suppose -85*n + 42 = -99*n. Is n at least as big as -134/35?
True
Let y(w) = 2*w**2 + 43*w + 44. Let u be y(-1). Suppose 80 = u*x - v, -40*v + 40 = 2*x - 44*v. Which is greater: 26 or x?
x
Let y = 231/5 + -6679/145. Suppose 31 = -4*q + 5*m, 4*m - 23 - 2 = 3*q. Is y equal to q?
False
Let v = 277.788 + -278. Let j = -59.212 - v. Which is greater: j or 1/3?
1/3
Let x = -20 + 79. Let d = -116 - -74. Let u = x + d. Which is smaller: -2 or u?
-2
Let q(v) = -65*v + 25. Let u be q(1). Let t = u - -333. Do 294 and t have different values?
True
Let t be ((-9)/5 - -1)/(1/5). Let u be 4/(-14) + (-111)/(-21) + t. Let k be (2/(-3))/(4/30). Is u at least k?
True
Suppose 11*h - 105 = 12*h + v, 2*h + 4*v + 202 = 0. Let f = 194 + -301. Is f >= h?
True
Let j = -155 - -405. Suppose j = -5*r - 5*a, 0*r = 4*r + 3*a + 199. Let b = r + 393/8. Is b less than or equal to 1?
True
Suppose -1462 - 4674 = 13*z. Is z bigger than -3305/7?
True
Let k(o) = -4*o**2 + 10*o + 13. Let p be k(4). Which is smaller: p or -15?
-15
Let f be 84/(-54) + -26 - (-2 - (-10)/4). Which is greater: f or -28?
-28
Let x = 0.09 - -0.31. Let c = 3.62 + -3.22. Let s = c - x. Which is smaller: s or -0.014?
-0.014
Let m = -7 + -257. Let h = -191 - -231. Let n be h/(-99) + (-48)/m. Which is smaller: n or 26?
n
Suppose -2*y = 2*y. Suppose 5*t = 2*f - 60, -4*f + y*f = 0. Suppose 5*i = 2*w + 46, -w + 3*i - 5 - 20 = 0. Which is smaller: w or t?
w
Let j = 141 + -285. Let p = 193 + j. Which is bigger: 3/4 or p?
p
Suppose 11*z - 15*z = 60. Let o be (-28)/42*((-1)/(-1) + -4). Let d(f) = -7*f. Let u be d(o). Which is bigger: z or u?
u
Let p(z) = -z**2 - 12*z + 2. Let c be p(-7). Let f(o) = o**3 + 7*o**2 - 47*o + 3. Let u be f(-11). Is c greater than or equal to u?
True
Let g = -2299 + 108054/47. Is g greater than or equal to 1?
False
Let i = -41015.924 - -41110. Let m = i - 94. Let u = m + -7.076. Which is greater: u or 2?
2
Let t = 891 + -444. Suppose -63 = 6*z + t. Is z greater than -86?
True
Suppose -27 = -8*n + 17*n. Let l be 1*(2 + -27) + n. Is -28 < l?
False
Let y = -14115 + 14115.4. Suppose 21 = -3*m + 3*o, m = -m - 3*o - 39. Is y < m?
False
Suppose -5*z + l = 10, -5*z + 4*l = -2*z - 11. Let y be ((-742)/(-6))/((-5)/z). Let v = y - 74. Which is bigger: v or 2/7?
2/7
Suppose t - 2*b = 2*t - 23, -b + 88 = 5*t. Suppose 22*c = 5*c + t. Which is bigger: c or -1/19?
c
Suppose 0 = -s + 1, -7*k + 724 = -5*k + 4*s. Suppose k = 11*j - 6*j. Let t be (1/(-3))/(5/(-1065)). Is t > j?
False
L