ch is bigger: 72/7 or x?
72/7
Let p = 20 + -19. Let u be (-6)/9*((-3)/6 + 2). Let d be (2 - p)*u/4. Are d and -1 equal?
False
Let t be (-2)/(-60)*(-36)/(-5454). Which is smaller: t or 1?
t
Let s be ((-1)/(-5) - (-3087)/(-20))*-4. Let d = s - 618. Is -1 greater than or equal to d?
True
Suppose -2*q + 1 = 5. Suppose -10*a + 5*a = -10. Suppose 0 = 5*o + m - a - 11, 14 = o + 4*m. Is o > q?
True
Let o = -1.104 - -1.204. Is 74.93 < o?
False
Let m(z) = -45*z - 3309. Let x be m(-72). Is x >= -103?
True
Let d(x) = 5*x - 59. Let b be d(13). Let q be -13 - ((-3)/b + (-2)/4). Which is greater: q or -66/5?
q
Let h = -115 - -73. Suppose 4*t - 5*d = 238, -4*t + 208*d = 211*d - 190. Let m be (t/(-6))/(56/h). Is 7 < m?
False
Let c be -9181 - (-6)/(-4)*(700/75 - 10). Which is smaller: c or -9178?
c
Suppose 0 = -5*k - 0. Suppose m - 8 = 5*t, 3*t + m + 3*m + 14 = k. Which is smaller: -11/6 or t?
t
Let i = 0.11065 - -129.88935. Is 4.4 at most i?
True
Let u(b) = b**3 + 87*b**2 - 620*b - 3. Let t be u(7). Is t less than 241?
False
Let c = -194 - -135. Suppose -4*a - f = -990 + 1217, 5*a + 282 = -3*f. Which is greater: c or a?
a
Let v = -0.231 + -110.769. Let w = v + 169. Let q = 57.9 - w. Which is smaller: -2.4 or q?
-2.4
Suppose -394 - 801 = 4*l - 127. Let h = -0.4 - -0.2. Is l smaller than h?
True
Let t be (-104)/(16640/(-288)) - ((-14)/(-5) - 2). Let i = 67.01 + -0.01. Which is smaller: i or t?
t
Suppose u = 2*i + 57, -5*u - 2*i + 5*i = -299. Let s(x) = x**2 - 15*x - 9. Let n be s(7). Let h = u + n. Do -13/5 and h have the same value?
False
Let c = -4.62 - -6.53. Let s = 35.19 + c. Let y = 5.1 - s. Which is bigger: 2/3 or y?
2/3
Let b be (-2331)/(-5) + 51/(-255). Which is smaller: b or 465?
465
Let z(v) = 98*v + 490. Let x be z(-5). Which is greater: -68/107 or x?
x
Suppose -42*f + 28*f - 2590 = 0. Let c = f - -194. Are 1.5 and c equal?
False
Suppose 4*w - 2*l + 24 = 0, -13*l = 5*w + 141 - 18. Let s(x) = -x**2 + 9*x - 12. Let v be s(8). Let y = v + -4. Which is greater: y or w?
y
Let s be (-2)/(3 - 1)*1. Let x be 6576/548 - ((-5026)/419)/(-1). Is s greater than or equal to x?
False
Let b = -13718 - -13765. Is b less than or equal to 62?
True
Let o be (-96118)/132 + 2 + ((-231)/18)/7. Is o at most -730?
False
Let p = -36 - -42. Suppose -5*o + p*o = 2*o. Suppose o = 2*r - 11 - 1. Which is greater: r or 11/2?
r
Let o = -45299/4202825 - 2/15283. Is o smaller than 2?
True
Suppose 125*u - 257 = -132*u. Let r be -2 - (1 - 351/120). Are r and u equal?
False
Let d(z) = 22*z**2 + 3*z + 4. Let l(a) = a**2 - a - 3. Let u be l(2). Let j be d(u). Suppose -6 - j = y. Is y at most as big as -28?
True
Let c = 396 - 415. Let h be 30/14*(38 + c). Is 41 at least h?
True
Let h = 457 + -467. Let o = 1249 - 6297/5. Is o != h?
True
Let g(o) = 87*o**2 + 146*o - 305. Let i be g(2). Which is smaller: i or 321?
321
Suppose 0 = -r - 5*d + 161, 4*r - 280 = -d + 326. Let g be 4 + (5010/(-33) + 0 - 3). Let m = g + r. Which is greater: -1 or m?
m
Let z = -1273.1 - -1281.1. Suppose 0 = -5*y - 4*o - 19, -4*o - 3 = -4*y - 11. Which is bigger: z or y?
z
Suppose -14 = k - 5*s - 6, 0 = 2*k - 5*s + 6. Let t = -11 - k. Let o be (((-132)/(-8))/3)/(12/(-24)). Is t bigger than o?
False
Let f be ((-1896)/20)/(20/50). Which is greater: f or -242?
f
Suppose 2*w + 5 = 3*w. Let n(x) = -3*x**2 + 5*x + 10. Let c(i) = -i**2 + i - 2. Let s(l) = 2*c(l) - n(l). Let h be s(5). Is h not equal to w?
True
Let i be 1/1*(-17)/306. Let j = 94.8 + -94.8. Is i at most as big as j?
True
Let o = 16908.1 - 16908. Which is bigger: 12180 or o?
12180
Suppose 0 = 132*c - 146*c + 21644. Which is bigger: c or -0.2?
c
Let c(a) be the third derivative of -a**6/120 - 7*a**5/60 + 5*a**4/24 - 17*a**3/6 - 6*a**2. Let v be c(-8). Suppose -17 + v = 10*y. Which is smaller: y or 0.1?
y
Let b = -920469 - -920459. Let y be (-17)/(-5) + (-4)/10. Let g(o) = -2*o - 4. Let u be g(y). Is b at most as big as u?
True
Suppose 0 = -2*d + 6, 2*d + 5 = -2*g + 21. Let i be -3 + (3 - g - -13). Let q be (51/4)/(5/i*2). Are 11 and q equal?
False
Suppose -3*z + 5 = k - 15, -3*z - 100 = -5*k. Let a be (-8)/k*(-6 + 5). Does a = -7?
False
Let f = -400289 - -17178402434/42915. Is f less than -1?
False
Suppose r - 3 = 2*r. Let f be ((-328)/3)/((-2)/30*6). Let x = -276 + f. Are x and r unequal?
True
Suppose -7 = -9*o + 11. Suppose -n + 270 = o*v + 4*n, 0 = 3*v + 3*n - 405. Let p be 4/(-10) + 549/v. Which is smaller: 5 or p?
p
Let n(p) = -1640*p + 2253. Let w be n(3). Do w and -2667 have the same value?
True
Let m(x) = 10*x + 6. Let y(f) = -f**2 + f - 1. Let v(k) = m(k) + y(k). Let d be v(11). Suppose -119 = d*z + 141. Which is smaller: z or -51?
z
Let h = -13098 - -13097.94. Which is greater: h or 0.09?
0.09
Suppose 2*i = -4*z - 826 + 3386, 0 = -5*z + 2*i + 3200. Are 8 and z equal?
False
Let y = -23376 + 23570. Suppose -o - 195 = -2*o. Do y and o have the same value?
False
Let t be (0 + 12/(-282))*-4. Suppose 0 = -6*m + 10*m. Do m and t have different values?
True
Let g = -0.02 - 16.98. Let m = -17.2 - g. Let t(c) = 8*c + 2. Let l be t(-4). Is l smaller than m?
True
Let q = -229/14 + 5711/350. Let r = -1 + 2. Is q not equal to r?
True
Suppose q + 2*f = 16, 0 = q + f + 4*f - 4. Suppose -q*j - 19 = -25*j. Which is bigger: 18 or j?
j
Let t = -3370 + 2915. Is t at most as big as -450?
True
Let d be (-12)/((-252)/(-581))*-15. Is d != -1?
True
Suppose 4*u - 1081 = 7*w - 4*w, 5*u = 2*w + 1346. Let j be u/(-2)*6/12*-1. Which is smaller: j or 66?
66
Let q = -3.44 - 1032.26. Which is greater: q or -0.1?
-0.1
Suppose 9*s - 48 = 42. Let c be (-1)/(-1)*((-3 - 7) + s). Is 4/17 at least as big as c?
True
Let v = 144541/57 + -7675/3. Are v and -23 non-equal?
True
Let o be 29193/444 + (-7 - (-2)/1). Is 60 smaller than o?
True
Suppose 265 = 3*f - 4*o, -4*f = o + 2*o - 395. Suppose 6*k - 5*k = f. Let d be ((-3)/k)/((-1)/5). Is 0 greater than or equal to d?
False
Let m be 6/(-4) - (((-175)/14)/(-5))/(-1). Are 1/1393 and m equal?
False
Suppose 3*c = a - 15, -3*a + 8*c + 41 = 3*c. Let j be 52/a*3 - -3. Suppose -14*w = -10*w - j. Which is smaller: w or 3?
3
Let d(g) = -g**3 + 15*g**2 - 15*g - 17. Let q be d(14). Do -61 and q have different values?
True
Suppose -37 = -3*m - 22, x + 2*m = 164. Is 175 smaller than x?
False
Let s = 9.356 + 0.744. Is 2/5 less than or equal to s?
True
Suppose -n - 4*q + 9 = 3, 2*n = 5*q - 14. Let k be 12/(-3) - n/1. Let b = 13598 + -13599. Which is greater: k or b?
b
Suppose 0 = 2*b - 4*o - 58, 0*o - 78 = -3*b - 3*o. Let m = -74 - b. Do m and -1/4 have different values?
True
Suppose 9*u = 21 + 1302. Let t = -1524 - -1670. Is u >= t?
True
Let p = -958 + 4786/5. Let s be ((-16)/56)/((-1)/7). Suppose -7*f = s + 5. Which is bigger: p or f?
p
Let g be 58923/(-58959) + (8 - (8 + (-5)/5)). Is g at most as big as 1?
True
Let s(p) = -53*p - 109. Let h be s(-13). Let l = 1161/2 - h. Is l >= -227?
True
Suppose 27*q - 14 - 5 = 35. Let k = 36809/38620 - 6/1931. Is q > k?
True
Let x = -12135 + 24269/2. Suppose -197 + 26 = 3*o. Let f be -1*(3 + o/15). Which is bigger: x or f?
f
Let t = 57259840432/158517 + -6863220/19. Let z = 2/2781 + t. Suppose 5*s - 62*r = -67*r + 20, 7 = -2*s + r. Which is smaller: z or s?
s
Let d be (1868/(-50))/(402/1005). Is d greater than -92?
False
Let y(o) = 550*o - 36. Let n be y(4). Suppose 268 = -16*f - n. Are f and -152 nonequal?
False
Let g be ((-28)/(-8))/((6/12)/(-1)). Which is greater: 14 or g?
14
Let y = -2085367/16 + 130377. Which is smaller: 43 or y?
y
Let h = -40021/26418 + 56/37. Let c = -70 + 69. Is h >= c?
True
Let y = -4 + 3. Let s be (20/(-6))/((-628)/942) - (-82)/(-18). Do y and s have the same value?
False
Let x = -1 - -1. Let d = 3.3818 + 49.6182. Which is smaller: x or d?
x
Suppose d = -6*d - 175. Let u be (6 - -1)*(-75)/d. Let x be 6/30*u - (4 - 0). Which is smaller: x or -2?
-2
Suppose w = 5*n - 3*w + 284, 2*n + w = -124. Let k = 49 + n. Let m be k + 10 + 11/12. Is m less than 1/2?
True
Let u(s) = -2*s**3 - 9*s**2 + 5*s. Let l be u(-5). Let o be (l/(-5) - 0) + (3 - 1). Let d(w) = w**3 - 10*w**2 + 9*w + 3. Let g be d(9). Which is bigger: o or g?
g
Let i = -432 + 281. Let q(d) = -8*d**2 - 7*d + 6. Let z be q(4). Is i at most as big as z?
True
Let p = 5.67805 - 5.77805. Let i = -232/9 - -149/6. Which is smaller: i or p?
i
Let 