r = -1314.12 - -1284. Let w = r + 0.12. Let q = w + 16. Which is bigger: 0 or q?
0
Let l = -650 - -654. Is l smaller than 76?
True
Let b = 94/45 + 14/45. Suppose 4*t + t + 28 = k, 2*k - 5*t - 31 = 0. Does b = k?
False
Let f(v) = -v**2 + 10*v. Let k be f(6). Suppose -5*u - 2*x - 2*x + 60 = 0, -2*u + 3*x = -k. Is 11 < u?
True
Let y be 1*44*5/10. Suppose 0 = -5*v + 4*v + y. Suppose 0 = 3*s + v + 2. Is -9 greater than or equal to s?
False
Suppose 3*z = 2 + 4. Suppose -2*v = 2*h - 5*v + 12, -2*h - z*v = -8. Suppose -5*l = -3*o + 6, -5*o + l - 12 = -h*o. Do o and -3 have different values?
False
Let i be (1*1/(-154))/((-8)/(-1696)). Let k = i + 12/11. Which is smaller: k or -25?
-25
Suppose -33 = 11*c - 1936. Is c > 173?
False
Let w be (-84)/272*((-5)/3 - 1). Which is smaller: 1 or w?
w
Let r be -1 + 4 - 3 - 6/6. Is -912 at least as big as r?
False
Let w = 21.022 - 0.022. Let s = -21.3 + w. Is 0.5 at most s?
False
Suppose 5*v - 5*w + 85 = 0, 79 = -3*v - 5*w + 36. Let g be -1 + 0 - (-3 - 0). Which is smaller: v or g?
v
Let q(t) be the second derivative of -2*t**3 + t**2 + t. Let y be q(-1). Suppose 0 = -5*d + 4*r + 91, -4*r = -4*d + r + 80. Which is smaller: y or d?
y
Suppose 6*h - 16*h - 12*h = 0. Which is smaller: -18/91 or h?
-18/91
Let i be 30/12 - (-15)/6. Suppose 0 = -36*t + 37*t + i. Is 8 at least t?
True
Let k = 0.0517 - -0.0483. Is k != -35?
True
Suppose -1 = -2*b - 3*o, -2*o = -5*b + o + 55. Let s = 103 - 95. Are s and b equal?
True
Let f = -1398 + 1362. Are f and 15 non-equal?
True
Let j(z) = z**2 - 6*z - 2. Let b = 26 + -21. Let n be j(b). Which is smaller: n or -6?
n
Suppose 36*x = 37*x - 14. Is x greater than or equal to 14?
True
Let o(l) = -l**2 + 10*l + 14. Let z be o(11). Suppose 5*h = -2*r - 5, 2*h - z = r - 5. Are 6/19 and r equal?
False
Let n = -1468/35 - -209/5. Is n not equal to 103?
True
Let o(c) = c**2 - 395*c + 1951. Let w be o(5). Let i = -316/1431 + 8/27. Which is bigger: i or w?
w
Let p = 73/3 - 25. Let g = -9.6 - -3.6. Let d = g + 5.9. Are p and d equal?
False
Let x = -1/134 - 33/4556. Which is bigger: -1 or x?
x
Suppose 1170 = 25*t + 1145. Is t equal to 7/209?
False
Let l be (-6)/(-27) + (-264)/(-27). Let m = 13073103 + -7974587649/610. Let z = m + 2/305. Are l and z equal?
False
Let z(x) = 8*x + 7. Let v be z(-6). Is -43 at least v?
False
Let k = 215835 - 2371470/11. Suppose 0 = -4*q + 2*s - 4*s + 978, 4*q = -5*s + 963. Let f = k - q. Which is greater: f or -1?
f
Let i = -1.5 + -60.5. Let g = i + 60. Does 2 = g?
False
Let m = -0.06 - -2.66. Let i = m - 5.6. Which is bigger: 3/10 or i?
3/10
Suppose -w + 1 = -2*k - 6, 3*w = 5*k + 22. Let h = w - 9. Suppose -4*l = l + 2*t - 9, h = -2*t + 4. Do 1 and l have different values?
False
Let v = -0.057 - -2.057. Let x = -764 - -460. Let l = x + 7598/25. Which is smaller: l or v?
l
Suppose -3*h = -3*u + 1785 + 417, u + 3*h - 722 = 0. Let n = -27045/37 + u. Suppose -5*d + 4 = -d. Is d smaller than n?
False
Let j be (3 + -1)*(6 - 8). Let u = 5 + j. Are u and -3/16 equal?
False
Suppose -30*w + 90*w = -132060. Is -2202 less than or equal to w?
True
Let l be (-10)/90 - 20/(-18) - 3. Which is greater: l or 51?
51
Let j(b) = 3*b - 2. Let s(n) = n**2 + n. Let i be s(-2). Let t be j(i). Let v be (5 - (t - 1))/2. Is v > -2/7?
True
Let c = 37 + -15. Suppose f + x - 5 = 0, 0 = f - 3*f - 5*x + c. Suppose -11*m + f = -10*m. Which is smaller: -2/5 or m?
-2/5
Suppose -3*y + 622 = -386. Suppose 12*s + y = 8*s. Let u be 80/s + 2/7. Which is greater: u or 0.01?
0.01
Let n = 315 + -396. Is -81 at least n?
True
Suppose -2*c = -5*h - 10, 150*c - 151*c = 3*h + 6. Is c >= 21/17?
False
Suppose -3*o + w - 10 = 23, 15 = 5*w. Suppose z + z + 30 = 0. Let m = z + 4. Do m and o have different values?
True
Let u = 17 + -12. Let m be (-2)/u - 870/75. Let j = m + 10. Is -1/2 less than or equal to j?
False
Suppose 0 = -o + 2*c + 2*c, -c - 22 = -3*o. Which is smaller: 2 or o?
2
Let v = 18.081 + -0.081. Let z = -12 - -2. Let h = v + z. Which is smaller: 0.1 or h?
0.1
Let j = 66148/63 - 1050. Is 2 < j?
False
Let c(o) = -o**2 - 2*o + 6. Let z be c(-6). Suppose -3*t - q = 55, 4*q = -12 - 4. Which is smaller: z or t?
z
Let f be 1152/(-720) + (-3)/(-5). Which is bigger: f or -2/23?
-2/23
Let l = -8687/205 - -212/5. Is l != -2?
True
Suppose 3*j - 105 = -2*j + t, t + 65 = 3*j. Let z be (-5)/(j/16) + 7. Let r be (z*6/(-3))/(-58). Is -1 equal to r?
False
Suppose 4*u - 7*u + 4*a - 8 = 0, -a + 3 = -u. Let r be (-3)/(-2)*u/639. Which is bigger: r or 1?
1
Suppose 19 = -3*j + 121. Let p be (-3)/48*j + 2. Is p <= -1?
False
Let g = 615/29 + -17852/783. Which is smaller: g or -3?
-3
Let y be (-7329)/(-29364) + 2/(-8). Is -1 not equal to y?
True
Suppose d = 7*d - 12. Let r be ((-3)/2)/(9/12). Let k be ((-1)/r)/((-1)/d). Is k smaller than -1?
False
Let z = 17904 - 124996/7. Which is bigger: 46 or z?
z
Let m = -14 + -7. Let n = 21.4 + m. Is n at least as big as 3/11?
True
Let d = -273 - -287. Is d less than or equal to 3?
False
Let h = 2 - -2. Suppose v = 2*f + h + 17, -2*f = 8. Let c = 14 - v. Are 0 and c unequal?
True
Let w = -243 - -242. Which is smaller: -26 or w?
-26
Let c(g) = g**3 + 5*g**2 - 12*g + 2. Let r be c(-6). Suppose -6*v - r = -8*v. Is 18 smaller than v?
True
Suppose -8*g - 45 = -17*g. Suppose -g*k + 3*k = -k. Are -2/81 and k nonequal?
True
Suppose 0 = -k + 4*u - 16, -7 - 8 = -5*u. Suppose 2*y = -0 + 10. Let i = y - 8. Is k < i?
True
Let z = 0.167 - 0.087. Is z at most as big as -0.22?
False
Let l be (-1 - (-214)/252)/(-1). Let z = 1/14 + l. Let o(j) = 8*j + 96. Let m be o(-12). Is m bigger than z?
False
Let y be ((-288)/56)/(3/4). Which is smaller: -6 or y?
y
Suppose -2*d - 2*d + 12 = 0. Suppose d*k + 4 = -k. Let r be (-1)/2*(-16)/116. Is k greater than r?
False
Let k be 116/203 + 4/(-7). Which is smaller: k or 10/21?
k
Let s be -1 - (160/(-28))/8. Which is bigger: 1/4 or s?
1/4
Let c be (((-3696)/(-100))/6)/(8/(-40)). Is -31 at most as big as c?
True
Let o(x) = 5*x + 40. Let y be o(0). Let u = -73/2 + y. Suppose -i - 4*i = -20. Is i equal to u?
False
Suppose 2*p + 3*p = 0. Suppose v + 2*v + 15 = p, v = 4*z + 591. Let q = z + 1339/9. Is q greater than or equal to 0?
False
Suppose 0*q = 3*w - 4*q + 411, 3*w + 3*q + 390 = 0. Are -133 and w nonequal?
False
Suppose -4*p + 25 + 255 = 4*y, 5*y + 2*p - 341 = 0. Suppose -4*o + 3*b = -y, 5*o - 5*b - 66 = 14. Let h(f) = 19*f - 1. Let u be h(1). Is o at most as big as u?
False
Suppose -4*n = -2*l - 1 - 1, 2*l - 5*n = -5. Suppose -10*b = -l*b. Let h(v) = v + 13. Let g be h(b). Is g at most as big as 12?
False
Suppose 9*z + 26 + 424 = 0. Let t = -45 - z. Which is greater: t or -1/3?
t
Let i = -2791 - -2786. Suppose -4*j = -0*j - 16. Suppose -3*q + 2*r - 8 = 0, j*q - 2*q + 2 = 3*r. Is q at most i?
False
Let j be (-52)/91 - 3860/(-6510). Let h = -190 + 1332/7. Is j >= h?
False
Let o = -13.5 - -14. Is -13/5 >= o?
False
Let c(a) = -a**2 + 23*a - 18. Let q be c(22). Let i(y) = 3*y - 12. Let k be i(q). Which is greater: -2/163 or k?
k
Let v be ((-7)/2)/((-1)/(-2)). Let i(z) = -z**3 - 7*z**2 - 6*z + 1. Let r be i(-5). Let p = -26 - r. Is v not equal to p?
False
Suppose 3*g - 5*a = -0*a + 34, 0 = -g - 3*a - 12. Let z = 0 - g. Which is smaller: z or -6?
-6
Let x = 12.9 + 1.1. Let j = -16 + x. Is 5/6 < j?
False
Let c be (2/(-1))/(-6 - 1). Do -1 and c have the same value?
False
Let s = 20158 + -80873895/4012. Which is greater: s or 0?
s
Let k be (-5)/(-7)*((-42)/(-5) + -8). Does k = -186?
False
Let n be 5/1 - 6/144*92. Which is bigger: 0 or n?
n
Suppose 67 = 4*i + 4*f + 207, 0 = 2*i - 2*f + 70. Is i at most as big as -33?
True
Suppose 147 = -4*k + 2*k + 3*d, 0 = 5*k + 5*d + 305. Which is smaller: -63 or k?
k
Let k = -101/5 + 23. Which is bigger: 4/3 or k?
k
Let j = 1699 - 3329/2. Are j and 35 nonequal?
True
Let o be 21 - ((-1)/3 - 24/9). Which is greater: o or 4?
o
Let v = 48 - 14. Let p = v - 33. Does p = -7/16?
False
Let n be (-66)/230 - (-121)/605. Let b be 1/4 - (-2)/(-8). Suppose b = o - 2*o. Which is smaller: n or o?
n
Let j = -35 - -62. Let o be (j - 31) + 2 + 0. Is 1 less than or equal to o?
False
Let i = -111 + 108.72. Let j = 13.62 - i. Let a = j + -16. Is 0.09 at least as big as a?
True
Let n be (-2)/4 - 2366/20. Suppose -y + 134 = 4*r, -5*y + 584 + 18 = 3*r. Let w = y + n. Which