r: u or f?
u
Let g = -4 + 66. Let a(u) = -2*u**2 + 313*u - 8527. Let i be a(121). Is g less than or equal to i?
True
Suppose 0 = 3569*t - 3340*t - 229. Let w be 1 + ((-34)/(-32) - 1). Do w and t have different values?
True
Suppose -5*q = 0, 0*q = -o - 5*q + 5. Suppose 0 = -o*h - 5*l - 23 + 88, -l + 25 = 2*h. Which is greater: h or 11?
h
Suppose 0 = c + 5*s - 428 - 94, -s = 3*c - 1524. Let f = 505 - c. Is f <= -0.111?
True
Suppose -4*x + 3*q + 5571 = 0, -3*x + 4170 = 3*q - 8*q. Suppose 1396*b - x*b - 15 = 0. Are b and 13 equal?
False
Let p = -94 - -96. Let n be (p - 10)*((-140)/16)/7. Suppose -1 = -n*d + 19. Are 13/7 and d equal?
False
Suppose -290 = 9*u - 4*u. Let b be u/(-7) + 10/(-35). Let s(z) = 4*z - 32. Let k be s(b). Which is smaller: 3/32 or k?
k
Suppose -3*n - 2*p - 9 = 0, 3*n - p = 5*n + 5. Which is greater: -2/4561 or n?
-2/4561
Let b(k) = -k**2 + 4*k. Let q be b(4). Let l be q + 3 + 944/(-336). Suppose 4*i + 11*f = 13*f + 8, 5*i + 3 = -4*f. Is l greater than or equal to i?
False
Suppose -5*n = 80 - 35, 2*n + 246 = -4*c. Suppose -4*f = -16, 2*l = 3*l - 5*f + 78. Is c > l?
True
Let r be 32/10 - (-731)/(-255). Which is bigger: -9 or r?
r
Let d be (930/(-6070))/(6/(-4)). Let r = 289242/3035 - d. Let z = r - 95. Is 1 at least as big as z?
True
Suppose -a - 3*u + 19 = 0, 0*a - 4*a + 31 = 3*u. Suppose -21 = -a*g + 55. Let h = 31 - 11. Is g less than h?
True
Suppose 1 = -14*f - 55. Let n be (f - (-11105)/(-18105)) + 4. Let o = 32/51 + n. Which is bigger: o or 0?
o
Suppose 3*q = -38 + 29. Let r be (2 + (-78)/30)*5/q. Which is smaller: 2/29 or r?
2/29
Let n be (-261)/(171/19) - -4. Which is bigger: n or -1?
-1
Let q be (112/40)/((-24)/(-10))*16791/406. Suppose 0*n = 3*n - 144. Which is smaller: q or n?
n
Let r be (3 - 5) + (1 - -3). Suppose r*v - 21 = -5*v. Suppose v*j + z + 2*z = 96, -3*j + 2*z = -111. Are 36 and j unequal?
True
Let t = -4 + 4. Let k be 2/(-2 + 140)*(-27)/(-6). Which is smaller: k or t?
t
Let c be (-4)/111*(-11 - 649896/(-59088)). Is c < 0?
False
Let j be 0/((-34)/(-22) - 24/44). Which is greater: 6/4543 or j?
6/4543
Suppose -5*w + 10*w - 5*r - 530 = 0, 0 = -5*w + 4*r + 528. Let o = w + -283. Is -178 greater than o?
True
Suppose 11*g = 72*g + 27633. Is g bigger than -453?
False
Suppose -3538*x + 14690 = -3543*x. Which is greater: -2939 or x?
x
Let n = 780.267 + -781. Let i = -0.267 + n. Which is bigger: 71 or i?
71
Let m be (-1)/4 - 126/168. Which is smaller: m or 18/157?
m
Let s be (((-78)/(-4))/((-117)/(-117)))/((-4)/(-1096)). Do 5342 and s have the same value?
False
Let r(g) = -2*g**2 + 5*g - 1. Let x be r(4). Let j(c) = 3*c**2 - 41*c + 39. Let z be j(13). Let m = x + z. Do 3/41 and m have different values?
True
Let t = 15889/5 + -3179. Are t and -2.12 non-equal?
True
Suppose -3*j - 109*q + 111*q = 1, 0 = -4*q + 8. Let r(p) = p**3 - 8*p**2. Let d be r(8). Let y be (-2)/(d - j/2). Is y at least as big as 6?
False
Let z be 1 + 9/(-3) - (-180)/78. Let m = -806 + 805. Is m smaller than z?
True
Let l = 130 + -123. Let v(j) = -4 - 2 - 2*j + 4 + 3*j**2 + j**3. Let y be v(-3). Is l equal to y?
False
Let v = -1/90130 + -68913397/90130. Let a = v - -765. Is a >= 5/16?
True
Let v(a) = 979*a - 818. Let t be v(9). Are t and 7992 equal?
False
Let f = 1 + -7. Let p be f/(-8) - (-5)/(-10). Let o = 8425.9 - 8428.2. Is o less than p?
True
Suppose -2*z + 0 = 134. Let t = z + 48. Let q = t + 7. Is -12 > q?
False
Let j = -39081 - -38919. Which is bigger: -2110/13 or j?
j
Suppose -69 = -4*a - h, 0 = 5*h - 3*h - 2. Suppose -3*n - 2*d = -106, 0 = -n + 7*d - 11*d + 52. Let v be (9/(-18))/1*(1 - n). Which is bigger: a or v?
a
Suppose 9*p + 11*p = 360. Suppose -93*l - p = -90*l. Which is smaller: l or 1?
l
Let w = 9458 - 9530. Which is bigger: -6/7 or w?
-6/7
Suppose 13*n = -2*b + 17*n + 18, 0 = 5*b - 3*n - 66. Suppose 420 = 6*j + b*j. Is 10 at most j?
True
Let g be (5/(-2))/((-10)/(-24)) + 2527. Is 2520 greater than g?
False
Let m = -5758478/565 + 10192. Which is greater: m or -1?
m
Suppose 0 = 232*t - 221*t + 11. Which is bigger: t or -2319?
t
Let o = 3 + -3. Let g = -30566.634 + 30657. Let i = 0.366 - g. Is i at least o?
False
Let b = -775 + 1447. Suppose -2*t = -5*v + b, -11*t - 5*v - 1610 = -6*t. Which is greater: -327 or t?
t
Let i = -7652.2 - -7653. Are 41 and i equal?
False
Let y be (-1400304)/(-208558) + (-12)/(-42) - 7. Is y not equal to -1?
True
Let g = 5 - 1. Let r = g + -8. Let h = 85266 - 85272. Is r less than h?
False
Let b(f) be the third derivative of -f**5/60 + f**4/4 + 23*f**3/6 - 2*f**2. Let z be b(10). Let a = z - -11. Which is greater: -4 or a?
-4
Let m be (-9)/(-5) - 1/(-5). Let q = -258 + 253. Let y be 58/8 - (60/(-48))/q. Which is smaller: y or m?
m
Let w = -198 - -361. Let p = 108 - w. Let i be (198/p)/(4/10). Do i and -9 have different values?
False
Let w be 427*(28 - 26) + 11/1. Which is bigger: 863 or w?
w
Let p(q) = -q**2 - 5*q - 3. Let n be p(-2). Let r(t) = t - 3. Let m(b) = 4*b + 51. Let w(i) = -m(i) - r(i). Let u be w(-9). Is n at most u?
False
Suppose 0 = -3*r + 4*h + 10 + 4, -13 = 4*r + h. Which is bigger: -12/55 or r?
-12/55
Let y = -20.1 + 17.87. Let l = 13.93 + y. Is 1/3 < l?
True
Let n = -21 - -91. Let j = 4217 - 4152. Let w = j - n. Which is greater: 2/21 or w?
2/21
Let n be 1 + -5 - (6 + 473586/(-48732)). Let w = -17/62 - n. Which is greater: w or -1?
w
Let f = -5938 + 5224. Do -716 and f have the same value?
False
Let z = -824 + 3298. Do 2474 and z have the same value?
True
Let j = -122 - -228. Let w = j + -124. Let g be (150/w + 6)/((-13)/(-3)). Is 0 equal to g?
False
Let h = -421 + 841/2. Which is bigger: h or -234?
h
Suppose -4 + 6 = w. Suppose 0 = o + w*v - 5, -o - 4*v = -8 + 1. Suppose 4*j - 54 = 2*m + o*m, 4*j + 2*m - 68 = 0. Is j > 1/2?
True
Let w(r) = 244*r**3 + 6*r**2 - 7*r - 6. Let n be w(3). Let o = -32924/5 + n. Are o and 31 equal?
False
Let z be (6/(-4))/(2/(-12)). Let r(h) = h**3 + 8*h**2 + 13*h + 17. Let x = 311 - 317. Let i be r(x). Which is smaller: i or z?
z
Let v be (-7 - (-60)/10)/(2/574). Which is smaller: v or -288?
-288
Suppose 18*h = 960 - 942. Which is smaller: 41/173 or h?
41/173
Let x = 6317 + -6296. Which is smaller: x or 74?
x
Suppose 28 = f - 6*f - k, 3*k = 5*f + 36. Let z = 114 - 80. Let i = z + -35. Is f bigger than i?
False
Let j be (36/40)/((-6)/(-10)). Let t = 431/6 + j. Let o = t + -74. Which is smaller: -1 or o?
-1
Suppose 6*x - 146 = -26. Suppose 0 = 8*d - 13*d + x. Suppose 2*h - 3*h - 4 = 0, -d*h - 46 = 3*n. Do n and -11 have the same value?
False
Suppose 0 = 4*w + 4, -29*o + 5*w - 411 = -25*o. Let r = 104 + o. Do r and -9/41 have different values?
True
Let c be (5/(10/12))/(-14 - -13). Let k be -8*(-8)/192 - (-2)/c. Let q be (-1)/2 - 3*(-215)/1110. Which is bigger: q or k?
q
Let f(a) = -a**3 + 53*a**2 + 40*a + 2428. Let l be f(54). Is 1674 greater than or equal to l?
True
Let s be 1/(-1) + 62/58. Let k = 690.41 + 11.59. Let j = k - 702.1. Does j = s?
False
Let p be ((18291/14)/39)/((3/(-2))/3). Which is greater: p or -27?
-27
Suppose 4 = -5*k + 2*y, 0 = -2*k + 2*y - y - 2. Let j(w) = w**3 - w**2 - w + 40. Let z be j(0). Suppose 5*x = -k*x + z. Which is greater: 6 or x?
x
Let s(r) = -11*r**2 + 53*r - 36. Let n be s(4). Which is greater: 35/146 or n?
35/146
Let y = -5310 + 2208. Are -3101 and y non-equal?
True
Let u be (-6)/(-2) + (-4 - -2). Let h = -10387/84 + -19/28. Let k = 9689/78 + h. Is k greater than or equal to u?
False
Let m = 742405/936 + -10311/13. Let w(k) = k**2 - k. Let s be w(1). Which is smaller: s or m?
s
Let v = 708/13 - 4982/91. Which is bigger: v or -419/9?
v
Suppose -6*h + 11 = 161. Let p = 28 + h. Are -18 and p nonequal?
True
Suppose 38*o + 32 - 374 = 0. Suppose 5*r - 2*h - o = 0, 5*h = 4*r + 8 - 5. Which is smaller: 0 or r?
0
Let g be (1 - 6/3)*3. Let s be (g + 281/15)*(-233)/6. Let x = s - -611. Is 1 greater than or equal to x?
True
Let d(m) = -4*m**2 - 40*m - 50. Let j be d(-21). Let z = j + 703. Which is smaller: z or 2?
z
Let t be 178/84 - 1 - 3/(-2). Let a = 23/7 - t. Which is smaller: -3 or a?
-3
Let d = -2737 + 860. Which is smaller: -1874 or d?
d
Let j = 18175 + -17711.56. Let v = j + -464. Which is greater: -1 or v?
v
Let h be (4739 - -1)*(-2 - 3 - (-782)/136). Which is bigger: 3553 or h?
h
Let i(z) = z**3 - 3*z**2 - 6*z + 4. Let d 