+ 6, 5*n = -2*s + 25. Suppose -n*q + 3*w - 3 = 6, 16 = 4*w. Let g be 8/(-780)*3*q. Which is greater: 1 or g?
1
Let k = 3451 + -3450.589. Which is smaller: 3 or k?
k
Suppose 0*z + 4*z = -5*k + 28, 5*z - 5*k = -10. Suppose q + d = -6 + 7, -2*q - 3*d + z = 0. Which is smaller: -1/17 or q?
-1/17
Let x = -1763098/18001529 + 1/53417. Is x at least as big as 1?
False
Let t = -11107 + 11095.3925. Let k = 0.0075 + t. Let r = -1.4 + 0.4. Which is smaller: r or k?
k
Let i(h) = 2*h**3 - 13*h**2 + 6*h + 1. Let r be i(6). Which is greater: 1365 or r?
1365
Let t = -132/25 - -142/25. Which is smaller: t or -51?
-51
Let t = 39 - 35. Let d = -266 + 265.73. Which is smaller: d or t?
d
Let u(t) = t**3 - t**2 + 35*t - 1764. Let h be u(0). Is -1767 greater than h?
False
Let q be (-77)/21*(-1)/(39/(-9)). Let j = 78 - 80. Which is bigger: q or j?
q
Suppose 0 = r + 3*w + 15, 2*r + 6 = 4*r - 3*w. Let z(y) = -25*y - 49. Let v be z(-8). Let l = v + -150. Do l and r have the same value?
False
Let b be (-15)/((-30)/1928) - -13. Which is smaller: 978 or b?
b
Suppose -8 + 5 = 3*g. Let q be (g/15)/(2/66). Suppose 2*s - 4 = 0, -4*s + 3 = 2*h + 1. Which is bigger: h or q?
q
Suppose -z + 24*l = 28*l + 460, z + l + 445 = 0. Is -438 greater than z?
True
Suppose 31*u - 10 = 30*u. Suppose 11*w - 39 = 8*w. Let d = w - 3. Is u not equal to d?
False
Let v = 0.14 + 3.26. Let s = v + 0.6. Let j be (-6 - 85/(-10))*(-46)/115. Which is bigger: s or j?
s
Suppose 33 - 93 = -3*z. Suppose -3*y = -3*s - z - 31, 0 = 2*s - 5*y + 31. Is s smaller than -16?
True
Let r(m) = m**2 + 8*m - 9. Let c be r(-9). Suppose -6*g + 3*g = c. Suppose 3*y + 4*q - 8 = 3, 0 = 3*y + 3*q - 6. Is y >= g?
False
Let b = -252 - -256. Let p be 45*(-50)/15 - b. Is -154 equal to p?
True
Let k(r) = -r**3 - 48*r**2 + 207*r - 36. Let l be k(-52). Is 49/3 bigger than l?
True
Suppose -2*t + 7233 = -3*c, -2543 = c - 4*t - 122. Are -0.02 and c non-equal?
True
Let b = -17225 + 17236. Which is smaller: b or 26?
b
Let x = -3853 + 3737.5. Are x and 0.1 equal?
False
Let w be (2 + -3)*5 - (-115)/(-1). Let q be (-3 + 5)*(w/(-124) - 1). Which is bigger: q or -1?
q
Let v be (24/14)/3*(-816)/(-459136). Is v at least 0?
True
Suppose -217*m + 238*m - 252 = 0. Which is greater: m or -0.5?
m
Let y(j) = j**3 - 10*j**2 + 6*j + 105. Let z be y(7). Is -1/1379 > z?
False
Let y = 1743 + -1503.8. Let u = 238 - y. Let n = -0.1 - 0. Is n bigger than u?
True
Suppose -4*s - 4*i = -424, -i - 8 = i. Let a be (-8 - (-42)/5)*s/56. Which is smaller: 1 or a?
a
Let o be 0 - -3556 - 35/28*-4. Is o <= 3562?
True
Let z be ((1/(-6))/(-1 + 0))/(147/(-741174)). Which is greater: z or -840?
-840
Suppose 3*u = 3*p - 39, 4*u - 3*p - 2*p = -55. Let r be 2976/(-322) - (-161)/(-3703). Is u less than or equal to r?
True
Let l be 77/14 + ((-10)/(-5) - 8). Is l not equal to -4?
True
Let n = -11.7 - 542.3. Let y = n + 685. Which is bigger: -3 or y?
y
Let d be (145/45 - 3) + (-127)/369. Let p = -196 + 197. Are p and d nonequal?
True
Let s(k) = 39*k - 231. Let j be s(6). Let n be 0 + (-6)/j - -23. Suppose 0 = 3*a - p - 61, -3*a - 2*a + 103 = -3*p. Is n equal to a?
False
Let o = -19 + 20. Let m = 623/6 - 34897/336. Which is greater: o or m?
o
Let r = -3495 + 3523. Is r bigger than 0.8?
True
Let p = -10244 - -13210. Is p greater than 2962?
True
Let f = 12169 + -1326397/109. Is -1 smaller than f?
True
Let j be (-66)/(-88)*6/(-109). Which is bigger: 0 or j?
0
Let v = 3212/630885 + -2/921. Let x = v + -689/1370. Which is smaller: x or 0.4?
x
Let q = 873 + -872. Let t be 63/(-32) - q - -3. Let r(b) = b - 6. Let y be r(5). Is t <= y?
False
Let k(n) = 776*n + 2750. Let d be k(-5). Is -1131 greater than or equal to d?
False
Let i(w) = -58*w**2 + 44*w + 138. Let q be i(-3). Does q = -2574/5?
False
Let t = -5262 - -5266. Is -96 greater than or equal to t?
False
Let w(r) = r**2 - r - 28. Let j be w(-5). Which is smaller: 5/6 or j?
5/6
Let v(m) = 244*m - 17. Let l be v(-1). Let t = l - -260. Does 2 = t?
False
Let r = -4117 - -238793/58. Which is smaller: r or 0?
0
Suppose 0 = -7*r - 947 + 996. Suppose 12 = -4*t + f + 3, 3*t = 5*f - 11. Let z be (-60)/(-35)*(-7)/t. Is z smaller than r?
True
Let s = -97/447 + -67/149. Let n = 292.4 + -342. Let w = n - 16.4. Which is greater: s or w?
s
Suppose -18*y + 88 = -14*y. Suppose 3*x - y = 4*k + 70, -3*k + 5*x = 80. Is k greater than -18?
False
Let f = 0.06449 - 0.06449. Which is smaller: 1561 or f?
f
Let m = 49.8 + 10.2. Let v = -60 + m. Which is bigger: 5.5 or v?
5.5
Let i = -35 + 66. Suppose 4*y - 211 = -i. Let j = y - 37. Which is smaller: 9 or j?
j
Let g be (-11160)/432 - 8*1/2 - 3. Suppose 2*c + 3*q + 61 = 4*q, -4*c - 147 = 3*q. Is c not equal to g?
True
Let f be 0/(-3) + 1 + -27. Let u = 308766/11815 + -2/35445. Let s = f + u. Is s >= 2/3?
False
Let q(i) = -4*i - 3. Let x be q(-2). Suppose 0 = 5*n, 0*n + 30 = x*r - 2*n. Let a be (11 + -10)/((-3)/r*-2). Which is smaller: a or -4/53?
-4/53
Let r be (858/(-36))/(-13) - 7. Let n(v) = -v + 4. Let g be n(5). Let w be g + -4 - (-1)/(-1). Which is bigger: w or r?
r
Let i(t) = 3*t**2 + 6*t + 5. Let j be i(-3). Let y be (-30)/(-9) + -4 - j/(-48). Which is greater: 0 or y?
0
Let v = 255 - 222. Suppose f + v = -14. Is -47 less than or equal to f?
True
Suppose 2*m + 3 = -m. Let y be ((-22)/55)/(2*7). Let k = 164/385 - y. Do k and m have the same value?
False
Let n be (18/7)/(-12*(-1)/168). Suppose 2*f - v = n, -f + v - 4*v = -18. Let m(b) = -2*b + 5. Let r be m(-7). Is f > r?
False
Let k be (-1275)/(-3)*196/(-20). Is -4165 greater than k?
False
Suppose 277 + 62 = -95*a - 1846. Is a <= 117?
True
Let l(v) = 119*v - 3506. Let f be l(54). Is f != 2921?
True
Let n = -411 + 413.78. Let t = -2.78 + n. Are t and 212 nonequal?
True
Let m = 15862 - 15849. Let x(n) be the second derivative of n**5/20 + n**4/12 - n**3/3 - n**2/2 + 3*n. Let z be x(-1). Which is greater: z or m?
m
Suppose 0 = 7*d + 4*d - 55. Let t be (-696)/60 - (-3)/d. Which is greater: -9 or t?
-9
Let v = -10097 - -10100. Is v at most 465?
True
Let j be (2 - 80/42)*9495/2130. Let k = j + 2/497. Which is greater: k or 0?
k
Let w = 5738 + -22953/4. Which is bigger: w or 0.0011?
0.0011
Suppose 5*d + 88 = 3*o, 0 = o - 4*d - 27 - 14. Suppose 6*u = 4*u + 60. Let r = u + -8. Which is bigger: r or o?
r
Let p = 32/5 + -6. Suppose -v + 2*s = -29 - 40, -4*s - 24 = 0. Which is smaller: p or v?
p
Let w = -75429777/172046 - 15/24578. Let l = w - -439. Is l greater than or equal to 15?
False
Let t = -11.44 + 1.34. Is 0.12 <= t?
False
Let v(b) = -b**3 + 10*b**2 - 9*b + 9. Let s be v(9). Suppose -4*h = -h + s. Let y be h/(-7) - 30/21. Is y greater than or equal to -5/22?
False
Let d = -1321/66 + 101/6. Let j = -8169 - -8167. Is j < d?
False
Let x = -18 + 9. Let a be ((-47)/20)/((-609)/(-145)). Let c = a + -3/28. Which is smaller: c or x?
x
Let q = -12 - -35/3. Let i = -227.83 - -273.83. Is i != q?
True
Let q be 24/(-756)*-28 + ((-15)/27)/(-5). Let r(p) = -127*p**2 + 2*p + 1. Let n be r(-1). Let h be n/(-20) - (-4)/(-10). Is h > q?
True
Let n(d) = -d**2 + d - 5. Let x(j) = j**2 + j - 1. Let b(c) = n(c) + 3*x(c). Let q be b(-7). Let r = -75 + 137. Is q at most as big as r?
True
Suppose 4*z - 33 + 17 = 0. Suppose 19 = 3*v - 4*b - 4, v = z*b + 21. Is -6/71 < v?
True
Let c be -2 + ((-770)/150 + 5)/(-4)*(-325)/(-2). Suppose -o = -3*o + 4. Do o and c have different values?
True
Let z be 4/(-3)*(-256500)/360. Is 951 != z?
True
Let i be 1 + (0 - -1) - 188352/1090. Let a = i + 6428/35. Which is smaller: 0.2 or a?
0.2
Suppose r = 16 - 36. Let l = -30 - r. Let j = 13 + l. Which is smaller: 19/5 or j?
j
Let t = -79922/7 + 77670/7. Which is bigger: -323 or t?
t
Suppose 5*v - 8 = 3*v. Suppose -120 = -v*q + 8*q. Suppose -14*g = -19*g - 150. Is g != q?
False
Let u = 6055/2 + -3028. Is 212 less than u?
False
Suppose -33*q + 272 = -41*q. Let l(b) = -2*b**2 - 5*b + 8. Let x be l(-6). Let o = x - q. Which is bigger: o or -2/23?
o
Suppose 27374 - 1064 = -15*z. Which is greater: -1750 or z?
-1750
Let y = -2.1 + 2.3. Let r = -32.8 - y. Let t = 32.9 + r. Do t and -0.22 have different values?
True
Let d = -140 + 151. Let g = d + -10.5. Is g at most as big as -3/4?
False
Let k = 19.177 + 0.223. Let l = -17.4 + k. Suppose -2*c - c = 15. Which is bigger: c or l?
l
Let q = 8.052 + -0.052. Let k = q