p = -5849 - -5848. Is p > -5/29?
False
Let o be 3/63*-3 - 6475/(-4165). Suppose 3*w + 12 = -4*f, 0 = w + 4*w - 2*f + 20. Let n = 5 + w. Which is smaller: n or o?
n
Let o = 25/2 + 12. Let k = o + -24. Let l = -16.753 - 0.247. Is l greater than or equal to k?
False
Suppose 4*t - 14 = -0*c - 2*c, -3*c = -5*t + 1. Suppose c*u - 145 = 5*i - 12, 5 = 5*i. Does 50 = u?
False
Let m(l) = 2*l**2 - 20*l - 18. Let f be m(7). Let c be (f/120)/(26 + 1). Is -1 at least as big as c?
False
Let p = -15.185 - -15. Let v = -0.32 - p. Let i = -1.135 - v. Is 2 < i?
False
Let r = -10.82 + 545.82. Let b = -532 + r. Which is bigger: 7/6 or b?
b
Let t = 1155 - 681. Let w = t - 474.03. Is 15 at most as big as w?
False
Let u = 59 - 104. Suppose -28*g - 1328 = 784 - 712. Are g and u nonequal?
True
Let k = 2180 - 6395/3. Is k != 48?
True
Let d(y) = y**3 + 25*y**2 - 3*y - 31. Let s be d(-23). Let f = 892 - s. Is f equal to -1?
False
Let w = -8818 - -8802. Let b = 5/89 + -747/623. Which is bigger: w or b?
b
Let z = 1274 + -1252. Let a be 1/(-3) - 1974/(-90). Is z > a?
True
Let w(s) = -s**3 + 2*s**2 - 6*s - 14. Let g be w(-6). Suppose 2*q + 8*j - 3*j = 620, -q + 310 = j. Is g smaller than q?
False
Suppose -x - 3*s + 11 = 18, -5*s - 7 = 4*x. Suppose 0 = 2*k + x*w - 2, 3*k - 8*w + 11 = -4*w. Which is greater: 1/409 or k?
1/409
Let i be (-26)/((-726)/(-1617)*29/2) + 4. Let u = 10 - 11. Are u and i non-equal?
True
Let o = 19 - 14. Let f = o - 5. Let n be (-20)/24 - f/5. Which is smaller: n or -2?
-2
Let p be (1 + -2)*-2 + -1 + 4. Suppose -p*s + 197 + 53 = 0. Let m = 44 - s. Which is bigger: m or -33/7?
-33/7
Let y = 313 - 140. Let g(c) = -y*c + 177*c + 3 - 16. Let o be g(4). Which is smaller: o or 1?
1
Let u(m) = 10*m + 490. Let b be u(-49). Is b greater than -2/3663?
True
Suppose -4*c + 5*c = 6. Let o be c/(-62)*(-1)/1. Suppose 14*g = -27 + 41. Which is greater: g or o?
g
Let f be (-10725)/(-61425) - (-1 + 16/18). Is -3/248 at most as big as f?
True
Let l(k) = -k**3 - 6*k**2 + 16*k - 3. Let w be l(-8). Let x be 1/(w/3)*(-2 + 3). Is x not equal to -1?
False
Let w = 7353/99935 - -3/1265. Let u = -262/711 - w. Let g be (2 - (-1 - -6)) + 3. Which is bigger: g or u?
g
Let m be (-13838)/(-578) - 3/(-51). Which is bigger: 170/7 or m?
170/7
Let u(i) be the third derivative of -i**6/60 + 11*i**5/20 + 3*i**4/4 - 17*i**3/6 - 18*i**2 - 5. Let q be u(17). Is -1/141 bigger than q?
False
Suppose 6*h - 216 = 234. Suppose 0 = 5*t - 4*q + 58, h*t - 79*t + 2*q - 50 = 0. Is t smaller than -15?
False
Let t(s) = -s**3 - 5*s**2 + 12*s - 17. Let n be t(-7). Suppose 0 = 5*m + 10, o + 8 = -0*o - 2*m. Let q be -1 + (-3)/((-21)/o). Is n at least as big as q?
False
Let v = -517.0088 - -517. Let h = 0.0912 - v. Which is smaller: 98 or h?
h
Let y = 25247 - 25357. Which is smaller: -88 or y?
y
Let t be (-76)/(-16) + (-5)/((-80)/(-12)). Let s be t*-5*1/20. Is s less than or equal to 3/7?
True
Let x = 258 + -252. Let r = 41 - 41.354. Let p = r + 0.054. Which is greater: p or x?
x
Let n be (-6)/27 + 1*(-36978)/54. Let p = 694 + n. Which is smaller: p or -7?
-7
Let g = 22309 + -22308. Which is bigger: -1/1528 or g?
g
Let t be 189/(-35) + 5 + (28/20 - 1). Are t and 9/3196 equal?
False
Let r = -31 + 27. Let b be (82/1)/(r/(-14)). Let o = b + -3726/13. Which is bigger: 0 or o?
o
Suppose -2 = 3*o + 40. Let w be 230/(-69)*3/2 + 4. Let d be o/(-63) - 8/(-126) - w. Are 1 and d nonequal?
True
Suppose 3*u - 3*p + 43 = -u, 3*u + 36 = p. Let m be 4/26 + (-63)/u. Suppose -30 = m*i + 25. Is i smaller than -13?
False
Let m(x) be the second derivative of -x**4/12 - 23*x**3/6 + 31*x**2/2 - 14*x. Let n be m(-20). Let v = -96 + n. Which is bigger: -4 or v?
-4
Suppose -4*g + 3*r - 5 = 0, 2*g = -3*r - 2 - 5. Let v = -71 - -92. Suppose -y = -3*l - v, 2*l = -l - 4*y - 6. Which is greater: g or l?
g
Let v = -6 + 5.576. Let i = v + 0.49. Let f = i + -3.066. Which is bigger: -9 or f?
f
Let z be (-70 - 0)*-5*88/770. Is 317/8 <= z?
True
Let x be 1 - (0 + (2 - 1)). Let j = -3269761/21 + 155702. Which is smaller: x or j?
j
Let m = 479 - 3837/8. Let a = m + 9/40. Let q = 150 + -90. Which is bigger: q or a?
q
Let s = 17504.9 - 18371. Let v = -868 - s. Which is bigger: v or 3?
3
Let p = 154 - 107. Let v = 135 - p. Let s = v + -94. Which is greater: s or 0.4?
0.4
Let w be 2 + (1 - -1) - ((-8604)/(-20) - -14). Are w and -440 non-equal?
True
Let n = -138.932 - -9.932. Is n < 3/4?
True
Suppose -4*p - 4*u - 301 = -5*u, -u - 7 = 0. Is p less than 5?
True
Suppose 0 = -4*g + a + 122 + 68, 2*g = a + 92. Is 63 smaller than g?
False
Suppose 2*g - 4*g = -5*d - 23, 0 = 2*g + 5*d + 27. Let j(p) = 21*p**3 - p**2 + 3*p + 6. Let b be j(-3). Let f = b + 14477/25. Which is smaller: g or f?
g
Suppose 36 = -s - 14. Let v(b) = 7*b + 85. Let d be v(-10). Let r be (-11)/d - (154/(-21) - -7). Which is smaller: r or s?
s
Let l(y) = 28*y - 3. Let s(o) = 252*o - 28. Let u(t) = 28*l(t) - 3*s(t). Let g be u(1). Suppose 7*z - 21 - g = 0. Do 8 and z have the same value?
False
Let r = 106 - 78. Let p be 5 + 4/r*0. Let j be -1 - (5 - 2)/(-1). Which is bigger: p or j?
p
Suppose 6*l + 5 = 4*l - q, 5*l + 9 = -2*q. Which is greater: 517 or l?
517
Suppose 96*x - 184*x = -6688. Is 76 greater than or equal to x?
True
Let h = 12 + -537. Let v = -517 - h. Is v != 19?
True
Let w(a) = -39*a + 1639. Let y be w(41). Which is bigger: 527/13 or y?
527/13
Let u = -82/17 - -1270/221. Let s = 0.5 - 3.5. Let h = s - -5. Which is greater: u or h?
h
Let s = -2 + 21. Suppose 0 = 6*z - 4*z - y - 116, 4*z - 232 = -4*y. Suppose 142 = 10*c - z. Which is greater: s or c?
c
Let j = 1/207567 - -981376765/2283237. Is j != 430?
True
Let p = -184 - -210. Suppose a - 29 = -p. Suppose -4*k + 40 = 4*w, w = 4*w - 3*k - 12. Is w less than or equal to a?
False
Let j be 0 + (-14 + 6)/(-4). Suppose j*y - 4 = 30. Suppose -2*i = -4*q + 62, -4*i = 3*q + 24 - 87. Is y >= q?
True
Let l(y) = -y**3 + 23*y**2 + 54*y - 10. Let r be l(25). Suppose r = 33*b - 38*b. Do -18 and b have different values?
False
Let s = -243 - -263.4. Let x = s - -1.5. Is x equal to 1/2?
False
Let t be ((-1104)/1)/(2142/(-120)). Let g = -428/7 + t. Let o = g - 26/85. Is o > -2/3?
True
Suppose 17*i - i - 32 = 0. Suppose 0 = i*d + 3*a - 192, 5*d + 3*a - 4*a = 480. Let r = d + -97. Is r at most 1/20?
True
Suppose -j + 255 = 4*j. Let u(z) = -48*z**3 + 389*z**2 - 362*z - 8. Let h be u(7). Are h and j unequal?
True
Let f be (-20)/(-550) + 33456/(-12540). Which is smaller: -2 or f?
f
Let q be (0/(-3))/(0/3 - 10/5). Is 1/5259 at least q?
True
Suppose 0 = -70*b + 64*b + 5*o + 21198, 14082 = 4*b + 5*o. Are b and 3529 non-equal?
True
Let v be -5*(392/(-35) + 11). Which is smaller: 33/17 or v?
v
Suppose -17*z + 21*z = -t + 4, -8 = -2*t. Let x(q) = 31*q - 338. Let r be x(z). Which is bigger: r or -1?
-1
Suppose 5*j = s - 9 - 25, -5*s + 30 = -5*j. Do s and -1/6089 have different values?
True
Let w be 217/5 - 36/(-60). Suppose 0 = 2*g + 34 + 40. Let c = g + w. Which is bigger: c or 8?
8
Let q = 33 - 32.892. Let z = q - 0.028. Let f = 8.92 + z. Which is smaller: f or -1?
-1
Suppose 0 = 4*w - 3*w - 188. Let c be ((-60)/35)/(4/(-14)) + -1. Suppose 0 = c*h + 183 - w. Does 16 = h?
False
Suppose -353*k + 404*k = -444720. Is -8720 at least k?
True
Let b = 8492/615 + -588/41. Which is smaller: b or -1?
-1
Let l = 6/85 - 4438/255. Let o = 17 + -14. Let j be (-52)/o + 12/(-18). Is l at least as big as j?
True
Suppose 3*j + 3*g = 18, -2*j = 3*j + g - 22. Suppose 6 = -2*a, -53 = -4*h + j*a - a. Which is smaller: h or 7?
7
Let z(y) = y**3 - 2*y**2 - 7. Let u be z(3). Suppose -5*b = -t + u*t - 5, 5*t = -b + 25. Which is greater: b or 7?
7
Suppose 0 = 76*j - 95*j + 10336. Let g = 545 - j. Let y = 29/210 - 1/14. Which is smaller: y or g?
y
Let o = 7349/11 + -667. Let r(u) = -7*u. Let f be r(-1). Suppose -b = -5*x + 19, 0*b = b - 2*x + f. Is b less than or equal to o?
True
Let u(t) = -t**3 + 27*t**2 + 200*t + 7. Let n be u(-6). Let k = -319.99 - -318. Let s = 0.01 - k. Which is bigger: s or n?
s
Suppose 0 = 4*g + 4*s - 3488, -32*s = -2*g - 31*s + 1759. Let o be (-26337)/(-9)*(-6)/20. Let p = g + o. Is p equal to -2?
False
Let j be (-1148)/(-98) - 12 - (-512)/(-1638). Is j at least as big as -1?
True
Suppose 34*l = 32*l - 3*t - 348, 0 = 3*l + 5*t + 523. Which is smaller: -190 or 