 = -a*f + 5. Which is smaller: l or f?
f
Let l(k) = -4*k - 1. Let r be l(-1). Let t(a) = -a**3 - 5*a**2 + 5*a - 4. Let w be t(-6). Which is bigger: r or w?
r
Suppose 4*u = 10 - 30. Do u and -5 have the same value?
True
Suppose -2*g + 21 = 3*g - 4*h, -5*g - 3*h - 7 = 0. Suppose 21 = 2*a + 3. Let k = a - 7. Which is smaller: g or k?
g
Let u = -76 - -77. Which is smaller: u or 0?
0
Suppose -5 = -2*y + y. Suppose -7*k + y = -2*k. Which is smaller: 1/8 or k?
1/8
Let o(x) = -x**3 + 14*x**2 - 2*x + 29. Let k be o(14). Let n be ((-2)/(-9))/((-4)/(-6)). Which is greater: k or n?
k
Let a(w) = w**2 - 7*w + 3. Let c be a(6). Let f be 1*(c - (0 - 3)). Is f < -1/9?
False
Suppose -4*w + 0 = 4. Which is smaller: -13 or w?
-13
Suppose 1 + 4 = -y, y = 5*t - 5. Which is greater: -3/76 or t?
t
Let g(v) be the first derivative of -5*v**3/3 + v**2 - 2*v - 4. Let n be g(1). Suppose 0*a + 5*a = 4*w + 6, -w + 2*a = 0. Which is bigger: n or w?
w
Let c = 438/5 - 88. Are c and -2/7 unequal?
True
Let h(w) = w**2 - 5*w - 6. Let b be h(5). Suppose 10 = 8*u + 50. Which is smaller: b or u?
b
Let n be (-2)/6*(3 - 0). Let l = -1 - n. Let v be (-2)/(-4)*(-2 + 2). Is v greater than or equal to l?
True
Let s be 0 - -1 - (-1)/3. Suppose -10 = 2*n, 5 = -4*r - r - 3*n. Which is greater: s or r?
r
Let x be (-70)/6 + 3*(-6)/(-27). Are -12 and x unequal?
True
Let g(c) = c - 7. Let d be (-3)/(-3) - -1*5. Let y be g(d). Let l(o) = o**2 - 5*o - 2. Let f be l(5). Which is bigger: y or f?
y
Let u = 10.1 + -7. Let c = u - 3. Which is smaller: c or 1/7?
c
Suppose 14 - 2 = 4*p. Do 5 and p have the same value?
False
Let k(m) = 2*m - 2 - 2 - 3*m. Let z be k(-7). Suppose z = -2*p - 5. Is p less than or equal to -3?
True
Let i be (-4)/(-22) - 36/(-44). Is 2/7 < i?
True
Let x be (8/(-10))/((-2)/5). Which is smaller: 4 or x?
x
Let c = 10 + -4. Let w be c/(-8) + (-108)/(-16). Let m be (-2 - 0)*3/w. Is m bigger than -2/7?
False
Suppose d + 1 = -2. Let h = 2 + -1.9. Let n = -1.1 + h. Is d at most n?
True
Let p be (-3)/21 - (-68)/(-14). Is p less than -1?
True
Let z(i) = i**3 + 5*i**2 - 8*i - 15. Let f be z(-6). Which is greater: -0.2 or f?
-0.2
Let g = 2722 + -29978/11. Does -4 = g?
False
Suppose -2*a - 1 = -4*m + 7, -3*m + 3 = -3*a. Suppose -a*n - 5*v = -16, -5*v + 9 = 4*n - 3. Is n < -3?
False
Let k = 333/418 + -16/19. Is 1 at least as big as k?
True
Suppose -2*h + 29 = -v + 6*v, v + 11 = h. Let g = h + -22. Let d = -39 + 30. Which is smaller: d or g?
g
Let z = 8/551 - 208869/2755. Let u = z - -76. Suppose 5*q + 0*q = 0. Which is smaller: q or u?
q
Let k be (4 - 1) + (-1 - -6) + -5. Is k smaller than 3?
False
Suppose -m = 1 - 6. Suppose 4*h + 1 = m. Let y be h/(-3)*(-2 - 1). Is y greater than or equal to -1?
True
Let j be (-486)/(-956) - 0 - 11/22. Let v be (-5)/(-717)*436/35. Let i = v + j. Which is bigger: 0 or i?
i
Let v = -0.017 - 2.983. Let r = -2.94 + 1. Let a = 0.06 - r. Which is smaller: a or v?
v
Let p = -104 + 97.1. Let g = p + 7. Let u be (-9)/(-21)*(-2)/3. Is u at most g?
True
Let v be ((-12)/(-15))/((-2)/5). Let s(z) = -z**2 - 2*z + 1. Let u be s(v). Which is bigger: -1/8 or u?
u
Let r(s) = 9*s**2 + s + 2. Let g be r(-1). Is g at least as big as 10?
True
Let r = -45504 + 317448/7. Suppose 1062 = 5*b + 292. Let t = r + b. Is 4/7 less than t?
False
Suppose 3*h + 16 = j + 4*j, h = -j + 8. Let i = 17 - j. Which is bigger: i or 13?
13
Let q(g) be the third derivative of g**4/12 + 2*g**3/3 - 4*g**2. Let z be q(3). Which is smaller: 11 or z?
z
Suppose 3*g - 409 = 11. Suppose 4*l + 180 = -5*t, -5*t + g = -3*l - l. Let x be 2/(-7) + l/7. Which is bigger: -7 or x?
x
Let t = 2 - -2. Let v be (7 - t)*1/(-3). Which is smaller: v or -2?
-2
Let d(n) = n**2 - 3*n - 3. Let p be d(-2). Let z = p - 5. Which is bigger: z or 6/5?
z
Let u be (-6)/279*-1*2/(-4). Is -1 equal to u?
False
Let w = -13 + 5. Let p(r) be the second derivative of -r**5/20 - 2*r**4/3 - r**3/6 - 9*r**2/2 - 2*r. Let h be p(w). Which is greater: 1/3 or h?
1/3
Let o be (-346)/10 - (-6)/(-15). Let r = 41603/1200 - 1/400. Let l = r + o. Is 0 at least l?
True
Suppose 3*m - 4*m = 5*t + 2, -36 = 2*m + 2*t. Which is greater: -21 or m?
-21
Let w(d) = -2 + 5 - 3 - 5*d. Let n be w(-1). Let j be n/(-12) - (-4)/6. Is j bigger than -1?
True
Let l = -3 - 0. Let g = -22 + 20. Which is bigger: g or l?
g
Let j = -0.04 + -4.96. Let x = j - -5.03. Let l = x - 0.03. Is l less than 1?
True
Let o = 7 - 5. Let p(l) = -l**3 + 4*l**2 + 2*l - 3. Let b be p(o). Let f be ((-2)/3)/(33/b). Which is bigger: 1 or f?
1
Let v(p) = -11*p**3 - p**2 + p - 1. Let w be v(-2). Let q = 57 - w. Let t be (6/q)/((-3)/(-4)). Is t less than or equal to 2/9?
True
Let u be (-714)/(-56)*(-2)/(-3). Which is bigger: u or 8?
u
Let k(z) = -z**3 + 2*z**2 + 3*z - 3. Let l be k(3). Suppose 8*g - 3*g = -10. Which is greater: l or g?
g
Let t = -1/3 + 4/9. Which is smaller: -1 or t?
-1
Suppose 4*p + 0 = 4. Suppose -p = v - 5. Suppose 0 = k - 0*k + v. Is -4 at most as big as k?
True
Let b = -52/3 - -18. Let m = 9 + -9. Is m < b?
True
Let o = 7 + -3. Suppose -2*z = 2*z - 3*f + 3, -2*f - 2 = -4*z. Suppose -z*y - o = -7*y. Is 0 greater than or equal to y?
False
Let l = -24 - -24. Is -2/91 at least as big as l?
False
Let g = -0.1 - 0. Let h = -0.9 - g. Let x = h + 0.5. Is 1 > x?
True
Let g(u) = -u**3 + 9*u**2 - u + 3. Suppose 3*t + 5*b = 11, -23 = -t - 3*t - 5*b. Suppose t = 2*r - 6. Let h be g(r). Which is bigger: 2/3 or h?
2/3
Let o be 2*(-7 + 6/2)*2. Is -1 smaller than o?
False
Let v = -3.23 + 2.9. Let h = v + 0.6. Let f = h - -0.03. Are 2/5 and f equal?
False
Let o be ((-50)/(-4))/((-1)/(-2)). Let r = 173/7 - o. Let f be (-4)/3 + (-1)/(-3). Which is bigger: r or f?
r
Let j = 3 + 4. Suppose -2*z - j + 3 = 0. Is z not equal to -2?
False
Let m = 10 + -16. Which is greater: m or -4?
-4
Let h(n) = -n - 7. Let w be h(-9). Suppose -5*p + 2*z + 7 = -28, -w*p = 2*z. Which is bigger: 4 or p?
p
Let y(b) = 2*b + 5. Let f be y(-3). Which is smaller: -3/5 or f?
f
Let m(x) = x + 3. Let d be m(0). Suppose d*p = -19 + 1. Let c be 8/(-9)*9/p. Does 1 = c?
False
Suppose -7*m + 4 = -3*m. Let j = m - -11. Suppose 4*v + j = 2*v. Are -7 and v non-equal?
True
Suppose 4*m = -5*q + 53, 12 = 3*m + 4*q - 29. Is m smaller than 5?
False
Let y be 98/(-28)*408/(-14). Which is greater: 101 or y?
y
Let i be (-1)/(3*4/(-168)). Which is smaller: 0 or i?
0
Let g = 4 - -21. Is g smaller than -2?
False
Let p = -0.2 - -0.2. Let j = -0.3 - p. Which is smaller: -0.1 or j?
j
Let z(g) = -g**3 - 4*g**2 - 3*g. Let w be z(-3). Which is bigger: 1/47 or w?
1/47
Suppose -5*u + 10*u - 10 = 0. Suppose 2*m + u = -0*m. Suppose q = -2*d + 1, 0*d - 5*q + 16 = -d. Is m greater than d?
False
Let f(x) = -x - 5. Let r be f(-3). Let j = -9 + 8. Let a = j - r. Which is greater: 2/7 or a?
a
Let g(i) = -6*i - 1. Let x be g(-1). Let s be (-5)/(x/2) - -8. Which is smaller: s or 5?
5
Let g = -3 + 1. Let l be 2/(-1) - (5 - 7). Suppose 4*t = -l*t + 8, -3*w - 13 = -2*t. Is w at least as big as g?
False
Let g = -598 + 4196/7. Which is smaller: 1/3 or g?
1/3
Let g = 13427/95 + -708/5. Let u be (-9)/57*(-1)/7. Let o = g - u. Which is smaller: -1 or o?
-1
Let x = -1.7 - -1.6. Are x and 5/2 nonequal?
True
Let d = 1217/15 - 81. Let c be 1/1*(2 + -1). Which is greater: c or d?
c
Suppose 4*b + 3*p + p = -16, -b + 2*p - 10 = 0. Let d = b - -7. Which is bigger: d or 6?
6
Suppose -3*r + 8 + 7 = 0. Suppose 20 = -3*i - q, q - 22 = -i + r*i. Let u = -6 - i. Is u at most 1/2?
True
Let x = -0.3 + 0. Let w = -0.16 - 0.16. Let i = x - w. Is 0 < i?
True
Let g = 14 - 32. Is g at least as big as -17?
False
Suppose -4*a - 2*o + 18 = 0, -6*o = -a - 2*o + 18. Let b = a + -6. Let w = 0 + b. Is w less than -2?
False
Suppose -9 = -5*w + 6. Suppose -5*g = -3*s - 23, 4*s + w = -3*g + 11. Is s != -1?
False
Let v = 0.2 - 0.2. Let a = -2.01 - -0.01. Which is greater: a or v?
v
Suppose -7 = -6*b - 1. Is 1/20 not equal to b?
True
Suppose -3*h - 72 = -5*o + 20, h + 4*o = -8. Let u be ((-2)/8)/(6/h). Which is smaller: u or 2?
u
Let o = -1.7 + -0.3. Let g = o + 3. Suppose 7 = -2*v + 5. Which is greater: g or v?
g
Let a = -6 + -15. Let i be 2*(1 - a/(-18)). Which is greater: 2/7 or i?
2/7
Let l be (1/18)/((-8)/16). Which is smaller: l or 0?
l
Let t be -2 + ((-2)/2 - -7). Suppose -5*j + 4*u - 3 = 0, j