uppose -340 = 140*w - 55*w. Suppose -q + 2*q + 7 = 0. Which is smaller: q or w?
q
Let a be -4 - (24/(-48))/(1/6). Let d be (-244)/366*a/(-3)*-1. Which is smaller: -35 or d?
-35
Suppose 0 = -3*w - 2*o + 62, o + 78 = 4*w + 6*o. Let t be (w/(-6))/(59/(-177)). Which is greater: t or 112/9?
112/9
Let p = -175855/285701 + 3/21977. Which is smaller: p or 0.5?
p
Suppose -28*i - 36439 = -27899. Which is bigger: -2/7 or i?
-2/7
Let c(k) be the third derivative of k**6/120 - k**5/4 - 7*k**4/8 + 23*k**3/6 - 12*k**2. Let b be c(16). Let z = -45 - b. Does z = 12?
True
Let p(u) = -4*u + 137. Let c be p(33). Suppose -3*h + 15 = 37*k - 39*k, c*h + 5*k = 0. Which is smaller: 5 or h?
h
Suppose -3 = 4*w - 4*z + 3*z, 0 = -5*w + 5*z. Let x be 12/(-18)*(-5)/(-10220)*21. Which is greater: x or w?
x
Let f = 411 - 691. Let d = f - -178. Let c = d - -96. Is 5 > c?
True
Let l be 792/249 - (-33)/(-6)*24/44. Which is bigger: 0 or l?
l
Let v be (13739/(-1089) - -6) + (-14)/(-231). Is v not equal to -7?
True
Let l(a) = -6*a + 49. Let i be l(6). Suppose -9*p = i - 157. Is -0.4 greater than or equal to p?
False
Let g be 3 - 8 - (1/(-1) - 74/14). Which is greater: 46 or g?
46
Let j = -0.308 - -0.122. Let x = 0.257 + j. Which is bigger: 2 or x?
2
Let n be (-4)/2*(6 + -11). Let q(o) = 10 - 8*o**2 - o**3 - 3 - 18*o + 2 + 2*o**3. Let j be q(n). Is 29 not equal to j?
False
Let s be (2/5)/((-1)/(-20)). Suppose -2*z - 185 = -a, -9*z - 5*a - 76 = -s*z. Let p = -86 - z. Is p not equal to 6?
True
Let n(x) be the first derivative of -x**4/4 + 8*x**3/3 - x**2/2 + 7*x - 10. Let p be n(8). Let b be p*((-2)/(-1) + 1). Which is smaller: 2 or b?
b
Let d(q) = -2040*q - 8127. Let i be d(-4). Let j(c) = c**3 + c**2 - 2*c + 1. Let m be j(1). Is i > m?
True
Let s(n) = n**2 - n - 11. Let m = 82 + -21. Let z = 65 - m. Let f be s(z). Is -3/44 less than f?
True
Let y = 2.36 - 2.3262. Let h = y + -0.1338. Is -0.019 >= h?
True
Let k be 105/18*6/28. Let r(m) = m**2 - 2*m - 1. Let q be r(3). Suppose g + g = q. Do g and k have different values?
True
Let d be (4/8)/((15/(-12))/(-5)). Suppose d*s - 12*s + 10 = 0. Which is smaller: s or -9/47?
-9/47
Let q = -1278 + 1805. Let k = -11069/21 + q. Let l be 0*((-490)/245 - 6/(-4)). Which is bigger: k or l?
l
Suppose 2*x = -4*x + 12. Suppose -4*z = 5*b - 188 - 88, x*z - 168 = 5*b. Let o = z - 73. Which is greater: o or 1/227?
o
Let v = 7613 - 7838. Is v less than or equal to 0.2?
True
Let w = 8 + -8.11. Let a = -0.08894 + -0.01106. Which is greater: a or w?
a
Let h = 5.43 - 5.3. Let z = -0.1 + h. Let a = -5.97 - z. Which is smaller: 2/5 or a?
a
Suppose -5*s + 6 + 84 = 0. Suppose 3*b - 14 - 7 = 0. Which is smaller: s or b?
b
Let u be 8 + 40/(-350) + (0 - 8). Is -4 greater than u?
False
Suppose 0 = 5*p + 2*c - 7, 3*p - 14 = p + 2*c. Let b = -1448 - -1484. Which is bigger: b or p?
b
Let v(k) = 2*k**3 + 4*k**2 - 31*k - 62. Let j be v(-2). Let g be 2*((-147)/(-150) + -1). Which is bigger: g or j?
j
Let i = -63 + 64. Let d be (3 + i/(-1))*(3 + 0). Suppose 3*a - 10 = -2*n, 4*n = -2*a - 2 + d. Which is smaller: 1/20 or n?
n
Suppose 0 = -3*q + 5*l + 307, -42*q + 3*l = -40*q - 204. Which is greater: q or 1286/13?
q
Let z be (4 + 4350/(-1090))/((-78)/502298). Let p = z - -768/13. Is 0 != p?
True
Suppose 15 = 2*t + y, 5*t + 71 - 101 = -4*y. Let a be (-17)/(85/2) - (-2)/t. Which is greater: a or -0.34?
a
Let m be (-10)/(-20) + (-49)/54. Which is greater: m or 0?
0
Let p(o) = -o**3 - 29*o**2 + 30*o + 23. Let u be p(-30). Let j be u/161 + 143/(-21). Is j less than -6?
True
Let i be (-4)/(-10) - 2/5. Let j = -19754669/28 - -705524. Which is smaller: i or j?
i
Let f = -198245 - -991224/5. Let d be (-1)/(-3) + (-4)/3. Is d at least f?
False
Suppose -3*o = -v - 78, -v = o + o - 52. Suppose -a - 1340 = -6*a - 2*t, -4*t - 512 = -2*a. Suppose 19*c = a + 247. Which is smaller: c or o?
o
Let o = -1149 + 1168. Let c = -204 - -223.6. Let i = o - c. Is 8 smaller than i?
False
Let b(i) = i + 6. Let k be b(-3). Suppose 0 = 9*h - k + 12. Let d be (2/4)/(30/(-9)). Which is greater: d or h?
d
Let d = 46187/1233 + -337/9. Are 4/9 and d unequal?
True
Let s be -2 - (212/14)/(4/40*-2). Is s <= 75?
True
Let s = 1534/1379 - -6/197. Let y = -85 + 131. Let z = y + -46. Which is bigger: s or z?
s
Suppose -2*o = 6, 10*j + 2*o - 19 = 5*j. Suppose 0 = -3*a + 9, 0*a + 4*a = h + j. Is 12 at least h?
True
Let h = 502 - 154. Let d be -2 + 0 - 15/((-1710)/h). Is 1 < d?
True
Suppose v + 49 = -51. Let r(f) = -33*f - 395. Let k be r(-9). Which is smaller: k or v?
v
Let l = 1179 - 765. Suppose 14*o + 3*y = 17*o - 639, -2*o = 4*y - l. Which is greater: o or 210?
o
Let i(k) = -80*k + 4. Let b be (-48)/30 - (1 - 24/15). Let z be i(b). Let q = z + -71. Is q <= 12?
False
Let f be ((-219)/(-10585))/(-4 + 5). Let d be -1 + -1 + 4 + -3. Which is bigger: f or d?
f
Let z = -0.1908 + 7.8808. Let d = 7.7 - z. Let u be (3/(-10))/((-6)/(-8)). Which is smaller: u or d?
u
Let x = 5770 + -5762.18. Is 4/7 < x?
True
Let v(a) = 3*a**2 + 183*a + 2116. Let z be v(-16). Is 54 equal to z?
False
Suppose 2*t - 2 = -3*r - 3, 2*r - 4*t - 10 = 0. Let j be (-3)/(132/(-5048)*1). Let x = j + -114. Which is greater: x or r?
r
Let l = -1799 - -2060.7. Let t = -264 + l. Is t greater than -0.01?
False
Let c(i) = -4*i - 67. Let v be c(-24). Which is smaller: 18 or v?
18
Suppose 0 = 16*f - 12*f - 572. Is 148 >= f?
True
Let p be ((-3)/(-4))/((-339)/(-5876)). Are 3/2 and p equal?
False
Suppose 41 = 66*h - 65*h. Suppose 22*r - 1886 = -24*r. Is h less than or equal to r?
True
Let g = -0.131 - -10.131. Let h = g - 9.9. Let b be (-3)/6*2/11. Which is smaller: h or b?
b
Let a = 1 - -1. Let k(n) = 5*n**2 + 35*n. Let v be k(-7). Suppose v*l + 1 = -3*l - h, -4*l - 3 = 3*h. Which is bigger: l or a?
a
Suppose -630 = 313*m - 327*m. Let x be 6/m*-1*(-10)/(-3). Does x = 1?
False
Suppose -5*m = -4*j - 23284, -5*m = -57*j + 55*j - 23272. Which is bigger: m or 4651?
m
Let h be (-2904)/(-11) + (9 - -3). Is h at most 278?
True
Let f = 287 + -172. Suppose 0 = 4*y + 3*c - f, 3*c - 80 = -3*y + 10. Is y > 49/2?
True
Let q = -21290 + 21148.8. Which is bigger: q or 8?
8
Let k(m) = 52*m + 262. Let c be k(-5). Is c >= -96?
True
Let q be 13*1/(-6) - (974 - 976). Which is smaller: -12369 or q?
-12369
Let w(l) = -44*l - 356. Let i be w(-8). Which is smaller: i or -184?
-184
Suppose -34 = 2*n - 80. Suppose h - n*c - 8 = -25*c, 4*h = -c + 53. Which is smaller: h or 16?
h
Let m(i) = -i**3 - 2*i**2 + 7*i + 6. Let d be m(0). Suppose -2*z + l - 8 = -d, 3*z + 2*l = 11. Let s be ((-1)/3)/((-12)/9). Is z != s?
True
Let o = 57595/5742 + -181/18. Which is greater: 0 or o?
0
Let t be 1/10 + 10/25. Let x = -12505 + 12508. Which is smaller: t or x?
t
Let u = -6/113 + -112/2147. Let f = 37.118 + -37. Let d = f + -0.418. Which is bigger: u or d?
u
Suppose -d = 47 - 54. Suppose 3*s - d*s = -52. Is 0.12 smaller than s?
True
Let c(d) = -11*d**3 + 2*d + 5. Let q be c(2). Which is bigger: q or 10?
10
Suppose -17 - 23 = -5*s. Let j(t) = t**2 - 13*t - 93. Let c be j(19). Suppose 11*x + c = s*x. Which is smaller: x or -5?
x
Suppose 404*g + 1148193 = -334891. Which is smaller: g or -3669?
g
Let d(k) = 32*k - 578. Let f be d(18). Which is greater: -0.903 or f?
-0.903
Suppose -5*w - 4*n = -315, -2*w + 2*n + 49 = -w. Suppose r - w = 34. Which is smaller: 2 or r?
2
Let d(o) = -7*o + 46. Let b be d(6). Which is bigger: b or 2/15?
b
Let w = -22 - -21. Let t(b) = -b**3 - 15*b**2 - 27*b - 13. Let m be t(-13). Suppose -13*x - 1100 - 200 = m. Is x smaller than w?
True
Let s(z) = -2*z**3 - 7*z**2 - 2*z + 6. Let l be s(-3). Suppose -2*n - 8 = -0*n, l*n - 126 = -t. Suppose -142*p + t*p = -20. Is 23/4 <= p?
False
Suppose -5*f + 97 = -103. Let v be (3 + 27/(-6))/(8250/f). Is 0 > v?
True
Let z = 0.035 + -66.035. Let q = z - -65.83. Let j = -6 + 6. Are q and j unequal?
True
Let f = 9 - 6.9. Let k = f - 2.1. Let v = -544/21 + 26. Is v < k?
False
Let g be ((-6735)/6726 + 1)*(-24)/36*2. Does g = 0?
False
Suppose 1 = -4*q - t, 3*q + 30*t - 31*t = 1. Is -1/4383 > q?
False
Let r be 5661/(-407) + (-42)/(-3) + (-617)/11. Suppose 0*z - 2 = -o + z, 0 = 4*z + 8. Suppose -2*p - 4 = 0, -n + 4*n + 5*p + 178 = o. Is r greater than n?
False
Let c(f) = -4 - 3 - 7*f - 1. Let z = -221 + 219. Let u be c(z). Is 7 < u?
False
Suppose -79 = -4*z 