12/(-22). Suppose -q + 4 = 1. Let t be q/2 - 7/4. Which is smaller: t or y?
t
Let z = -44762/469707 + 4/67101. Suppose 3*h = n + 2*n + 24, 4*h = -4*n + 8. Let b = n + 2. Which is greater: z or b?
z
Let r be (-10184)/12 - 1*5. Let z = r + 843. Is -10 greater than or equal to z?
True
Let o = 1106.1291 - 0.1291. Let r = 1107.058 - o. Let i = r + -0.058. Is 3 less than i?
False
Let x be 16*(-36)/(-1032)*(-21)/18. Let h = 103/172 - x. Which is smaller: -4 or h?
-4
Let b = 294 - 139. Suppose 4*z + b = 43. Let f be 3/6*-6 - z/5. Is 3 equal to f?
False
Let w = -221 - -465. Let k = w + -243.804. Are 0 and k equal?
False
Let g be (2/121)/((-1446)/(-2651)). Suppose 2*o - 10 = 0, 2*o = 3*c + o + 8. Is c at least g?
False
Let k(b) = -b**3 - 9*b**2 - 6*b - 3. Let v be k(-8). Let y(j) = -2*j**2 - 1. Let c be y(3). Is v equal to c?
True
Suppose 16*y - 40131 = -5*y. Let i = 143323/75 - y. Which is smaller: 0.1 or i?
i
Let j = -1721/56885 + 4/367. Let t = -7/155 + j. Which is greater: 8 or t?
8
Suppose 0*r + 105 = -5*r. Let u = -54 - -78. Suppose -f - 5*s - u = -6*s, 5*f + 108 = s. Is f greater than r?
False
Let c(l) = -l**3 - 5*l**2 + l + 5. Let x be c(-5). Let i be 2/2373*((30 - 5) + -18). Which is bigger: x or i?
i
Let j = 150759 - 150771. Suppose 0 = 5*n - 141 - 34. Suppose -3*q + 4*o - 10 = -q, -2*q - o = n. Is q equal to j?
False
Suppose -q + 5*k = 7, -3*k + 6 = -k. Let u be 146/q - 1/4. Let m = u - 17. Which is bigger: 8/5 or m?
8/5
Suppose -37*g + g + 180 = 0. Let a be g*(-14)/(-35)*2. Which is bigger: a or 11/4?
a
Let t = -31 - -38. Let h be 8/36 - (-4)/(-18). Suppose 3*p - 15 = 0, h = 2*i + 5*p - 9*p + 12. Is i >= t?
False
Let b = 344/44073 - -1/1494. Let a = 230822 + -230823. Which is greater: b or a?
b
Let t = 65.11 + -67.11. Is -2228 equal to t?
False
Let t be (-2)/(-9) - 308/90. Let z = t + 18/5. Let x = -13 - -31. Which is smaller: z or x?
z
Let n = -6575 - -6656. Which is smaller: n or -4/11?
-4/11
Let t = 4363067/567 - 7695. Which is bigger: t or 0?
t
Let l = 16637/2 + -8318. Suppose -4*r + r - p = 11, -5*r = 3*p + 17. Let y be (-1)/3 + r/(-48). Does l = y?
False
Suppose 5*g + 14*m + 18448 = 12*m, 4*m = 5*g + 18484. Which is bigger: -3691 or g?
-3691
Let v be (-1)/(5/2) + 4/10. Suppose -3*k - 2*t - 3 = 0, t + v + 8 = 5*k. Is k greater than 3/47?
True
Let c = -8056/7 + 1152. Suppose 0*n = -n + 3. Suppose 1 = 4*p - n. Which is bigger: c or p?
c
Suppose -5*z - 1181 + 12923 = -11133. Is z greater than -1/3?
True
Let c be (-6)/(-24) - (-158)/8. Let k = -12 + c. Let q be (12/(-16))/((-21)/k). Is q greater than or equal to -1?
True
Let b = 11.84 + -1.04. Let i = b - 9.4. Let q = -14 + 12. Which is smaller: q or i?
q
Suppose 3*i = w - 2362 - 1895, -2*w = 12. Is i bigger than -1421?
False
Let d be 9/1 + 73320/(-8184). Do 0 and d have the same value?
False
Let m be (183*8/36)/(12/(-198)). Let t = m - -584. Are t and -85 non-equal?
True
Let o be 9 - 40/16*-170. Is o greater than or equal to 4?
True
Let z = -97.1 + 36.1. Let g = 8.2 - 69. Let o = z - g. Is 9 != o?
True
Suppose -2*m = -j - 16, 5*m + j + 2*j = 40. Suppose s + m*s = s. Let k = 126335/113 + -1118. Is s <= k?
True
Let x = 0 - 0.1. Let p = -78636 - -78743. Which is smaller: x or p?
x
Let j = -3851 - 4970. Let v = 43969/5 + j. Which is bigger: -28 or v?
v
Let d be (4 + -3)*(83 + 11843). Which is smaller: d or 11925?
11925
Let y be (-3 - 3005/(-1100)) + (6 - (-174)/(-30)). Let c = -42/12671 - 2826951/7247812. Let j = c + y. Which is smaller: -1 or j?
-1
Let z be (6/385)/(18/(-5068)) + 3. Let q = 26/33 + z. Which is greater: q or 0.03?
0.03
Let c = -10377/19 + 546. Let u be (-472)/1180 - (6/(-10))/(-1). Is c <= u?
False
Let s = 95 + -91. Suppose 4*u + f - 4*f = -216, s*f + 137 = -3*u. Let w = u + 40. Which is greater: -3 or w?
-3
Let c(j) = -174*j - 124. Let p be c(-5). Let y = p - 1461/2. Is 16 < y?
False
Let o = 6434 - 2129652/331. Which is smaller: 6 or o?
o
Let b be -6 - 19795/85 - 2*8/136. Which is smaller: b or -230?
b
Suppose 0 = -16*k - 8 - 56. Let d be (-210)/(-280) - (-3)/k. Let q = -8 + 8.06. Is d > q?
False
Let k(v) = 2*v + 20. Suppose -m - 8 = 5*b, -2*b - b + 3*m + 6 = 0. Let n be (-5 - -7)/(b/5). Let y be k(n). Which is smaller: -18 or y?
-18
Let a(k) = -240*k + 122*k + 127*k + 17. Let r be a(-2). Are r and 3/166 unequal?
True
Let m = -2883/3610 - 1/722. Is m greater than or equal to -286?
True
Suppose 952 = -20*z + 16*z - 13*z. Suppose 6 = -d - 53. Which is greater: d or z?
z
Let w = -1.342 + 0.342. Which is smaller: w or 12907?
w
Suppose -8*h + 3*n = -12*h + 143, 0 = -3*h + 5*n + 129. Suppose -30 = x - h. Suppose 136 + x = -6*c. Which is bigger: 3 or c?
3
Let r(c) = c**3 + 41*c**2 + 41*c + 36. Let g be r(-40). Suppose 5*j + 29 = -0*j - m, j = 3*m - 9. Is g bigger than j?
True
Let y be 1/(7/2016*-4). Suppose 2*u - 146 = 2*l, -4*l = 4*u + 8 + 268. Are y and l unequal?
True
Let r be (-33)/(-6)*40/55. Suppose -4*a + 3*n = -577, 0 = -5*n - r + 9. Which is bigger: a or 147?
147
Suppose 3*v = -v - 20. Let l be (12/v)/(18/120). Suppose o + 3*o + 7*h = -111, o + 5*h = -44. Which is bigger: l or o?
l
Suppose 2*r + 3*b - 29 = 0, b + 15 = 3*r - 1. Suppose 3*g = -r*g - 340. Suppose 3*x = -4*h - 119, h - 5*x + 20 = -27. Which is smaller: h or g?
g
Let u = -5 - -473/95. Is u < -5?
False
Let f = 1518.06 - 1642. Let c = -124 - f. Which is greater: 0.9 or c?
0.9
Let a = 4927/6 + -2462/3. Let t = 0.077 + 68.923. Which is smaller: t or a?
a
Suppose -27 - 13 = 5*l. Suppose 107 = 4*k + 131. Which is smaller: l or k?
l
Suppose 4*n + 3 = -229. Let s(g) = -g**3 - 44*g**2 - 46*g - 186. Let o be s(-43). Let q = n - o. Which is smaller: q or -2/125?
q
Let f(r) = 2*r**3 - 23*r**2 + 14*r - 30. Let q be f(11). Suppose -3*g - 2 = -11. Suppose q*b = g - 9. Which is smaller: -3/2 or b?
b
Let y = 40217 + -40216.93. Are 881 and y equal?
False
Let n be 1*(-4)/(1 - 5). Let i be (8/16)/((-899)/(-58)). Do i and n have the same value?
False
Let h be 867/9*15/20. Let o = 1761/4 + -492. Let g = o + h. Which is bigger: g or 21?
21
Let j be 2 - (3*(-4)/28 + 834/378). Is 539.3 at most as big as j?
False
Let u be (-2)/86*(795 - 417). Do u and -9 have different values?
True
Suppose 5*n - 5*h = 3*n - 154, -n - 2*h - 68 = 0. Let i = n - -156. Is i not equal to 84?
False
Let c(t) = 31*t - 257. Let m be c(28). Let n = 688 - m. Does n = 78?
False
Let t(k) = k**3 + 4*k**2 + k - 4. Let n be t(-4). Let c be ((-66)/8)/(6/n). Let y be (33/9)/(c/33). Are 9 and y nonequal?
True
Let j = 0.608 + -77.808. Let u = -0.258 - 76.742. Let k = j - u. Which is smaller: 14 or k?
k
Suppose 0 = -189*v + 208*v - 14535. Which is smaller: v or 1527/2?
1527/2
Let w = 142 + -204.2. Let i = -62 - w. Which is smaller: -19 or i?
-19
Let r be (-10 - -4) + 0/7. Which is bigger: -103 or r?
r
Let f = 34.3 - 9.8. Let x = f + -24.44. Is x != 20/3?
True
Let h = 6360 + -6346. Which is smaller: h or 53?
h
Let b be (14545/(-225) + 1)/(5676/(-10)). Let m = b - 148034177/2630826. Let x = 337/6 + m. Is 1 greater than or equal to x?
True
Let n = -69.155 - 218.655. Let y = 289 + n. Let u = -1.42 + y. Is -0.3 less than or equal to u?
True
Suppose -10*q = -0*q - 3540. Let s be 2 + 347 - -1 - 930/(-186). Which is smaller: q or s?
q
Let b = -8.23844 + 0.73844. Let q be (2/(-8))/(14/(-16)). Which is bigger: b or q?
q
Let a(v) = -v**3 - 9*v**2 - v + 8. Let r be a(-9). Suppose r*h - 1044 = 8*h. Is h greater than or equal to 116?
True
Let a(d) be the first derivative of -d**2/2 - 18*d - 28. Let q be a(-13). Is q at most 4?
True
Let g be 4*(-1)/(-10)*(74/4 + 4). Let j = -3 + 5. Suppose 0 = -2*f - 6, f - 28 = -j*c + 5*f. Is c < g?
True
Let q be (-20)/35*(-63)/6. Suppose 2*b + q = -0*b - z, 2*b + 2*z + 6 = 0. Let d be -4 - 0 - b - -1. Which is smaller: d or -2/23?
-2/23
Suppose -267*d = -464*d - 846*d - 12516. Let g = -18 - -9. Let t = g + 4. Which is smaller: t or d?
d
Suppose 0 = 2*n + 3*n - 70. Let l be (-18)/12 + (3 - n/4). Which is smaller: 3 or l?
l
Let y = -14035 - -14057.8. Is 1/21 > y?
False
Suppose 0 = 5*b - 4*b + 70. Suppose -85*l = -18*l + 4757. Are b and l nonequal?
True
Suppose 21*t + 22*t = -47*t + 90. Is t > -18/79?
True
Let q(p) = 16*p**2 - 88*p - 167. Let v be q(7). Which is smaller: -1/8079 or v?
-1/8079
Suppose 0 = w + w - 2*p - 12, -5*p - 18 = -2*w. Let r = 0 + 