2 - 9*s - 21. Let h be u(11). Which is greater: c or h?
h
Let w = -163/5 + 33. Let y = 121 - 114. Is y equal to w?
False
Suppose -13*q - 386 = -14*q + 3*d, 1906 = 5*q - 3*d. Is 381 less than q?
False
Suppose 0 = -3*c - 0*c - 36. Let m = c - -16. Let x be (0 - 0) + m/(-8). Are x and -1 nonequal?
True
Let d = -46 + 56. Suppose 6*t - d = -4. Which is smaller: t or 1/120?
1/120
Suppose -27 = -4*w - 3*c - 26, 4 = w - 3*c. Which is greater: 2/759 or w?
w
Let c be 72/88 - 2/(-11). Let h = 1745 - 90743/52. Is h <= c?
True
Let u be 78/(-21) - 4/14 - -3. Which is greater: 1/284 or u?
1/284
Let x be (4/2 - 7)/1. Let w = -0.42 + 0.02. Let u = w - -0.5. Is x at least u?
False
Let x = -8.1 - -8. Let p = 0 - x. Let d = 0.9 + p. Are 3 and d unequal?
True
Let o = 519 - 587. Which is greater: -70 or o?
o
Let p(f) = f**3 + 7*f**2 + 5*f - 5. Let b be p(-6). Let d = 4301/34410 - 48/155. Let q = -2/111 - d. Do q and b have the same value?
False
Let b(h) = h**3 - 3*h**2 - 5. Let j be b(4). Let z = j + -9. Let a be (-24 + -6)*z/4. Is -14 bigger than a?
True
Let c = 6 - -2. Let v be (11/c - 0) + -1. Does v = -1?
False
Let i = 198 + -136. Let k = -61.9 + i. Is k greater than or equal to 1/27?
True
Let d be 36/(-8)*(-479)/12. Let m = d + -458387/2552. Let z = m + 1591/638. Which is bigger: z or 4?
4
Let k(v) = -12*v**2 + 180*v + 8. Let f be k(15). Which is smaller: f or -1/13?
-1/13
Let r(h) = -10*h + 16. Let o(g) = 1. Let v(k) = -4*o(k) + r(k). Let t be v(6). Let a = t - -28. Is a at least -19?
False
Suppose -5*o + 2*c - 2283 = 5*c, 0 = 2*o - 2*c + 910. Which is bigger: -455 or o?
-455
Let r = 1.7 + -3.7. Let b = -0.0468 - -3.0468. Which is smaller: b or r?
r
Suppose -3*i - 3*k + 141 = 0, 4*i = -i + 3*k + 267. Which is smaller: 52 or i?
i
Suppose -4*w - 393 = 3*d, 0 = -d + 54*w - 49*w - 112. Is d greater than -127?
False
Let p = 192 + -191. Is p smaller than 8/67?
False
Let p = 193 + -194. Let s(m) = -m**2 - 9*m - 3. Let j be s(-5). Which is bigger: p or j?
j
Let y be (2/(-12))/(14/9). Suppose -3*l + 5*k - 23 = -0, 0 = -5*k + 20. Which is greater: y or l?
y
Let b = 5.7 + -0.7. Let h = 4 - b. Let u = h + 2. Are u and -6 non-equal?
True
Let o(x) = -2*x**2 + 13*x - 4. Let q be o(3). Suppose -5*g = -50 + 15. Let w = g - q. Is w greater than -10?
False
Suppose 0 = w - 2*n - 25, 2*w + n - 81 = -3*w. Let j = -13 + 30. Is w equal to j?
True
Let l(u) = -u**2 + 5*u + 4. Let q be l(6). Let k(y) = y - 3. Let w be k(11). Suppose r = -2*n - 4, 2*r = -5*n - w - 2. Which is greater: r or q?
r
Let d = -35 - -57. Let n be d/(-99) + 56/9. Suppose -h = -n*h + 20. Which is smaller: 2 or h?
2
Let t = -172 - -721. Do t and 549 have the same value?
True
Suppose 4*y = -y + 1080. Let k be y/28*28/1067. Let h = -2/97 + k. Is h > 0?
True
Let u = -14 + 93. Is 80 > u?
True
Suppose -5*t - b + 24 = 3*b, -4*b - 8 = -3*t. Let d be t + (76/5)/(-4). Let f be 3 - 2 - (1 - -1). Which is greater: d or f?
d
Let f be -2 + 1 - ((-85)/15)/(-1). Let r be 4/22 + (-408)/66. Is f at least r?
False
Suppose -2 = -2*x, -4*h - 5*x + 20 = -x. Suppose 5*z + 5*b = -10, -h*z = -5*z - 3*b - 6. Do 2 and z have different values?
True
Let x = 0.33 - 0.45. Let j = x - -30.12. Let f = -35 + j. Is f at most 3?
True
Let l = 0.247 + 5.843. Let f = 0.15 - 0.06. Let j = l - f. Is 0.1 greater than j?
False
Suppose -8*k + 6*k = 2. Is 2/1063 >= k?
True
Let f = 5 - 2. Let c = 6 - 8. Let m be 6/f - (-1)/c. Is -0.2 bigger than m?
False
Let g(v) = -2*v**2 - 12*v - 46. Let l be g(-3). Which is smaller: -31 or l?
-31
Let q = -0.42 - 4.58. Which is bigger: 11 or q?
11
Let s = -0.9 - -39.9. Let i = -43 + s. Which is smaller: -2 or i?
i
Let n = -40.2 - -41. Is n bigger than -4?
True
Let s be -7 + 7 + 50 - 7. Which is greater: 38 or s?
s
Let s(l) be the third derivative of l**6/120 + 2*l**5/15 - 11*l**4/24 + l**3 - 2*l**2. Let o be s(-9). Suppose 5*x = x + o. Are x and 4 equal?
False
Let z(g) = -g**3 - 6*g**2 + 3*g - 11. Let p be z(-7). Suppose -5*u - p + 77 = 0. Does 1/3 = u?
False
Let x = -694 + 695. Is x < 10/19?
False
Let d be ((-4 + 3)*0)/(-2). Suppose 2*x + 10*x - 12 = d. Let r(j) = -j**2 + 2*j + 1. Let m be r(-2). Which is smaller: m or x?
m
Let f = 8.103 - 8.3. Let v = f - -0.097. Is 14 at most as big as v?
False
Let j = -0.203 - -0.303. Are j and 46 unequal?
True
Let x be 18/(-55)*(-20)/(-6). Let p(j) = -3*j**3 + 9*j**2 - 1. Let k be p(3). Is k greater than or equal to x?
True
Let m be 3697/30 - 1/(-6). Let b = -123 + m. Which is smaller: -0.15 or b?
-0.15
Let q be 76/(-7) - 164/574. Which is bigger: q or -10?
-10
Let m = -1/444 - 3985/4884. Let b = -2061 + 2061. Which is smaller: b or m?
m
Suppose 71 = -35*k - 349. Which is smaller: 51 or k?
k
Let g be (-16)/6*(-6096)/224. Let k = -74 + g. Which is smaller: -1 or k?
k
Let y = -176/17 + -2691/34. Let p = 89 + y. Let i = -271/10 + 27. Which is greater: p or i?
i
Let x(n) = 2*n - 1. Let k(j) = j + 6. Let d be (7/2)/((-5)/10). Let b be k(d). Let q be x(b). Do -1 and q have the same value?
False
Let b(r) = 24*r - 3. Let t be b(1). Let s(n) = n**3 - 22*n**2 + 21*n + 1. Let x be s(t). Let v = 1212/11 - 110. Is x bigger than v?
True
Let m = -33 + 31.1. Let f = m + 1.9. Let d = f + 0.9. Which is smaller: d or -2/3?
-2/3
Let y = -523.09 + 527. Let m = y + 0.09. Let u = -7/9 - -59/99. Is m < u?
False
Let u = 14 + -34. Let m = -10 - u. Do 9 and m have the same value?
False
Let m be 16/(-12)*6/(-2). Suppose -m*k + 105 = k. Suppose -2*a + k = 4*f - f, 5*f = -a + 28. Which is smaller: -2/7 or a?
-2/7
Let q = 1363/2 + -178557/262. Suppose -32*y - 22 = -54*y. Which is greater: y or q?
y
Let y(n) = -n**3 + 6*n**2 + 3*n - 9. Let b be y(6). Let c = b - 11. Let w be (-14)/3 - -2 - -1. Is w bigger than c?
True
Let f be (1/2)/(2/8). Let y be (-210)/(-49) - (-6)/(-21). Which is smaller: y or f?
f
Let p = -1485 + 1513. Which is greater: 0.21 or p?
p
Suppose -5*q - 5*t = 30, -18 = 6*q - 3*q + 5*t. Is -32/5 greater than or equal to q?
False
Suppose -3*b + 5*x = -16, -b + 5*x + 0 + 2 = 0. Suppose -3*m + 8 = -4*n, -5*m + 27 = b. Let r be 2 - (48/(-22) - -2). Which is smaller: n or r?
n
Let i = 0 - 4. Let v = 9488 - 28064/3. Let r = v - 132. Is i bigger than r?
False
Suppose 0 = 3*l + 5*m - 3*m - 88, 2*l - 47 = m. Let b = l - 5. Let s be (-10)/(-6) - (-7)/b. Which is bigger: s or -1?
s
Let n = -1/20 - -13/60. Let c = 1848 + -7273/4. Let r = -30 + c. Is r > n?
False
Let t = -0.13 - -0.65. Is t bigger than 1?
False
Let c = -2994.12 - -2994. Let m = 0 + 0. Is m bigger than c?
True
Let o be 130/4*(-4)/(-5). Let a be ((-493)/87 + 3/(-1))*-3. Is a not equal to o?
False
Let h be 3/7 - 30/(-10). Let m = -180 - -182. Which is bigger: h or m?
h
Suppose 6*g = 3*g. Suppose 4*v = 2*r - 14, r - 2*v = -4*v - 9. Let n be r - 7/(49/(-6)). Which is smaller: g or n?
n
Suppose 10*m = 3*m - 28. Let x be m - (76/(-22) + 0). Is -4 <= x?
True
Suppose -n - 1 = -3. Let v be 4/6 - n*(-4)/24. Which is smaller: v or -2/27?
-2/27
Suppose -z + 0 + 1 = 3*n, 1 = z. Suppose n = -2*s + 5 + 5. Suppose 2*w - 2 = s*d, -2*w - 4*d = -3*w + 1. Which is bigger: w or -1?
w
Let r(a) = -5*a**3 + 2*a**2 + 6*a + 5. Let u be r(-2). Which is bigger: u or 37?
u
Let u(q) = 9*q + 255. Let w be u(-21). Which is smaller: w or 70?
w
Let r(u) = 17*u**3 - 7*u**2 - 28*u - 27. Let l be r(-3). Is 1 != l?
True
Let m = 106479/4 + -26480. Which is smaller: m or 141?
m
Let r(k) = k**2 - 4*k - 7. Let o be r(-2). Suppose -3*b = -t + 2*t - 90, -2*b = -o*t - 43. Which is smaller: 31 or b?
b
Let p = 18 - 15. Suppose p*w = 2*w - 1. Is -2/5 at least w?
True
Let a be 42/12*4/(-28). Which is smaller: a or 228/7?
a
Suppose -3*k + 13 = -20. Suppose 5*p = 141 - k. Is 25 <= p?
True
Let g = -4.17 - -0.17. Which is smaller: -3 or g?
g
Let k be 2/12*(-4256)/399. Is k equal to -1?
False
Let c be ((-14649)/7965 - -1) + 4/18. Let r = 3229/944 + -55/16. Let q = c - r. Is q less than or equal to -1?
False
Suppose 0 = 13*s - 20*s + 189. Suppose 4*t - 4*y = 8, 2*t + 3*y = -2*t - s. Which is bigger: t or 0.9?
0.9
Let m = -208 - -219. Is m bigger than 8?
True
Let c be (24/10)/((-20)/(-250)). Let j = c + -30. Let n be 0 + 1/36*-1. Which is greater: n or j?
j
Let o(g) = g**3 + 13*g**2 + 14*g + 9. Let z be o(-12). Let a be -2 + (-2 - 0)*18/z. Which is greater: a or 1?
1
Let l = 140 + -141. Which is sm