uppose 31 = -o*x - 32. Suppose -366*w = -242*w + 2480. Are w and x equal?
False
Let z be (-10)/(-4) + 10/(-4). Suppose 3*f - f - 68 = z. Suppose f*b = 35*b. Is -0.5 at least as big as b?
False
Suppose 0 = 35*v + 31*v - 4*v. Which is smaller: v or 50/97?
v
Let u = -139 - -130. Let n(i) = i**2 + 10*i + 8. Let k be n(u). Which is bigger: k or -29?
k
Let s = 17893/10 + -386542459/216030. Is -1 > s?
False
Let q be ((-28)/50)/(2/4). Suppose 5*t = m - 3, -4*t - 9*m = -11*m - 6. Is t at least as big as q?
False
Suppose -5*p + 229 - 606 = 4*z, -5*z + 241 = -3*p. Suppose -y + 240 = -3*v - 4*y, 3*y = 4*v + 292. Which is smaller: p or v?
p
Let d be (32/(-24))/(8/(-38))*(-24)/(-2848). Are d and -2/7 non-equal?
True
Let y(s) = -53*s**3 + 11*s**2 + 5*s + 4. Let n = -6 - 0. Let d(l) = 26*l**3 - 6*l**2 - 3*l - 2. Let t(w) = n*y(w) - 11*d(w). Let q be t(1). Are q and 32 equal?
False
Suppose -182*b + 184*b - 66 = 82. Is b bigger than 221/3?
True
Let k = -54 - -63. Suppose 15 - 83 - 60 = -4*l. Which is smaller: l or k?
k
Let z be (-16)/48 - ((-40)/(-3))/(-4). Let x be (33/7 - z)/((-135)/(-126)). Which is bigger: x or 3/5?
x
Let j be 0*5/15 + (-713)/(-1). Let i = 298 - j. Let w = -27803/67 - i. Which is smaller: 1 or w?
w
Let i(x) = 3*x - 12. Let j be i(4). Suppose -31 = -4*u + 3*z, 3*u - 3*z - 16 - 11 = j. Suppose u*q = 6*q + 4. Which is greater: -7/9 or q?
-7/9
Suppose -2*a + 278 + 1066 = 5*m, 264 = m - 2*a. Let x = m - 781/3. Let t = -7 + x. Which is bigger: -7 or t?
t
Let l = 434 + -392.064. Let k = l - -0.064. Let w = -41 + k. Is 1/11 greater than w?
False
Let r(t) = t**3 + 3*t**2 + 7*t + 2. Let p be r(-3). Let l = 2049 + -2065. Is p smaller than l?
True
Let y(b) be the first derivative of -13*b**2 - 264*b + 144. Let d be y(-10). Suppose 0 = -5*l + 4*q + 6, l = 2*l + 2*q + 10. Which is smaller: l or d?
d
Suppose 11*f - 4845 = 1546. Let m = f + -276. Is m at most 306?
True
Let u = 86246 - 86241. Let l(r) = -r**2 - 3*r + 3. Let w be l(-3). Is w != u?
True
Let v = 93/220 - 1/44. Let x be -1 - (4 + (-2 - (-3 - 0))). Let p be 4/x + 5*72/405. Is p greater than v?
False
Suppose k + 2 = 0, 21*l + k + 183 = 20*l. Let m = -219 - l. Which is greater: m or -41?
m
Suppose -2*w - d + 137 = 0, 0 = 2*w - 148*d + 147*d - 143. Which is smaller: 0.3 or w?
0.3
Let q be (-5211)/1563 + -8*(-60)/144. Is 0 less than or equal to q?
False
Suppose -18*z + 1095 = -10*z - 3*z. Is z not equal to -1/5?
True
Suppose r = 2*z + 333, 0 = -3*z - 0*z + 3*r - 507. Let p(o) = -o**3 + 28*o**2 - 80*o - 40. Let f be p(25). Which is bigger: f or z?
z
Let b(h) = -67*h + 260. Let t be b(4). Do t and 293 have the same value?
False
Let g be 10/8 + ((-2618)/660 - 5/15). Which is smaller: -2 or g?
g
Let i be (12 + -14)*9/6*-1 - -502. Which is smaller: i or 509?
i
Let s = 429 - 341. Let u = 45044/5 - 8920. Which is greater: s or u?
u
Let j(u) = 84*u - 251. Let n be j(3). Let p be (-9 - 46/(-6)) + 124/94. Which is greater: p or n?
n
Let w be (1*332)/(0*8/(-56) - -2). Do 171 and w have the same value?
False
Suppose -3*t = -15, -3*a + a + 3*t - 15 = 0. Suppose 7*x - 84 + 56 = a. Suppose -x*d = y + 480, -3*d + 7*d + 5*y + 496 = 0. Is -120 > d?
False
Let w(g) = 14*g - 2. Let a be w(-1). Let p be (-14)/(2 - 0) - a. Is p less than -0.21?
False
Suppose 2*q = 5*s - 1165, -s = 7*q - 4*q - 250. Let p = 151 - s. Which is bigger: 1 or p?
1
Let k(n) = n**3 + 13*n**2 + 32*n + 22. Let h be k(-9). Suppose 0 = -2*a - 0*u - 4*u + 116, a + u - h = 0. Is a < 58?
False
Let v be 6 - 3*5/15. Suppose -v*q - 416 + 411 = 0. Which is greater: q or -2/9?
-2/9
Let o = 133 + -129. Suppose -14*q = o - 298. Suppose 6*k + q = 3*k + 4*x, -2*k - 14 = -4*x. Is -13/2 < k?
False
Let x = 11.1189 + -0.0189. Let k = 4.1 - x. Which is greater: k or 17/5?
17/5
Let m be (10/12 + 376/(-3))*(-32)/6. Is m smaller than 662?
False
Let c = -92.05 - -91. Let u = c - -0.85. Which is smaller: u or 20?
u
Let r = 197 - 141. Suppose -3*i - r = -17*i. Is i equal to 38/7?
False
Let y = 18313 - 18295. Are 1/32 and y equal?
False
Suppose y = 7*y + 4*b - 14618, 3*y = -5*b + 7315. Is y > 2435?
False
Let q = -1249886/4407 + -1174/339. Is q <= -288?
False
Let g = 11464 - -3719. Is g less than 2/5?
False
Let s(x) = -2*x**2 - 57*x + 544. Let c be s(-36). Suppose 3*i - 4*w - 6 = 0, -2*i - 3*w = -1 - 3. Which is greater: i or c?
c
Suppose -5*t - 4*z - 20 = -212, -2*z = 3*t - 114. Let a be 8 + -10 + 0 + -67. Let b = 106 + a. Which is bigger: b or t?
b
Suppose 26*u + 140 = -484. Let i be (2 + -3)/(-1) - u/6. Let y = 1 - -3. Which is smaller: y or i?
y
Let s(g) = g - 22. Let w be s(10). Let t be ((-6)/15)/(7/(210/w)). Are t and 3/167 nonequal?
True
Let v(r) = -37*r + 8. Let z be v(-6). Let b = 11269/49 - z. Let s(d) = -132*d + 2904. Let p be s(22). Are p and b unequal?
True
Let x = 929.6 - 178.6. Let p = x - 750.96. Are p and 32 unequal?
True
Let k = -574 + 303. Let q = 268 + k. Which is smaller: -9 or q?
-9
Let s(r) = -42*r + 1683. Let c be s(40). Do -0.1131 and c have different values?
True
Let v be (287/112 + -2)*12/765. Does -1 = v?
False
Let p be 3/(72/(-249)) + (8 - 4). Let y = -1517/248 - p. Which is smaller: y or 1?
y
Let a = 10.39 - 200.39. Let y be (-6 + 6)/((-1)/(-1)). Is y smaller than a?
False
Let u(n) = -13*n - 1. Let i be u(-1). Let t = -210 + 279. Let x be (1 + t/(-9))*i/10. Is -2 bigger than x?
True
Let u = -1575 - -387. Let h be (-16)/56 - u/42. Which is smaller: h or 14?
14
Let q = 0.339 - 0.36. Let o = 63.794 + -14.773. Let t = q + o. Which is bigger: 1/2 or t?
t
Let b = -41 - -125/3. Let s(d) = -2*d**2 - 13*d + 16. Let u(w) = w**2 + w. Let a(m) = -s(m) - 3*u(m). Let t be a(4). Which is bigger: t or b?
t
Suppose 44*z - 54*z - 1620 = 0. Which is greater: z or -804/5?
-804/5
Let w(h) be the first derivative of h**5/60 + h**4/2 + 8*h**3/3 + 21. Let r(l) be the third derivative of w(l). Let a be r(-5). Which is bigger: a or 3?
3
Let f be ((-22)/(-99))/(1 - 2). Suppose -2*u + 3*y = -u + 11, 0 = 3*u - 3*y + 3. Let v = u + -9/2. Which is greater: f or v?
f
Suppose -3*h + 499 + 31 = -2*n, -4*n = -5*h + 1066. Which is greater: -257 or n?
-257
Let t = -30.5557 + -0.0343. Let d = -0.59 - t. Let a = d + -35. Is 0.04 bigger than a?
True
Let r = -0.92 - 0.08. Let q = -26.5 - -56.48. Let g = q - -0.02. Which is smaller: g or r?
r
Let q = 56531/12 - 4708. Let u = -9/4 + q. Is u < -157?
False
Let m = 952/29 + -3663/116. Is -149 greater than or equal to m?
False
Let p(b) = 11*b + 205. Let t be p(-18). Suppose -17*s - 950 = -t*s. Let i(c) = -3*c**3 + 7*c**2 - 4*c. Let l be i(4). Is l equal to s?
False
Let v(b) = -227*b**2 + 2*b - 1. Let l be v(1). Suppose -3009 = 148*t + 30439. Is l less than t?
False
Suppose 2*v + 223 = -5*r + 302, -4*v + 28 = 0. Let q(g) = 3*g**2 - 5*g + 3. Let a be q(3). Suppose r*z - a = 11. Which is greater: z or -1?
z
Suppose 0 = -34*j - 225 + 769. Let g be 24/(-48)*122/(-4). Are g and j non-equal?
True
Let q = -324 - -200. Suppose -4*f - f = -4*d - 590, 4*f + 4*d - 436 = 0. Let u = q + f. Which is greater: u or -3?
-3
Let l be (-12)/(-54) + (-943)/(-9). Let j = l - 103. Are -2/9 and j unequal?
True
Suppose 0*x = c - 5*x - 36, -x = -c + 40. Let o be 42 + 5 + -5 + -1 + 1. Is c bigger than o?
False
Let r(d) = d**2 + 19*d - 158. Let v be r(-26). Suppose -2*h - 6 = 0, 0 = -5*n + 4*h + 104 + 33. Are n and v equal?
False
Let w be ((-2)/(-7))/(((-128)/112)/(-1)). Is w smaller than -9.4?
False
Suppose 4*z = 5*n + 55, -2*z = 43*n - 38*n - 35. Does z = 506/37?
False
Let q = 10/29293 + -401138392/146465. Let v = -14208/5 - q. Which is smaller: -102 or v?
v
Suppose 0 = -18*q + 24*q - 528. Suppose -q*p = -78*p + 10. Which is greater: 2 or p?
2
Let h be (-15424)/(-66950) + 252/(-1092). Which is bigger: h or 0?
0
Let v = -2155.46 + -52.54. Let d = v + 2207.011. Let k = -0.011 + d. Which is bigger: 0.5 or k?
0.5
Let q = 0.127 - -13.873. Is q greater than -1.45?
True
Let c be (14*(-2)/8)/(18/(-36)). Suppose -c*o = 969 - 983. Is -4 smaller than o?
True
Let w be (6/8)/(34/136). Suppose 0 = -0*z + w*z - 12. Is 26/7 less than z?
True
Let j = 96.73 + -69.73. Are 4/35 and j equal?
False
Let c(z) = z**3 - 9*z**2 + 2*z - 16. Let b be c(9). Let d = 26 - b. Let g be d/3*12/(-208). Is g <= -1?
False
Let q(p) = 3*p**3 + 2*p**2 - 24*p - 6. Let b be q(-5). Is -1271/6 equal to b?
F