(6 + -5)*(6 + 2). Is -6 at most h?
True
Let v = -252 - -65. Let b = v - -187.05. Is -7 <= b?
True
Let y = -2407/176 - 35/176. Which is smaller: y or -14?
-14
Suppose -2*r = -3*p + p + 16, -16 = p + 5*r. Suppose p*w = 8 + 8. Let h = 14.1 + -12.1. Is h > w?
False
Let g(t) = -29*t. Let s be g(4). Suppose 6779 + 26232 = -343*u + 2619 - 8710. Is u >= s?
True
Let p = -778 - -783. Is p at least 1.2?
True
Suppose -184*q - 23099 = -23835. Let o(t) = -t**3 - 4*t**2 - 4*t - 4. Let b be o(-3). Let x be b/(-2)*6 - 2. Which is smaller: x or q?
x
Let q(a) = -8*a + 114. Let l be q(6). Suppose 0 = -23*m + 34*m - l. Suppose -4*k + 24 = -0*k. Is k smaller than m?
False
Let d(x) = -37*x**2 + 10*x + 16. Let k be d(-2). Which is bigger: k or -156?
k
Let o be (20/2875)/(8/20). Which is bigger: o or 393?
393
Let g = 248 + -2732/11. Suppose -991*x + 3195 = 74*x. Is x greater than g?
True
Let d = -6971 + 6971.3. Is -0.0681 < d?
True
Let j be 0/3 - (-1080)/135. Is j smaller than 437?
True
Suppose -5 + 4 = -f + y, 4*y + 4 = f. Suppose -a + 4*h - 29 = 0, f = 2*a - 3*a - 4*h - 21. Which is smaller: a or -24?
a
Let x be (-2)/12 - 45/54 - 0. Let l = 3.3 - -18.7. Let g = l + -21.947. Which is greater: g or x?
g
Let z(i) be the first derivative of i**4/4 + 7*i**3/3 - 9*i**2 - 11*i - 4. Let s be z(-9). Let h = -8 + s. Which is smaller: h or -20?
-20
Let f = 299131/55 - 5439. Let i be (54/(-189)*-21)/6. Which is smaller: i or f?
f
Let p = 68559 + -68425.582. Let u = p + -0.418. Is u less than 2/7?
False
Suppose -22*q - 38 = 16*q. Is q less than 41/99?
True
Suppose -w + 2*m - 241 = 7*m, 0 = 3*w + 5*m + 763. Let b be (-28)/(-70)*(w/(-21) + -1). Are b and -1 non-equal?
True
Let k be (6464/(-14))/((-32)/112). Is k equal to 1616?
True
Let a = -18015 + 30757. Is 12742 less than a?
False
Let y(d) = -d**3 - 19*d**2 - 19*d - 14. Let t be y(-18). Suppose 4*v = -t*m + 264, v + 2*m + m = 58. Which is smaller: 68 or v?
68
Let c = 1720 + -1719.91. Which is smaller: c or -1/21?
-1/21
Let a = 3 - 2.8. Let l = -58645 - -58654. Is a <= l?
True
Let r = 8039 - 7993. Which is smaller: 11 or r?
11
Suppose 5*z - 5*v = 45, z + 0*v = 2*v + 14. Let n be 250/(-4) - z - 1. Which is smaller: n or -69?
-69
Let r(b) = -158*b - 317. Let g be r(-2). Are 1/4897 and g equal?
False
Let k = -37 - -158. Let v = k + -116. Suppose 20 = -v*r - 5. Is r at most as big as -6?
False
Let a = 0.33449 + -0.03449. Which is greater: -0.59 or a?
a
Suppose 11*t - 118 = 14. Suppose -t = -15*v + 18. Which is bigger: -0.19 or v?
v
Let o = 47 + -29. Let c = -20 + o. Which is bigger: c or -0.06?
-0.06
Suppose 0 = 9*w + 3*w + 12. Let u be (476/(-14))/(w + -1). Suppose 3*v + u = -163. Is -60 bigger than v?
False
Suppose -3*d + 5387 = 2*u, 2*u - 111*d - 5412 = -109*d. Is 2701 at most as big as u?
True
Let u be 38/2 - (16 - 143/11). Is u less than 110/7?
False
Let t = 44.4151 + -0.0151. Let f = t + -48. Let i = f + -0.4. Which is bigger: i or 1/8?
1/8
Suppose -2*r = -0*r - 4. Suppose -4*y - 428 - 272 = -2*h, 5*h - 3*y = 1764. Let q = 3930/11 - h. Are q and r nonequal?
True
Let f(i) = -i**2 + 319*i - 3090. Let o be f(10). Which is smaller: -9.3 or o?
-9.3
Let m be 0 + (5 - (4 - 2)). Let n = 2740 + -2737. Suppose -3 + m = -n*r. Is r greater than or equal to -0.3?
True
Let t(d) = 4*d - 46. Let a be t(-24). Let p = a + 143. Which is bigger: -21/2 or p?
p
Let n(t) = -8*t**3 - 6*t**2 - 46*t - 87. Let a be n(-2). Let d = -65 - -109. Does d = a?
False
Let h = -1.8444 - 0.1556. Suppose -24 = -0*x + 4*x. Let y be (x - -11)*2/(-335). Which is smaller: y or h?
h
Let k(b) = -6*b**2 - 20*b + 120. Let o be k(7). Is -326 at most o?
True
Let p(h) = -2*h**3 + 140*h**2 + 128*h + 595. Let g be p(71). Is g greater than or equal to -393?
False
Let b = 8345 - 8345.4. Which is bigger: b or 58?
58
Suppose -a + 6 = 1, -2*o + 27 = -5*a. Suppose -2*m = d - 7*m - o, 0 = -d + 2*m + 11. Let u be 21/(-30) - 1/(-2). Which is greater: u or d?
d
Let r be 4/(-6)*((-4816)/196 - -25). Suppose -5*y = 20, 4*x - 6 = -5*y - 38. Let p = x + -4. Which is smaller: r or p?
p
Let j be 3*(-2)/3 - (-83 - -86). Which is smaller: -79/17 or j?
j
Suppose 0 = a + 2 + 38. Let r = a - -40. Let l be ((-3)/(-1))/(r + 1 + -2). Which is greater: -1 or l?
-1
Let y(b) = 42*b - 1. Let l be y(-2). Suppose -2*v - 166 = 2*h, 641*v - 640*v - 3*h = -83. Which is bigger: v or l?
v
Suppose 14696 = 80*f + 3786 - 13330. Is -20 smaller than f?
True
Let d = -0.257 - -1.887. Let l = 0.63 - d. Suppose -5*c + 4*c - 6 = -5*z, -2*c + z = -6. Is l smaller than c?
True
Suppose 2*n + 19 = -m, 5*m - 21 = 2*n + 4. Suppose 40*g = 41*g + 2 - 5. Which is smaller: n or g?
n
Let l be (((-5)/33)/5)/(7/14). Let s be 3343/(-28) - 2/16*6. Let o = -120 - s. Which is bigger: l or o?
o
Let z = -741 + 817.8. Let x = 6.8 - z. Let d = x + 71. Do d and 1/2 have the same value?
False
Suppose 2*j = r + 49, 2*r = -4*j - 2*r + 128. Suppose j*f - 11 = 43. Which is greater: f or 0?
f
Let g be ((-30)/4)/(6/(-2))*(54 - -2). Suppose 5*j + 2*n - 699 = 0, 2*j + n = -2*n + 273. Which is smaller: j or g?
g
Let o be 1*(-9)/27*282. Let s = 55 - 149. Is o at least s?
True
Let l = -20418 + 20414. Does l = -2/3349?
False
Suppose 35*h + 4*m - 1615 = 36*h, 21301 = -13*h + m. Is -1639 at least h?
True
Let t be (-19)/(114/12) - (-12)/(-2). Is -117/14 at least t?
False
Suppose 0 = 5*g + 2*v + 1316 + 1171, -2*g = 2*v + 996. Is -494 greater than or equal to g?
True
Let m = 2201502259/427 - 25778721/5. Let x = m - -2/427. Which is smaller: -1/4 or x?
x
Let k(s) be the third derivative of s**5/60 - 11*s**4/24 - 7*s**3/2 + 18*s**2. Let v be k(13). Suppose -260 = -v*m - 4*o, -156 = -7*m + 4*m + 2*o. Is 51 < m?
True
Let c be 0 + 9/((-9)/(-4)). Suppose -q = -5*q - c. Let z = -132 - -785/6. Which is smaller: z or q?
z
Let r = -1409/2 - -711. Let s(b) = -8*b - 17. Let v(w) = -9*w - 17. Let t(k) = 6*s(k) - 5*v(k). Let l be t(-8). Is l less than r?
False
Let x(n) = n**2 + 18*n + 30. Let m be x(-15). Let t = -29 + -8. Let l = m - t. Which is smaller: l or 23?
l
Let x(y) = -18*y - 36. Let g(q) = -50*q - 109. Let s(j) = -4*g(j) + 11*x(j). Let i be s(-26). Which is greater: i or -13?
i
Let d be ((-1)/2)/((-118)/3068) + -33 + 9. Let i = 3/934 - 22889/1868. Are i and d non-equal?
True
Let b be 1044/(-171) - -6 - (-388)/76. Is b equal to -35?
False
Suppose 0 = -43159*m + 43214*m + 5665. Is -141 >= m?
False
Let i be (-15552)/19040 - (-8)/10. Let j = 107/714 - i. Is 1 at least j?
True
Let o = -19003978 + 13245775722/697. Let c = o + -64/41. Is c < 2?
False
Suppose 5*y + 12 = -m, -4*m - 3*y - 67 = -2*y. Suppose -2*r - 12 + 22 = 2*w, 0 = r - 4*w + 20. Suppose 8*t + 32 + 112 = r. Which is smaller: t or m?
t
Let w = 6.89 - 4.68. Let d = -12.69 - w. Is d smaller than -2?
True
Let m = 5536 - 5437. Which is smaller: 146 or m?
m
Let d = -15 - 161. Let r = 5171 - 5348. Which is smaller: r or d?
r
Suppose -15*y + 50279 - 3029 = 20*y. Which is bigger: 1352 or y?
1352
Let f be 108 + 4 + 7 + 8. Suppose -102*p = -f*p - 300. Does p = -13?
False
Let p(q) = 2*q - 3. Let n be p(3). Let a = n + 33. Suppose 39*u = 259 + 1184. Is u >= a?
True
Let t(c) = -c**3 + 77*c**2 - 406*c - 157. Let d be t(71). Which is greater: d or -2/5?
d
Let q = 2 + -2. Let o = 268829/6 + -44806. Which is smaller: o or q?
o
Let w = 36686/3 - 12105. Which is smaller: w or 124?
w
Let j = 85 + -112. Let l be 84/j*3*(-6)/4. Suppose -5*k - 5 = 5, 5*k = r - 24. Is l greater than r?
False
Suppose 0 = 5*l - 3*l - r - 184, 5*l + 3*r = 471. Let t = l + -97. Let n be ((-2)/(-4))/(9/t). Is n less than -0.9?
False
Let w = 8063 - 9580. Is w greater than -1516?
False
Let z(o) = -1300*o - 1321. Let h be z(-1). Suppose -5*g = 5*a - 40, 0 = -0*g - 4*g + 2*a + 2. Suppose 4*s - s - 3*m = -60, -2*s - 35 = g*m. Is h != s?
True
Let o = 12.46328 - 10.86328. Let g(w) = -5*w**2 + 3*w. Let p be g(2). Is p <= o?
True
Suppose 0 = 4*o + 3*c + 51, 2*o + 21 = -0*c + 3*c. Let q be 3/o - 93/(-420). Let l = 223 - 222. Is q less than l?
True
Let t be (23 + -22)*((-7)/(14/(-4)))/2. Is -1/26 >= t?
False
Let t = -13473 + 13408. Is 38 >= t?
True
Suppose 450*b - 3*j = 454*b - 2658, -681 = -b + 2*j. Is 662 less than or equal to b?
True
Suppose 2*j - 24 = -4*r, -6*r + 7*r + 82 = 5*j. Let g be -8 + 1 - (j - 22). Which is bigger: -10/221 or g?
-10/221
Suppose 0 = 