5. Suppose 5*j - 6 = -3*i, 3*i + 25 - 1 = 5*j. Let m(l) = l**3 - 2*l**2 - 6*l + 5. Let t be m(j). Is f at least as big as t?
False
Let g = 5 + -4.9. Let u = 27.17 - 27.4. Which is smaller: u or g?
u
Suppose 3*y - 17 + 44 = -3*a, 37 = -4*a - 3*y. Let q be (-4)/a - 9/(-15). Let h = 667/6 - 111. Is q less than h?
False
Let b be -21*2/12*4. Suppose 2*t = 3*r + 23 - 40, 3 = -r. Which is smaller: t or b?
b
Let k(l) be the second derivative of -10*l + 13/2*l**2 - l**3 + 0. Let z be k(4). Which is smaller: z or -9?
z
Suppose 8 = -g + 3*g. Suppose g*j = 9*j - 40. Suppose 5*f = j + 2. Is -6/7 greater than f?
False
Suppose 12 = -3*a, -n - 2*a + 27 = -6*n. Which is greater: n or -18?
n
Let a be (-3 + 1)*(-26)/104. Is 0.3 at most a?
True
Let y be (-7 + (-18588)/(-2676))*2/3. Which is greater: y or 1?
1
Suppose 0 = -2*t - 3*b + 20, -5*b + 20 = 2*t - 3*b. Suppose -7 = 3*i - t*i. Which is bigger: i or 0?
i
Suppose -u + 3*u - 95 = -5*f, -5*f + 3*u = -120. Suppose -4*p - f + 162 = o, 29 = p - o. Is 34 greater than or equal to p?
True
Suppose 12*h - 180 = 27*h. Which is greater: h or 1?
1
Let i be (-4 - -8)/((-1)/2). Is -98/11 >= i?
False
Let u(t) be the second derivative of -t**5/20 + 2*t**4/3 + 5*t**3/3 - 12*t. Let k be u(9). Suppose 35 + k = -4*x. Which is greater: -10 or x?
-10
Suppose -136 = 4*k - 28. Suppose -4*c - 100 = 12. Which is bigger: k or c?
k
Let y = -1020/11 + 4391/33. Suppose 5*o + 23 - 223 = 0. Let c = y - o. Which is greater: -2/5 or c?
c
Let g be 0 - -5 - 0 - -6. Let q be (1 + 0)*g/((-33)/18). Suppose -z = 2*x + 2*z + 27, 4*x - 3*z + 9 = 0. Is x equal to q?
True
Suppose 54 = 2*i - 4*z, 5*i = -z + 3*z + 111. Suppose -2*q = 3*b - b - 8, b + i = 4*q. Suppose q*c - 22 = -27. Is c < -10/9?
False
Let f be (312/40)/(-1 - 2/(-10)). Which is smaller: -11 or f?
-11
Let u(z) = 2*z**3 + z**2 + z. Suppose 0 = -v - 3*v - 4. Let q be u(v). Let d(b) = -b**3 - 2*b**2 + 11*b + 5. Let f be d(-4). Which is bigger: f or q?
q
Let a be (-1)/((-28)/916) + 3. Let o = a - 36. Let k = -2.5 - -0.6. Which is bigger: o or k?
o
Let u be (-3)/(-4) - 18039/(-28). Let p = -1233/2 + u. Let t = p + -28. Which is bigger: 0 or t?
t
Let o = -15 - -7. Let l(u) = -u**3 - 12*u**2 + 5*u + 18. Let t be l(-12). Let s be 0 - o*3/t. Which is smaller: -2 or s?
-2
Suppose 0 = 5*a + l - 3*l + 30, 0 = -l - 5. Suppose 23*t - 42 = 29*t. Is t >= a?
True
Let o = 7 + -3. Suppose 2*d - 40 = x - 15, o*x = d - 65. Is x > -15?
False
Let i be (-476)/(-20)*(-1 - (-9)/7). Is i bigger than 8?
False
Suppose -3*n - i = -8*n - 11, 4*n = 5*i - 13. Let y(d) = -d**3 + 3*d**2 + 2*d - 3. Let l be y(3). Let v = l - 2. Is v >= n?
True
Let y be ((-378)/1584)/((-18)/(-24)). Which is smaller: y or 0?
y
Let m(y) = -5*y + 1. Let k be m(-2). Let q = -110 - -117. Let w = k - q. Is -1 equal to w?
False
Let d = 6 + -4. Let f be (4/4)/(d/(-24)). Let o = f - -8. Is -14/3 greater than o?
False
Suppose -5*u - 584 = -3*l, -4*l + 5*u + 360 = -412. Let i be 2/(-9) + l/36. Is 5 smaller than i?
False
Let j = 43 - 70. Let x = j - -27.2. Which is bigger: -0.05 or x?
x
Let k(r) = -r**3 + 9*r**2 + 5*r + 14. Let l be k(10). Let s be -15*(-7)/(-21)*(8 - 1). Do l and s have the same value?
False
Let b be 2/210*-79 + (-10)/(-35). Suppose -3*n = -7*n. Which is smaller: n or b?
b
Let f = -29 - -15. Let d(y) = y + 7 + 5*y - 10*y. Let n be d(5). Which is bigger: f or n?
n
Let q = -7/3 + 19/9. Let x be 5/(-10) + (-3)/(-2). Which is greater: x or q?
x
Let s(d) = -d**2 - 7*d + 1. Suppose u = -3*u - 28. Let h be s(u). Let x be (10/(-11))/(1 + -2). Does h = x?
False
Let m(r) = r**2 - r + 7. Let w be m(0). Suppose -3*u + w*u - 112 = 0. Is 28 at least u?
True
Let q be (25/15)/(10/142). Is -1 < q?
True
Let f(g) = g**3 - 7*g**2 + g - 5. Let v be f(7). Suppose -4*r + 8 = -v*r. Let o = -0.21798 - -0.01798. Which is bigger: r or o?
r
Let b = 76 - 77. Are b and 4/733 non-equal?
True
Let b = 47 - -3. Let k = -50 + b. Is k greater than 64/5?
False
Let t = 2/335 + -71/670. Suppose -2*q = -4, -4*v + 4 = 3*q + 2. Which is smaller: v or t?
v
Suppose -p + 10 = 3*b, -b - 5*p + 0 = 6. Suppose -b = -x, -c + 2*x + 1 = 4. Let w(d) = -2*d - 7. Let m be w(-5). Which is smaller: m or c?
m
Suppose 5*w + 20 = -5*v, -5*v - 47 = -2*w - 2*w. Let b = v - -11. Suppose 0 = 5*h - 3*x - b, -4*h + 3*x - 3 = -8. Do h and 2/7 have different values?
True
Let x be (-153)/(-24)*16/(-60). Let w = 2/129 - -383/258. Let v = x + w. Is v less than or equal to -4?
False
Let s = 22.7 - 9.5. Let b = -0.18 + -0.02. Let y = b + s. Which is bigger: 1/3 or y?
y
Let p = 230.3 + -230.3. Which is bigger: -3.2 or p?
p
Suppose -51*x + 52*x + 99 = 0. Which is smaller: -488/5 or x?
x
Suppose -2*d - 13 = 3*x, -4*x + 3*d + 3 + 8 = 0. Does x = 5/84?
False
Let g = -25381/74130 + -1/2118. Which is smaller: g or -1?
-1
Let q(p) = p**2 - 17*p + 1. Let s be q(17). Let a be 5/(s - -3 - 5). Which is bigger: 0.1 or a?
0.1
Let i = 166 - 166.99. Let g = 0.01 - i. Let s = 0.491 - 0.091. Is s bigger than g?
False
Let u be (-2)/(-24) + 30933/756. Which is greater: 198/5 or u?
u
Let g = 6.6 - -22.4. Let a = 42 - g. Let w = a - 12.9. Which is smaller: 1/2 or w?
w
Let l = 80/9 + -2326/261. Let d be -2*(-2 - -3) - -3. Which is bigger: l or d?
d
Let m = -9 - -6. Let n = -62 - -70. Is m equal to n?
False
Let d(b) = -b**3 + 8*b**2 - 4*b - 6. Let s be d(6). Let a = s - 46. Which is smaller: -6 or a?
-6
Let q be (-7)/5 + (-406)/(-140). Let l be 2 + 2 + -2 + 0. Let o = 4 - l. Which is greater: q or o?
o
Suppose -2*l + 5*v = 4 + 11, -6 = 3*l - 2*v. Let b = 1 + l. Let r = 1312 + -1314. Which is smaller: r or b?
r
Let z = -41 + 36.6. Let o = z + 1. Let s = o + 2.4. Is s bigger than -6?
True
Let h = -1.52 + 12.82. Let a = h - 17.4. Let x = 6 + a. Is -9/4 less than x?
True
Let z = 83 - 80. Let u be (16/50)/(z + 34/(-10)). Suppose -5*g + 0*g - 5 = 0. Is g > u?
False
Let t = 0.027 - -24.973. Let m = 5 - t. Which is smaller: 2/7 or m?
m
Let h(j) = -3*j**2 + 2 - 2*j**3 + j + 3*j**3 + 0*j**2. Let g be h(2). Suppose 3*a + 2 = -2*k - 3*k, -5 = k - 4*a. Is g at most as big as k?
False
Let w = 2.11 - 0.01. Let o = 4.9 + w. Do o and -3 have the same value?
False
Let m = 64 - -13. Let d = -77.11 + m. Which is greater: 2/7 or d?
2/7
Let z(a) = -2*a + 2. Let u(b) = 3*b - 4. Let d(i) = 4*i - 5. Let t(v) = 4*d(v) - 5*u(v). Let f(r) = -3*t(r) - 3*z(r). Let y be f(3). Is y at most as big as 2?
False
Let p be ((-5)/(-2))/(65/130). Suppose 5*v + 0*v + 3*o = 36, 4*o = 2*v - 4. Is v bigger than p?
True
Suppose 3*k = -2*x - 106, 3*x - 8*x = -2*k - 96. Let q = -3 - k. Is q less than 35?
False
Let n = -447 + 14752/33. Let a(j) = 2*j + 22. Let l be a(-8). Suppose 4*v + 0*i + l = -3*i, -4*v + 8 = -4*i. Is n bigger than v?
True
Let q(i) = -2*i + i + 3*i**3 + 10*i**2 + 11 - 4*i**3. Let z be q(10). Let x be -1 - 0 - 46/(-18). Is x at most as big as z?
False
Suppose -10*q - 427 - 623 = 0. Let m be (-6)/q*(-21)/(-9). Which is smaller: -3 or m?
-3
Let f be 20/3*(-45 - -9)*1. Is -240 at least as big as f?
True
Suppose -8 = 8*x - 4*x, -3*b - x + 1 = 0. Is b bigger than -4/271?
True
Let h = 72 - 646/9. Let a = 6.84 - 7. Let k = a - 5.84. Which is bigger: k or h?
h
Let o(b) = 27*b + 5. Let s be o(0). Which is smaller: s or 40/11?
40/11
Suppose 5*v = -4*q + 288 - 1694, v - 3*q = -266. Is v less than -278?
False
Let n be 28/(-49) + 2049/21. Let i = n + -7. Let q be ((-7)/20)/(36/i). Is 0 <= q?
False
Let x = -98/9 - -383/36. Is -4.06 >= x?
False
Let n = 11 + -21. Let t(d) = d**3 + 8*d**2 + 10*d - 12. Let f be t(-6). Let y(r) = r**3 - r**2 + 7*r + 1. Let p be y(f). Is n less than or equal to p?
True
Let d = -41.68 + 0.48. Which is smaller: -0.1 or d?
d
Let r be (-4 + 114/15)*-5. Let c = 0 + r. Which is smaller: 0 or c?
c
Let u be 176/(-704)*(0 + -1). Is 0.4 at least u?
True
Suppose -580 = 34*q - 39*q. Is 2/7 greater than q?
False
Let u = 0.35 - -0.05. Suppose 0*s + 3*m = -4*s - 12, -s = 3*m + 12. Let n be s*((-3)/2)/(-3). Which is smaller: u or n?
n
Let w(v) be the second derivative of -v**5/20 - 7*v**4/6 - 13*v**3/6 - v**2/2 - 7*v. Let n be w(-13). Which is smaller: n or -1/30?
n
Let u = -3575737/299 - -11959. Which is smaller: u or -0.1?
-0.1
Let i = -398396190 + 4096708026542/10283. Let s = i + -2/791. Is 1 <= s?
False
Let g(d) = d**2 - 2*d - 29. Let l be g(-6). Is l 