(2/10) - -37. Let w = -28 + t. Which is greater: 14 or w?
14
Let a = -6359 - -50617/8. Which is bigger: 2 or a?
2
Let h be (-171)/38 + ((-5)/3)/((-46)/(-69)). Let y(i) = i**3 + 5*i**2 - 7*i - 6. Let q be y(-6). Suppose -b + q*b + 5 = 0. Are h and b non-equal?
True
Let o = 10731 + -11186. Which is greater: -1821/4 or o?
o
Suppose -132*r = 324758 - 114878. Is -1590 at most as big as r?
True
Let r(y) = -y**2 + 19*y - 13. Let g be r(12). Let d = g - 63. Which is smaller: d or 0.1?
0.1
Suppose 2 = -112*q + 1 + 1. Which is smaller: 70/111 or q?
q
Suppose 455 = -3*b + 4*r, 0 = -3*b - 3*r - 257 - 205. Let f = b + 148. Let z = -1045/424 - 88/53. Is f greater than or equal to z?
False
Let g = 233 + -231. Let a be 470/670 + (1 - g). Is a >= 1?
False
Let s(l) = -62*l**3 + 5*l**2 + 25*l + 51. Let n be s(-3). Is 1695 greater than n?
False
Let x(n) = n**2 + 7*n + 5. Let q be x(-6). Let d = 228/3151 + 2/137. Which is smaller: q or d?
q
Let m = -18 - -64. Suppose 5*q - m - 29 = 0. Is q greater than or equal to 15?
True
Let n(c) = c - 7. Let m be n(7). Suppose -4*l + 3*a - 8 = 10, m = -4*l - 3*a - 30. Let s = 7 + l. Which is greater: s or -8/15?
s
Let z = 14992 - 14991. Is 15014 > z?
True
Suppose 3 = s + 9. Let t(q) = 21*q + 16*q - 44*q - 42. Let y be t(s). Which is bigger: y or 3/32?
3/32
Let o = 6060 + -5611. Which is greater: o or 453?
453
Let t = -128 + 128.2. Let x = 75 + -88.6. Let u = -8.6 - x. Which is smaller: t or u?
t
Let o be (-128)/48 - (-1112)/402. Is o < 1?
True
Let v(x) = -x**2 + 13*x + 18. Let d = 31 + -17. Let s be v(d). Suppose -4*z + z = -5*c - 5, c + s*z = -1. Is c bigger than -9/11?
False
Let f = 255 + -237. Suppose 2*m - 8*p + 12 = -7*p, 3*p + f = -3*m. Is -8 less than m?
True
Let g = -6172790/679 + 9091. Are 0 and g nonequal?
True
Let t be (1200/(-125))/((-2)/(-5)). Let u be t/(-3) - -18 - 2*2. Which is smaller: 13 or u?
13
Let p(x) = -2*x - 3. Let k be p(-3). Let j be (-2502)/84 - -28 - -4. Which is bigger: j or k?
k
Let c be -11 - -2 - (-779)/41. Which is smaller: c or -36?
-36
Let d(f) = f**3 + 25*f**2 + 24*f + 13. Let i be d(-24). Suppose -i = 8*b - 37. Suppose -5*h = 4*l - 21, b*l = -2*h + 3 + 4. Which is bigger: l or 1/63?
1/63
Suppose 21*l + 18*l - 4*l = 0. Suppose j - 4*c - 15 = 2*j, 0 = -2*j - 3*c - 15. Let m = j + 4. Is m at most as big as l?
False
Let y = 60 - 66. Let t = -1.2 + 7.2. Let q = y - t. Which is greater: -1 or q?
-1
Suppose 5*t - 2*g = 83, 2*t = -3*t - 3*g + 63. Let f = t - 31. Which is bigger: f or -0.1?
-0.1
Suppose 0 = k - 10*k + 126. Let h be -7 - (2/6 + k/3). Is -90/7 not equal to h?
True
Let x = -0.04466 + 28.04466. Are x and 30/11 non-equal?
True
Let q be (39 + 14 - 45) + 9. Let m(x) = 2*x**3 + 2*x**2 - 4*x + 3. Let f be m(2). Which is smaller: q or f?
q
Suppose 17*n = n - 13*n. Suppose 9*f + b = 6*f - 11, n = -3*f + b - 1. Which is smaller: -28/51 or f?
f
Let a(d) = 4*d**2 + 2*d + 2. Let w be a(1). Which is smaller: w or 116/17?
116/17
Let y(a) = -2*a + 67. Let j(f) = -9*f - 12. Let s be j(-5). Let g be y(s). Which is bigger: g or 0.031?
g
Let z = -346128 + 10036653/29. Which is smaller: -38 or z?
-38
Let v = -32.17 + 32.37. Let j = 12.482 - -0.018. Let f = j - -0.5. Which is smaller: f or v?
v
Suppose 476*w = 482*w + 114. Suppose -2*f - 34 = 2*d + 2*f, 0 = -4*d - 3*f - 73. Is d bigger than w?
False
Suppose 3*l + 332 = 2*v + 17, -6 = -2*v. Are l and -95 non-equal?
True
Suppose 4*b + 816 = 2*a, -3*a - 2*b - b = -1251. Let m be (-2)/(-8) - a/216. Which is smaller: m or -1?
m
Let r be (448352/40760 + -11)*15/(-9). Is r less than or equal to 1/3?
True
Let b be (2/6*0)/2. Let c = 4/925 - -1814/8325. Is b > c?
False
Let u(z) = -2*z**3 + 2*z**2. Let b(w) = 11*w + 100. Let v be b(-9). Let q be u(v). Which is smaller: q or 11?
q
Let b(z) be the third derivative of -27*z**5/20 - z**4/8 + z**3/6 - 69*z**2. Let r be b(1). Which is smaller: r or 3?
r
Let x(v) = -2*v**2 + 71*v + 158. Let h be x(-21). Which is smaller: -2214 or h?
h
Let q = 2741/990 + -57/22. Which is smaller: -3/4 or q?
-3/4
Suppose -3*t = 4*w + 197, 0 = 4*w - 0*w - 4. Let i(n) = -15*n + 32. Let u be i(4). Let c be 8/u - 3269/49. Is c <= t?
True
Let u = 18 + -17.88. Let x = 0.5 - u. Let y = 0.46 - x. Which is greater: y or -3/5?
y
Suppose 67*x - 276 = 120 - 128. Is x less than or equal to 406/81?
True
Let b = -5031.1 - -5032. Is b < 11.1?
True
Let k = -9698 - -9700.9. Is -5.2 >= k?
False
Let j = -274 - -283. Let l be 12/j*90/282. Is l > -1?
True
Let c(q) = -q**3 - 10*q**2 + 11*q - 1. Let h be c(-11). Let j = -70262595/1496 - -46967. Let f = j + 3/88. Which is bigger: h or f?
f
Let b(k) = -k**2 + k + 1. Let v be b(0). Let z = -92682 - -1760957/19. Is z equal to v?
False
Let d = 10420 + -52101/5. Is -66 less than d?
True
Let j = -91166 - -91167. Let s = -11467369/461 + 24875. Which is smaller: s or j?
s
Let u = -101329/1015566 + 7/5262. Which is bigger: u or 0?
0
Suppose 14*l - 53 = -11. Suppose -3*p - 6 = l. Which is bigger: p or -29?
p
Let d(p) = 4*p**3 - 20*p**2 + 25*p + 71. Let a be d(11). Are 3250 and a unequal?
False
Let s be 2/8*(-5 + (-765)/(-17)). Let l = -6/49 - -1935/196. Which is bigger: s or l?
s
Let j(r) = -27*r + 16. Let z be j(-2). Let c be (1632/153)/(z/(-6)). Is c smaller than 0?
True
Let d(m) = -m**3 - 15*m**2 - 12*m + 28. Let k be d(-14). Suppose k = -24*i + 20*i - 12. Let o be (-3 + 6)/i*1. Is 4/17 smaller than o?
False
Let v = 219 + -215. Suppose -4*t = -x + 316, -t - v*x - 256 = 2*t. Are t and -83 nonequal?
True
Let p = 0 - 0.02. Let x = -74.808 + 66.808. Is p bigger than x?
True
Let o(z) be the first derivative of -z**3/3 + 16*z**2 - 61*z + 71. Let a be o(30). Is a bigger than 10/21?
False
Let x = 46025925557/279545200662 + -2/52964229. Let r = x + -10/203. Let v(f) = -f**3 + 7*f**2 + 7*f + 7. Let m be v(8). Which is bigger: r or m?
r
Let v = -44171.13 - -43969. Let j = -202 - v. Which is smaller: j or -0.4?
-0.4
Let k = -11466 + 8222. Which is smaller: k or -3243?
k
Suppose -m - 378 = -84. Let v be 10/(-4)*(m/35)/(-7). Let j be (-4 - -6)/(6/v). Are -2/47 and j unequal?
True
Let x = 0.3 - 0.29. Let y = -125.64 - 2.36. Let k = y + 127.6. Is k at most as big as x?
True
Let s be ((-9944)/726 - -13) + 4/6. Which is greater: 0.23 or s?
0.23
Let w be -40 + 15/(510/1343). Let x = -10 + 17. Suppose 3*i + 24 = -3*d, -2*d + 0*d = -i + x. Is w greater than or equal to d?
True
Let n(h) = h**3 - 4*h**2 + 7. Suppose -5*x = -3*x + 2*k, 3*k = -6. Let i be n(x). Do -2/383 and i have different values?
True
Let n be (-5 - 3)*1 - 1853685/(-231750). Is 1 at most n?
False
Let f = 5.8628 + -5.9. Let m = f + 0.2372. Which is smaller: m or 2/17?
2/17
Let f(x) = 4*x + 4*x - 9*x + 2*x + 1. Let k be f(-8). Let r be (-6)/(-7) - (-3)/k. Is 1 not equal to r?
True
Let z(w) = 18*w + 756. Let i be z(-42). Are i and 0.89 equal?
False
Let x = -265 + 263. Which is smaller: -3/2 or x?
x
Let w(j) = -j**3 - 5*j**2 - 7*j + 1. Let v be w(-5). Let y(i) = i + 31. Let r be y(9). Let b = r - v. Which is smaller: b or 8?
b
Let v = 15 + -11. Suppose -v*w - 4 = -3*k + 8*k, k - 2 = 2*w. Is w >= -24/37?
False
Suppose 0 = 2*r + 3605 + 3099. Let p = r + 30128/9. Suppose 4*u - 12 + 24 = 0. Is p at most u?
True
Let h be (3 - 5/2)*0. Let s be h/(1 - 3/1). Let p = 8/91 - 3/13. Is p less than s?
True
Let b be 1/(-2)*204/18. Suppose 16 = -2*a - i, 20*i - 30 = 3*a + 23*i. Which is smaller: a or b?
a
Let a = -379.7 - -380. Let b = 3.05 - 3. Which is bigger: b or a?
a
Let z(j) = j**3 + 23*j**2 + 120*j + 3. Let t be z(-15). Suppose t*a + o - 3 = 0, 4*o - 7*o = 0. Which is greater: a or -4/109?
a
Let r be (((-3)/2)/(3/(-340)))/(22/264). Is 2040 at most r?
True
Suppose 5*z - 3*g + 74 = -2*g, 6 = z + 5*g. Suppose 3*m - 30 = -o + 1248, 0 = 5*m - 5. Suppose -k - o = -1263. Is k at most z?
False
Let r = -1643 - -1651.8. Are 0 and r non-equal?
True
Let y = 12998 - 13136. Is y <= -137?
True
Let w(h) = 3*h**2 + 29*h - 8. Let l be w(-10). Let y(p) = p**3 - 2*p**2 - 3*p + 6. Let v be y(l). Are 12/11 and v equal?
False
Let c(k) = -k**2 - k + 11. Let z be c(2). Suppose -z*o - 3*q = 11, 18*o = 17*o + 3*q + 5. Which is greater: 1/13 or o?
1/13
Let y = -3772 + 3865. Is 107 smaller than y?
False
Let q(v) = -22*v - 4. Let g be q(-2). Let d be 0 + (g/1065)/(-4). Let o = d - 67/426. Do 1 and o have the same v