**3 - 13*k**2 - 11*k - 27. Let s be z(-12). Which is bigger: p or s?
p
Let a be 4/2 + 258/78561*12186/(-20). Is a at most as big as 0?
True
Let k be (-4683)/(-28)*3*(-6)/297. Which is smaller: k or -9?
k
Let j = -236 - -152. Let i be ((-12)/(-6) + -2)*(24/(-4))/(-12). Which is smaller: j or i?
j
Suppose -15 = 3*u + 5*m, 3*u - 12 = 4*u + 4*m. Which is smaller: 5/271 or u?
u
Let i be -3*(2/12)/(8/(-64)). Suppose 2*b + 3*o + 15 = 5, 2*o + 4 = 0. Let w be (b/10)/((-6)/(-5)). Is i > w?
True
Let t = 1.48 + -31.38. Let l = 77.1 - t. Which is bigger: -0.1 or l?
l
Suppose 497 + 105 = -86*c. Which is smaller: -28 or c?
-28
Let o = 146 + -123. Which is smaller: o or 1.11?
1.11
Suppose -3*s - 72 = 117. Let d = -67 - s. Let v(h) = 3*h**3 + 7*h**2 - 9*h. Let w be v(d). Is -44 not equal to w?
False
Let r = 11056 - 11056.1. Which is greater: r or -15566?
r
Let t be 8/216*7725 - 1/9. Which is smaller: 285 or t?
285
Let c be 1 + 1 + (29 - 5)/(-8). Let b be (10/280)/(285/(-6868)). Let x = b + 1/285. Which is smaller: x or c?
c
Let s(r) = -6*r - 102*r**2 - r**3 - 41 + 100*r**2 - 14*r. Let l be s(-2). Let d be (0 - 268/(-133)) + -2. Is l smaller than d?
True
Suppose 868*m - 834*m + 4794 = 0. Is 28 >= m?
True
Suppose 15*w - 10*w + 1625 = 0. Let h = 324 + w. Is -0.107 not equal to h?
True
Let o = -276 + -342. Let q = -618 - o. Is q less than or equal to -1/116?
False
Let i(a) = 19*a**2 - 789*a + 67. Let q be i(43). Which is greater: 1270 or q?
q
Let c = -852.8 - -853. Let j = -0.01 - 0. Which is smaller: j or c?
j
Let j(y) = -19*y + 1074. Let p be j(56). Let i be 164/18 - 4/(-18). Which is smaller: p or i?
i
Let s be 3569/231 + (-14)/42 - (-3)/7. Is s less than 16?
True
Suppose 0 = -4*p - 2*g + 30, 0 = 2*p + 5*g + 17 - 44. Suppose 0 = -p*f + 3*f + 54. Is f at least as big as 22?
False
Let d = 2159.1881 + -2159. Let b = 0.0471 - d. Is b not equal to -1/3?
True
Let y = 3801/22 + -15171/88. Let c = -15.6 - -0.6. Is y less than c?
False
Let i be 2*(-4 + 3) - (-4 - -2). Suppose -4*h + 5*h - 6 = i. Suppose -5*f = -3*k - h - 4, 0 = 2*k + 2*f - 4. Is k > 6/13?
False
Let d be (-2)/(-8) + (-4059)/72*-98. Let s = -5171401/936 + d. Which is smaller: s or 1?
s
Let z(w) = 2*w**2 - 5*w - 2. Let k be z(3). Let a = -9/55 + 183/110. Which is bigger: k or a?
a
Let l = -2462 - -4231. Is 1768 < l?
True
Let f = 5739 - 5739. Which is bigger: f or -32/183?
f
Suppose 0 = -2*d + 3*w - 30, -4*w + 3*w = -2*d - 22. Let p = 1985 + -1361. Let i = 614 - p. Which is smaller: d or i?
i
Suppose 3*k + 10 = 2*t, -4 + 2 = -3*k + 5*t. Suppose -10*g + 13*g - 3*c = 0, 6 = -5*g - c. Which is bigger: k or g?
g
Let w be (-168)/392*(-21)/9. Let z = 0.053 - -28.947. Is w equal to z?
False
Let j = 4106 + -3938. Is j less than or equal to 2202/13?
True
Suppose 6*u + 12 = 36. Suppose -r - 13 = -u. Let h be (-19)/3 + 1/r*6. Which is bigger: -9 or h?
h
Let f(r) = -16*r**2 - 6*r - 9. Let u be f(-3). Let x be 4*-1 + u/(-3). Let z(c) = -3*c**2 + 2*c + 40. Let y be z(0). Which is bigger: y or x?
x
Let f be ((-6)/4)/(3/(-6)). Let u be 1/(-2) + f*(-33)/6. Let m be 1/((1 + 3)/(-68)). Is u smaller than m?
False
Let d(u) = 11*u**2 + 101*u - 22. Let v be d(-10). Which is smaller: 60 or v?
60
Let t = 2419 + -1644. Let y = t + -5461/7. Do -6 and y have the same value?
False
Let r = 599 - 652. Let m = r + 52.8. Let a be (2 + (-46)/18)*3. Which is greater: a or m?
m
Suppose -g - 3*y - 7 = 0, g - y + 12 = 1. Let v(a) = a**3 + 12*a**2 + 18*a - 5. Let c be v(g). Suppose 0 = -3*w + 27 + c. Which is greater: w or -3?
w
Let b = 879.03 - 879. Let v = -14.8 - -11. Let n = -0.8 - v. Are b and n non-equal?
True
Let g = -897/380 + -3/76. Let r = 33 + 108. Let o = r + -144. Are o and g equal?
False
Let z(m) = -28 + 11155*m - 11159*m - 14. Suppose 2 = t + 18. Let r be z(t). Which is smaller: 21 or r?
21
Let d = -33949/14 - -16922/7. Which is smaller: 0.99 or d?
d
Let y = 229071/1452776 + -3/6344. Let m = y - -13802/2519. Which is bigger: 7 or m?
7
Suppose -1307 = -14*g + 9*g - 3*l, 5*g + l = 1319. Is g at least as big as 262?
True
Suppose 7*c - 12*c + 105 = 0. Let w be (-35)/42*c - -6. Suppose -2*v - 3*v - 55 = 0. Which is smaller: w or v?
w
Let c = -26/21 + 1867/1491. Let h(v) = -2*v**2 - 1 + 22*v**3 - 2*v**2 - 23*v**3 + 3*v + 12. Let a be h(-4). Do a and c have the same value?
False
Let a be 1*6/4*-76*36870/180. Is -23351 greater than or equal to a?
True
Let r(a) = -a**2 + 12*a - 10. Let y be r(12). Let j = y - -10. Which is bigger: j or -23/20?
j
Suppose 5*w + 5*k - 480 = 0, -5*w + 2*k = -76 - 397. Suppose 7*p + 59 = -w. Is p > -1?
False
Suppose 0 = 6*r - 5*r - 2. Suppose 9 = -3*a, -2*y - r = a + 1. Are y and -15/14 unequal?
True
Let h(t) = t**2 + 7*t - 18. Let q = -220 - -226. Let m be h(q). Which is greater: 1 or m?
m
Let i = -214 - -216.32. Let b = i - 2.58. Is -1 greater than or equal to b?
False
Let o = -480/7 - -50859/742. Which is greater: 1/6 or o?
1/6
Let l = -5 - -7. Suppose l*b = b. Let a = -683/100 + 27/4. Are a and b nonequal?
True
Let m(b) = -73*b + 8760. Let h be m(120). Which is smaller: 1/1204 or h?
h
Suppose -2*p = -y + 44, -2*p + 86 = 80. Which is greater: y or 113?
113
Let v be (1/(-5))/(1 - 12/20). Let q = 3748.019 + -3761. Let p = -0.019 + q. Which is bigger: p or v?
v
Let x be (88/10)/((-824)/(-120)). Let f = x + -42958/33681. Which is smaller: 1 or f?
f
Let t(f) = f**3 + 17*f**2 - 14*f + 89. Let s be t(-19). Let i = -340 - s. Suppose 4*j = 4*p - 116, 0*p = 4*p - 2*j - 110. Is i bigger than p?
True
Let u = 7032.02 - 7035. Which is smaller: -7 or u?
-7
Suppose -17*n + 167 - 14 = 0. Suppose 0 = -n*a - 15*a - 648. Which is bigger: a or -31?
a
Let t = 0.934 + -0.92. Let q = t + -12.014. Is q bigger than -4?
False
Let c = -0.33956 - 0.35744. Which is bigger: c or 2.1?
2.1
Let l = 2946 + -3088. Do -0.4 and l have different values?
True
Suppose -9*w + 189 - 54 = 0. Let u = 22 - 21. Which is bigger: w or u?
w
Let k be 7 + 11128/(-1547) + 3/7. Let r = -0.7 + 0.71. Which is greater: r or k?
k
Let w be (4/1 - -66)*3/6. Let l be 1/(3/(-2)*w/15). Let r = 11 - 11.35. Which is bigger: r or l?
l
Let p(s) = -278*s + 2503. Let a be p(9). Let n be (1*-89)/((-2)/(-62)). Let i = 433165/157 + n. Is i bigger than a?
False
Let r(b) = b**3 - 8*b**2 + 8*b - 5. Let g be r(7). Let w be 5/((-1 - 2/(-3)) + (-702)/(-891)). Is g <= w?
True
Let p = -124 + 182. Let r = -97 + 12. Let f = p + r. Does f = -3/5?
False
Let c(q) = q**3 + 9*q**2 - 86*q - 716. Let s be c(-11). Let b(j) = 2*j + 9. Let i be b(-10). Is i bigger than s?
True
Let p = -705 + 705. Is p at most -2/1093?
False
Let q = 141718 + -992021/7. Let t = 1.8 + -2. Is q less than or equal to t?
False
Let s = -6 + 6. Let w = 111 + -119. Let y be 6/w*-14*4/3. Are y and s non-equal?
True
Let w(r) = 2*r**3 + 15*r**2 - 13*r + 15. Let i be w(-9). Let q = 257 + i. Which is smaller: 145 or q?
145
Let v = -173 + 173. Let i be 19/(-76) + v + 14/(-8). Which is smaller: i or 2?
i
Let c be (4635/6912 - -7*18/(-189))/38. Which is smaller: -1 or c?
-1
Let u = 1350 - 1351. Is 22/45 at most u?
False
Let x = 7.768 - -170.192. Let m = -178 + x. Is -11/4 greater than or equal to m?
False
Let m = -4 - -4. Let j = -15 - -180. Let v be (j/54)/(-1) - -3. Do v and m have the same value?
False
Let g = -178894.6 + 178897. Let u = -0.2 + 0. Which is smaller: g or u?
u
Let j = -31/4 - -85/12. Let z = -40 - -83. Are j and z non-equal?
True
Let r = -1201/407 + 67/22. Is r > 0?
True
Let p = 681 + -682. Is p bigger than 9/155?
False
Let y be 3 - (2201/671 + (-40)/220). Suppose 3*u - 5*u = 0. Which is smaller: u or y?
y
Let m(o) = -6*o - 159. Let s be m(-34). Suppose s = -64*r + 69*r. Let p = -19 + 30. Which is smaller: p or r?
r
Let y be 6 - (0 + 1) - (-33)/(-165)*19545. Are -3904 and y nonequal?
False
Let t = 11776 + -11776.4. Is 0.289 not equal to t?
True
Let c(t) = -234*t - 265. Let s be c(5). Is s > -1435?
False
Let u = -144 + 144. Suppose 4*p + 39*p + 387 = u. Is p at least -14?
True
Suppose 68*p + p = -6384 - 13626. Which is greater: p or -288?
-288
Let j = -7 + 4. Suppose 0 = 2*f - 5*i - 2703, -165 = -5*f - 3*i + 6577. Let o = f - 12173/9. Which is bigger: j or o?
j
Let r be 35/(-20) - (-6)/(-24). Let f be ((-48)/40 + r)*(-10)/76. Is 1 less than f?
False
Let w be 1*(0 - (1 - 0*(-1)/3)). Let r be ((-12)/322)/(10/(-