 5?
b
Suppose -3*f - 219 = 5*u, 4*u - 13 - 247 = 4*f. Let i be 1/4 + (-323)/f. Which is smaller: 27/7 or i?
27/7
Let q = 3/214 - 461/2354. Suppose 0 = -5*k - 3*d + 4*d - 12, -5*k + 3*d = 6. Let l be 5 - 7 - 7/k. Is q at least as big as l?
False
Let k = -1419 - -18495/13. Is 5 at most as big as k?
False
Let g be 1/(2/4) + 0. Let a = 18 + -14. Suppose a*f + 5*d = -0*d + 19, 2*d - 5 = f. Do g and f have the same value?
False
Let y = -5.9086 - 0.0914. Let b = -0.5 + 0. Is b less than y?
False
Let k(t) be the first derivative of -t**3/3 + 4*t**2 + 8*t - 4. Let d be k(9). Let n be -1*-2*d/(-2). Which is smaller: -0.1 or n?
-0.1
Suppose 5*d = -5*s + 265, 5*d - 4*s - 265 = -8*s. Let a = 11.1 + -11. Are d and a unequal?
True
Let f be (-494)/(-91) - 6/14. Let h = 17 + -11. Is h at least as big as f?
True
Let p = 27 - 18. Let q = 29 - 40. Let x = -2 - q. Is x greater than or equal to p?
True
Let s(q) = -q**2 - 18*q + 182. Let j be s(8). Is -26 smaller than j?
False
Let s(w) = -3*w + 66. Let x be s(27). Let d(n) = 5*n - 2. Let k be d(-3). Which is smaller: x or k?
k
Let h = -1579 - -1500. Is h not equal to -80?
True
Let r(y) = y + 5. Let x = 30 - 45. Let w = x - -8. Let v be r(w). Which is greater: 8 or v?
8
Let z be 10/(-45) + ((-1425)/27)/1. Let l = 49 + z. Is 2/9 at most l?
False
Let j be 3/(-7) - 1140/84. Is -6 at least j?
True
Let s = -0.01 - 6.99. Let y = -1 + 9. Let j = s + y. Is -1 bigger than j?
False
Suppose -5 = -5*u + 5. Suppose 4*i - 14 = -2*l + 2*i, 0 = u*l - 3*i - 29. Let n be (3/2)/((-9)/(-60)). Is n not equal to l?
False
Suppose 4*s - 100 = -4*c, 34 = 10*s - 8*s - 2*c. Suppose 5*p - 3*j = -10, p + 2*j + 2 = 7*j. Let t be (3/p)/(9/(-120)). Which is smaller: t or s?
t
Let u = -4 - -8. Let v = -15 - -31. Let t = 20 - v. Is u greater than t?
False
Let a(t) = t**3 - 4*t**2 - 16*t + 1. Let l be a(7). Let p be (44/l)/((-1)/(-6)). Is 6 <= p?
True
Let x be (-17)/(-1309)*(-2 + -316 - -2). Let f = 42/11 + x. Which is smaller: f or 11/3?
f
Suppose 16*u - 2 = -y + 13*u, 2*u = 2*y - 36. Which is bigger: -0.22 or y?
y
Let o be ((-6)/(-36))/(65/(-2) + 0). Is 1 smaller than o?
False
Let u = 567 + -2898/5. Which is smaller: -12 or u?
u
Let h be (-5 - -3)*(-2)/14. Suppose u = -y + 2, 0 = y + 3*u - 2 + 4. Suppose 2*b - b - y = 0, 3*t + 3*b = 9. Which is smaller: h or t?
t
Suppose -a + 3*n = -378, -5*a + a = 4*n - 1432. Is 363 less than a?
False
Let i(t) = 2*t**2 - 11*t + 8. Let p = -43 + 48. Let x be i(p). Let l be 4/12 + (-22)/(-6). Is l >= x?
True
Suppose -4*f - 11 = 5*o, -4*f - 16 = -4*o - f. Let i be 8*o*4/16. Suppose 24 = -5*n + 3*j, 5*n + 5 = -4*j + i. Is n bigger than -3?
False
Let g(u) = 7*u**3 + u**2 + 5*u + 5. Let b(t) = -8*t**3 - t**2 - 6*t - 6. Let x(l) = -5*b(l) - 6*g(l). Let d be x(1). Is -4/7 at most as big as d?
False
Let k be (211 + -184)*(-1)/(2 + -1). Is -194/7 smaller than k?
True
Suppose 3*s = -3*n - 15, s + 0*s = 4*n. Let c = -138 - -179. Is n != c?
True
Let o be 18/(0 + (14/(-8) - -2)). Do 72 and o have different values?
False
Let x be ((-1064)/95)/(34/10). Which is bigger: x or -3?
-3
Let f = -21/4 - 1267/20. Let t = -29 - 40. Let x = t - f. Is -2 less than or equal to x?
True
Let d(k) = k**2 + 2*k - 6. Let i be (-4)/26 + (-222)/78. Let t be d(i). Let s = 10 - 14. Which is smaller: s or t?
s
Let m(a) = a**2 - 5*a - 7. Let b be (1 - 8)/(-1) + 6 + -7. Let h be m(b). Is -3/32 bigger than h?
True
Suppose -6*s + 439 + 41 = 0. Suppose -2*o - s = -88. Is 38/7 bigger than o?
True
Let q(f) = -f**2 - 6*f - 6. Let i be q(-4). Suppose -5*p - 13 = 7, 36 = i*u + 2*p. Which is greater: u or 23?
23
Let n = -61268/39861 + 66/43. Which is smaller: n or 0?
n
Let f = -16 + 11. Let t be (-3 + 2)/(4/24). Let r be (-34)/(-28) - t/(-4). Which is smaller: r or f?
f
Let i be ((-14)/(-91))/(1 + -2). Let r be (-6)/(-21) - (-37)/(-7). Let x = -4 - r. Which is smaller: i or x?
i
Let k be 2*1*3/(-30). Suppose 0 = -2*p + i + 10, -3*p + 2 = -5*i - 13. Suppose p*y = -2*r + 6, y - 15 = -3*y - 5*r. Is k bigger than y?
False
Suppose 125*y - 133*y = 0. Which is smaller: 0.049 or y?
y
Suppose -10 = 3*u - 13. Let c = -109/10 - -57/5. Is u smaller than c?
False
Let t be (-17)/(-5) - 15/(-25). Suppose -t*g = -g. Let u be 0 - (-3 + (3 - g)). Is u at least -1/9?
True
Suppose 0 = 9*m - 4*m + 10. Suppose 3*j + 6 = -3*k, -2*j + 2*k - 5 = -j. Let u(l) = l**2 + 4*l. Let z be u(j). Is z at most as big as m?
True
Let u = 3 + -40. Let f = 44 + u. Is f at least as big as 6?
True
Let p = 20331/95 - 214. Is p less than 2?
True
Let q(v) = 15*v**2 - 7*v - 8. Let k be q(-1). Is 61/4 greater than k?
True
Let u(f) = f**3 - 5*f**2 - 10*f + 20. Let a be u(6). Let o be 20/70 - a/(-14). Let w = 4163/7 + -596. Which is bigger: w or o?
o
Let m(n) = -7 + 0*n + 0 - n - n**2 + 0*n**2 - n**3. Let t be m(0). Let p be (1/(-3))/(t/33). Is p < 1?
False
Let f be ((-2)/4)/(1/8). Let g be 1 + (1 - f/(-4)). Let n be 0/(8/(-4)*g). Are n and -3/4 nonequal?
True
Let a = -1569/2 - -923. Let o = 138 - a. Does o = -1?
False
Suppose 0 = -3*o, -d - 10 = 4*o + 9. Which is smaller: -22 or d?
-22
Let r(p) = p**3 + 3*p**2 - 2*p**3 - 1 - 3 + 3*p. Let l be r(3). Suppose 2*o = 4*o - 12. Is o less than l?
False
Let x = -158 + 157. Let k = 1.97 + 0.03. Are x and k equal?
False
Suppose 23*d - 24*d + 4 = 0. Suppose -3*g - 3*k + 5 = -7, -2*g + 1 = -5*k. Suppose d*z + 9 = w + z, -1 = -g*w - 4*z. Is w smaller than 2?
False
Suppose -3*v + 5*z + 280 + 242 = 0, -5*v = z - 870. Is 175 < v?
False
Let u be 96/(-8)*7/(-3). Let x = -28 + u. Let z(v) = v**3 - v**2 + v + 8. Let d be z(x). Is d less than 10?
True
Suppose 6*m = 91 - 211. Is m <= -22?
False
Let t = 134.01 + -134. Which is greater: 54 or t?
54
Let f = 8.93 - -0.07. Let x = 13 - f. Let y = 0.09 + 0.31. Is x greater than y?
True
Let d = -3/460 - -1/20. Let m be (-3 - (3 + -1)) + 4. Which is smaller: d or m?
m
Let l = 2383 + -2358. Which is smaller: l or -2?
-2
Suppose -3*r = -9 - 3. Let f = -36 - r. Let m be ((-2)/(-24))/(f/(-12)). Is m >= 1?
False
Suppose -5*s = -59 - 51. Suppose -5*x = 2*n - s, 3*n + 0*n = -x + 7. Let c = 146/255 + -12/17. Does c = n?
False
Let z(m) be the third derivative of m**5/60 - 7*m**4/24 - m**3 - m**2. Let f be z(8). Suppose -f*a + i = 15, 0 = -5*a - i + 19 - 53. Is a != -7?
False
Suppose -8 = -7*j + 6. Suppose n = -j*n + 39. Which is smaller: n or 15?
n
Let l = -1/119 - 2733/476. Let o be -1*(-4)/((-12)/21). Which is smaller: l or o?
o
Let d(v) be the first derivative of -v**4/4 + 7*v**3/3 - 7*v**2/2 + 7*v + 1. Let o be d(6). Let y be (2 + (-36)/20)/(-1). Is o at most y?
False
Suppose -w = -0*w. Let f(r) = r**2 - 2*r + 5. Let p be f(w). Suppose 0 = -4*l - i - 2, p*l - l - 2*i = 4. Is l greater than 6/11?
False
Let w(o) = o**2 + 28*o - 55. Let l be w(-13). Which is greater: -248 or l?
-248
Suppose -j = -5*s - 172, -102*j = 2*s - 104*j + 64. Which is smaller: s or -34?
s
Let v = 9 + -8.3. Let m = 0.8 + v. Let z = 1 - m. Which is smaller: 1 or z?
z
Let p(j) = j**3 + 5*j**2 - j + 6. Let i be (-17)/6 - (-2)/(-12). Let v be p(i). Is v < 27?
False
Let r be 4/(-14) + 327/(-7). Let y be -27 + (-19 - -40) + -42. Which is bigger: y or r?
r
Let x(g) = g**2 - 5*g + 2. Let l be x(3). Let k(c) = -3*c**2 - 4 + 5 - 3*c + 2*c**2. Let p be k(l). Is p < -2?
True
Let p = -93 - -161. Let b = -67 + p. Is 9 at most as big as b?
False
Suppose 7*a + 8231 - 2778 = 0. Is a greater than or equal to -779?
True
Let t be (-176)/(-306) - ((-473)/99 - -5). Let p be ((-1)/2)/(2/4). Are t and p non-equal?
True
Suppose 5*s - 102 = 2*q, s + 6*q = q + 15. Is s at most 20?
True
Suppose -4*a + 7 - 3 = 0. Let u = -127 - -71. Let q = -53 - u. Which is smaller: a or q?
a
Let o = 3127 - 3124. Let g be (-2)/1 + 4 - -3. Suppose 0*k + 15 = g*k. Is o <= k?
True
Let g = -56539 - -284211/5. Which is smaller: g or 303?
303
Let a be ((-12)/6)/(-12) - (-101)/6. Suppose 91 = -4*j - a. Is -23 less than j?
False
Let j(c) = 9*c**3 + 8 - c**3 - 7*c**3 + 6*c**2. Let z be j(-6). Which is bigger: z or 9?
9
Let s be (-49)/(1029/126) + (-7)/(-1). Are s and 39/23 non-equal?
True
Suppose -f - 2*f = 0. Let c be 2/(-1 + 137/136). Let l be 2 - 3*c/420. Which is greater: l or f?
l
Let o be (-2)/18*-6 + 2/6. Which is greater: -1/59 or o?
o
Suppose -120 = 45*h - 30. Is h > 2?
False
Let n(d) = -d**3 - d + 1. Let y be n(0