be (-1)/(-2) - 9/(-6). Suppose 6*y = 2*g + 2*y - 2, i*g - 5*y = 0. Suppose 0 = g*t - 9*t. Which is bigger: -3/25 or t?
t
Suppose -78*n = -75*n - 84. Let w = n + -3415/122. Is 1 at most w?
False
Suppose 7*x = 2601 + 4252. Which is smaller: 978 or x?
978
Let v be -5 + (-3 + 0 - (27 + (-972)/27)). Let s = 117409/118 - 995. Is s less than or equal to v?
True
Let c = 211595 - 2752115/13. Is -106 smaller than c?
False
Let r(p) = -p**3 + 2*p - 1. Let o(f) = 5*f**3 + 10*f**2 - 23*f - 16. Let h(w) = o(w) + 6*r(w). Let z = 0 - -9. Let u be h(z). Which is smaller: -42 or u?
-42
Suppose 2 + 18 = -4*a, -2*m - a + 45 = 0. Suppose 19 = 2*b - 27. Is m less than or equal to b?
False
Suppose -83*p = -93*p + 90. Let x be ((-6)/p)/(56/30 - 2). Is -2/27 at most as big as x?
True
Let a(r) = 14*r + 42. Let h be a(-7). Let v = -52 - h. Suppose c + 2*x + 14 = -3*x, v*x = -16. Which is smaller: c or 34/7?
34/7
Let f = -2/136445 + -4911826/13235165. Are f and 1/7 nonequal?
True
Let y = -8.234 + 4.234. Is -0.0906 equal to y?
False
Suppose -4*l - 4 = 0, 12*q - 8*q + 2020 = 4*l. Let r be (-5)/2 + q/(-44). Let m be 2/6 - 29/(-3). Is m at least r?
True
Let n = 189 + -93. Suppose -4*c + n = 8. Which is smaller: c or 23?
c
Let i be 18451/(-5676) + 2 + 12 + (-387)/36. Which is smaller: i or 0?
i
Suppose 3*p = 4*k - 5881, 4 = -k + 2. Is p at most as big as -1963?
True
Suppose -2*k = 3*k + 10. Let s be (-1)/(-2)*3916 + (6 - 1). Let x = 19609/10 - s. Which is greater: k or x?
k
Let i(o) = o - 11. Let h be i(10). Let d = -21997 - -132463/6. Let b = -80 + d. Is b smaller than h?
False
Let z = -244039/10 + 24403. Let h = 12 + -7. Let o be 10/25*-1*h. Are o and z equal?
False
Let v = 0.2362 - 0.4362. Let h = 1.24 + 15.16. Is h bigger than v?
True
Suppose 64 = 25*s - 9*s. Suppose -s*t + 406 - 142 = -4*m, -m = 4*t + 51. Is m > -64?
True
Let d = 263.79 + -267. Let a = d - -2.51. Is 43 > a?
True
Let g be (-9)/21 - (0/3 - -3). Let n = g + 20/7. Is n bigger than 0.2?
False
Suppose -10*c + 32 = -2*c. Suppose 3*v - c*y - 62 = -3*y, -v - 3*y = -14. Let s be (-15)/(-6)*16/v - 3. Which is smaller: 1 or s?
s
Let r be 7/(-5) + (-1436312)/(-987280). Which is smaller: 1 or r?
r
Let u = -79.09 + 75.09. Which is smaller: u or 0.098?
u
Let l = -5.4 + -0.6. Let x = 2 + l. Let j = 33379 - 33378. Which is smaller: j or x?
x
Suppose -4 = -4*q, 5*b + 3 = 3*q - 0*q. Let x(z) = -z**2 + 5*z + 145. Let v be x(15). Which is smaller: b or v?
v
Let p be ((-7)/((-539)/(-24090)))/(3/21). Which is smaller: -2191 or p?
-2191
Let y = -1/431 + -4303/3017. Let u = -1 - -1.2. Let h = -0.1 + u. Is y != h?
True
Suppose 2*h = 4*k + 12, -k - 3*h = 10 - 28. Which is smaller: k or 1/11990?
k
Let g be -6 + (-1497901)/124832*(-2)/4. Do g and 1 have the same value?
False
Let g = -108 - -109. Let u(t) = -t**2 - 19*t + 39. Let k be u(-21). Is k bigger than g?
False
Let z be 6 - ((-9872)/(-128) - -5). Is z > -75?
False
Let f(l) = -2*l**2 - 118*l - 154. Let u be f(-58). Suppose 2*q + 20 + 52 = 0. Which is smaller: u or q?
u
Let s = 58.91 - -0.09. Let t = 778 - 837. Let l = t + s. Which is smaller: l or -0.012?
-0.012
Let d = -5892/3895 + 8/205. Let l(j) = 774*j - 774. Let u be l(1). Is u > d?
True
Let l(i) = -110*i**2 - 1717*i + 75. Let q be l(-18). Which is greater: q or -4660?
q
Let i = 1955/206 + -19/2. Suppose -3*o + 2 = -o. Is i less than o?
True
Let u = -11 - -21. Let n be u/15 - (-280)/(-6). Suppose -o - 87 = 2*f, 11*f + o + 225 = 6*f. Are n and f non-equal?
False
Let s be ((-12)/9)/(46/(-9)). Let k = 331/230 + s. Is k greater than or equal to 3?
False
Suppose -8*k + 60 = -6*k. Let c be (-4)/(-16) + k/16. Which is bigger: c or 3?
3
Suppose -5*w - 22 - 113 = 0. Let l = 1837 + -1864. Is w less than or equal to l?
True
Let l(s) be the third derivative of s**6/120 + s**5/20 + s**4/24 + 7*s**3/6 - 4*s**2. Let g be l(-3). Let r be 3*((-4)/(-3))/g. Is 1/20 equal to r?
False
Let s(d) = d**3 + d**2 - 1. Let m be s(-2). Let c be 6/(-10) - 4/10 - m. Suppose 9 = -5*y + c. Is y greater than -2?
True
Let w be (-7 - -2)/(0 - 1). Suppose -58*j = -272 + 40. Suppose 0 = -2*p - j*q + 2, w = -p + 6*q - 2*q. Is 1 bigger than p?
True
Let p be 3/(3*(-17)/(-40)). Let k = 2174 - 2172. Are k and p equal?
False
Let i = 3628 + -2323. Is 1305 greater than i?
False
Suppose 476 = 13*i - 15*i. Let f = -242 - i. Is f greater than -8/3?
False
Suppose 2*q = -10, 5*t - 5*q + 19 = 3*t. Let k = t - -23. Suppose -2*v + 65 + k = -4*w, 2*w - 2*v + 38 = 0. Which is smaller: -13 or w?
w
Suppose 2*z - 3*s = 3845, 3*z + 0*s = -5*s + 5796. Let y = z + -7771/4. Let d = y - -16. Is d equal to -0.3?
False
Suppose -65 = -p - 2*r + 455, -2*p + 1031 = r. Let q(m) = 101*m + 8. Let s be q(5). Which is bigger: s or p?
p
Let a = 236 + -78. Suppose -72 = 5*c + a. Is -45 bigger than c?
True
Let m = 197 - 194. Suppose 43 = 10*u + m. Are 1 and u equal?
False
Let t be (-6)/3*5/25*125. Let u = t - 11. Which is smaller: u or -63?
-63
Let b be ((0 - 6 - -7) + -1)/(10 + -11). Are -2/677 and b unequal?
True
Suppose 52*b - 5307 = -127871. Which is smaller: b or -2/5?
b
Let v = -11422 + 2981140/261. Suppose -5*u + u = w + 8, -2*u + 3*w = -10. Is v equal to u?
False
Let o be -3 - (-12)/(-1 - -7). Let b = 504500492/4427 + -113960. Let u = -2/233 + b. Do o and u have different values?
True
Let l = 11016 + -11015.91. Are l and -22 non-equal?
True
Let v be (-24)/(-40)*2*85/(-14). Suppose 35 = -9*o + 4*o. Is v less than or equal to o?
True
Let w = 23584 - 23590. Is w smaller than 5/21?
True
Suppose 7*q - 5*q = -4. Let j be 93/(-42)*q + -2. Which is greater: 2 or j?
j
Let y be 1222/2*(2 + 217). Let d be y/594490 - (-4)/(-34). Let p = -2/269 + d. Which is smaller: p or 1?
p
Suppose -3*r = 2*g - 218 + 1531, -5*r = 2*g + 2199. Are r and -429 non-equal?
True
Suppose 2*b = -4*b. Let d be (b - -3)*(4 + -5). Let f = 2/549 + -1120/6039. Is f <= d?
False
Let u = 518.2 - 1711.2. Which is smaller: u or 5?
u
Let u be (53/((-1431)/(-2592)))/((3 - 1) + -3). Suppose 3*w + 4*k + 79 = 2*w, -4*w + 3*k - 392 = 0. Which is greater: u or w?
w
Let i = -4.79 + -0.21. Let t be (0 + 0)*(-8)/(11 + -3). Is i at least as big as t?
False
Let g = 37 + -38. Let y be -1 - (-76)/g - (-204)/(-51). Which is bigger: -80 or y?
-80
Let k(n) = n**3 - 38*n**2 + 3*n - 110. Let w be k(33). Which is smaller: w or -5457?
-5457
Suppose 3*v - 823 = 5*x - 41, 0 = 2*v + x - 530. Let f = v - 263. Is -1/255 <= f?
True
Let x = 902 - 902. Which is smaller: 0.4 or x?
x
Let d be (-3)/((-1530)/680*(-3 + (-11)/(-3))). Let g = 11 + -4. Let x = g + -12. Which is greater: d or x?
d
Let n = 475.89 - 474. Let p = -1.59 + n. Is -21 not equal to p?
True
Suppose 4*a - 30 = -2*a. Suppose -32 = -3*c - a*c. Suppose 36 = -c*r - 64. Which is greater: -23 or r?
-23
Let k = 14130 - 15375. Are k and -1245 nonequal?
False
Let q = -713 + 712.8789. Let p = -0.1111 - q. Let x = -0.3 - 0. Is p smaller than x?
False
Let x be 3/((-18)/(-4) + (-3)/1). Suppose 3*d - 40 = 29. Let j = 22 - d. Which is greater: x or j?
x
Let v(s) = s**3 + 2*s**2 - 6*s + 2. Let c be v(-5). Let d be -4 + 1 - 18/(-6). Suppose d = -y - 26 - 16. Which is smaller: y or c?
c
Let f be (5 - 6 - -6)*1. Let w be (f + -7)*5/(13 - 3). Is 9 bigger than w?
True
Let q = -154112164 - -266768144915/1731. Let i = 2/577 + q. Which is greater: i or -6?
-6
Let l(d) = -d**3 - 2*d + 86. Let s be l(0). Suppose 0 = -5*g + 5, 5*r + 4*g = 155 + 99. Let t = s - r. Is t less than or equal to 37?
True
Suppose 45*n - 5*k - 1340 = 46*n, 2*k + 1334 = -n. Which is greater: n or -1339?
n
Let q = -2052 - -2212. Which is greater: q or 157?
q
Let z(x) = 2*x - 46. Let w be z(34). Let r be (-56)/18 - w/22. Which is smaller: r or -4?
r
Let q(o) = 2*o**2 - 14*o - 1. Let n be q(-4). Suppose -3*f + n = -2*z, 5*f = -0*f + 4*z + 143. Which is bigger: 34 or f?
34
Suppose -30*h - 12 = -29*h. Let j be (-1)/(-3)*h/112. Suppose 21*i = 25*i. Which is smaller: i or j?
j
Let c = 1212 + -1955. Is c > -742?
False
Let x = 1/5159 - 31079/644875. Let p = -8975 + 8975. Which is smaller: p or x?
x
Let j(p) = -p**3 + 4*p**2 + 1. Let y be j(4). Let b be y/(-5) + 13/15. Let t be (-183726)/(-11682) + 28/22. Which is smaller: t or b?
b
Let u = 4 + -6. Let k = -2483 - -2509. Is u < k?
True
Suppose -3*v - 3*z - 4 = 2*v, 4*v = 5*z + 19. Let y(t) = 3*t + 2. Let f b