b + 6*b. Suppose 13*o - 5*o - 16 = b. Are 29/18 and o non-equal?
True
Let p = 193.2 + -36.2. Let n = -116 + p. Are 0.1 and n equal?
False
Let z(s) = -4*s**3 - 3*s**3 + 5*s + 5*s**3 + 6*s**2 + 3*s**3. Let q be z(-5). Suppose -2*k - 22 = -20. Which is greater: q or k?
q
Let y = -2798.8 - -2800.4. Let h = 3 - 2. Is h equal to y?
False
Suppose -5*q + 1308 = -q + 4*r, -r = -5*q + 1617. Suppose -4*k - 2*d + 1635 = k, k + d = 330. Which is smaller: q or k?
q
Let s = -31 + 33. Suppose -36 = -5*n - 3*q - 1, -s*n - 17 = -5*q. Does 2/9 = n?
False
Let z = 9506 + -9507. Which is bigger: z or -1/2160?
-1/2160
Let y = 325405 + -325435. Suppose 8*l - 3*l = 0. Suppose l*m = 4*m + 120. Is m at least y?
True
Let a(s) = 4*s**2 + 2*s - 2. Let r be a(-2). Suppose 0 = 3*h + 4*m + 1298, 2*m + 3*m + r = 0. Let u = h + 3856/9. Which is smaller: -1 or u?
u
Suppose 0 = -12*y + 19 + 29. Let q be (-3182)/12 + 2 + y. Let z = 261 + q. Are 2 and z unequal?
True
Let n(x) = -x**2 - 207*x + 207. Let r be n(1). Which is smaller: r or 20/109?
r
Let n = -2/29123 - 1368725/815444. Is n < -1?
True
Let z = 4909 - 4908. Let r = 79.6 + -0.6. Is r greater than z?
True
Let a be (-28 - -36)*(-6)/(-8) + 1460/(-246). Which is greater: 0.1 or a?
0.1
Let y = 91793/8370 + -329/30. Which is smaller: -1 or y?
-1
Let x = 28631 - 7690. Is 0 <= x?
True
Let q = 358 - 293. Let v = q - 144. Is -80 equal to v?
False
Suppose 0 = -17*k + 10*k + 7553. Suppose -k - 561 = 10*t. Does -164 = t?
True
Let y(p) = 15*p - 348. Let w be y(22). Suppose 4*f + 12 = -0*a - 2*a, 0 = 2*a + 2*f + 2. Let c be (w/a + 3 + -2)*2. Which is smaller: 5 or c?
c
Let r(d) = 6*d + 56. Let y be r(-23). Let w = 87 + y. Is 34/9 != w?
True
Let q = -5406 + 5391. Suppose 0 = -4*o - 5*j - 64, 5*o - 3*j + 80 = 2*j. Is q >= o?
True
Let o = 150 - 69. Let g = o + -63. Which is smaller: g or -0.1?
-0.1
Suppose 3*q = -m + 1021, 0 = -4*m + 4*q - 3*q + 4058. Suppose -m = 83*x - 76*x. Which is greater: -144 or x?
-144
Let u = 8 - 5. Suppose 0 = 2*p + i + 278, -u*i + 8*i + 294 = -2*p. Is p at least as big as -0.1?
False
Let z = -839/66 + 73/6. Let o(h) = h**3 - 4*h**2 + 6*h - 2. Let r be o(1). Which is smaller: r or z?
z
Let j = 42 - 145. Let f = j + 102. Are f and -0.7 nonequal?
True
Let q be 2/8 - (-154)/(-8). Suppose 34*b - 10 = -3*y + 30*b, -3*y + 5*b = -1. Let d be y*186/48 + -8. Is d bigger than q?
True
Let w = -12 - -14. Let r be (-20)/(-6) - 2 - 2/(-3). Let u be 0 - r/(6/(-3)). Is w > u?
True
Suppose -4*m = 3*c - 494 - 905, -3*m - 4*c = -1051. Is 349 at most m?
True
Let g(u) = -51*u - 56. Let z be g(-2). Is z not equal to 46?
False
Let u be (-28)/(-49)*(-14)/4. Let d be 198/42 + u/(-7). Suppose -2*k = -3*q + 26 - 7, -60 = 5*k + d*q. Is k at most as big as -2?
True
Let k be (4 + (-140)/(-42))/(2/(-387)). Is -1419 <= k?
True
Let w be 0 - (23 + -3 - -2). Which is smaller: -823/40 or w?
w
Let w = -6140695/13 + 472043. Let l = w + 318. Let b = -20 - -20.02. Which is smaller: b or l?
l
Suppose p + 3*n + 4 = 0, 0 = -2*p - 2*n + 8 - 4. Let t be (-62)/(-12) + p/(-30). Suppose 0 = 29*c - 24*c - t. Are c and -2/17 equal?
False
Let v = -295 + 690. Let j be (2 + (-785)/v)*(-12)/(-6). Let p = -1 + 2. Is j at most as big as p?
True
Let n = 62.18 + -284.18. Is n greater than 0?
False
Let t be 6/(-30) + -2 + 1293/15. Let l = 87 - t. Which is smaller: l or 14?
l
Suppose -2*l - 1 = -3. Suppose -3 = -2*p - k, 2*p = -4*k - l - 5. Suppose -p*x - 38 = 5*u, -5*u - 2*x + 22 = 64. Which is smaller: u or 1?
u
Suppose -23*j + 15*j + 162000 = 28*j. Does 4500 = j?
True
Let m be 34/1071*-6306 - (-2)/(-14). Is m > -199?
False
Let h = 1.5 - 11.5. Let x = h + 10.01. Let g = x + -14.01. Which is smaller: 0.1 or g?
g
Suppose 89*j = -237*j + 326. Suppose -4*b - w - 522 = 0, -5*b = w + 81 + 571. Let i be 8/b + 6/(-15). Which is greater: j or i?
j
Let f = -2 + -4. Let h be (-16 - -21) + (-1314)/10. Let a = -131 - h. Which is bigger: f or a?
a
Let g(u) = -3*u**3 - 4*u**2 + 13*u - 49. Let l be g(-6). Which is smaller: l or 374?
374
Suppose 3*z + 142 = 8*z + 4*o, 5*o = -2*z + 67. Suppose -4*q + z = 3*s, -2*s - q - 10 = -4*s. Let m be 2/(-9)*2/(4/s). Is m > -2?
True
Let v = -597.9 - -598.3. Is v <= -1057?
False
Let o be 1*-4*36/(-16). Let w = -30 + o. Let y = w + 20. Is 2/45 >= y?
True
Suppose -24*z = -1373 + 29. Let l be (-1141)/z*-2*4. Is l at most as big as 164?
True
Let t(y) = -78*y - 2. Let k be -5 - (5 + -9)*1. Let u be t(k). Which is bigger: 77 or u?
77
Suppose 53*s + 148*s = -42*s + 5589. Let r be 3*1/(-3)*1. Let k be (r - 1)*(-46)/4. Are k and s equal?
True
Let k(g) = -g**3 - 70*g**2 - g - 57. Let i be k(-70). Is 202/17 < i?
True
Let f(q) = -226*q - 11. Let l be f(-13). Let d = l - 108307/37. Which is smaller: 1 or d?
d
Let c be 448/(-240)*(-366 - -18). Which is bigger: c or 649?
c
Let c(d) = -9748*d + 10. Let g be c(8). Let a = 1167988/15 + g. Let p = a + 316/3. Which is bigger: p or -3?
p
Let g = -14 + 10. Let h be (g - 0)/(4/(-3)) + -15. Let y be ((-6)/15 + h/(-5))/2. Which is smaller: -3/10 or y?
-3/10
Let m(z) = 2*z**2 + 62*z + 24. Let l be m(-16). Let i = l - -457. Do i and -2/53 have different values?
True
Suppose 19 = 5*q + 14. Suppose -6 = -2*h + 3*u, 4*u + 0*u = 0. Is q at most as big as h?
True
Let u = 11935/13675884 + -1/10651. Are 1 and u equal?
False
Let w(f) = f**2 - 9*f - 21. Let y(j) = j + 27. Let o be y(-15). Let n be w(o). Suppose -2*z + g - n = -65, -62 = -3*z - 5*g. Is 24 < z?
False
Suppose 0 = -23*i + 20*i + 138. Let x(c) = -24*c + 1701. Let f be x(69). Is i at most f?
False
Let w be (-5)/(100/8)*-5. Suppose 0 = -5*h - w*x - 16, 0*h = 4*h - x + 5. Let s be 5/h*8/40. Which is smaller: -6 or s?
-6
Let w be (3/64)/(67/268). Which is bigger: -17 or w?
w
Let o be (((-3)/(-4) - 1)*0)/(-4). Let h = 807 - 841.9. Let u = h - -35. Is u <= o?
False
Let y(c) = 11*c + 170. Let d(p) = 9*p + 170. Let a(b) = 5*d(b) - 4*y(b). Let o be a(-5). Is 167 bigger than o?
True
Suppose 3*m + l = 27, -2*m + 12 = m - 4*l. Suppose 0 = m*g + 4*g + 504. Suppose -2*d = -33 + 119. Which is smaller: g or d?
d
Let z = -40613/108 - 9766/27. Is z at most -737?
True
Suppose 0 = -2*j + 2*s - 1160 - 240, 2*s + 2788 = -4*j. Let a = j + 529. Is a at most as big as -170?
False
Suppose -7*j + 5*j = -60. Suppose v + j = 74. Let l be (-1 + (-141)/(-12))*(-2 + 6). Is l not equal to v?
True
Let v be (-5790696)/482380 + 12/1. Which is bigger: -1 or v?
v
Let u be 2 - ((-49)/(-10) - 2). Let w be (-446)/(-60) - (9 + 6 - 9) - 2. Let x = u - w. Which is smaller: -62 or x?
-62
Let h = 1537/1752 - 1/438. Let v = 29/1008 - 3211/5040. Let q = h + v. Which is smaller: q or -1?
-1
Let g be 9210/66 + (-66)/121. Suppose -x = g - 138. Is -6/79 greater than x?
True
Let m = -672 - -676. Suppose -y - 705 = -m*s - 166, s - y = 134. Which is greater: s or 132?
s
Let q = 15 + -14.8. Let t = -0.248 + q. Let b = -0.117 - t. Is b greater than 1?
False
Let w be 5 + 10564/(-2264) - 3/9. Let a = w - 98491/11886. Which is smaller: -8 or a?
a
Suppose 0 = 5*y, -3*n - 5*y - 93 = -2*y. Suppose -2*j + 8 = 0, 49 = 5*u - 8*j + 226. Which is smaller: u or n?
n
Suppose 0 = 13*y - 226 - 21. Let u = -61 + 79. Which is greater: y or u?
y
Let b = -74 + 63. Let q be (-8)/44 - 2/b. Suppose 7*o - 9*o = q. Which is greater: -1/20 or o?
o
Let z(o) = o**3 - 8*o**2 + 12*o - 16. Let m be z(7). Let q be ((-117)/(-36))/(2/(8*1)). Suppose -3*g = -2*r - m, g - 5*r = 5*g + q. Is 5 at least g?
True
Let k(f) be the first derivative of -f**2 - 20*f - 19. Let x be k(-10). Suppose 3*a + x*r = -3*r - 6, 2*a - 24 = 5*r. Which is bigger: 1 or a?
a
Let x be (-8 + -2)/(((-2)/(-24))/((-36)/(-8))). Which is greater: x or -2159/4?
-2159/4
Suppose -2761 = -419*x - 1923. Let p = 2 - 1. Which is smaller: x or p?
p
Suppose -5*u - 2*j = -3*u, 0 = 2*u - j - 15. Suppose -3 - 2 = u*y. Let z be ((-3)/26)/(17/204). Is y <= z?
False
Suppose 2*a = 5*f - 4463, 64*a + f + 2200 = 63*a. Which is smaller: -2213 or a?
-2213
Let p = -12564 - -12561.159. Which is smaller: p or -1?
p
Let i = 2478 - 2477. Do -3/340 and i have different values?
True
Let o = 62 + -61.34. Let s = o + -38.66. Let p = 37 + s. Is -5/4 less than or equal to p?
True
Let i be (-4060)/(-9324) - (1/15)/((-12)/(-20)). Which is smaller: -1 or i?
-1
Suppose -5*x - 772 = 2*u, 5*x - 33 - 1757 = 5*u. Is -342 at least 