3)). Suppose -2*t + 8 = -8. Suppose t*h = r*h. Which is bigger: h or -2/7?
h
Suppose -3*n + 2 = 11. Let f be 2*(81/30 + n). Suppose 0 = -3*g + 5*g + 2. Which is smaller: g or f?
g
Suppose 3*u = -5*k + 91, -5*u + 103 = -u + 3*k. Suppose u = -4*t - 2*h, -2*h + 4 + 2 = -3*t. Is t greater than -4?
False
Let a = -1949/14 - -139. Is a at most as big as 1?
True
Suppose 2*m + 0*m - 1774 = 0. Suppose -5*s - 895 = -5*j, s + m = 4*j + 165. Let u = j - 908/5. Which is smaller: -2 or u?
-2
Let m be (43/2)/((-2)/4). Let h = m + 131/3. Is h not equal to 2?
True
Let d be 2/4*(-8)/6. Let r = 22 - 21. Are d and r equal?
False
Let g = 1683 - 28623/17. Is -2 <= g?
True
Suppose 4*y - 10 = 4*h + 50, -25 = 5*y. Let i be ((-8)/h)/((-13)/5). Is -1 equal to i?
False
Let u be ((-6)/(-21))/(5/7). Which is smaller: u or -2?
-2
Let z = -0.9 - -2.9. Which is greater: 0.06 or z?
z
Let x(p) = p + 12. Let q be x(-9). Let w = 2 + 0. Which is smaller: q or w?
w
Let y be 2*(-2)/(-88)*40/(-15). Which is greater: y or 1?
1
Suppose 5*a + 16 = 3*k, 25 = -k - 4*k - 2*a. Let x = 129 - 131. Which is bigger: k or x?
x
Let x(j) = 2*j**2 + 3*j. Let w be x(-4). Suppose 8*c = 4*u + 5*c - w, -4*c = 0. Suppose 6*d - d = u. Is d at least as big as 1/2?
True
Let q(h) = h**3 - 2*h**2 + 3*h - 5. Let l be q(2). Suppose 0 = -4*o - 3*s + 3, -4*s + 14 = 2*o - 0*s. Let b = -2 - o. Does b = l?
True
Let s(w) = 2*w**3 + 16*w**2 - 4*w + 5. Let x be s(-8). Do x and -2 have different values?
True
Let y = -1.4 + -0.6. Let t = 2.1 + y. Is t >= 0?
True
Let u = -0.5 + 0.7. Suppose -9*t + 2*t - 28 = 0. Is u equal to t?
False
Suppose 0 = -c - 0*c + 1. Let u be (0*(c - 2))/(-2). Which is smaller: 1 or u?
u
Let i = -509452 - -180855764/355. Let h = i - 4/71. Let x be (-6 - -1)*(-2)/5. Which is bigger: h or x?
x
Suppose -k + 4*y - y = -3, 5*k - 2*y - 15 = 0. Suppose k*q - 4*q + 1 = 0. Is 2/7 less than or equal to q?
True
Let a = 128/9 + -14. Which is bigger: 0.2 or a?
a
Suppose 3 = -h + 4*s - 3*s, -4*h - 2*s = 0. Let x = 1656 + -455401/275. Let q = -557/1925 - x. Are q and h non-equal?
True
Let x(l) = -l**2 + 6*l - 10. Let v be x(6). Which is bigger: 0 or v?
0
Let l(v) = -2*v**2 + v. Suppose -s + 2 = s. Let p be l(s). Let u = 0.01 - 0.11. Which is bigger: u or p?
u
Let v be -3*2*1/(-21). Let b = -5.06 - -0.06. Let s = 5 + b. Is v less than s?
False
Let g = 15 - 1. Let l be (g - 0)*(-1)/2. Which is smaller: l or -9?
-9
Suppose -24 = -5*v - 2*n + 18, 18 = v - 2*n. Suppose -v = 3*x + 4*l + 7, l - 1 = x. Which is smaller: -5 or x?
-5
Suppose 10 = 5*z - 0*z. Let c be 2 - (z + -1 + 1). Is -2/7 at least as big as c?
False
Let z(x) = x**2 - 9*x + 10. Let p be z(8). Let t be -2 - p - (-4 + 2). Is t at most as big as 0?
True
Let r be 43/9 - (-4)/18. Suppose 0 = -5*y + 3*m - 12 + 47, -4*y - 4*m - 4 = 0. Suppose -r*w = y + 11. Which is smaller: -4 or w?
-4
Suppose 2 - 6 = 2*i. Let k(b) = -2*b - 1. Let w be k(i). Suppose 9 = -0*h - w*h. Does -3 = h?
True
Let y = 19797/25 - 792. Which is bigger: 0 or y?
0
Let g(v) = -3*v**3 + v**2 + 2*v + 1. Let a be g(-1). Suppose 19 + 8 = -a*r. Is -9 at least r?
True
Suppose 2*f = -0*f + 3*k + 3, k + 1 = f. Suppose 5*t + 15 = f, -5*h - t + 0*t - 103 = 0. Let q = 81/4 + h. Which is greater: 0 or q?
q
Let v(i) = -i - 11. Let p be v(-11). Are -1 and p nonequal?
True
Let j be ((-3)/3)/(-1 - 0). Let l be 116/28 - 3 - 1. Which is smaller: l or j?
l
Let u = -4228/15 - -282. Does 0 = u?
False
Let u = 0.5 - 0.3. Let m = u + -0.4. Is 1 equal to m?
False
Let k(z) = z**2 - 4*z + 1. Let u be k(4). Let x = u - 1. Let l be (3/(-42))/(2/(-8)). Is x at least as big as l?
False
Let d be (2 - 0 - 2) + -4. Let z = 2 + d. Is -3/4 greater than z?
True
Let m be (-226)/85 + 1 - -1. Let u = -18/17 - m. Suppose 0 = -4*o + 3*w + 5, 5*o - 1 = 4*w - 2*w. Is o smaller than u?
True
Let q = 3.4 - 3.5. Let a = -22.14 + 16.1. Let w = 0.04 + a. Which is greater: w or q?
q
Let p(b) = 3*b - 2*b**2 + 3*b**2 + 2 - 2*b**2. Let a be p(3). Let i = 12 + -11. Is a at least as big as i?
True
Let f(c) be the second derivative of -c**2 + 1/3*c**3 + 1/12*c**4 - c + 0. Let j be f(-2). Which is smaller: -3 or j?
-3
Suppose 4*m + 3*v - 13 = -m, -3*m = -v - 5. Suppose -m*x - 10 = p, -4*p - x - 5 = -3*p. Is p > 0?
False
Let u = -0.2 + 11.2. Let j = 6 - u. Let v = 5 + j. Is -5 bigger than v?
False
Let y be 2 + 0 + 6/(-5). Which is smaller: 1 or y?
y
Let x(q) = -q + 4. Let m be x(0). Suppose b + 17 = 2*u, 0*u = -4*u - m*b + 4. Do u and 5 have different values?
True
Suppose -4*s = -43 - 21. Which is bigger: s or 14?
s
Let p = -21 + 27. Which is bigger: -1 or p?
p
Let s be -8*(3 + -2 + -2). Is 9 smaller than s?
False
Let g = -1.08 - 0.02. Let d = -1 - g. Let t be ((-1)/(6/(-2)))/(-1). Is t less than d?
True
Let n = -3 - -2.99. Let j = 3.01 + n. Let z = j + -2. Is z at least 2?
False
Let x = 2.9 + -1.8. Let m = -1 + x. Which is smaller: 2/5 or m?
m
Let d = -2 - -1.5. Which is smaller: d or -0.1?
d
Suppose -20*u + 15*u + 25 = 0. Suppose 3*f - 24 = 3*m, 0 = f - 0*m + 4*m + 7. Is u at least as big as f?
True
Let y = -2 + 2. Let h = y + 2. Suppose h*j = -3*j + 10. Is j not equal to 0?
True
Let o = 77 - 43. Do 34 and o have different values?
False
Let r = -44 - -46. Which is smaller: -15 or r?
-15
Let g = -0.7 + 0.7. Let w = 4 - g. Is w not equal to -0.1?
True
Let x = 86/3 + -29. Suppose 0 = -5*i - 15. Let w be (1/3)/((-1)/i). Which is bigger: w or x?
w
Let n = 1036 + -5198/5. Is n greater than or equal to -5?
True
Let u be (-1)/(-10)*60/8. Is u < -1?
False
Let t = 0.16 + -5.16. Which is bigger: 1 or t?
1
Let b be (-5)/(-30)*9/(-2). Let s(c) = -c**3 + 3*c**2 + 4*c - 2. Let g be s(4). Is g > b?
False
Let m(h) = -4*h + 3*h**2 + 3*h - 1 - 2*h**2 - h. Let d be m(3). Suppose -5*o + d + 3 = 0. Is -1/15 smaller than o?
True
Let x be -2 + (-16)/2*-1. Suppose 12 = 4*a, -x - 9 = -3*n - 5*a. Do n and 1 have different values?
True
Let d = 2 + -3.9. Let o = d + 2. Is 5 smaller than o?
False
Let q = -3 + 8. Suppose g = 5*l - 23, l - 15 + 0 = -q*g. Suppose -2*v + 2 + 2 = 4*k, 0 = -3*k - g*v + 1. Is k equal to 3?
True
Let o be (-1)/(-1) + -2*2. Let d(n) = 2*n + 6. Let p be d(-4). Let r(q) = q + 1. Let i be r(p). Which is smaller: i or o?
o
Suppose 7*i + 2*l + 10 = 5*i, 0 = 5*l. Which is smaller: i or 5?
i
Suppose 0 = -a + 2*r - 21, 6*a - 2*a = 2*r - 96. Let i = a - -24. Is i > 2/19?
False
Let w = 95 + -94.81. Is w less than -1?
False
Let p(f) = -6 + 8*f - f**2 - f**2 + f**2. Let a be p(7). Does 2/17 = a?
False
Let n = 2/73 - -60/3139. Let j = n - 112/559. Which is bigger: j or -1?
j
Let v(l) = 11*l + 10. Let q be v(-7). Which is bigger: q or -66?
-66
Suppose t - 2*o + 0*o = -9, t - o + 10 = 0. Is t greater than or equal to -12?
True
Let f = -52.9 + 7.9. Let g = f + 49.9. Let o = -5 + g. Is o bigger than -1/4?
True
Let o(h) = -h**3 - 8*h**2 + h + 6. Let u be o(-8). Let f = u + 5. Let v = -4 + f. Which is smaller: v or 0?
v
Let s = 6 + -14. Let r = -5 - -14. Let u = s + r. Is u <= -5?
False
Suppose -3*w + 17 = 4*b - 69, 0 = -2*w - 4*b + 60. Which is smaller: 27 or w?
w
Suppose -m = 4*u - 4, u - 3*u - 10 = -m. Let n = m - -2. Which is bigger: 11 or n?
11
Let z = 7/215 + 2059/2795. Which is greater: z or 1?
1
Let h = 39 - 39. Which is greater: 4/5 or h?
4/5
Let s = 3/8 + -1/8. Which is bigger: s or 2/5?
2/5
Let j = -9 + 6. Let h = -2 - j. Let d be 5/(-25)*(2 - 1). Is h != d?
True
Let f(n) = 2*n - 9. Let h = 19 - 13. Let t be f(h). Let q(s) = -s - 2. Let i be q(t). Which is smaller: i or -1?
i
Let a(w) = -w + 20. Let j be a(8). Is 11 >= j?
False
Let v be -6*(-2)/54 - 7096/(-6354). Let u = 16/309 - 5030/109077. Let w = v - u. Which is bigger: 1 or w?
w
Let o(f) = 4*f - 24. Let b be o(6). Which is bigger: b or -2/9?
b
Let s = -5 - 3. Let v = s + 8.1. Is -0.05 at most as big as v?
True
Suppose 3*q + 6 = -9. Which is smaller: q or -6?
-6
Let z be (-5)/(-2*(-2)/100). Is z greater than or equal to -125?
True
Let a(p) = p**3 - p**2 - p + 1. Let l be a(2). Suppose 0 = l*b + 2*i + 23, -3*b + i - 7 = -i. Is b > -5?
False
Let o = -1 + 0. Let v be (-1 - o)/(-7 - -8). Is -2 greater than v?
False
Let c(t) = t - 1. Let n be c(0). Suppose 5*q = 5*v - 295, -3*q - v - 279 = -110. Let z = -173/3 - q. Which is smaller: n or z?
n
Suppose 2*p - 3 = -p. Is -3/14 bigger than p?
False
Let k = 2 - 