h is bigger: f or o?
o
Suppose -4*k + x = 2 - 26, 2*k + 4*x = -6. Suppose -t + 7 = -v, -k*v - 7 - 34 = -3*t. Let y be (-8)/28 - v/(-14). Which is bigger: y or -1/6?
-1/6
Let r(y) = 23*y - 7. Let z be r(1). Suppose -14*p = -6*p + z. Is p greater than or equal to -6/11?
False
Let p be ((-80)/(-48))/((-2)/6). Let w = p - 11. Is w at most as big as -16?
True
Suppose 8 = 2*o - 204. Is o smaller than 106?
False
Let u be (-6)/(4/(-10) + (-4)/(-60)). Let y be (-4 - 13/(-3))*u/1. Which is smaller: y or 0.2?
0.2
Let f be ((-2)/24)/((-111)/(-592)). Is 1 less than f?
False
Let x = -11 + 4. Let w = 6 + x. Suppose -2*s - 10 + 6 = 0. Are w and s equal?
False
Let d = -401 + 401. Is d smaller than -1/532?
False
Let z = 628 - 626. Which is smaller: 36/23 or z?
36/23
Suppose z - 3*d + 5 = 0, -2*z + 3*d - 6 = 1. Let r be (2/z)/(-7 - -4). Which is greater: r or -12?
r
Let z = -2879 + 2859. Is 1.8 not equal to z?
True
Suppose 4*k = -5*p + 2*p + 59, 38 = p + 5*k. Suppose -f + 5 = 5*n - 3, -4*n + 4 = 0. Suppose 0 = -o - p + f. Is -9 at most o?
False
Suppose -3*g - 5*d + 7 = -0, d - 5 = 3*g. Let y be ((-6)/g + -4)/(-9). Let u(v) = v + 3. Let w be u(-2). Which is smaller: w or y?
y
Let a be 2/4 + 1146/(-72). Let u = a - -55/4. Suppose 0 = -2*o - 2*o - 4. Is u >= o?
False
Let l be (1 + 118/4)*-2. Let f = -60 - l. Which is smaller: f or 4?
f
Let d = 2/1103 + 29777/2206. Which is greater: d or 15?
15
Let k be 4*(3 - -10)*1. Let y be (4/k)/((-3)/2). Let p = -10 + 10. Which is smaller: y or p?
y
Let h(y) = 3*y**3 + 68*y**2 - 21*y - 57. Let f be h(-23). Is -100 at least f?
True
Let x = 3 + -1. Suppose 0 = 3*m - 4 + 1. Let k be (0*m/(-3))/2. Which is smaller: x or k?
k
Let w = -6 - -8. Let d = 18514 + -18516.3. Are w and d equal?
False
Suppose -5*m + 15 = -0*m. Suppose -26 = -4*h - 3*t, 0*h + m*h = -t + 22. Let p be h/2 - (17 + -13). Are p and -1/15 unequal?
True
Let s = -27 - -31. Suppose 4*u - u = -4*x + 67, -s*x = -4*u - 32. Is x less than or equal to 13?
True
Suppose 0 = -4*n - 4*w - 4, -4*n - 1 = 5*w + 7. Let r(u) = 6*u**3 + 4*u**n + u**2 - 5*u**3 - 2*u - 4*u**3. Let m be r(-2). Which is smaller: -1 or m?
-1
Let g = 0.459 + -0.059. Let l be 40/(-72)*(-1)/(-5). Does l = g?
False
Let q = -2 - -5. Suppose 7*j = q*j. Suppose 4*p - 20 = j, 0*g - g + 4*p = 21. Which is smaller: -0.1 or g?
g
Let u = -0.0514 - -0.0514. Which is greater: 442 or u?
442
Let t(c) = -6*c**3 - 3*c**2 - 12*c + 9. Let z(n) = -n**3 + n**2 - n + 1. Let p(o) = t(o) - 5*z(o). Let d be p(-7). Which is bigger: d or 3?
d
Let f = 15.7 - 33.9. Let w = -186 - -204. Let l = f + w. Is l at least 1?
False
Suppose -t = -3*c + 5, 0 = 2*c - 0*t + 3*t + 15. Suppose -5*o + 5*j = 10, 3*o = 2*j - 3 - c. Is o bigger than -1/25?
True
Let y be 64/(-12)*(-18)/(-4). Let v be 14/y*276/(-3). Let x = v - 53. Do x and -0.04 have different values?
True
Let z(r) = -r**3 - 10*r**2 - r - 11. Let g be z(-10). Suppose -14*t + 304 = -10*t. Let j = 1144/15 - t. Which is greater: g or j?
j
Let i be (-1 + (-45)/(-25))*210. Let m be 16/i*(0 + -3). Which is smaller: m or -2?
-2
Let b be (701/156)/((-20)/30). Let f = -99/13 - b. Which is bigger: 0 or f?
0
Let a = -1/11 - -1/253. Let q = -4436 + 4433. Which is smaller: q or a?
q
Suppose 2*c + 53 = 339. Let w = c + -80. Which is bigger: w or 62?
w
Suppose -5*t - 3 - 11 = 2*n, 4*n - 20 = 2*t. Suppose 81*s - 79*s + 10 = 0. Is t bigger than s?
True
Let w = -1/602 + 8437/5418. Suppose 3*g = 9 - 0. Is w at least g?
False
Let l(r) = 8*r**3 - r**2 - 2. Let f = -10 - -8. Let s be l(f). Which is greater: -69 or s?
-69
Let d be 588/(-14) + 3 + 1 + -6. Which is bigger: -43 or d?
-43
Let y be (2/5)/(11/(-55)). Let n be y/6 - (17 - 20). Which is smaller: 4 or n?
n
Let u(l) = l**2 - l + 4. Suppose -2*r - 4*h = -r + 6, 5*h = r - 12. Let w be u(r). Suppose -m = -w*m + 75. Is 15 <= m?
True
Suppose 0 = -17*c + 6*c + 44. Let w = -24 + c. Are -21 and w equal?
False
Let t = 28 + -31. Let n(k) = -k**3 - 2*k**2 + 2*k - 2. Let v be n(t). Which is smaller: -1 or v?
-1
Let v(p) = -6*p - 5. Let d be v(-5). Suppose -5*n = f - d, 2*f + 2*f + n = 5. Are f and 0.07 nonequal?
True
Let p be 1 + -1 + (2 - -2). Let w be (6/424)/((-51)/12 + p). Which is bigger: -1 or w?
w
Let n = -9430 - -103896/11. Which is greater: n or 14?
n
Let u be (-6)/9*6 + 3. Let n = -617/492 + 1/246. Is u != n?
True
Let o(d) = -d**3 - 18*d**2 + 2*d + 172. Let h be o(-17). Is -157 > h?
False
Let b = -8 + 82/9. Do b and -0.5 have the same value?
False
Let b = -5 + 3. Suppose -c = -3*c. Let i = c - 2. Is i < b?
False
Let c(b) = -b**2 + 4*b + 1. Let r be c(6). Let x(n) = n**2 + 18*n - 158. Let a be x(-25). Let f be 19/a + (r - -10). Is f at most 0?
False
Let v = -410/333 + -12/37. Do v and -1 have the same value?
False
Let o(f) be the first derivative of f**4/2 - 3*f**2 + 5*f + 18. Let x be o(1). Which is bigger: -2/25 or x?
x
Let h be 2/(-4) + 11/2. Let a = 61 + -61. Which is bigger: a or h?
h
Suppose -l - 407 = -413. Which is bigger: 5 or l?
l
Suppose 4*o + 6 = -2. Let d = -20/53 + -178/371. Is d greater than o?
True
Let b be 10/(-3) - 8*3/(-18). Let i be ((0 + 2)*b/4)/(-1). Let j = 1/340 - -673/2380. Which is smaller: j or i?
j
Let r(d) = -d**2 - 1. Let t(p) = -8*p**2 + 4*p - 12. Let c(s) = -16*r(s) + t(s). Let n be c(-2). Is 29 at most n?
False
Let b = 2/1009 - -967/21189. Let j be ((-4)/12)/((-1)/(-3)). Is j smaller than b?
True
Let g = -24224 + 24232. Let b(m) = 4*m - 6*m + 7 + 3*m. Let h be b(0). Which is bigger: h or g?
g
Let d = -7174332/35 + 205006. Let h = -124/5 + d. Is h != -1?
True
Let l(d) = d**3 + 3*d**2 - 13*d + 4. Let v be l(-6). Let f = -29 + v. Which is smaller: -54 or f?
f
Suppose -34 = 20*u - 54. Are -2/1731 and u equal?
False
Let r be (-266 - -262) + 2*4/2. Which is smaller: r or 2?
r
Let t = -0.181 - 21.419. Let f = -5.4 + t. Let c = 24 + f. Which is bigger: 2/5 or c?
2/5
Let m = -2711487527/2295 - -1181476. Let g be 610/(-918) + 4/6. Let d = g + m. Which is smaller: -1 or d?
-1
Let q = 238 + -318. Does q = -79?
False
Let t = -889 - -889. Which is smaller: -18/95 or t?
-18/95
Suppose -78 = -4*n + n. Let m be 4 + -2 - n/4. Let s = -134 - -134. Which is bigger: s or m?
s
Let t = 31/272 - -1415/1904. Let j be ((-2)/(4/(-6)))/1. Suppose 5*u - 7 = j. Is u not equal to t?
True
Let x = -106919/120 + 891. Are 0 and x nonequal?
True
Let u(v) be the third derivative of -v**4/24 - 5*v**3/3 - 2*v**2. Let p be u(-8). Let r be (0 - 1)*(p - -1). Is -2 less than r?
True
Let i = 0 - 1. Let m(f) = -f**3 - 5*f**2 - 4*f + 5. Let p be m(-4). Suppose -5*y = 2*g + g - 28, p = y. Are i and g unequal?
True
Let u be (-1)/(-5) + (-14)/(-5). Suppose 3*c - c - u = -o, -5*o = 5*c + 5. Let v(f) = 3*f. Let g be v(2). Is c greater than g?
False
Let h = 405/4 - 2017/20. Which is smaller: -24 or h?
-24
Let h = -316 + 365. Are 49 and h non-equal?
False
Let n be ((-3)/(-18))/((-292)/1311721500). Let t = 748695 + n. Let s = -1/73 + t. Which is smaller: s or -4?
s
Suppose 5*q + 60 - 35 = 0. Let i = 24 + -26. Which is bigger: i or q?
i
Let a be -1 + 2 + (-231)/210. Is -33 equal to a?
False
Let y(n) = -12*n + 32. Let p be y(13). Let t = 85 + p. Is -40 greater than or equal to t?
False
Let g be (3/15)/((-1)/(-10)). Suppose -122 = d - 5*d + w, -g*w = d - 26. Suppose 10 - d = 4*q. Which is smaller: -6 or q?
-6
Let w(j) = -12*j**2 - 2*j + 2. Let n(v) = -v**2 - 8*v - 6. Let h be n(-7). Let q be w(h). Let y(k) = -2*k - 23. Let t be y(q). Which is smaller: -2/9 or t?
-2/9
Let i be ((-9 - -1) + 4)*-26 + 0. Is i <= 415/4?
False
Let s(h) = -9*h**2 + 52 - 3*h**2 - h + 13*h**2 - 13*h. Let l be s(6). Which is greater: 13/5 or l?
l
Let w be ((-30)/(-9))/((-4)/6) - 4. Is -21 >= w?
False
Let d = 202.8 + -203. Which is smaller: 40 or d?
d
Let s = -2158 + 873. Is -1285 bigger than s?
False
Let c be ((-23)/(-4))/(3/12). Let a = c - 47. Let y be (-2)/9 - a/108. Do 1 and y have different values?
True
Let r be -1*(-7)/((-7)/(-4)). Suppose r*f + f + 4*c - 57 = 0, 10 = -5*c. Let b = 16 - f. Is 1 <= b?
True
Let o = 0.0502 + 3.9498. Let s = -5.6 + 3. Let n = s - -0.6. Which is smaller: o or n?
n
Let i be ((-5)/(-9660)*12)/(1/2). Let s = 2 + -3. Is s bigger than i?
False
Suppose -4*u = -6*u - 14. Let i be 3*((-4)/(-12) - -1). Suppose j - i*q - 5 = q, 33 = -5*j - 4*q. Which is smaller: j or u?
u
Let