et t(m) = 2*m**2 + 60*m + 2. Let h be t(-30). Suppose 5*n - h = -3*l, -5*l - 11 = 3*n - 9. Let u = -218 + 6760/31. Do u and n have different values?
True
Let s(j) = -2*j**2 + 20*j - 17. Let x(n) = 3*n**2 - 24*n + 16. Let l(y) = 4*s(y) + 3*x(y). Let w be l(2). Which is greater: w or 1?
1
Let y(j) = -j**3 - j + 5. Let k be y(0). Suppose d = -0*d - k, -27 = -2*i + 5*d. Let b = -55.5 - -55.44. Which is smaller: i or b?
b
Let b be 28/32 - 1/(-8). Suppose 2*z = -3*f + 12, f - z = 2*z - 7. Let c = b + f. Is c at most as big as -7?
False
Suppose 4*b + 24 = -3*t, 5 = -5*t + 3*b + 2*b. Suppose 2*d + 6 = -2*d + 2*g, 2*d + 2*g = -6. Let j be (4*4/t)/d. Which is bigger: -1/4 or j?
j
Let m = 49 + -31. Suppose m*t = 16*t + 28. Suppose -28 = -t*w + 16*w. Which is smaller: -11 or w?
w
Let d(y) = -y**2 + 50*y + 1055. Let h be d(-16). Is -2/11 not equal to h?
True
Suppose -90*c + 109*c = 114. Let m be -1*(-2)/(0 + 1). Suppose m*x = c, -2*u - 4*x + 24 = 2*u. Are 9 and u unequal?
True
Let x(v) = -v**3 + 2*v**2. Let y be x(3). Let r be ((-24)/(-18))/((-3)/y). Suppose 3*a + 40 = -r*j - a, 0 = 4*j - 3*a + 12. Is 0.2 <= j?
False
Suppose -16*o = -18*o. Let y be (-2)/(o/(2/1) - 55). Is y at least 1?
False
Suppose -i = 5*q - 4*q - 7, -1 = 2*i - q. Suppose -2*n - g + 3*g = 10, 4*n + 10 = i*g. Is n equal to 4/5?
False
Let m(h) = h**3 - h**2 + 4*h + 453. Let z be m(0). Suppose -4*c = -2*a - 172 + 4, z = -5*a - c. Which is smaller: a or -91?
-91
Let a be -17 + 431/(-58)*-4. Is 14 at least as big as a?
True
Let j = -4684 + 4685. Which is greater: 57/241 or j?
j
Let u(z) = -4*z. Let r be u(4). Let x = 20047 - 20062. Which is smaller: x or r?
r
Let h = -73837/25 + 2953. Let x be -1*(196/(-14) + 14). Which is greater: x or h?
x
Let k be (-5 - (-12495)/2601)/(((-2)/6)/(-1)). Is -1/21 bigger than k?
True
Let y = 14964689192/46271 - 323414. Is -1 < y?
True
Let a be 33894/135768 - (49 + -55 - 25/(-4)). Which is bigger: -1 or a?
a
Let o = 6971 + -6057800/869. Is o at least 0?
False
Let j = -4 + 1. Let g be (1 - j/(-4))/((-25)/(-300)). Let r(c) = 2*c**2 - 1. Let h be r(g). Is 15 at most h?
True
Let z be (-9)/(-12) + 260/(-112). Let j = -2192.8 + 2193. Is j less than z?
False
Let z = 16.3 + -116.3. Let s = z + 101. Which is greater: s or 105?
105
Let z be 2/((-10)/15*6/(-94)). Suppose 0 = -18*n + 169 + z. Suppose -3*w - 24 = -66. Is w bigger than n?
True
Let n(q) be the third derivative of q**4/24 + q**3/6 + 4*q**2. Let m(y) = 2*y. Let h(u) = 2*m(u) - 3*n(u). Let p be h(4). Is -1/3 >= p?
False
Suppose 4*f + 2*u = 6, -u = 3*f + 4*u + 13. Let s = -270 - -331. Suppose -60*q - 2*l = -s*q + 5, 5*q - 5*l = 25. Which is smaller: q or f?
f
Let d = 17 + -33. Let y(m) = m**3 + 175*m**2 + 193*m + 3287. Let t be y(-174). Which is smaller: d or t?
t
Suppose o - 14 = -f, -2*f = -2*o - 7*f + 16. Let t = 8 + -4. Let k be t/((-36)/1)*-159. Is k at most o?
True
Let c(a) = -8*a - 16. Let m be c(-2). Suppose -2*l - 5*p + 11 = 0, m*l + 2*p = -3*l. Let g be (-2 - l)*3/(-6). Is g at most -1/11?
False
Suppose -v + 361 = -5*p - 460, 0 = -2*v - p + 1609. Which is greater: 2422/3 or v?
2422/3
Suppose -768 = 7*j - 6*j - 5637. Is 4869 <= j?
True
Let j(i) = -12*i - 72. Let g be j(-5). Suppose -4*m - 3*a + 54 = 0, -9 = 2*a - 5. Suppose 9 = 14*x - m*x. Which is greater: g or x?
x
Let y(x) = 33*x + 178. Let b be y(-5). Suppose 5*j - b*j = 176. Is j <= -22?
True
Let q = 17786 - 17785. Let t(a) = a + 4. Let s be t(0). Which is bigger: q or s?
s
Suppose -4*q = 2*q - 24. Let l be q/(-14) - 3498/7. Let s be (l/12)/5 + -1. Are s and -8 equal?
False
Let t = 2/19783 + -21461/16597937. Which is bigger: 0 or t?
0
Let d(l) = l**3 - l**2 + l + 2. Let p be d(-2). Let y be ((-4570)/24 + -1)/(-92 - -93). Let c = y + 715/4. Is c bigger than p?
False
Suppose r - 3*t - 14 - 5 = 0, 5*t - 57 = -3*r. Suppose -5*m + 53 = -4*z - 62, 2*m = -z - r. Suppose 352*u = 347*u - 4*d - 153, -5*u + d = 118. Is z at most u?
True
Suppose 3*z = -2*l + 15, 0*l = -l + z. Suppose -3*n + 15 = 2*g, 173*n - 178*n - g + 32 = 0. Suppose r = -4*j - 10, -3*j - l*r - n = 5. Is j at most -9?
False
Suppose 3380 = -55*u - 4760. Which is smaller: u or -138?
u
Suppose -5*d + 379 = -471. Suppose -42*r + d = -47*r. Let n = 77 + r. Which is smaller: n or 42?
42
Suppose 4 = 133*w - 131*w. Let i(c) = 7 - 1 + 13*c + 0*c**2 + c**w. Let o be i(-13). Are o and -4 nonequal?
True
Let g = 5786 + -7004. Does g = 2?
False
Let p = 163365/4 + -41057. Is -216 at most as big as p?
True
Let n be (295/(-147) + 2)/((-1173)/644*-40). Which is smaller: 1 or n?
n
Suppose 397*m - 118*m = 3114 - 1161. Let j be (-1*10)/((-2)/3). Is m <= j?
True
Let v be (-24 - (-5166)/216)/(81/24). Let i be (-9)/12 - 34/(-24). Which is smaller: i or v?
v
Let c be (1 - 146/(-16)) + (-5)/40. Suppose 0 = 14*q - 4*q - c. Is -0.126 greater than q?
False
Suppose -g - 2*h = -46, -49*g - 5*h - 210 = -53*g. Is g less than or equal to 50?
True
Let i(d) = d**2 + 27*d + 175. Suppose 589 + 147 = -46*w. Let a be i(w). Which is smaller: -1/701 or a?
a
Suppose 60*l + 1380 = -17*l + 8*l. Let f be -22 - (-1 + -2 + 5). Are f and l unequal?
True
Let s be (1 + -1 + 1)*(-25 - -28). Let b be (143/4)/(s/12). Which is bigger: b or 144?
144
Let q be ((-54)/12)/((-306)/(-44) - 7). Let r(t) = -21*t - 7. Suppose -4*x - 19 = 1. Let b be r(x). Is q equal to b?
False
Let o(a) = 6*a**3 + 4*a**2 + 16*a - 8. Let x be o(5). Suppose 2*p - 776 = -x. Is -74 != p?
True
Suppose 5*v - 5*d = 15, 3*v - 6*d + d - 7 = 0. Suppose -4 = -z, -v*r + 3*z - 336 = -124. Are -49 and r unequal?
True
Let b = -166885 + 166580.724. Let n = -305 - b. Let k = n + 0.124. Which is smaller: 2 or k?
k
Let x = 15006 + -135046/9. Which is bigger: -12 or x?
x
Let b = -235 - -234.93. Which is bigger: b or 42?
42
Suppose 0 = -2*u - 2*o + 2, 4*o = 3*u - 1 + 5. Suppose -l = -u - 1. Let d be (-4)/22 + (-936)/(-6237). Is d >= l?
False
Let n = -3833.71 - -3831. Which is greater: n or -0.1?
-0.1
Let h = -1734 - -1732. Which is greater: -0.299 or h?
-0.299
Let a(i) = i**2 + 7*i. Let b be a(-6). Let z be (2 - -1)*(-70)/b. Suppose -22*c = -72*c + 1800. Is c equal to z?
False
Let x = 1299409/388 + -3349. Let n = -1283/65572 - x. Which is smaller: n or 0?
n
Suppose 6 = -2*r - 24. Let z be (-13)/(-3) - (-20)/30. Suppose -z*q + 3 = 13, -2*c = q + 34. Which is greater: r or c?
r
Let a(w) = -165*w**3 - 2*w**2 + 9*w - 8. Let p be a(1). Let b = p - -128. Which is smaller: -36 or b?
b
Let f = -3834 + 3834. Which is smaller: -34/33 or f?
-34/33
Let d(c) = c**2 + 15*c + 46. Let m be d(-5). Let j be 868/(-155) - 2/(-20)*m. Which is smaller: j or -54?
-54
Let x be (-200)/64 + (-2)/(-16). Suppose -d - 5*q - 14 = 0, 3*q + 178 = -5*d + 42. Let b be -2 + 24/18 - d/(-24). Is x at least b?
False
Let c(n) = -353*n + 252. Let r be c(1). Is r smaller than 10?
True
Suppose -71*s = 45*s - 93*s + 414. Is -3/16 greater than s?
True
Let j = 10.05 - 17.55. Let g = 13 + -16.5. Let m = j - g. Which is smaller: m or 2?
m
Suppose -4088 = -4*w - 4*d, -7*w + 6*w - 5*d + 1030 = 0. Is w < 1021?
True
Let r be 5/(232875/(-9945)) - 2/(-9). Let f = -2 - -1. Is f at least as big as r?
False
Suppose 202718 + 72667 = -79*a - 44881. Which is bigger: a or -4050?
-4050
Suppose -5*q + i + 32 = 0, -5*q - 2*i + 33 = 7. Suppose 0 = -3*f + f - q. Suppose -1003*j + 84 = -1031*j. Is f >= j?
True
Suppose 4*c + h = -1713, -4*c - 2178 = 3*h - 471. Let k be ((c/18)/(-11))/2. Let j = 35/24 - k. Which is greater: j or -1/4?
j
Suppose 65*b = b. Let k = 2/609 + -5515/10353. Are k and b unequal?
True
Suppose 74 = -81*q - 7. Let z = -0.675 + -0.085. Is q at most as big as z?
True
Let d = -22937/204 - -1553/17. Is d <= -20?
True
Let g = 161 - 73. Suppose -3*p + g = 13. Suppose 5*a = 25 + p. Which is smaller: 11 or a?
a
Let v be (-75)/(-250) + (-74)/(-20). Let h be 44/(-36)*(-1 - v). Is 7 at most as big as h?
False
Let y be (170/(-40))/((-17)/(-16) - 1). Let p = y - -66. Let s be 7/(p/15 + (-1)/5). Are -18 and s non-equal?
True
Let s be ((-2312)/(-119) + -10)/((-1)/(-7)). Is 66 at least as big as s?
True
Let j(q) = 4*q**2 - 17*q + 3. Let v be j(5). Let h(r) = r**3 - 20*r**2 + 37*r - 17. Let n be h(v). Is n at most 3/112?
False
Let l = 7/5 + -9/5. Let f(z) = -z**3 + 7*z**2 + 9*z - 9. Let r be (-1)/4 - (-66)/8. Let k be f(r). Is k at most as big as l?