k = -4688 - -4687.99. Is 0 greater than k?
True
Let t = -5671 - -5671. Are t and -13/909 equal?
False
Let y = -235.782 + 281.16. Let t = 0.522 + y. Let a = t - 46. Which is smaller: 1/2 or a?
a
Let l be 6/(-69) - (-9 + (-108310)/(-230)). Which is greater: -476 or l?
l
Let z = -3431 - -4752. Is 1317 > z?
False
Let r(a) = -8*a**2 + 864*a - 1. Let k be r(108). Is k != -2/2245?
True
Let i(j) = 18*j + 17. Let t be i(1). Let s = -17 + t. Which is bigger: s or 5?
s
Let d be (2/(-8))/(4/(-16)). Let w = d - 0. Suppose -2*v = 3*v + o - 4, 0 = 2*v - 2*o + 8. Is w greater than v?
True
Let i(w) = 571*w - 3202. Let g be i(4). Which is bigger: -926 or g?
g
Suppose -22*k + 18*k + 3*n = 972, n + 1234 = -5*k. Is k less than -242?
True
Let b be 572*((-102)/24 - -4). Is 2 at least b?
True
Let w = 32 + -33. Let p(t) = t**3 + 7*t**2 + t + 10. Let m be p(-7). Suppose -2*l = z + m*z - 22, 2*z = 4*l + 26. Which is bigger: w or z?
z
Suppose -43 = -5*c + 4*s + 507, s + 330 = 3*c. Is 117 at least as big as c?
True
Suppose -359*t - 307 = 3*t - 1031. Let b be 3 + (-661 - -3) + -2. Let d = b + 5903/9. Is d not equal to t?
True
Let a = -365 - -365. Which is smaller: -256 or a?
-256
Suppose -6*w - 861 = -9*w. Let t = 91 - w. Is t not equal to -195?
True
Let f = -136 - -135.9964. Let q = f - 193.9964. Is q <= -1?
True
Let k = 5.486 - 3.486. Which is greater: k or -0.066?
k
Suppose -2*f + 6 = f. Let m be (350/(-21) - -14)/(2/102). Let h = -130 - m. Is h greater than f?
True
Let s = -39 + 129. Let d be (-90)/(-75) + (-30041)/330. Let j = s + d. Which is smaller: j or -1?
-1
Let b be (0/1)/((-14)/(-7)) - -3. Let t be (-240)/5 + (11 - 4 - b). Is -48 > t?
False
Let b = -4024 - -856. Which is smaller: b or -3167?
b
Let g be ((-7)/(-231))/((-32)/(-6 - -14) + 2). Is g < 0?
True
Suppose 4*g + 5*x - 2 = 5, -5*g + 30 = 2*x. Suppose -5*l - g = -48. Let h be l/(2 - (-15 - -3)/(-3)). Which is smaller: 10 or h?
h
Let j = 1911 - 5614. Is -3703 at least as big as j?
True
Let r(q) = -3*q + 2. Suppose 4*i - 2 - 2 = 0. Let o be r(i). Let f = -29/185 + -9/37. Is f less than or equal to o?
False
Let n be -2 + ((-6 - -2) + 14 - 1). Suppose -85 = -n*o + 55. Is 18 greater than or equal to o?
False
Let r be 6 + -10 + 4 - 0. Let p(l) = l + 2. Let x be p(r). Is x less than 15?
True
Suppose 0 = 371*z - 366*z - 15, 0 = 5*d + 3*z + 3026. Is 1 greater than d?
True
Let p = 271 - 286.08. Let q = 15.2 + p. Is q equal to 7?
False
Let s = 29 - 26. Suppose 0 = -5*a - d - 1085 + 1432, a = -2*d + 73. Which is greater: a or s?
a
Let v(j) = -j - 2. Let l be v(-3). Let o = 318 + -142. Let r be 38/(-144) - (-66)/o. Do l and r have the same value?
False
Let s(a) = -36*a + 68. Let n be s(-3). Let o = 426 + -251. Which is bigger: n or o?
n
Let x be 13/3 - 3/9. Suppose -1296*v = -326*v. Is x greater than v?
True
Suppose 3*s - 28 + 19 = 2*h, -5*h - 4*s = -12. Which is smaller: -10/229 or h?
-10/229
Suppose 14 = 2*p - 2*v, 18 = -4*v + 22. Let i be 61/2*(p + -9)*2. Is -62 smaller than i?
True
Let f(u) = 77*u + 689. Let g be f(-40). Is -2391 less than g?
False
Suppose 2*r - r + 58432 = -15*r. Which is smaller: 2/3 or r?
r
Let c be 3/9 + (-1 - 156/(-855)). Let g = 6/95 + c. Does g = -2/3?
False
Let z(f) = 66*f + 1721. Let q be z(-9). Is q < 1127?
False
Let a = -65 + 711/11. Let z = -2403 - -2403.3. Which is smaller: a or z?
a
Let o(r) = 47*r + 6*r**2 - 3*r**2 + 8 + 0*r**2 - 19*r. Let c be o(-8). Let s be (3 - 1)*(c/(-16) - 2). Is s >= 2/5?
False
Let a(f) = f**2 + 47*f + 244. Let u be a(-41). Are 1264 and u nonequal?
True
Let n be 2/((-40)/(-90))*23/(-6). Let s = -129/8 - n. Is 0 >= s?
False
Let a = -69 - -29. Let i be a/154 + 38/133. Is 1 > i?
True
Let x be ((-68)/2)/((-11)/((-66)/(-516))). Let g = 575/258 - x. Let s = 7 + -6. Which is bigger: s or g?
g
Let i = -53 - -53. Let n(b) = b**2 - 17*b - 36. Let a be n(19). Suppose 0 = 2*f - f + a*j + 10, 2*f - 5*j + 29 = i. Which is bigger: -11 or f?
-11
Let u = -252.9 - -254.9. Are 622 and u unequal?
True
Let k be 18/8*168/(-63). Let p be 275/1144 - k/16. Is p less than 0?
False
Suppose -4*d + 5*d + 18 = -2*q, -30 = 3*q + 2*d. Suppose 0 = -s - 3 - 1. Which is greater: q or s?
s
Suppose 3*z - 5*a = -5, -z = a - 1 - 0. Let q be ((-8999)/(-1781) + -7)/(z - 47). Let s = q + 2/1781. Which is smaller: -1 or s?
-1
Let f = 12873 - 12874. Is f at least as big as -1/16384?
False
Suppose -8*h = -22*h - 14. Let s be (h - 5) + 60/6. Which is smaller: 77/16 or s?
s
Let q = 10060 + -9990. Suppose 2*t - 284 = -2*t. Which is bigger: q or t?
t
Let y(j) = -3*j + 2. Let x(d) = -11*d + 9. Let p(w) = 2*w**2 + 11*w - 1. Let s be p(-5). Let u(r) = s*x(r) + 26*y(r). Let l be u(-1). Which is bigger: 2 or l?
l
Suppose 33*l + 153665 + 62683 = 0. Which is bigger: l or -6557?
l
Let l = -813 - -922. Suppose 0 = -4*a + b + 438, 0*b - 5*b = -a + 100. Which is smaller: a or l?
l
Suppose 26*i - 24*i + 4974 = 2*a, -4*i - 9930 = 2*a. Are -2484 and i non-equal?
False
Suppose 2862 = -2*m - 24*w + 22*w, -w = 3*m + 4301. Do m and -1435 have the same value?
True
Let d = 2.4 - 2.34. Let b = -25 - -24.862. Let r = b - 0.062. Which is smaller: d or r?
r
Suppose 7 = -4*m + f, 0 = -4*m + 3*f + 49 - 62. Is -8/2207 less than m?
False
Let d = 14128 + -14132. Which is bigger: -60.6 or d?
d
Let t = -1.2429 + 634.6929. Let z = t + -633. Is 3 at least as big as z?
True
Let r be (-128)/(-416) - 28911/39. Is r smaller than -748?
False
Let i = 46 - 66. Suppose 3*x + 4*y = -52, -4*y - 37 = -2*x - 45. Let o be 218/x + 29/(-58). Is i at least o?
False
Let f be -2 + -18*132/(-253) + 8. Is f equal to 16?
False
Suppose 2*i + 3*i = 140. Let b = -1287 - -1463. Let h be (-4)/(-14) - (-6 + b/i). Is h smaller than 3/17?
True
Let y(c) = -c**3 - 26*c**2 + 55*c - 76. Let i be y(-27). Which is greater: -834 or i?
i
Suppose -19*p - 900 = 26*p. Let x(c) be the third derivative of -c**4/12 - 20*c**3/3 + c**2. Let w be x(p). Which is smaller: -1/73 or w?
-1/73
Let t = -19191 + 14837. Is t smaller than -2?
True
Let x(c) be the first derivative of 5*c**2/2 - 2. Let s be x(1). Let p = 2443 + -2437. Is p bigger than s?
True
Suppose 119 = 5*r - 4*f, 2*r - 20 - 29 = 3*f. Suppose -i + 5*b = -r + 7, 18 = i - 3*b. Let v = -7969 - -7989. Is v less than i?
True
Suppose 2*n + 1 = -g - 12, 41 = -4*n - 5*g. Let h be 91/n + -7 + 4 + 0. Let m = h - -26. Which is greater: 0.6 or m?
0.6
Let t be (-8*(-45)/(-216))/(5/(-3)). Suppose -79 = -3*f + 53. Let p be 8/f + 304/143. Is t > p?
False
Let o = -787.9 - -788.1. Which is greater: -1393 or o?
o
Suppose -4*a = 1618 + 122. Which is greater: -430 or a?
-430
Let o(q) = -q**2 + 17. Let t be o(-4). Let h be (-3)/((-33)/1255) - 0. Let n = 114 - h. Which is smaller: n or t?
n
Let f = -35495/54 + 1315/2. Let i = -294 + 293. Which is greater: f or i?
f
Suppose 2 = -5*k + 37. Suppose z + 78 = k*z. Let o = z + -10. Which is smaller: 30/7 or o?
o
Let n = 125921/7 - 17989. Which is smaller: n or 3257?
n
Suppose 0 = -7*d - 0*d - 413. Suppose 296*w - n + 231 = 292*w, n = -5. Is w > d?
False
Let s(l) = l**3 + 39*l**2 - 9. Let g be s(-39). Let j be 5*(-5)/(-25) - g. Are -1/2 and j equal?
False
Let j = 92 - 67. Let d = 0 + j. Suppose 49 = -3*s + d. Is s at least -3?
False
Let c be (-1)/(-1*212/8). Let t = -3.8 + 6.8. Which is smaller: c or t?
c
Let z = 323.061 + 7.839. Let n = 342 - z. Is n not equal to 1?
True
Suppose -17*f + 608 = 2988. Let j be 1057/5 + (-84)/f. Which is smaller: 213 or j?
j
Suppose -5*o + 14 = -36. Let t be ((-1368)/(-40))/(3/o) + -3. Is t smaller than 112?
True
Suppose f - o - 31 + 121 = 0, 4*o = 2*f + 184. Let n = f - -49. Let w be (2/5)/(-2 + n/(-20)). Which is greater: w or -20/3?
-20/3
Suppose -3*t = -2*g + 4, t - 5*g + 8 + 2 = 0. Suppose t = -3*l - 68 - 4. Let n be ((-2)/(-3))/(54/(-1863)). Which is smaller: l or n?
l
Suppose -3*q - 15 = 33. Let y = -155 - q. Is y at least as big as -138?
False
Let j(u) = -u**3 + 10*u**2 - 2*u + 16. Let d be j(10). Let k = d - 51. Let h = 53 + k. Is -10 < h?
True
Suppose -2362 = 91*y + 1369. Which is bigger: -43 or y?
y
Let t be 3*(3 - 4)*2. Let z be (-26)/10 + (36/(-6))/t. Let v = 0 + -3. Do z and v have the same value?
False
Let i be (-3)/(-5) - (28476/(-90) - -18). Let a(u) = -75*u. Let g be a(-4). Does g = i?
False
Let g be 2/3*(7 - (-4670)/100). Is 36 smaller than g?
False
Let 