. Let z = h - g. Is 1 at least as big as z?
False
Suppose -5*x + 22 = -2*k + 3, -4*k - 17 = -3*x. Are -2 and k equal?
True
Let f(m) = 3*m. Let q(z) = -2*z. Let o(y) = 5*f(y) + 7*q(y). Let d be o(2). Is d less than -2/15?
False
Let r be (-8)/36 + (-166)/(-18). Let g be (-2)/(-9) - 56/r. Let c be ((-10)/g - 1)/4. Do 1 and c have different values?
True
Suppose 0 = -5*y - v - 105, -y - 4*y - 105 = 4*v. Is y > -19?
False
Let l = -21 - -19. Is l < -3/2?
True
Let p(l) = -17*l - 13. Let f be p(-7). Is f < 105?
False
Let u = -13/86 - 45/1978. Let w = u + -103/69. Suppose -z + 2 = 4*k + 4*z, 2*k + 3*z - 2 = 0. Which is bigger: k or w?
w
Let i = 0.06 - 0.17. Let c = i - 0.09. Are c and -0.2 nonequal?
False
Let f be (3 + 3 + -13)/((-1)/(-1)). Which is smaller: -22/3 or f?
-22/3
Let n = 4 + -11.2. Let q = -44 - -37. Let w = q - n. Is 1/7 greater than or equal to w?
False
Let w be -7*(-3)/9 - 0. Which is smaller: w or 1?
1
Let t = 4/357 + -1112/119. Which is smaller: -10 or t?
-10
Let t(z) = z - 3. Suppose 0 = -2*f + 3*f - 3. Let o be t(f). Is o greater than or equal to -2/9?
True
Suppose 3*h = -4*t + h + 108, 5*t + 3*h - 136 = 0. Suppose -t + 6 = -5*y. Does y = 5?
False
Suppose -k = -4*q + 3*q + 4, -5*k - q - 8 = 0. Let s(y) = y**2 - 6*y - 4. Let p be s(6). Let v(i) = i**2 + 5*i + 3. Let t be v(p). Which is smaller: t or k?
k
Let p = 13 - 10. Suppose 0 = 3*q + q - 4. Let n = q - p. Which is bigger: n or -3?
n
Let p = 26 - 23. Let j be 1/(-1 + (-5)/(-4)). Which is greater: p or j?
j
Let g be 2/3*(-2 + 8). Suppose -5*i - 3 - 21 = 4*r, 2*r = g*i - 38. Which is smaller: -10 or r?
r
Let t = 10 + -9.89. Let w = t - 0.01. Which is bigger: w or -1?
w
Let z = -129 + 147. Are 18 and z nonequal?
False
Suppose 0 = -o - 3 + 2. Let z = 20 - 9. Let s be (0 + -1)*2/z. Is s at most o?
False
Let p = 33 + -35. Let z(d) = -d**3 - 3*d**2 - 2*d + 2. Let h be z(-2). Let n(x) = -x. Let c be n(h). Is p < c?
False
Let g(q) = q**3 - q**2 + q - 2. Let a be ((-2)/2*0)/(-2). Let k be g(a). Is -14/5 greater than or equal to k?
False
Let r(p) = p**2 - 6*p + 9. Let n be r(6). Suppose 7*j - 4*j - 2*g = n, -5*j + g = -15. Suppose -5*f = 0, -j*f = c - 2*c. Which is bigger: c or -1?
c
Let v = -11 - -10. Let m = 44/91 + -10/13. Are m and v non-equal?
True
Let h be 15 + -2 - 0 - 0. Suppose -2*l + h = k - 1, -3*l + 19 = k. Suppose l*j - 18 = 2*j. Which is greater: 5 or j?
j
Suppose -3*d - q - 49 = 0, -5*d + 2*q - 63 = -q. Let c = -57/4 - d. Do c and 0 have the same value?
False
Suppose 0 = -3*q + 4 + 5. Let t = -6 + q. Let f = t - -3. Which is bigger: f or 2/15?
2/15
Let g be (-34)/90*4/4. Let w = -17776/45 - -395. Let j = g + w. Which is smaller: j or 3?
j
Let i(r) = 12*r - 4*r**2 + r**3 + 5*r - 17*r. Let t be i(4). Do t and -1 have different values?
True
Let x = 7 - -10. Let n = 24 - x. Which is smaller: n or 1?
1
Let f = -1 + 1. Is 98 > f?
True
Let z = -123 - -148.1. Let g = z + -25. Which is greater: -4 or g?
g
Let k be 8/(-1) - (-5 + 2). Let h(o) = -o**3 - 5*o**2 - 2*o + 1. Let w be h(k). Which is smaller: w or 0?
0
Let u = 0.88 + -0.8. Let v = u - -0.02. Which is smaller: -3 or v?
-3
Let n be ((-55)/(-10) + -6)/((-2)/(-4)). Which is smaller: -2/43 or n?
n
Let v be (-4)/(-18) + (-88)/72. Which is bigger: -9/5 or v?
v
Let t(r) = 3 + 3 - r - 3. Let d be t(3). Which is bigger: -4 or d?
d
Let l be 0/2 + (-2)/(-5). Let r be -3 + 0*1/(-3). Let p be -1 + 12/(-4) - r. Is p less than or equal to l?
True
Let o(k) = -1 - k - 2*k**2 + 5*k**2 - 2*k**2. Let h be o(-2). Are h and 6 nonequal?
True
Suppose -4*q + 32 = -0*q - 2*z, 2*z = -3*q + 10. Let k be (-9)/((-27)/q) + -14. Is -12 smaller than k?
False
Let z = -9.8 + 9. Let j = z - 0.2. Let x = -4 + 4.2. Which is smaller: j or x?
j
Let v be -3 - (2 - 46/8). Let w be (-4)/(-10) + 32/20. Are w and v non-equal?
True
Suppose 0 = 4*g - 4. Let l be 64/20 + 1/(-5). Is l greater than g?
True
Let l be 1*-5*(-7)/(-7). Is -4 <= l?
False
Suppose -4*t - 1 - 14 = -p, -t + 6 = 3*p. Which is smaller: p or 15?
p
Let r = -1201/7 + 172. Is r bigger than 1?
False
Let d be -3 + 1*12/16*4. Is 3/28 equal to d?
False
Let p(w) = -5 + w**2 + 0*w**2 - 10*w + 0*w**2. Let y be p(10). Which is smaller: y or -4?
y
Let q(z) = -z - 12. Let p be q(-13). Is p greater than 5/3?
False
Let g = -1 + 3. Let b be (-4)/(-6) + (-10)/105. Which is greater: b or g?
g
Let p be ((-7)/(-3) + -2)*1. Which is bigger: -0.14 or p?
p
Let q be ((-6)/(-24))/(65/22 - 3). Which is smaller: -6 or q?
-6
Let w(c) be the second derivative of c**5/20 + c**4/12 - c**3/6 + 3*c. Let a be 4 + -1 - (-5 - -8). Let f be w(a). Are f and 1 nonequal?
True
Let n = 1.6 - 0.9. Let d = 6.13 + -0.13. Let h = -5 + d. Is h at least as big as n?
True
Suppose -5*v + 4 + 1 = 0. Let j be 2*((-25)/(-2))/5. Let c be ((-2)/(-5))/(9/j). Do c and v have the same value?
False
Let j = 16 + -10. Suppose 0*c - 2*c = j. Let z = 2 + c. Which is smaller: z or 0?
z
Let o(r) = -15*r. Let y be o(-1). Let q(k) = k**2 + 2*k + 6. Let f be q(-4). Do y and f have different values?
True
Let i = -0.01 + 10.01. Let z = i + -6. Which is bigger: -2/5 or z?
z
Let p = -25.7 + 24. Are p and -0.1 non-equal?
True
Let b = 4 + -4.1. Let f = -4.227 + 0.027. Let o = f + 4. Do b and o have the same value?
False
Let m be (27/15 + -1)*5. Suppose 3 - 7 = m*s. Let d be (-14)/12 - (-10 - -9). Is s not equal to d?
True
Let z(q) = 0*q + 3*q - q - 3*q. Let r be z(0). Which is smaller: 5/4 or r?
r
Let o be 6/10 + 8/(-5). Which is smaller: 0 or o?
o
Let m = 15 - 26. Does m = -21/2?
False
Let u(s) = s**2 + 8. Let m be u(0). Let y(i) = -i**2 + 9*i - 2. Let g be y(m). Let k = -10 - -14. Which is smaller: g or k?
k
Suppose 4*u - 6*x + 2*x + 16 = 0, 3*x - 9 = 0. Let c = -13/30 - -1/10. Do u and c have different values?
True
Let g be 4 + -3 + -1 + 4. Suppose 0 = -v + 4*t + 7 + 1, g*v = t + 2. Suppose 0*p - 10 = -4*p - 2*d, -d = -5*p + 2. Is v at least as big as p?
False
Let n(m) = m**2 + 7*m - 8. Let j be n(-8). Let x be (4/16)/(-1 + -1). Which is smaller: j or x?
x
Suppose 0 = h - 3*h - 8. Let j be (((-16)/h)/4)/1. Is 2/33 <= j?
True
Let t = 1.7 + -2.8. Let o = t - -1.2. Is o bigger than 2/27?
True
Let d = 70 + -67.1. Let o = d - 3. Which is smaller: -3 or o?
-3
Let j = 105 + -57. Let r be -2 - 1/((-22)/j). Let w(n) = n**2 - n + 1. Let g be w(0). Is r less than g?
True
Let j be (8/6)/(28/18). Suppose 0 = -5*o - 2*d + 13, 4*d - 20 = -4*o - 0*o. Is j smaller than o?
True
Let r(l) = -l + 1. Let j(u) = u**2 - 9*u + 9. Let a(n) = j(n) - 2*r(n). Let d be a(5). Is d greater than or equal to -5?
True
Let n be (-2)/225*42/56. Is n smaller than 0?
True
Let m = -0.01 + -0.99. Which is greater: m or 0.15?
0.15
Suppose 3*a - c + 3 = -1, c + 17 = -4*a. Let y = a - -4. Is y not equal to 2/7?
True
Let i be -5 - -1 - (-952)/221. Let n be (-4)/(-14) - 6/21. Is i at most n?
False
Let s be (-1 - -6)*(-27)/(-45). Is s > 3?
False
Let x(i) = i**2 + 12*i - 4. Let t be x(-13). Is 8 at least as big as t?
False
Let g(q) = 3*q**2 + 2*q + 1. Let v be g(-1). Suppose -4*f = 2*y + 4, 3*f + 2*y + 2 = -3. Which is smaller: f or v?
f
Let w be (0 - (-4 + -3)) + 4. Which is greater: w or 39/4?
w
Suppose 84 - 24 = -5*j. Let z be ((-4)/6)/((-8)/j). Let h = -12 + 10. Is z greater than h?
True
Suppose 1 = x - 4, 2*i - 4*x - 16 = 0. Suppose -8*y + i = -11*y. Which is smaller: 1 or y?
y
Let t(u) = -u**2 + 2 - 1 + 0*u**2. Let h be t(1). Is -2/3 < h?
True
Let u = 15 - 29/2. Which is bigger: u or 2?
2
Let y = 65 - 69. Is -2 at least y?
True
Let n(w) = 28*w**2 + 4*w - 3. Let b be n(-5). Let z = 3362/5 - b. Let v = -9/2 - z. Which is smaller: -1 or v?
-1
Let h = -0.1767 - -0.0567. Let m be 0 - ((-6)/(-8) - 1). Which is greater: m or h?
m
Let t be ((-10)/50)/((-4)/(-10)). Which is greater: t or 6?
6
Suppose -u - x + 7 = 0, 14 = -2*u - 0*x + 5*x. Is 14/9 greater than or equal to u?
False
Let c be (4*(-2)/(-32))/(6/(-8)). Which is bigger: c or 1/2?
1/2
Suppose -2*y - 2 = 2*l, l = 2*y - 6*y + 5. Suppose 0*d = 3*d + 2*b - 7, -5*b = 5*d - 10. Is y at least as big as d?
False
Let q be 28/(-65)*-3*1. Let s = q - 22/13. Which is greater: s or -0.1?
-0.1
Suppose 0 = -2*t + 20 - 2. Let u be (-12 + 0)*14/21. Let b = t + u. Is 1 smaller than b?
False
Let k be (-58)/(-84) + 3/(-6). Is k less than 0?
False
Let z(p) be the first derivative of