s = -24. Which is greater: s or -18?
s
Suppose 93*t - 26100 = 118*t. Let v = t + 1043. Which is smaller: v or 21/62?
v
Let h(l) = 4*l + 3. Suppose 2*x - 38 = 54. Let w be h(x). Is 188 smaller than w?
False
Let b be 9081/220 + 7/28. Let a be (-11)/44 + 3914/(-88). Let p = b + a. Which is smaller: p or -4?
-4
Let j = 746871/74 + -10093. Which is smaller: 1 or j?
j
Let n = -757 - -777. Let s = n + -20. Is s greater than -3/343?
True
Let p be 1*10/(-65) - (-698)/(-26). Let o be 16/(-72) - 30/p*11. Let d(m) = -5*m. Let b be d(-3). Which is smaller: o or b?
o
Let x be (-3)/(-15) - (-1476)/(-80). Let b(o) = o**3 + 44*o**2 + 287*o - 54. Let h be b(-36). Which is bigger: h or x?
h
Suppose -2*h - 5*h = 0. Suppose -5*p - 4*d + 27 = h, 5*p - 3*d + 0 - 6 = 0. Let w(n) = n**3 + 3*n**2 + 2*n. Let b be w(-2). Which is bigger: b or p?
p
Suppose 0 = 7*d - 2*d - 140. Suppose -4 = 6*g - d. Let y be 4/((-20)/25) + g. Which is smaller: 0 or y?
y
Suppose 4*w - 4*r = -128 + 4, 5*r = 25. Do w and -15 have different values?
True
Let r = 32532 - 16916. Is r < 15615?
False
Let a be (-15)/(-2)*(-36)/54. Let s be ((-2)/6)/(a/(-60)). Is s less than or equal to -6?
False
Let q(r) be the second derivative of -r**3/6 - 67*r**2/2 + 35*r - 1. Let v be q(-13). Which is bigger: -55 or v?
v
Let o = -42/1877 + -8797/26278. Is o less than 0?
True
Let f be 1 - 2/(3 - 196/68). Let b = f - 84. Let r be 35/b - (-9)/15. Is 0.04 at most as big as r?
True
Let v be 3/9 - (-314)/(-6). Let u(s) = -69 + 51 - 2*s**2 - 9*s + 35. Let h be u(4). Is h at least as big as v?
True
Let j = -262 - -272. Suppose -j*d = -9*d - 89. Is 88 at least as big as d?
False
Suppose 8*y - 84 = 4*y. Let h(z) be the third derivative of z**6/60 + 17*z**5/60 + 7*z**4/24 - z**3 + 39*z**2. Let p be h(-8). Is y greater than or equal to p?
True
Let f = -24099 - -24099.77. Let y = 71/5 - 14. Are f and y equal?
False
Suppose -2*u + 4*l + 16 = 0, -5*u - l = 2*l - 40. Let i be 4/(-6) + u/30. Which is smaller: i or 0.6?
i
Let x = 361 - 359. Let a be ((-80)/1470)/((x/3)/1). Suppose -3*p + 1 = -2. Are a and p equal?
False
Let n(o) = 4*o**2 + 11*o - 78. Let j be n(-12). Let v = -324 + j. Suppose q + 2*q - 129 = 0. Which is smaller: q or v?
v
Let s = 17.508 - -0.392. Let k = s - 18.46. Which is greater: 0 or k?
0
Let l = 0.1015 + 0.4785. Let h = -0.18 - -0.66. Let z = h - l. Which is greater: 8 or z?
8
Let j = 96864 + -96812. Let p be (-3)/(-9) + 602/12. Is p bigger than j?
False
Let c = -0.1 - -0.2. Let z = 308 - -23. Let a = -351 + z. Is c > a?
True
Let j be (-1)/(-89)*5/10. Let s(c) = -12 + 2*c - 3*c - 11 - c. Let x be s(-11). Which is greater: x or j?
j
Suppose 0 = -143*w + 135*w - 352. Let f = -8 + 4. Let g be (-90)/4*(-2 - f). Which is smaller: w or g?
g
Let y be (-200)/(-60) + (-1)/3. Suppose -4*g + 10 = -y*s - 14, -4*s = -2*g + 22. Suppose -12 = g*b, 0*b + 4*b = l - 1. Which is greater: l or -11?
-11
Let m be (-4)/(-8) - 10/(-4). Suppose -7*z + 15 = -m*y - 4*z, -20 = y - 4*z. Which is smaller: y or 1/200?
y
Let h(q) = -4*q + 43. Let k be h(10). Suppose b = -v + 1, b - k*v + 19 = v. Let f = -80 - -238/3. Which is smaller: b or f?
b
Suppose 5*x = u - 1385, -u + 3*x + 1291 = -104. Suppose -4*c + 2*k + 1146 = 0, 2*k = 14*c - 19*c + u. Which is bigger: 285 or c?
285
Let n be -3 + (-2)/(1/((-3)/(-2))). Let g = 6 + -12. Let v be (-5 - n) + 8/g. Is v at least -65?
True
Let m(y) = -y**3 - 2*y**2 + y + 1. Let w be m(1). Let t = -8793 - -43807/5. Let h = t + 32. Is w less than or equal to h?
True
Let q(w) = -197*w**3 + 4*w**2 + 16*w + 24. Let o be q(-2). Do 1583 and o have the same value?
False
Suppose 0 = 2*l + 3*j + 170, -170 = 2*l - 2*j - 0*j. Suppose 5*v = -2*g - 444, -96*v + 2*g + 272 = -99*v. Is v bigger than l?
False
Let c(u) = u**3 - 11*u**2 + 20*u + 3. Let q = 32 - 28. Suppose -45 = -5*s + 2*w, -s - q*s - 5*w = -45. Let m be c(s). Which is smaller: m or 22?
m
Let y = -112 + 184. Let f be y/(-16) + (-2 - 6)/(-2). Is 11 at least as big as f?
True
Let b be (-2)/(-16) + 12 + 441/(-72). Suppose 4 - 10 = -b*d. Which is greater: 4/269 or d?
d
Let f be ((-4)/(-3))/((-1)/15*-2). Suppose -f*y + 3731 = -1299. Let b = y - 3539/7. Do -4 and b have different values?
True
Let l be (-3861)/(-1782) - (-650)/(-12). Let n be (-1)/3 - 158/3. Which is smaller: l or n?
n
Let o = -1415 + 2395. Is -1 greater than o?
False
Suppose -5*u - 107 = -4*n + 102, 77 = 2*n + 3*u. Let a be (1/2)/(23/n). Are 4/53 and a non-equal?
True
Let k(r) = -18*r**2 - 22*r + 28. Let y be k(7). Which is bigger: -1009 or y?
y
Let r(o) = -507*o + 1110. Let q be r(2). Is 97 equal to q?
False
Let u = -33.9 + 34.204. Let x = u + -0.504. Does 14 = x?
False
Let i = -157/100 + 91/50. Are -332 and i unequal?
True
Let c = -96.5 + 85. Let m = c + -18.5. Which is smaller: m or 2/3?
m
Let q(h) = -h**3 + 18*h**2 - 17*h + 1. Suppose 2*g + 170 = 12*g. Let w be q(g). Which is greater: w or -2/123?
w
Let o = -75 + 41. Let b = -57 - o. Let v = -25 - b. Which is smaller: 7 or v?
v
Let z = -0.5861 + 0.3861. Are -739 and z equal?
False
Let c = -1718 + 1714. Which is bigger: c or -37/9?
c
Suppose 0 = -23*o + 10627 + 459. Let d be (-483769)/(-1001) + (-2)/7. Is o less than d?
True
Let l = 12 - 12.1. Let g = -66.2 - -10.2. Let s = -62 - g. Which is smaller: l or s?
s
Let q(l) = 36*l - 1460. Let s be q(42). Let z be (-505)/(-6)*42/(-68). Let a = z + s. Which is smaller: 1 or a?
a
Let z(x) be the first derivative of 3*x**2/2 - 77*x + 10. Let q be z(26). Is -2/19 smaller than q?
True
Let v be (-2 - -1)*(4 + 10). Let h = v + 37. Are 26 and h nonequal?
True
Let d = -59 + 116. Let l = 57.21 - d. Let n = 35.21 - l. Which is smaller: n or 2?
2
Let d = -1.49908 - 0.10092. Is d greater than or equal to -54?
True
Let h = 16023 + -16007. Is 399/26 <= h?
True
Let j be (-305)/(-15)*-3 - 4. Let s = j - 131. Is s < -196?
False
Let z = -120 + 119. Let d be (1 - 10)*z + -5. Do d and 7/2 have different values?
True
Let j(g) = -g**3 - 22*g**2 + 57*g + 217. Let p be j(-24). Is p > 52/53?
True
Suppose -613 = -7*p - 347. Let o be 1/((-150)/(-74) - 2). Which is smaller: o or p?
o
Let j be -4*2/(-12)*-3. Let g be (-124)/93*9/(-4). Let q be 483/(-315) + g/15. Which is smaller: q or j?
j
Let u(g) = 13*g - 148. Let i be u(-2). Let s be (i - 2)*72/(-32). Is s equal to 397?
False
Let h = -818.76 + 810. Let d = h + 9.76. Which is bigger: d or -387?
d
Let d = -1.26 + -0.36. Let g = 1.42 + d. Let r = 0.9 + 0.1. Which is smaller: r or g?
g
Let b = -0.845 - -33.845. Let o = 33.2 - 4.2. Let h = o - b. Which is bigger: h or 2?
2
Let i be ((-8)/12)/((-1155)/90). Is 1 less than or equal to i?
False
Let m = 8.271 - 8.271. Is m greater than or equal to -5/24?
True
Suppose -2*q + 5*l = -43, 5*l + 56 = -2*q + 149. Let t = -32 + q. Suppose 30 = -3*z - t*z. Which is greater: -5 or z?
-5
Let n = -258 + 98. Let i = 159 + n. Is i >= -9/17?
False
Let i(o) = -o**2 - 12*o + 28. Let c be i(-14). Suppose -40*q + 25*q + 120 = c. Which is bigger: 13 or q?
13
Let i be -69 + (-1)/1 - (-18 - -21). Let h = i + 73. Suppose 4*r = 4*b + 28, 4*b - 6*b + r - 11 = h. Are 2/27 and b equal?
False
Let c(b) = 8*b - 12. Let w be c(7). Let n = -574/13 + w. Suppose 7*r - 3*r - k = -43, 14 = -2*r + 2*k. Which is smaller: n or r?
r
Let l = 2511.93 - 2512. Which is bigger: 127 or l?
127
Let h = -43 - -74. Let q = 21 - h. Let f be 9/10 + 4/q. Which is bigger: 20 or f?
20
Suppose 2*x - 28 = -5*i, 3*x + 5*i - 6 - 41 = 0. Let r = 32 - x. Let u(k) = 2*k - 26. Let a be u(r). Which is smaller: a or -1?
-1
Let j be (-17)/136 - 254/16. Let q be (-1 - 0)/(48/j). Which is bigger: -0.077 or q?
q
Let g = 0.0332 + 0.4168. Is -0.5 != g?
True
Suppose 0 = -2*d + 1 + 7. Let w be 3/((-4)/8 - (-5)/d). Let m be w/(-386) + -2 + 2. Which is bigger: m or -1?
m
Let h be (-7 + 14)/7 + -1. Let r be (h - 4)/(3*44/(-33)). Is 2/15 at most r?
True
Let y = -42172.169 - -42172. Let d be (8/(-20))/(4/2). Which is bigger: d or y?
y
Let c be (((-2)/(-10))/1)/((-2)/(-70)). Suppose 0 = -10*u + c*u + 54. Is u equal to 88/5?
False
Let r be (-35 - (-16 + -8)) + 109/9. Let y = 3 + -3. Is y equal to r?
False
Let h = -111 + 24. Let l be ((-4)/5)/(-3 + 39/15). Let a be l/(257/174 + (-27)/18). Is a less than or equal to h?
True
Suppose -2*n - 8*t + 3*t - 9 = 0, 2*n - 4*t - 18 = 0. Suppose 0 = -5*p + 2*l - l + 394,