: x or -70/17?
-70/17
Let a = -9230/51 - -181. Is 0.4 <= a?
False
Suppose -81 = -7*y + 115. Let r be ((-9)/(-2))/(y*(-4)/(-32)). Which is smaller: 0 or r?
0
Let r(h) = -6*h**2 - 77*h + 81. Let t be r(-14). Let z = 14 + -8. Let s = -12 - z. Which is bigger: s or t?
t
Let d(u) be the first derivative of -u**2 + u - 8. Let p be d(-2). Suppose 0*t + 2*t = -f, p*f + 3*t = 21. Is 8 greater than f?
True
Suppose -h + 2 = 0, -4*v - 2*h + 0*h = -252. Suppose 5*z = 3*j - v, 2*z - 7*z = -5*j + 70. Let n be z + 6 - (-11)/3. Is 0 smaller than n?
False
Let j be -3*(-4 - -2)*16/(-90). Is j at most -1?
True
Suppose 3*g - 5*l = -20, 5*g - 2*l + 5 = -22. Let f be -2 + g/(-3) - (-8)/6. Is -2/111 at most as big as f?
True
Suppose 0 = 4*q - 3 - 1. Suppose r = q + 4. Is r > 7?
False
Let g = -313/264 + 27/22. Does g = 1?
False
Let b = -3 + -4. Let m = b - 7. Let v = -11 - m. Which is smaller: v or -0.1?
-0.1
Let z = 859 + -854. Is 57/11 at most z?
False
Suppose 0 = 9*z - 385 + 394. Which is bigger: z or 1/564?
1/564
Let v = -107 - -116. Let q = -5 + 15. Which is bigger: v or q?
q
Let i(t) = -45*t + 244. Let d be i(14). Is d >= -0.1?
False
Let w(g) = -g**3 + 7*g**2 - 5*g + 2. Let x be w(4). Let l = 6 - x. Let t be (-2)/l*30/4. Is 2 equal to t?
False
Let t = -182 + 182. Is t less than or equal to -4/131?
False
Let o be (12/(-36))/((-2)/(-3)). Which is smaller: 3/20 or o?
o
Suppose 9*z + 35 = 14*z. Let n be 606/(-231) + (-2)/z + 3. Which is bigger: n or 0?
n
Let m = 34 - 27. Suppose 5 = -m*q + 8*q. Which is greater: 6 or q?
6
Let g be ((-902)/66)/((-3)/(-1 - 17)). Is 1 at least as big as g?
True
Let y be (5 + -4)*(-8 - 2). Let c be (5/2)/(y/(-20)). Suppose 5*q + 0*q = c. Is q smaller than -11?
False
Suppose -20*i - 9 = -17*i, 229 = -4*o + i. Which is greater: o or -59?
o
Let s be (-17 - -8) + (-171)/(-11). Which is smaller: s or -1?
-1
Let m(d) = d - 2. Suppose -4*v = -v. Let h be m(v). Which is smaller: -0.05 or h?
h
Suppose 180 - 174 = 3*m + 3*o, -2*o = -m - 7. Do m and -8/379 have the same value?
False
Suppose 0*j - 2*j = 2. Let t(a) = 1 + a + 8 - 5. Let y be t(-2). Is y > j?
True
Let y be (-543)/36 + (-9)/(-108). Which is smaller: y or -17?
-17
Suppose -u - 9 = 2*u. Let q = -2 - u. Let b be (3/(-2))/(13 - 1474/88). Which is smaller: b or q?
b
Let y be 2 + (-6)/(-9) + 103/3. Which is bigger: y or 36?
y
Let g = 3829 - 3828.9. Suppose -f + 5 = 3. Let p = 3 - f. Which is bigger: g or p?
p
Let c = 19 - 43. Let o be (c/(-63))/(4/(-24)). Which is greater: o or -2?
-2
Let x be (-23)/(-92) + (-1540)/16. Is -97 not equal to x?
True
Suppose -6 = -z + 2. Suppose -2*m + 4*m - z = 0. Which is greater: m or 3?
m
Let w(s) = s**3 + 4*s**2 - 5*s - 1. Let q be w(-4). Suppose -4*m + 31 - q = 0. Is 9/5 equal to m?
False
Let j = 8.546 + -0.046. Let m = j - 14.5. Which is smaller: m or -0.1?
m
Let k be (-4)/14*(0 + -1). Let b = 7.3639 + -0.3639. Is b greater than k?
True
Let u = 988 - 425. Do 563 and u have the same value?
True
Let z = 5.4 - 5. Let q = z + -0.4. Let t = 205/651 + 4/217. Which is greater: t or q?
t
Let r(v) = -v**3 - 20*v**2 + v + 22. Let u be r(-20). Let n be -50 - -2 - (2 - u). Is -48 >= n?
True
Suppose 1 = 4*a - m, 2*a + 8 + 9 = -3*m. Let n = 4299/8 - 537. Which is smaller: n or a?
a
Let i(q) = -q + 2. Let j be i(5). Let c be (4/2 - 0)/((-66)/198). Which is bigger: j or c?
j
Let g = 305.39 + -304. Let i = g + -1.3. Let f = -2.09 + i. Is 0 at least as big as f?
True
Let w be (-4)/(-2)*(-2)/(-4). Let u = 10.84 - -0.16. Let k = -10 + u. Is w less than k?
False
Let u = 91/10 + -198/5. Which is greater: u or -31?
u
Let j = 0.0036 + -0.3836. Which is bigger: j or -0.08?
-0.08
Let f = 0.123 + 4.277. Let o = -0.4 + f. Is o bigger than 12?
False
Let w = -6.569 + 6.5. Let n = -1.931 + w. Is n <= -8?
False
Suppose -21*k + 26*k = 50. Which is smaller: 2 or k?
2
Suppose -3*y + 46 = 5*w, w - 6 = 2*y + 11. Let m(i) = 3*i - 2. Let h(g) = -g**2 - 9*g + 28. Let f(p) = -h(p) - 6*m(p). Let j be f(w). Are j and 4 unequal?
True
Let b(l) = -l**3 + 6*l**2 - 4*l - 1. Let o be b(5). Suppose -2*c + 0*c = o. Let h be 0/((-2 - c) + 1). Which is greater: h or 3/7?
3/7
Suppose 3*k - 3*u + 39 = 0, 0 = 3*k + 3*u + 38 + 25. Let y = k + 20. Let m be 2/(-1)*2/(-4). Which is smaller: y or m?
m
Let o(t) be the third derivative of t**4/6 - 9*t**3/2 - 4*t**2. Let a be o(7). Are -3/8 and a equal?
False
Let v = -1.8 + 1.89. Let j = -0.08 + v. Let b = -2.01 + j. Which is smaller: b or -8?
-8
Let b be 21 + (-5)/5 - -2. Let w be b/1*11/66. Which is smaller: 4 or w?
w
Let b(w) be the first derivative of w**3/3 - 3*w**2/2 - w - 3. Suppose 0 = 2*z - 6 - 0. Let y be b(z). Is y at most 0?
True
Let o = -1023617/9 - -113986. Let l = -251 + o. Which is greater: 0 or l?
0
Let t = -20/149 - -4294/3129. Which is smaller: t or 1?
1
Let h = 2364 - 2361. Is 33/7 at most h?
False
Let q be (-4)/(-11) + 1548/(-792). Which is greater: q or -1?
-1
Let u = -1.47 + -15.87. Let a = u + 17. Let m = 19.66 - a. Are -1 and m non-equal?
True
Let l be (-30)/(-35) - (-6)/(-2). Suppose 13*k + 23 + 16 = 0. Which is smaller: l or k?
k
Let u = 0.18 + -0.28. Let o = 4 + -4.1. Let n = o - u. Which is smaller: n or -2?
-2
Let v be (-40)/8 - 100/(-5). Which is greater: -2/11 or v?
v
Suppose -5*o + 2196 = 13*o. Which is smaller: o or 118?
118
Let u = -2.45 + 2.5. Let g = -1.05 + 0.9. Let t = g + u. Which is smaller: t or -2/23?
t
Let u = -1219 + 1187. Is -163/5 less than or equal to u?
True
Let a = 860 + -838. Is 27 bigger than a?
True
Let f = -4.961 + 5.961. Let s = 22.964 + -23. Do f and s have different values?
True
Let w = -9 - 25. Let m = 25 + w. Let s = 3 + m. Which is smaller: 0.2 or s?
s
Let d(w) = -w + 6. Let a be d(2). Suppose u = 5*i - 15 + 37, -5*u + 81 = a*i. Which is bigger: u or 0?
u
Let p = 0.206 - 2.206. Let v = -8 - -2. Let h = -9 - v. Which is bigger: p or h?
p
Let c be 10/40 - (505/(-300) - -2). Is -30/11 > c?
False
Let j = -2479 - -2479. Let h be 4/(-14) + 0/2. Is h <= j?
True
Let f be 1*(24/210*40 + -7). Suppose -4*h - 4*a + 8 = -0*a, 0 = a - 4. Which is smaller: h or f?
f
Let j(v) = 2*v**2 + 3*v + 3. Let t be j(-3). Suppose 3*z - 64 = -2*x + 8*z, -5*z = x - 17. Let y be (x/t)/(6/4). Is 2 < y?
False
Suppose 15 - 3 = -3*o, 3*t - 36 = 3*o. Is 8 greater than or equal to t?
True
Let k be -10 + 27/8 - 2/4. Is -7 at least as big as k?
True
Let a(h) = -2*h**3 + 3*h**2 + 26*h - 5. Let d be a(5). Are d and -55 equal?
False
Let i = -3 + -21. Let r = i - -29. Let m be 1*9/(-7) - -1. Is m != r?
True
Let p be 1 + (-520)/378 - (-35)/(-245). Is p < -1?
False
Let x = -3787 + 19308/5. Let i = -75 + x. Which is smaller: 0.26 or i?
i
Let h be 4/12 + (-325)/(-312). Suppose 4*b - 5*j + 5 = -12, 0 = 4*b + 3*j - 23. Which is smaller: b or h?
h
Let k = -0.3 - -0.2. Let r = 622 + -3099/5. Is r smaller than k?
False
Let w = 295 + -311. Let k = -12 - 5. Which is greater: k or w?
w
Let a = 521351 + -131902312/253. Let w be ((-3)/(-92))/(2/(-168)). Let g = w - a. Which is greater: g or 0?
0
Suppose -24*g = -5*u - 19*g + 265, g = 3*u - 163. Is u less than 54?
False
Let h = -6551/182 - -480/13. Which is greater: h or 0?
h
Let y(h) = -6*h + 15. Let o be y(3). Let f(w) = 2*w**2 - 29*w + 8. Let r be f(14). Which is bigger: o or r?
o
Suppose 0 = 4*m + 40 - 220. Let p(i) = -i**3 - 14*i**2 - 15*i + 18. Let q be p(-13). Is q at most as big as m?
True
Let h(k) = k**3 - 18*k**2 - 24*k + 94. Let c be h(19). Is c less than 1/323?
True
Let h be (-70)/24*(116/8 - 10). Which is smaller: -12 or h?
h
Let b(m) = 10*m - 170. Let v be b(17). Let p = 44 + -24. Let y be 1 + p*3/(-63). Is y at most as big as v?
False
Let z be -4 + 5 + (-2 - 0). Which is smaller: -1/1081 or z?
z
Suppose -5*j = -2*j. Suppose -3*k + 15 + 0 = j. Suppose 6*z - k*z + 5 = 0. Is z less than 0.5?
True
Let d = -58 + 292/5. Let k = -689/2 - -357. Which is bigger: d or k?
k
Suppose 3*v = 7*v - 80. Let k = v + -20. Suppose k = 5*l - 0 + 15. Which is greater: l or 6?
6
Let p = 0.001 - -0.079. Let n = -26 + 24.1. Let y = n + 1.6. Do p and y have different values?
True
Suppose 6 = 3*i + 3*k, 14*i + 10 = 13*i + 5*k. Is i <= -1/577?
False
Let v = 7 - 14. Let x be (27864/8127)/((-5)/(-2)*4/(-35)). Which is smaller: x or v?
x
Let n = -130.7 + 2.7. Let l = -127.6 - n. Let v = 5 - 10. Are l and v equal?
False
Let z