5075.67. Let i be 0 - -2 - 18/8. Is i equal to b?
False
Let t = -805 - -520. Let j = 199 + t. Let m = 56 + j. Is -30 greater than m?
False
Let q = 2.29 + -2.1. Let r = 0.04 + q. Let b = r - 1.23. Is b smaller than 0.4?
True
Let o be (-304)/(-3 + (-3)/((-12)/8)). Which is smaller: o or 310?
o
Let a = 93 + -69.4. Let p = a + -23.68. Which is smaller: p or 7?
p
Let t = -53 + 40. Let c(s) = 2*s + 16. Let f be c(t). Let x be (-2)/(-1*f/(-5)). Is -2/105 at least x?
False
Let k(y) = -74*y**3 - 13*y**2 - 10*y + 24. Let g be k(4). Are -2/11 and g unequal?
True
Let q(h) = -19*h**2 + 11*h + 31. Let j be q(-3). Let c = -131 - j. Is 44 at most c?
False
Let l(b) = b**3 + 20*b**2 + 44*b - 82. Let w be l(-17). Is 8 smaller than w?
True
Let y = -2692/1795 + -1/3590. Are y and -2/3551 nonequal?
True
Let f(k) = -4*k**3 + 5*k**2 - 6*k - 3. Let m be f(-5). Suppose -l - 317 = 2*c, 7*c = 3*c + 4*l - m. Is -161 at most as big as c?
True
Suppose -10*w = -2*t - 5*w - 3, 0 = -4*t - 3*w + 7. Let k be 2 - 4/(-1 + 2). Let g be -1 - (20 - k - t). Which is smaller: -20 or g?
g
Let b be ((-6)/(-14))/((-170)/(-248710)). Is 628 greater than or equal to b?
True
Suppose -46 = 2*s + 5*l, 254*l + 20 = 259*l. Which is bigger: -0.26 or s?
-0.26
Let j = 7044 - 7128. Which is smaller: -116 or j?
-116
Let c(b) = -b**3 - b**2 + 2*b + 5. Let a be c(-4). Let d = a + -98. Is d at most as big as -53?
True
Suppose -206*l = 1050706 - 103106. Is -4599 greater than or equal to l?
True
Let c be 6/5 + 12/15. Suppose -c + 6 = b. Suppose b*g + f - 8 = -3, 2*g + f = 3. Is g less than 1?
False
Let r = 6.96 + 154.14. Let p = r - 196. Let n = p + -10.1. Is n > -1?
False
Let s = 6032 - 6031. Which is smaller: 2/26463 or s?
2/26463
Suppose 2*j + 24 = -4*q, 59*q - 56*q + 5*j = -11. Let p = 15 + -27. Which is smaller: q or p?
p
Let p = 72 + -134. Let m = p + 102. Let x(y) = y**2 + 45*y - 156. Let a be x(4). Are a and m nonequal?
False
Suppose 0 = 2*v + 3*t + 50, -4*v - 78 = -v + 5*t. Is -10 at least as big as v?
True
Let z be 134/78 + 2/(-6). Suppose 0 = -71*k + 75*k - 4*c - 8, -k + 5*c + 10 = 0. Is z greater than k?
True
Suppose 76 = 8*z - 4*z. Suppose 20*b = z*b + 3. Let v be (1 - (1 - 40)) + -3 + b. Is v <= 41?
True
Suppose -24*y = -205*y. Let i be 13/(-36)*(1 + 1). Which is bigger: y or i?
y
Let a(o) be the first derivative of -o**4/4 + 11*o**3/3 - 21*o**2/2 + 21*o + 223. Let u be a(9). Which is smaller: 1 or u?
u
Let j = -84 + 82.72. Let g = -1717.1 - -1717. Which is bigger: g or j?
g
Let k be 2*-3 + (1362/150 - 3). Let z = -157 + 152. Is z != k?
True
Let a be -3*(-3)/2*(-19)/(-16188). Which is bigger: 1 or a?
1
Suppose -783*u = -638*u - 421080. Does u = 2904?
True
Let m = -41.7 + -13.3. Let w = m - -111. Let o = w - 57. Is o at least as big as 0?
False
Let r = 621 + -624. Let g = 2.5 - 2.26. Let j = g + 11.76. Is j less than r?
False
Let d = 0.169 + 12.031. Let z = -10.2 + d. Which is smaller: 13/3 or z?
z
Suppose -2 = -j + 2*z, -3*j + 3*z = -30 + 21. Let q be j/(-40)*2 - (2 + -2). Let m = -66.7 - -64. Which is greater: m or q?
q
Let a = -69/20 + -1903/260. Which is smaller: -4 or a?
a
Suppose -b = -28*h + 33*h - 10, 3*b + 25 = -4*h. Let i = -2 + 3. Suppose 4*o = 5 - i. Is b < o?
True
Let i = -37 - -43. Suppose i*l - 11*l + 100 = 0. Suppose 2*j + 2*j + l = 0. Is j > -6?
True
Let n be 96/(-9) - (-2)/(-6). Let h = n - 11. Suppose -4*z + 3*t - 25 = 74, -5*z = -5*t + 130. Which is bigger: z or h?
z
Let c = -102 - -7. Let d be (-1)/((-40)/146) + 38/c. Which is smaller: -1/4 or d?
-1/4
Let b = 260 + -10142/39. Let k(v) = -11*v - 375. Let g be k(-34). Is g > b?
False
Suppose o = 2*y, -o + 6 = -0*y - 5*y. Suppose 25*n + 600 = -5*n. Let z be (-4)/(-28)*(2 + n). Is y smaller than z?
False
Let i be -4 + (-5 - (-85988)/(-70)). Is i at most -1237?
True
Let i = 23 + 35. Let p = 7568 + -7508. Which is greater: p or i?
p
Let h = 14543 + -9631. Which is greater: 1/2 or h?
h
Let r be -8 + 0 - 10653/67. Let b = -40 + r. Is b at least -0.1?
False
Let i = -333306/28145 - 8/2165. Are -11 and i equal?
False
Suppose -4*d - 5*i = -3*d - 8, -2*d - 2 = 4*i. Let g(l) = 2*l**2 - 20*l + 10. Let j be 130/14 + ((-348)/42 - -8). Let r be g(j). Is d != r?
True
Let p be (-6020)/(-36) + 2/(-9). Suppose -118*h = -67*h - 8517. Is h less than p?
False
Let p = -2116 + 2115.7. Do 96 and p have different values?
True
Let q = 1.094 + -8.094. Let k = 14 - 19. Let w = -5.5 - k. Which is smaller: w or q?
q
Let h = -0.44 + -160.16. Let v = -28.6 - h. Which is greater: 0.2 or v?
v
Let s = 2298.71 + -2289. Let j = -0.29 - s. Let k = -13 - j. Is k > -0.2?
False
Let m(r) = -10*r**2 + 56*r - 8. Let z(v) = 6*v**2 - 57*v + 9. Let l(x) = 4*m(x) + 3*z(x). Let q be l(4). Which is bigger: q or -143?
-143
Let g(d) = 17*d**2 - 548*d + 4616. Let a be g(14). Let h be (1/1)/(1/275). Which is bigger: a or h?
a
Let y = 10480 + -16211. Which is greater: -5732 or y?
y
Suppose 4*r - 12 = 8*r - 2*f, 18 = 2*r + 5*f. Is r at most 457?
True
Suppose 0 = -3*i + 3*m - 60, -2*i + 3*m - 5*m - 24 = 0. Let y be 4/i - (325/4)/(-5). Suppose 3*k = -5*a + 51, -2*k + 0 + 34 = 2*a. Is k smaller than y?
False
Let a be 1/(-3) + 5131/(-33). Let b = -157 - a. Suppose -6*m + 30 = 0, y + y + 3*m = 15. Which is bigger: b or y?
y
Let b = 13468544/141 + -95521. Let n = -12/47 + b. Does n = 3/7?
False
Let f = -321 - -231. Let r be 18/f*2/2. Let q = -5/9 - -2/9. Is r greater than or equal to q?
True
Let p be (308/(-6))/(-14) + -10 + 6. Is 1.534 greater than or equal to p?
True
Let r be (-4600)/300*(-4 - -6)*(-126)/4. Which is greater: 3863/4 or r?
r
Suppose -3*k + r = 4*r + 3, -5 = -k + 5*r. Let b(y) = 4*y - 4*y - 15 + k*y - 6*y**2 - y**3 + 5*y. Let t be b(-7). Which is bigger: -6/11 or t?
-6/11
Let l = -128 + 22. Let g = l + 151. Let n be (7/(224/(-36)))/(g/12). Is n greater than or equal to 1?
False
Let n be (-20)/(-6)*(21/2)/7. Suppose 5*j - 5 = -n*x + x, 0 = 2*x. Suppose -5*z + 3*f - 13 = 0, -f - 6 = 4*z + j. Are z and -7/4 equal?
False
Let t = -930.137 + 930. Let c = -128.137 - t. Do c and -3 have different values?
True
Let p = 10676/15 - 712. Let i be 2 + -1*(0 + 8). Let w be 1/(2/i) + 3. Is p less than w?
True
Let z = 106 + -74. Let l be ((-8)/(-5) - 1)/(z/160). Let r be 23 - (l + 0 + 1). Which is smaller: r or 18?
18
Let b = 224 - 8732/39. Let w(d) = -d**3 + 14*d**2 + 15*d. Let k be w(15). Which is greater: k or b?
b
Let d = 179 + -208. Which is smaller: d or -28?
d
Let x(z) = -7*z - 17. Let p be -3*(-8)/(-6) - (0 - 0). Let v be x(p). Let q be v/(2/(-8) - 24/32). Which is smaller: q or -10?
q
Let f = -5669 + 6138. Which is smaller: f or 472?
f
Let t be 2/4*0/2. Suppose -5*j - 765 = 12*j. Let s be (-6)/j + (-329)/(-120) + -2. Which is bigger: t or s?
s
Let z = -40 + 44.6. Let u = -4.41 + z. Let b = 2197 + -2197. Are u and b equal?
False
Let k = -5 - -7. Let b be k*((-1)/3)/((-5)/(-15)). Let t(z) = 2*z + 1. Let w be t(1). Which is smaller: w or b?
b
Let x be (-5 + 14)*92/(-12). Suppose n + 341 = -5*f, -2*f + f - 2*n = 79. Which is smaller: x or f?
x
Let x = -11/368 + 10821/368. Is x less than 30?
True
Let o = -294.005 + 294. Let m = o - -0.305. Let x = -13 + 7. Is m equal to x?
False
Suppose -5*g - 3*b = 3020, 3*b + 206 = g + 792. Let r = g - -598. Is r at most -13/6?
True
Suppose -5*t - 3*z = -144 - 733, 0 = -z + 4. Let d be (1566/63)/((-18)/21 + 1). Which is smaller: t or d?
t
Let i = 516 + -517. Is i less than or equal to 2/6417?
True
Let j be 1 + (-210)/(-1) - -2. Let u = 198408 + -198195. Is j bigger than u?
False
Let z be 2/(8304/(-5578)) + 140/105. Which is smaller: z or 0?
z
Let u be 15/(-2)*(-29340)/75. Let w be (1/3)/((-6)/u). Which is smaller: -164 or w?
-164
Let z(d) = d**3 - 15*d**2 - 17*d + 18. Let a be z(16). Let q = -43259/3 - -207469/15. Let o = q - -591. Does a = o?
False
Let h = -1407 + -500. Do h and -1907 have the same value?
True
Let a = 212 - 207. Suppose -a*m - m = -144. Is 26 at most m?
False
Suppose 1726 = 27*r - 2000. Suppose 0 = -2*d - 2*h - 5 - 63, -4*d = 5*h + r. Which is smaller: d or -33?
-33
Let p(l) = -l**2 - 299*l - 2328. Let i be p(-8). Is 14802 >= i?
True
Let z = -1329 + 1280. Is z <= -6?
True
Let h = 0.0543 - 0.3543. Let m = 0.06 - -23.94. Is h != m?
True
Let p = 591 + -592. Let o be 33*p - (-10 - -3). Is -192/7 != o?
True
Suppose 3*a + l + 716 = 