9. Which is bigger: -7 or f?
f
Suppose 10*x - p - 6 = 5*x, -x + 3 = -2*p. Let l be 12 - 30 - (x + 0)*1. Is l < -15?
True
Suppose -69 = v + 165. Let p be 20/v*3*(-27)/6. Which is smaller: 1 or p?
1
Let r = -13513/34794 + -1/1933. Which is greater: -1 or r?
r
Let g(d) be the first derivative of d**3/3 + 3*d**2/2 - 16*d + 17. Let c be g(-8). Which is smaller: c or -0.1?
-0.1
Let a(y) = y**3 + 24*y**2 - 25*y - 57. Let p be a(-25). Let s = -41 - p. Are s and 16 nonequal?
False
Let y = 12/17971 - -29220498/521159. Let h = y + -56. Which is smaller: 1 or h?
h
Let l = 10 + -7. Suppose 2*m + 2*f - 4 = 0, -14 = -2*m + 5*f - 2*f. Which is greater: m or l?
m
Let d(t) be the second derivative of -t**3/2 - 19*t**2/2 - 18*t. Let m be d(14). Is -61 equal to m?
True
Let u = -143934/31 + 4644. Let b = u - 28/31. Let i = -22/21 - -152/105. Which is greater: b or i?
i
Let d = -558.68 + 18.68. Which is smaller: -2 or d?
d
Let b = 1090 + -5448/5. Which is smaller: b or -3/2?
-3/2
Let a = -3 + 3. Let w = -1 + a. Let d be 13*(-15)/(-7410)*8. Which is greater: d or w?
d
Let j = 2/203 - 787/18067. Which is smaller: j or 1?
j
Suppose 5*x - 148 = -o, 2*o - 6*o + 12 = 0. Is x < 31?
True
Suppose -52*j + 28*j + 3648 = 0. Does 152 = j?
True
Suppose 0 = -5*x + 3*x - 5*s - 5, 2*x - 2*s - 2 = 0. Let t(h) = h**3 - 6*h**2 + 5*h + 2. Let g be t(5). Let o be (2/30)/(g/(-4)). Which is bigger: o or x?
x
Suppose 0 = 2*j + 5*j - 203. Suppose 3*s + 12 = u + s, 0 = -3*u - s + j. Does u = 12?
False
Let f be (1 - 4/3)/(2/18). Let l be (-4)/12*f/(-127). Which is smaller: 0 or l?
l
Let h be -16*(-1 - (-147)/(-6)). Let w be h/(-108) + 4/(-18). Which is bigger: -6 or w?
w
Let n = -640 - -641. Which is smaller: n or 16/17?
16/17
Let p = -2446 + 4893/2. Which is smaller: -229 or p?
-229
Suppose 5*i + 10 = -3*u, -3*u + 20 = 5*i - 6*u. Suppose 0 = -3*v - 4*l - i - 1, -2*v - 8 = -4*l. Let h = -4 - -2. Is h <= v?
True
Suppose -3*r - 37 = -j, 2*r - 5*j + 7 + 9 = 0. Let i(g) = -9*g + 3. Let b be i(2). Let z be ((-42)/b)/((-1)/5). Does r = z?
False
Let s = -0.1 - 0. Let t = 243 - 243. Are t and s nonequal?
True
Suppose 0 = 3*x - 8*x. Suppose -3*a - 2*t = 94, a + 5*t + 40 = -0*a. Let d be a/26 + 1 + 0. Do x and d have the same value?
False
Let g = 126037/447 + -342/149. Which is greater: 280 or g?
280
Let s = -33 + 86. Suppose 0 = 5*i - 4*l + s, 4*l - 35 = 2*i + i. Suppose 0*r = -3*r - 18. Is r at most as big as i?
False
Let n be 6/4*2/3. Let o(r) = -2*r - 3. Let b be o(-2). Let a be (b/10)/(1 - (-46)/(-10)). Is a at least as big as n?
False
Suppose 14*l - 4*m + 12 = 12*l, -5*l = -5*m + 45. Are l and -12 equal?
True
Let w = 60.4 - 32. Let s = -30 + w. Let n = s - -2. Is 0.3 at most n?
True
Let p be (-10 - -8) + (-67)/(-34). Let o be 0/(-1 + (4 - 1)). Which is smaller: o or p?
p
Let g = 464/15 - 6392/195. Let t = 1054562 - 383861227/364. Let d = g - t. Which is bigger: 0 or d?
0
Let d be 90/(-4)*96/(-120). Which is smaller: d or 115/6?
d
Let c = -158 + 2211/14. Let x(s) be the third derivative of -s**5/60 + s**4/4 - s**3 + 6*s**2. Let v be x(5). Which is smaller: c or v?
v
Let t = 85049/156 + 77/52. Let o = -27925/51 + t. Which is smaller: 0 or o?
o
Let g be (-2)/(-4) + 1672/(-16). Let j = -104 - g. Which is greater: -6/5 or j?
j
Let o(p) = p**2 + 15*p + 37. Let r be o(-3). Is r > -2/4201?
True
Suppose 2*y + 6 = -2*t, 10*t - 5*t = 4*y - 24. Does 201 = y?
False
Suppose -3*o = -4*o + 5. Let g be 28/10 + 2/10. Is g < o?
True
Suppose 14*l - 2*l = 0. Let b be (2 + l)*((-93)/(-33) - 3). Which is bigger: b or 1?
1
Let x be ((-2)/2)/(-1) - 2. Let r = -1894497 - -54930786/29. Let q = r - -332. Are x and q unequal?
True
Let m = -99 - -102. Are 2 and m nonequal?
True
Let r be 11/3 + 4/(-6). Let p(u) = -u + 2. Let t be p(r). Let m be (-4)/(-5) - (-5)/((-2975)/901). Does t = m?
False
Suppose -3*a = 5*s + 5 - 21, -5*a + 20 = 5*s. Let q(y) = 16*y**3. Let v be q(2). Let c be v/28 + 4/(-1). Is c at most as big as s?
True
Let v be (-6)/(-3) - -6 - (4 + 0). Let j be 0 - (-22)/(-33)*(-6)/v. Which is bigger: 10/13 or j?
j
Let w = -17 + 197. Which is greater: 1/2 or w?
w
Let a = -2.01 + 2.01. Which is greater: a or 353?
353
Let g = -4258/5 - -789. Let v = g - -62. Is v at least as big as 0.02?
False
Let f(v) = -2*v**3 + 16*v**2 - 5*v + 10. Let n be f(8). Let w = n + 31. Are w and -4/15 nonequal?
True
Let x be 5/(-5 - (-215)/42). Are 39 and x unequal?
True
Let i be 39/(-65) + (-9339)/(-15). Does 620 = i?
False
Let h = 1069 - 1068. Let i = 4.3 - -0.5. Let p = -0.8 + i. Which is greater: h or p?
p
Let u = -7 - 28. Let q = 32 + u. Which is smaller: q or -1/3?
q
Suppose 50*l + 352 = 82*l. Let n(w) = -9*w**3 + w**2 - 1. Let r be n(-1). Which is bigger: r or l?
l
Let f = 10.1 - 2.1. Let a = -49 - -46. Let c = a + 3. Is c greater than f?
False
Let r be (-12)/(-3)*1 + -1. Let n(o) = 3*o - 3*o**3 - 14 + o**r + 7 + 8. Let q be n(-2). Are q and 11 equal?
True
Let q = 3/4846 - -959493/24230. Which is smaller: 41 or q?
q
Let k = 722 + -153784/213. Which is greater: k or -1?
k
Let z = -242 - -243. Which is smaller: -1/120 or z?
-1/120
Let c = 264.041 + -0.041. Which is smaller: c or -1?
-1
Let i = -12 + 12.05. Let v = 2.1 + -4. Let l = -1.6 - v. Is l smaller than i?
False
Let p(v) = 2*v**2 + 3*v - 2. Let c be p(-3). Let k(w) = w**2 - 16*w + 8. Let q = 48 + -32. Let o be k(q). Which is smaller: o or c?
c
Suppose 19 = -4*c + j, 2*c + c + j + 9 = 0. Suppose -98*x + 95*x = -9. Let p = x + c. Which is smaller: -2/7 or p?
p
Let x = 1/58 + -127/638. Let c(z) = z**3 - 9*z**2 + z - 12. Let d be c(9). Let o(l) = -l**3 - 2*l**2 + 4*l + 2. Let y be o(d). Which is greater: y or x?
x
Let h = 5.609 + -0.609. Is h at least 4?
True
Let g = 1.531 - 1.431. Is g greater than or equal to -1.3?
True
Let f(u) = -u**3 - 7*u**2 + u + 9. Let y be f(-7). Let v be y - ((-2)/2 - -7). Is -1 at most v?
False
Let r = -4 + 7. Let b(m) = m**3 + 8*m - 9. Let a be b(4). Let l = 85 - a. Which is greater: r or l?
r
Suppose 4*j + 2*o - 10 = 0, 7*o - 4 = 3*o. Suppose -2*h - 2*f = -18, 3*h - 4*f + j = -6. Suppose 4*i + 2*v = 8, 0*v + 16 = h*v. Is 1/9 != i?
True
Let p = 364 + -334. Which is greater: p or 29?
p
Suppose -2*d - d + 42 = 0. Let m be (d/6)/(1/(-9)). Which is smaller: -20 or m?
m
Let g = 41 + -24. Let x = g + -8. Let o = 1440 + -1432. Which is greater: x or o?
x
Let c = 91 - 35. Suppose -8*s + 24 = -c. Which is smaller: s or -6?
-6
Suppose -3*g = -3*c + 12, c = -g - 4 - 2. Let i be 4/24*-2 - (-1)/c. Is i < -0.1?
True
Let j(b) = b**2 - 12*b + 7. Let t = 31 - 20. Let i be j(t). Let v be i/18 + (-418)/(-99). Is 6 not equal to v?
True
Let r(x) = x**3 + 8*x**2 + 8*x + 8. Let f = 33 + -40. Let z be r(f). Which is greater: z or -1?
z
Let i be 7/14 - 0 - (-87)/(-154). Is i < 0?
True
Let s be 22 - 4/((-20)/5)*1. Is 12 less than or equal to s?
True
Let u be (-2)/(-12) - 371/66. Which is smaller: u or -6?
-6
Let g = 199 - 208. Is -26/3 at least as big as g?
True
Let c(u) = -u**3 - 6*u**2 + 16*u + 9. Let p be c(-8). Suppose 35*h = 36*h + p. Which is smaller: 1/5 or h?
h
Suppose 23 = -y - j, 2*y + y + 101 = 5*j. Suppose -9*o - 127 - 242 = 0. Let k = o - y. Is k equal to -13?
False
Suppose 2*y - 6 = -6*p + 4*p, -2*p + 4*y = 0. Suppose -3*o + p*o = -5*r - 16, -r = 3*o. Let w be 2 - o*(4 - 2). Which is bigger: w or -3/7?
w
Let h = -1.65 + 1.25. Suppose -w - 2*w + 3*g = 18, 5*g - 12 = -4*w. Let f = w - -12/7. Is f at most h?
False
Let v be -12 + 14 - 14/1. Let q(n) = -n - 14. Let f be q(v). Which is bigger: f or -7/3?
f
Let n = 18/7 - 23/77. Is 1 > n?
False
Suppose -2*a + 28 = t + t, a + 18 = t. Let l = -5/17 - 517/34. Let w = t + l. Which is bigger: 2.2 or w?
2.2
Let q be (-1 - -2)/(15 - 14). Is -1/60 at least as big as q?
False
Suppose -15 = -3*y + 2*o + 3*o, -3*o - 20 = -4*y. Let f(a) = -a**2 + 7*a - 11. Let v be f(y). Which is smaller: v or 2/47?
v
Let h = 26 + -39. Let g = h - -13. Suppose 3*w + 0 - 18 = g. Is w less than or equal to 6?
True
Let q = 7250.29 + -7209. Let l = q - 41. Is l at least as big as -2/5?
True
Let x(o) = 4*o - 18. Let b be x(6). Suppose -13 - 5 = -b*v. Is -1 at least as big as v?
False
Let n = -1.83 - -74.83. Let x = 73.1 - n. Is 43 less than or equal to x?
False
Let k = 1445/4 + -359. Let n = k - 17/2. Is n bigger than -7?
True
Let x(i) = -7*i - 7. Let k