0, 3 = -a + r*n - 11. Is -61/6 at least a?
False
Let v = 957 - -85. Are -3 and v nonequal?
True
Let d = -1593 + 1107. Let h be (-105307)/217 - 18/(2772/110). Is d >= h?
True
Suppose -2*v = -y + 4 + 5, -2*y - 2*v = -42. Suppose -2*g = y - 55. Let m = -288 + 286. Which is bigger: m or g?
g
Suppose -103*c + 11 = 114. Is c at least as big as -3/3031?
False
Let v = -4042/1753 - -12952811/194583. Let h = v - -644/37. Is 83 != h?
True
Let x be (24 - 26) + 5*6/30. Is 24/175 != x?
True
Let c = 25780/80223 + -12/1573. Let i = 1/51 + c. Let z = 653/119 + -38/7. Are i and z nonequal?
True
Let a = 1268098.003 - 1267579. Let q = a + -519. Is q smaller than -2?
False
Let z be (-2)/(-1 + -1 - 0). Let l be (-3)/(-3) + 1 + 269/(-140). Let i = l - 1/140. Is z <= i?
False
Let m = 2941 + -3080.1. Let g = m + 138. Which is smaller: g or 0.02?
g
Suppose -62*v - 62*v - 13*v = -1312049. Is v <= 9579?
True
Let t be 1*-543*(-1)/3. Suppose 12*x + 193 - t = 0. Is x at least 3/280?
False
Let x = 4577972 + -86957803/19. Let n = -1246 + x. Is -1 at most n?
True
Suppose 0 = -346*t + 347*t + 15. Are t and -83 equal?
False
Let g = -0.4 - -0.56. Let l = 0.19 - g. Let o be ((-3 - -2)/(-2))/((-4)/10). Does l = o?
False
Let z = 5.085 - 5.285. Let c = 4 + -3. Is c greater than z?
True
Let s be ((-8)/(-8))/(10/4144). Let x = s - 433058/1045. Is 1 at most as big as x?
False
Let z(i) = i**2 - 36*i + 95. Let r be z(41). Let p = -203 + r. Is p bigger than 95?
True
Let f = -11.84 + 11.9. Let j = 5 - 7. Let r be j/3 - (-204)/252. Which is smaller: r or f?
f
Suppose -2143 = 83*p - 566. Let i be ((-9)/24)/(18/12). Is i at least as big as p?
True
Let o = -4127 + 3896.7. Let p = -230 - o. Which is smaller: p or 13?
p
Let q(y) = -y**2 - 10*y + 67. Let c be q(-8). Is 15 at least as big as c?
False
Let p = 404.0117 + -0.0117. Let t = 406 - p. Let r = 0.31 - 0.3. Which is bigger: t or r?
t
Let b = -38 - -4. Let u = -28.1 - b. Let s = -5.8 + u. Is -4/21 >= s?
False
Let s = -5 - -4.6. Let c = s - 0. Let b = 9540.7 - 9541. Is c smaller than b?
True
Let o = -1/131270 - -267931/707676570. Is 1 at least as big as o?
True
Suppose -5*q + i - 45 = 0, q + 8*i + 13 = 9*i. Let c be 0 - 8*(7 + q). Which is smaller: c or 9?
c
Suppose -5 = -5*t + 5*z, -t = 5*z + 3 + 8. Let p = 102 - 55. Is p less than t?
False
Let w = -10402.928 - -10486. Let y = w + -83. Let t = -0.128 - y. Is -50 < t?
True
Let v = 63758.748 + -63597. Let u = v + -162. Does -1 = u?
False
Let f = 269/2 + -401/3. Suppose -4*q + 263 = 51. Let s = q - 52. Is f not equal to s?
True
Let k = 4315 + -10024. Does -5709 = k?
True
Let w = -107.71 - -112.4. Let c = 7.69 - w. Is c > -16/7?
True
Let z be (6/(-4))/((-96)/20032). Which is bigger: 307 or z?
z
Let f = -6.31336 - -0.31336. Which is greater: f or 0?
0
Let k(w) = -166*w - 824. Let b be k(-5). Are b and 125/21 non-equal?
True
Suppose 0 = -f + 2*f - 63. Suppose -4*l - 3*l + f = 0. Suppose 8*h - l*h = 2. Is -13 smaller than h?
True
Suppose 2*b + 52 = -2*n + 4*b, -5*b + 25 = 0. Let x(r) = -17*r**3 + 2*r**2 - 2*r + 1. Let v be x(1). Let u = v - n. Are u and 0.1 non-equal?
True
Let c = -244.5 - -246. Let o = c - -3.5. Is o less than or equal to -9?
False
Let g = 2467/3 - 822. Which is bigger: 1040/17 or g?
1040/17
Suppose -5*t = -2*a + 884 + 4011, 0 = -5*t - a - 4895. Are -977 and t non-equal?
True
Let v = 31.735 + -0.235. Is v bigger than 2?
True
Let a = -8258 + 5468. Let r be (3/(-20))/(a/75). Which is bigger: -1 or r?
r
Let u = -903681/32 - -28240. Are 2/179 and u non-equal?
True
Let l = -0.2 + 5. Let h = -11325 + 11324.8. Which is bigger: h or l?
l
Let p = 5.96554 + 0.03446. Is 69 at least as big as p?
True
Let g = 10.5 + -10.128. Let p = -78.472 + g. Let h = 78 + p. Does -30 = h?
False
Let b = -269 - -270. Suppose 3*h + 3*m - b + 43 = 0, -5*h - 70 = 2*m. Is h less than 0?
True
Let q = -30649/665 + 198/133. Let m = 44 + q. Suppose 0 = -2*u + b - 11, b = -0*b - 5. Is u greater than m?
False
Let q = -23.722 + 23.71102. Which is greater: q or 1/3?
1/3
Let u(y) = -4*y. Let k(m) = -m**2 + 33*m - 33. Let n(v) = k(v) + 5*u(v). Let o be n(5). Is o at most 5?
False
Suppose 4*z + 2*m = -692, 5*z - 226*m = -222*m - 878. Which is smaller: -167 or z?
z
Let f be (1371140/12)/(112/(-6)). Let a = -134800441/22022 - f. Let z = a - 3/968. Is -1 < z?
True
Suppose -3*l = -2*m + 10, -4*m + 20 = 28*l - 31*l. Is l at least as big as -1/476?
True
Let n = 2.8 - -9.2. Let g be (-4*(-18)/120)/((-3)/(-2)). Let r = 1/15 - g. Which is smaller: n or r?
r
Let p = -6 - -9. Suppose -5*h = -9 + 4. Suppose -2*d = -h + 11, 24 = -p*x - 3*d. Which is smaller: 1/3 or x?
x
Let b(m) = -m**3 - 14*m**2 + 16*m + 45. Let o be b(-15). Let g be (0 + 48)*3/((-54)/(-12)). Which is greater: g or o?
g
Suppose t + 14 = 21. Let l be 16*t/(-18) - 4/6. Let y = 203/36 + l. Which is smaller: -2 or y?
-2
Let c be 1/((-4)/20)*-1 - 3811/767. Which is smaller: c or 0?
0
Let i = 17594 + -17817. Is -261 smaller than i?
True
Let t be 67/440*(20/6)/(-5). Let h = 8/165 - t. Is 1 at least h?
True
Let q be (2 + (-93)/(-4)*2)/((-55)/110). Let v be ((-12)/5)/(6/240). Is q not equal to v?
True
Let w = -49/3 + 16. Suppose 2*k = u + 13, 0*k - 3*k + 4*u + 27 = 0. Suppose 25 = k*p, m + 13 + 0 = 5*p. Are w and m non-equal?
True
Suppose 0 = -j + 2*y + 86, 55*y - 1 = 54*y. Which is greater: j or 91?
91
Let y = 21014 + -1344903/64. Let u = -7 + 7. Is u < y?
False
Let a(v) = v**3 + 30*v**2 - 115*v - 251. Let f be a(-34). Which is bigger: f or -963?
-963
Suppose 191*p - 1096 - 623 = 0. Which is bigger: 131/16 or p?
p
Let p = -140 + 118. Let u be (-196)/3*3/2. Let x be 4/p - u/55. Is x greater than 3?
False
Suppose -2*u = 4*n - 5 - 21, -3*n + 7 = -u. Suppose -n*f + 1 - 10 = 3*r, 2*f = 2*r - 8. Suppose j = 2*q + r + 7, 2*j = 2*q + 12. Which is bigger: q or -13/8?
-13/8
Suppose 7675 = -2*f - 5*m - 2403, 0 = 4*f + 5*m + 20186. Is f greater than or equal to -5053?
False
Let n be -1339 + 10 + (-290)/26 + (-4)/(-26). Which is smaller: n or -1339?
n
Let y be (-6)/18 - ((-48)/(-9))/(-1). Suppose 0 = y*j - j. Suppose -f + 218 = 4*f + r, -2*r + 6 = j. Is 44 <= f?
False
Let r be ((16/(-14))/(-4))/((544/187)/8). Is r smaller than -1/3?
False
Suppose -a - 24 = -4*k, k - 166 - 11 = 5*a. Let q be -1 + a/(-44) + (-1908)/33. Suppose j - 174 = 4*j. Is q less than or equal to j?
True
Let k be (-12)/(-48) - 38/(-8). Suppose -4*y = p + 102, -210 = 2*p - k*y + 7*y. Is -107 at most p?
True
Let m = 0.5242 - 0.5342. Which is smaller: 71 or m?
m
Suppose t = 3, -26 = -5*y + t - 94. Let j be (970/15)/(-3 - (-28)/9). Let b = -596 + j. Is b >= y?
False
Suppose -1164524 + 184349 = -175*k. Which is smaller: 5598 or k?
5598
Let l be 45303/(-9)*6/(-14). Let p = -2167 + l. Which is smaller: -11 or p?
-11
Let o(t) be the third derivative of t**4/24 - 13*t**3/2 + t**2 - 4. Let d be o(22). Which is smaller: -6 or d?
d
Suppose 3*h - 16 = 3*i - 1, 5*h = i + 13. Let c be (-40)/6 - h/6. Let v be (2/(-4))/(-74 - (-17784)/240). Is c less than or equal to v?
True
Let b(r) be the second derivative of -r**5/20 + 25*r**4/6 - 8*r**3 - 17*r**2 - 135*r. Let h be b(49). Let o = 20 + -4. Is h greater than or equal to o?
False
Suppose -5*y = -3*n - 638, -3*y + 5*n - 51 + 421 = 0. Let h = y - -235. Is 365 at most as big as h?
True
Suppose -z - 12 = -13*z. Let h be 1488/18 + (z - 0) - 2. Let i = 81 - h. Which is smaller: -0.44 or i?
i
Let j = -52 + 35.5. Let t = 45 - 61. Let r = j - t. Which is smaller: r or 0.07?
r
Let c = 32362/3 + -10821. Which is smaller: 1/5 or c?
c
Suppose q + 61 = -3*f, -4*f - f = 3*q + 179. Let r = -79 - q. Suppose 2*p + 8 + 34 = 0. Is p at least as big as r?
True
Suppose -619*v = -18*v - 18049 - 22218. Let b = 2.5 - 3. Let u = -0.4 - b. Which is greater: u or v?
v
Let k(u) = u**2 + 15*u + 14. Let p be k(-14). Suppose 0 = -5*t, p*v - 10 = -5*v - 4*t. Let c be 3536/(-88) - v/(-11). Which is greater: c or -41?
c
Let q = -119 - -145. Suppose 0 = -33*t + q*t + 490. Let n = 89 - t. Is n equal to 21?
False
Let i = 5582.13 + -5580. Which is smaller: i or 1.5?
1.5
Let h = -5109.9 - -5110. Which is smaller: -0.12934 or h?
-0.12934
Let c = -73683/10 - -7368. Let r = -5 + 8. Suppose -r*w + 4*w = -1. Does w = c?
False
Let m be (152/(-342)*3/2)/(-1143). Which is bigger: 0 or m?
m
Let c(y) = -2*y**3 - 25*y**2 - 10*y + 16