*z - 1. Which is bigger: 4/17 or g?
g
Let n = -14 + 20. Let w = 1329/238 - 15/34. Which is greater: n or w?
n
Let i(s) = s**3 - 15*s**2 + 5. Let u be i(15). Suppose -4*o + 2*o - u*a = 35, -2*a + 58 = -4*o. Do -15 and o have different values?
False
Let u be 0 + 1/4 - (-39)/(-1404). Is -1 at least u?
False
Let h be (-50)/(-92) + (-1)/2. Suppose -4*g + 4*v = -2 + 10, 3*g = -v + 6. Which is greater: g or h?
g
Suppose -2*v = m - 2, -2*m - 20 = -2*v - 2*v. Let h be ((-6)/18)/(m/(-3)). Let a = -3 - -4. Which is smaller: a or h?
h
Let q = 2 + 2. Suppose 2*n = -3*j + 2, -4*j + q = 4*n - 2*n. Which is smaller: j or -0.1?
-0.1
Let w be 4/(-6)*-2*1. Let d(b) = -b**3 - 6*b**2 + 2*b + 6. Let u(f) = -f**3 - 6*f**2 + f + 6. Let x(l) = -7*d(l) + 6*u(l). Let k be x(-7). Is w equal to k?
False
Let f = 7.25 - -4.75. Which is smaller: f or 2/13?
2/13
Let v(n) = n**2 + 12*n + 4. Let i be v(-12). Suppose 35 = -5*g + 5*l, i*l = -5*g + 11 - 1. Let k be g/(3 + -4) - 2. Is k smaller than -3/4?
False
Let s be (48 + -121)*2/4. Is s <= -38?
False
Let p = 71 - 71. Which is greater: p or -1971?
p
Suppose 257*v = 266*v - 225. Let p = -0.1 + 0. Which is smaller: v or p?
p
Let o = -0.15 + -13.85. Let a = 7 + o. Let n = 6 + a. Is 0.1 at least as big as n?
True
Let q = -1/45 + -1/5. Let l = -2052.1 - -2052. Is l greater than q?
True
Suppose 5*t + 2*v + 19 = 0, 5*t - 2*v = v - 9. Let y = -29.71 - -0.71. Let b = -26 - y. Does b = t?
False
Suppose 0 = 3*a - 3. Suppose z - 2*f - a = 3*f, 0 = f + 1. Do z and -1 have the same value?
False
Let f be (-4)/(-2) - (0 - 29)*5. Is 146 at least as big as f?
False
Let d be (-2)/4*2/7. Suppose -9*i = -7*i. Suppose -w - 2*w = i. Is d bigger than w?
False
Let d(k) = -k**3 + 9*k**2 + 11*k - 4. Let c be d(10). Suppose 0 = 2*o + 3*u - 13 - 7, 5*o - 40 = -5*u. Suppose -3*y - f = -c + 15, -5*y - o*f = 22. Is -3 <= y?
True
Let x = -1770/871 - -27/13. Which is greater: -1 or x?
x
Let b = 1186 - 20163/17. Let u be 18/(-12)*4/(-6). Let s = 1 - u. Is s <= b?
False
Suppose 0 = 10*u - 11*u. Which is smaller: -5/27 or u?
-5/27
Suppose 0 = p - 3*p - 16. Let d = 69 - 67. Is p not equal to d?
True
Let w(b) = -b**3 + 7*b**2 - 6*b + 4. Let r be w(6). Let f be 5/(-2) + -78*(-2)/24. Is f less than r?
False
Suppose f = -11*f. Which is greater: -2/193 or f?
f
Suppose i = 3*r + 3, 5*r - 183*i = -182*i - 3. Let m = 72703/942 + -463/6. Is r >= m?
False
Let c(u) be the second derivative of 5/6*u**4 + u + 3/2*u**2 - 1/20*u**5 + 0 - 5/3*u**3. Let g be c(9). Do -7 and g have the same value?
False
Let f = 84 + -37. Let b = -44 + f. Which is smaller: b or 2?
2
Let l(r) = r**3 + 10*r**2 + 14*r - 16. Let u be l(-8). Are u and 9/7 equal?
False
Suppose 3*w - 789 + 2874 = -b, 0 = 2*b. Let r = -21543/31 - w. Is 1 at most r?
False
Suppose 9 = -3*m, -4*m - 279 - 73 = -5*t. Do 70 and t have the same value?
False
Let d = 27 - 23.6. Let z = -1.4 + d. Which is greater: -0.4 or z?
z
Let o(j) be the second derivative of 9*j**5/20 - j**3/6 + j**2/2 - j. Let s be o(1). Suppose p - 4*p = s. Which is smaller: p or -6?
-6
Let h = 35 + -60. Let c = 0.0281 + -4.0281. Let y = c - h. Which is greater: 0.1 or y?
y
Let q = -42 + 42.17. Let i = -0.1 + q. Let m = i + 0.23. Is -1 bigger than m?
False
Suppose -3*a = -8*a - 915. Which is smaller: 2/5 or a?
a
Let s be (-1)/(7/(-16)) - 2. Let x(i) be the first derivative of 2*i**2 + i - 4. Let q be x(0). Which is smaller: s or q?
s
Let r = -150 + 96. Let u = r - -54.86. Is -1 smaller than u?
True
Suppose 0 = -101*i + 72*i + 29. Is -6/391 greater than i?
False
Suppose -1 = 2*r + 3*i, -4 = -2*r + i + 7. Let l = 20 + -15. Is l bigger than r?
True
Suppose 4*a - 2*a = -3*w + 44, -w - 2 = 0. Is 71/3 >= a?
False
Suppose -g + 0*g - 49 = 3*x, -4*x - 5*g - 58 = 0. Let w = 302 - 953/3. Which is smaller: w or x?
x
Suppose 4*s - 16 = 5*k, -4*s - 3*k - 16 = -0*s. Let z = -193 + 193.08. Which is greater: z or s?
z
Let h be 438/40*(-116)/6. Let s = h - -212. Which is smaller: s or 1?
s
Let r(c) = c**3 + 8*c**2 - 5*c. Let n be r(-7). Let u be 1/(-4) + 13773/n. Let v = -164 + u. Is v equal to -1?
False
Suppose -5*b - 109 = -44. Suppose 0 = -0*y - y + 4, 344 = 4*m - 2*y. Let s be (-18)/(-27) - m/6. Which is bigger: b or s?
b
Let k be (3/6 + -1)/((-9)/72). Is 2/119 at most as big as k?
True
Suppose -p = 3*p - 56. Let q = p - 23. Let h = 15 + q. Which is bigger: 5 or h?
h
Suppose 9*k + 807 + 1452 = 0. Let s be k/5 - (-4)/(-5). Is s >= -51?
True
Let g = 67 + 11. Let q = g + -90. Is -32/3 equal to q?
False
Let k = -0.05 - -0.03. Let r = 2.02 + k. Let g be (-136)/(-574) + 4/(-14). Which is smaller: g or r?
g
Let n be (-2)/44*(-43 - -45). Is n != 17?
True
Let a be 1 - 4 - (-667)/(-92). Is a <= -10?
True
Let i(o) = -o**2 - o. Let z(r) = 2*r**2 + 31*r - 59. Let v(d) = 3*i(d) + z(d). Let n be v(24). Which is greater: n or 35?
n
Let v = -125.4 - -200.4. Which is bigger: 1/3 or v?
v
Suppose -8 = 14*o - 36. Let l be (-2 - 34) + (-3 - (0 - o)). Is -38 <= l?
True
Let g = -34 + 34.11. Let p = -23 - -23.11. Let o = g - p. Is -4 <= o?
True
Let m(c) = 2*c + 29 - 5*c + c - 19. Let b be m(-8). Suppose x - 6*n - b = -n, -x + 3*n + 16 = 0. Is x at least 3/10?
True
Let u be (18/(-12))/(7/1778). Are -380 and u nonequal?
True
Let n be (-4)/(-3)*(-36)/(-16). Suppose -11 = 3*a - 2*z, -n*a + 5*z - 16 = 4*z. Which is smaller: -11/2 or a?
a
Let d(v) = v**3 + 6*v**2 + 4*v - 3. Let x = 5 - 6. Let j = x - 4. Let y be d(j). Which is bigger: y or -1?
y
Suppose 2597*z + 313 = 2596*z. Which is smaller: z or -312?
z
Let d = 1776 - 12466/7. Let b(u) = -u**2 + 7*u + 2. Let v be b(8). Which is bigger: v or d?
d
Let o(m) = 7*m + 1. Let a be o(-6). Let y = 123 - 122.9. Is y equal to a?
False
Let h be (292/14)/(4/(-28)). Is h not equal to -145?
True
Let p = -1410 - -1410. Is p greater than -96?
True
Let o be 3/5 - 161/35. Let c(s) = -s**3 - 9*s**2 + 2. Let i be c(-9). Suppose -4*l + 8 = -4*x - i*l, -2 = x + 4*l. Is o < x?
True
Let g = 0.24 + -0.09. Let p = g + -0.05. Let o = -35 - -247/7. Which is bigger: o or p?
o
Let w be 4/(-16)*-4*-1. Suppose 25 = 5*q + 5. Suppose 0*n = q*n. Is n at most as big as w?
False
Let b(p) = p**2 + 35*p + 79. Let f be b(-32). Are f and -21 equal?
False
Suppose 0 = -4*n + 26 - 22. Which is smaller: n or 1/46?
1/46
Suppose -381 = d - 383. Let c = 36 + -7. Which is smaller: d or c?
d
Let f(h) = -13 - 10*h + 53 - 6 + 41. Let s be f(14). Is -66 equal to s?
False
Let j(z) = -4*z - 23. Let b be j(-6). Let p = 32 - 16. Suppose 2*s + p = -0*s. Is b equal to s?
False
Let o(c) = c**2 - 9*c - 4. Let h be 3*(-1 - (-7 + 3)). Let k be o(h). Which is smaller: k or -5?
-5
Suppose -17*w + 4 = -21*w. Let z be (w/((-18)/28))/((-8)/(-12)). Let b be (-1)/4 - 3/(-4). Are z and b nonequal?
True
Let y(o) = -164*o**3 - 5*o - 4. Let t(n) = 163*n**3 + 4*n + 3. Let k(p) = -4*t(p) - 3*y(p). Let x be k(1). Let f = x - -1447/9. Which is bigger: f or -1?
f
Suppose -4 = -w + 2*p - 7, w - 4*p = -3. Let u be ((-3)/(-8))/(w/(-4)). Suppose -2*f = -g - 2 - 2, 2*f - 3*g = 12. Is u < f?
False
Suppose -6*u - 175 = -61. Let j be 4/8 - (-41)/(-2). Which is greater: j or u?
u
Let o = -101 + 186. Let b = o + -86. Which is bigger: -5 or b?
b
Suppose o + 2 = 2*v + 7, -4*v - 5*o = -11. Let g = 211247/163 - 1296. Let h = g - 448/6683. Is v less than h?
True
Suppose -3*b + 24 = -7*b. Let d = 12 + b. Suppose 2*l = 2 - d. Which is smaller: -8/9 or l?
l
Let i(c) = 18*c**2 - 8*c + 23. Let m be i(6). Is 0 at most as big as m?
True
Let c = -1.3 - -1.4. Let t = 0.6 + -0.5. Let x = c - t. Is x > 1/6?
False
Let s = 2 - -1. Let w be s - (-2 + (-423)/(-85)). Suppose -5*z - 12 = -3*g, 7 = -4*g - z - 0. Is w equal to g?
False
Let m(l) = l**3 - 8*l**2 + 3*l - 1. Let a be m(8). Let g = 91/4 - a. Which is smaller: g or -1?
-1
Let o = -279 + 282. Do 71 and o have the same value?
False
Let d(u) = u**3 - 30*u**2 - 11*u + 18. Let v be d(30). Which is smaller: v or -313?
-313
Let i(z) = -z**2 - 3*z. Let m be 2/((4/14)/(3/(-7))). Let n be i(m). Let v = -4998/25 + 200. Which is smaller: v or n?
n
Suppose -9*j = 3*j + 5*j. Is 71.3 less than j?
False
Let t = -103 + 58. Let v be (-6)/(-3) + 1 - (-133)/t. Is 0 not equal to v?
True
Let u be -10*(1 + (0 - (-3 - 140))). Let g be 128/u*6/4. Which is smaller: 0.2 or g?
g
Let n = 314.91 - 310. Let u = n - -0.09. Which 