. Suppose -4*t - 3*g = -c*g - 5, t = 3*g - 7. Which is smaller: 3 or t?
t
Let w(z) = -z + 4. Suppose -t + 5 = 3*y, -4*t = -0*t - 3*y - 20. Let h be w(t). Let o be (-10)/4 + (-2)/h. Which is smaller: -2 or o?
-2
Let u(q) = -7*q + 1 - 1 - 1. Let r be u(-1). Let b = r + -8. Is -4 > b?
False
Let t be 5/((-35)/(-12)) + -2. Let x = 0.23 - 0.2. Let r = 0.07 + x. Which is smaller: r or t?
t
Let a be -1 - (-5 + (0 - -1)). Suppose -a*n = -4*n. Let c = -359/5 + 72. Which is greater: c or n?
c
Let u = -0.15 - 5.85. Let t = 6 + u. Do t and -2 have the same value?
False
Let l(t) = t**2 - 5*t - 5. Let u be l(6). Let c(s) = 3*s + 1. Let r be c(0). Is u smaller than r?
False
Let s(g) = g**2 - g + 1. Suppose -2*i = -1 - 1. Let k be s(i). Suppose -2*b + 4 = -x, -x - 4 = 2*b - 0*x. Which is bigger: b or k?
k
Suppose 4 = 2*m + 2. Let k = -100 - -997/10. Is m less than k?
False
Let t = -192 + 164. Which is smaller: -1 or t?
t
Let x = -3.98 + -0.02. Let s = -1.3 - -0.3. Let z = x - s. Which is smaller: 1/3 or z?
z
Let z(w) = 5*w - 31. Let f be z(6). Let n = -32/3 + 227/21. Which is greater: n or f?
n
Let t = 7 + -4. Suppose 5*l - t = 2*l. Are 0 and l equal?
False
Suppose -2*t = 0, 2*s - 3*t = -4 - 10. Is s > -2?
False
Let j(z) be the third derivative of z**5/60 - z**4/2 - 13*z**3/6 - 5*z**2. Let b be j(13). Are b and 2/9 nonequal?
True
Let g be 1/(-2)*(-1 + 1). Suppose t = -2, -5 = -3*f - 2*t - g. Suppose -f*a = z - 0*a - 1, -2*z + 2 = -a. Is -2/13 less than or equal to z?
True
Suppose 331 = -7*n - 306. Which is smaller: n or -90?
n
Let h = -518569/9 - -57543. Let u = h - -76. Which is smaller: 1 or u?
u
Let i(k) = k - 9. Let x be i(-4). Which is bigger: -4 or x?
-4
Suppose -2*m + m + 4*n = -36, 2*m = -n + 45. Do m and 24 have the same value?
True
Let c(g) = -2*g - 1. Let k = 3 + -5. Let p be c(k). Which is bigger: 2 or p?
p
Suppose 6*m + 2 = 7*m. Suppose -7*h + m*h = 0. Do h and -3/16 have the same value?
False
Let g be 0 + 0 + -1 + 1. Suppose g = 3*v + v - 16. Suppose 3*f - 5*f - v*l = -2, -5 = 2*f - 3*l. Is f at least as big as 1/7?
False
Let p(f) be the third derivative of -f**6/120 + 13*f**5/60 - 11*f**4/24 - 2*f**3 - 5*f**2. Let s be p(12). Is 1/4 > s?
True
Let l be (-174)/(-24)*2 + (-1)/(-2). Which is smaller: 0 or l?
0
Let x = -8 - -4. Which is greater: x or -2?
-2
Let f be 2/(4 + -2)*0. Suppose 44 = -f*t - 2*t. Let g be -2*((-24)/t - 1). Is 0 bigger than g?
True
Let s be (34/85 - (-2)/(-5))/1. Is s equal to -2/131?
False
Let l(s) = -s**2 + 5*s. Let h be l(5). Suppose 0 = -h*d + 3*d - 3. Is d < 4/5?
False
Let t = -0.002 - 2.098. Let m = 0.7 - -1.3. Let n = m + t. Are n and 2 non-equal?
True
Let h = -3 + 6. Let x be (1 - -2)*(-4)/h. Is -3 at most as big as x?
False
Let g(w) = -w**3 + 11*w**2 + 13*w - 18. Let d be g(12). Let p be (-1)/(-2) + d/(-12). Does 9/4 = p?
False
Let r(a) = a**3 - 7*a**2 + 8*a - 8. Let t(j) = -6*j**3. Let w be t(-1). Let s be r(w). Suppose 4 = s*f, -f - 27 = 5*v - 3*f. Which is greater: -7 or v?
v
Let o(a) = -4*a**2 - 2*a - 1. Let p be o(-1). Is -24/11 < p?
False
Let u(n) be the second derivative of -n**4/12 - 5*n**3/6 - 3*n**2 + 3*n. Let a be u(-4). Which is bigger: -0.2 or a?
-0.2
Let n(f) = -f**2 - 7*f - 7. Let y be n(-5). Suppose -11 - 31 = -y*r - 3*v, -4*r - v = -41. Is r >= 8?
True
Let b = 8 + -5. Let m = -2 - b. Let h = m - -5. Are -2 and h nonequal?
True
Suppose -4*l = -2*q + 6, -2*q - 5*l = 2 + 1. Which is greater: q or 6?
6
Let y = -0.2 + -0.1. Let x = -0.2 - y. Let u = x - 0.5. Which is smaller: u or 0.1?
u
Let k = 244/403 - 14/31. Let d = -0.5 + -0.1. Let o = d - -0.7. Are o and k non-equal?
True
Let r = 0 - 0. Does -2/21 = r?
False
Suppose -8*s = -10*s + 66. Is s at most 31?
False
Let g be (39/10023)/(1/2). Is g at least as big as 0?
True
Let g be 1/2*(-56)/(-770). Which is bigger: g or 1?
1
Let t = 2178 - 6428/3. Let n = t + -35. Do 3 and n have the same value?
False
Let d = -2.851 - 0.049. Let b = -3 - d. Is -3 equal to b?
False
Let n(q) = -5*q - 1. Let k be n(1). Let d = k - -11. Suppose 0 = -3*l + d*l. Which is smaller: 2/5 or l?
l
Let h(x) = -10*x + 11. Let s(f) be the first derivative of -3*f**2/2 + 4*f + 3. Let r(w) = -2*h(w) + 7*s(w). Let z be r(6). Is -2 <= z?
True
Suppose 0 = -6*j - 23 - 19. Is j less than -6?
True
Let s be 50 - -6*3/(-9). Does s = 47?
False
Let w = -8 + 2. Let u = -5.9 - w. Is u <= 0.1?
True
Let y = -13 + 30. Suppose y = -2*l + 13. Which is greater: l or -3?
l
Let q(i) = i**2 + i + 8. Let x be q(0). Let t be (-2)/(-6) + x/3. Suppose -t*f - 1 = -3*m - 16, 2*f = -4*m + 10. Which is greater: m or 1?
1
Let f be 17/(-5) - 14/(-35) - 17. Is f not equal to -23?
True
Let p(q) = -q**3 + 6*q**2 - q - 5. Let m be p(5). Let o = m + -44/3. Is o equal to -1?
False
Let g = 57.3 - 54. Let h = -0.3 + g. Which is smaller: h or 4?
h
Let y = 26/9 - 32/9. Which is smaller: 0 or y?
y
Suppose 2 = 4*s - 82. Let m be (6/(-18))/(1/s). Is m equal to -8?
False
Suppose -q - q - 2 = 0. Let a be ((-1)/(-3))/((-2)/4). Which is smaller: a or q?
q
Suppose 5*i + 39 = -c + 2*c, -c = 2*i - 11. Let o = -19 + c. Is o greater than 5/11?
False
Suppose 5*n + 60 = r, r - 35 = 3*n + 19. Let j be r/(-9) - (-4)/2. Let z(d) = -d**2 + 2*d + 4. Let b be z(4). Which is smaller: b or j?
b
Suppose 0 = -l - 11 + 2. Let z be (-2)/l - 4/(-63). Is 1 > z?
True
Let j = 2 + 4. Let p be 40/18 + 4/(-18). Let a = 9 - p. Is a less than or equal to j?
False
Let o = -714.99 - -719. Let q = o - 0.01. Are q and -2/7 non-equal?
True
Suppose k - 5*b + 12 = 5*k, -5*k + 15 = -3*b. Let u = 10 + -8. Is u at most as big as k?
True
Suppose 2*h = -2*a + 4, 5*h - 2*h + 4*a = 4. Suppose -3*n - 12 = q + 4*q, n + 3*q = 0. Let u = 14 + n. Which is greater: u or h?
u
Let t(j) = -2*j - 7. Let a be t(-5). Suppose 4*n + a + 1 = 0. Are n and -3 equal?
False
Let b = -16 + 10. Let h = -7 - b. Which is smaller: -1/5 or h?
h
Let u = -54 - -58. Which is greater: u or -7/4?
u
Let s = -37 + 40. Let r(c) = 3*c**2 + 3*c + 2. Let w(g) = -10*g**2 - 8*g - 5. Let z(h) = 7*r(h) + 2*w(h). Let t be z(-5). Is t <= s?
False
Let n be (-5)/((-25)/6) + -1. Let o = -82 + 81. Which is greater: o or n?
n
Let c(q) = 37*q**2 + 2*q - 1. Let m be c(-4). Let a be 0 - m/7 - 0. Let y = -83 - a. Which is smaller: -0.3 or y?
-0.3
Let b = 0.17 - 12.17. Is -3 smaller than b?
False
Let n(u) = -u**2 - 7*u + 6. Let b be n(-8). Let j = b + 1. Are j and 0 nonequal?
True
Let w be 0 + (-1)/(-15) - 0. Let t = w + -4/15. Let r = 0 - 0. Which is smaller: r or t?
t
Let p(g) = -g**2 + 8*g + 3. Let w be p(8). Suppose 0 = -5*c + 15, 3*h - 4 = 2*c - 10. Suppose w*f - 4*f = h. Which is greater: -1 or f?
f
Let l = -159 - -792/5. Which is smaller: l or -5?
-5
Let i(d) = -4*d - 1. Let n be i(1). Let q = n + 4. Is q bigger than -2/21?
False
Let p = 4 + 1. Let q = -5 - -9. Let u = p - q. Do 2 and u have the same value?
False
Let n = -2 + 3. Let i(v) = -14*v**2 - 4*v + 5. Let j be i(2). Let m = 175/3 + j. Which is bigger: m or n?
n
Let j(a) be the second derivative of a**3/6 - 7*a**2/2 - 3*a. Let q be j(8). Which is greater: -2/7 or q?
q
Let v be 1/4 + 152/32. Suppose -4 = v*h - 69. Which is smaller: 1 or h?
1
Suppose 3*q = -3*p - 27, 3*q + 28 = -p - 3*p. Suppose -h + 4*t + 22 = 0, 3*h - 8 - 30 = 5*t. Let w = q + h. Is -1 smaller than w?
False
Let u(b) = b**2 - 6*b - 1. Let l be u(7). Let s = -2 + l. Suppose s*d = -d. Which is smaller: -1 or d?
-1
Suppose 3*w - 24 = -0. Let g(f) = f - 7. Let a be g(w). Suppose -2*n = -3 - a. Which is smaller: n or 3?
n
Let b be (-66)/(-24) - 1/(-4). Which is smaller: b or 4?
b
Let s(n) = n + 6. Suppose -26 - 4 = 5*o. Let a be s(o). Is a greater than or equal to -4/5?
True
Suppose 12*b - 24 = -36. Is -3/2 not equal to b?
True
Let f(b) = 3*b**2 + 1 + 5*b**2 + 0*b**2 - b - 7*b**2. Let g be f(0). Let d(s) = -s + 7. Let x be d(5). Does x = g?
False
Let p(c) = -c**2 + c + 1. Let d be p(-1). Let w be d*1/(-5)*3. Which is smaller: 2 or w?
w
Let o = 0.062 - -3.938. Let u(h) = 108*h**2 + h. Let l be u(-1). Let i = l + -537/5. Which is bigger: o or i?
o
Suppose -2*j = -4*o - 13 - 13, -2*j - 2 = 3*o. Let f be 10/o*(-6)/21. Suppose 0 = -0*t - t + 1. Which is smaller: t or f?
f
Let f(p) = -p. Let u(w) = 7*w - 1. Let t(k) = -6*f(k) - u(k). Let j be t(3). Let d be (-2)/(4 - (-4)/j). Which is greater: -2/9 or d?
-2