. Which is greater: z or h?
z
Let p(t) = t**3 + 3*t**2 - 4*t + 5. Let b be p(-4). Suppose -7 = b*j - 2*k, -5*j + 1 - 10 = -4*k. Is -1 less than j?
False
Let g = 43 + -102. Is -60 less than g?
True
Let b be (-2)/15 + 112/(-60) + 3. Which is greater: b or -2/25?
b
Suppose 2*h + 8 = -2*q, -8*q = 5*h - 4*q + 17. Is -2/43 < h?
False
Let c = -1 - -2. Let y = c + 2. Suppose 0 = -x + 5*n - 0*n - 9, -n = 2*x - 4. Is y less than x?
False
Let y = -69/232 + 5/29. Let l(u) = -u**3 + 8*u**2 + 1. Let n be l(8). Which is bigger: n or y?
n
Let y be 2/11 + 475/(-11). Let x = 23 + y. Which is greater: 2/5 or x?
2/5
Let o = 11 + -11.16. Let b = -2.84 + o. Is b smaller than -2/9?
True
Let a be 2*(26/4 - 2). Let h be (-2)/(((-48)/a)/2). Let b(l) = -l - 4. Let t be b(-4). Is h less than or equal to t?
False
Let n = -0.14 - -0.05. Which is bigger: -2 or n?
n
Let x = -195/4 + 48. Let t be (-1)/2 + (-2)/(-4). Which is bigger: x or t?
t
Suppose 4*n - 2 = 6. Let y be 2 - (2 - n)*1. Suppose 0 = -m + 5, x + 0 = -m + y. Which is smaller: -2 or x?
x
Let q be 2/(-3) - (-123)/9. Suppose -5*j - 2 - 21 = t, 3*t + j + q = 0. Let s = t - -1. Is s > -3?
True
Suppose -20 = -5*n, 4*p - n + 0 = 4. Suppose -4*m - 5*u = -9, -m - 3*u + 0 = -4. Which is smaller: m or p?
m
Let r(k) = 9*k - 1. Let x be r(-5). Are x and -45 equal?
False
Let h = 14 - 11. Suppose 0*y - 4*y - 11 = -h*z, 15 = 5*y + 2*z. Is 3/16 > y?
False
Suppose -4*g - 7*k + 3*k - 8 = 0, 2*g = 2*k + 8. Let q be ((-2)/(-3 + g))/(-2). Is -2 less than q?
True
Let p be (1 - -23)*4/8. Let b be 17/14 - p/(-42). Is b bigger than 2?
False
Suppose 5*o - 4*j = -12, -3*o + 3*j - 9 = -o. Let l be (o/3)/(-3) + -4. Do -2 and l have different values?
True
Suppose 3*t + 11 - 2 = 0. Let s(b) be the third derivative of b**6/120 - b**5/15 - b**3/2 + 5*b**2. Let i be s(4). Is i != t?
False
Let f(n) = -n. Let r be f(0). Let g = -15 - -133/9. Are r and g nonequal?
True
Let s = 1/66 + -35/132. Let z(c) = -3*c**2 + 1. Let g be z(-1). Let v be 3/g*6/(-9). Which is bigger: s or v?
v
Let k(v) = -v - 13. Let y be k(0). Which is smaller: y or -14?
-14
Let a be 2/(-4) - 27/(-6). Suppose -x - 1 = 2*l - 4, 3*l = a*x - 1. Which is greater: x or -2/11?
x
Let a = 135 + -943/7. Is -2/13 greater than a?
False
Let v be 1/(-1) + 6/3. Suppose 3*m = -u + 3, -4*m + 3*m = 3*u - 1. Suppose u = -4*b - b. Is v >= b?
True
Let k = -38 - -568/15. Is 1 != k?
True
Let k = 20 - 19.1. Let g = k + 0.1. Is g less than 0.06?
False
Suppose 3*l = -2*l - 105. Let r be (-36)/28 + (-6)/l. Is r < -0.2?
True
Let t = 2/127 + -260/381. Let n = -1 - -1. Is t at least as big as n?
False
Let i = 1.2 - 1. Suppose 8 = 4*h - 4. Let z = -2 + h. Is z at least i?
True
Let n be (-2)/(-3)*192/(-14). Let y be 6/(-3) - 1212/(-105). Let a = y + n. Is a at least -2?
True
Let s(m) = m**2 + 2*m - 4. Let z be s(4). Suppose 5*r + 0*r - z = 0. Is 3 smaller than r?
True
Let t = -3252 + 484546/149. Which is bigger: 1 or t?
1
Suppose -i - 2*i - 9 = 0. Does -11/5 = i?
False
Suppose 3*a + 804 = 7*a. Let z = 1807/9 - a. Is z != 1?
True
Let v be (-2 - (-19)/5) + -2. Suppose -7*a + 2*a + 30 = 0. Suppose c - a*c = 0. Which is smaller: v or c?
v
Let w be (65 + -3 + 1)*1. Suppose 4*b = b - w. Let f be (-123)/b - (-3)/21. Is 7 at least f?
True
Suppose 0 = b + 4, -2*i - 1 = -5*i + b. Let f be -1*(i + 2/(-1)). Suppose f = w + l, 0 = -l - 4*l + 15. Which is bigger: w or 1?
1
Suppose -5*u + 5 + 5 = 0. Let f be ((-18)/(-8) - u)*10. Which is smaller: f or 2?
2
Let k be 6*((-9)/6 + 2). Suppose -t - 3*q + 10 = 0, t - 8*q = -k*q - 14. Suppose -f = -2*m + t, 6*f - 3*f + 3 = -5*m. Does 0 = m?
True
Let j(k) = 8*k**3 - 5 - k**2 + 5 - k. Let z be j(-1). Let h be 1/(-4) - 14/z. Is 1 bigger than h?
False
Let o(v) = v**3 - v**2 + 2*v - 1. Let f be o(1). Suppose 0 = -5*a - 2*j - 6, 3 = a - 5*j - 12. Let p = a + 2. Is f equal to p?
False
Suppose -4*j - 9 = -7*j. Which is bigger: j or 2?
j
Let z(d) = d**2 - 9*d + 1. Let f be z(3). Is f at most -17?
True
Let s = 2 - 2. Suppose s = 4*o + o + 10. Are 0 and o nonequal?
True
Let a = 15.7 + 3.3. Let d = 20 - a. Is d equal to -0.1?
False
Let c = 69 + -48. Let x be c/(-7) - 22/(-7). Which is smaller: x or 0?
0
Let t = 1371 + -15063/11. Is 2 > t?
True
Let j = 90 + -151. Let o = j + 306/5. Which is greater: o or 2/7?
2/7
Let j(l) be the third derivative of l**4/12 + l**3 + l**2. Let u be j(-4). Let x(b) = -b + 4. Let i be x(6). Is i != u?
False
Suppose -21*o + 21 = -28*o. Which is bigger: o or -9/4?
-9/4
Let g(m) = m**2 + 8*m + 2. Let n be g(-7). Which is smaller: n or -6?
-6
Let p = 1/13 - -10/39. Let g(z) = 2*z - 2. Let o be g(4). Let a be o/4 + 10/(-4). Which is smaller: a or p?
a
Let v(r) = 7*r**3 + 2*r**2 - 1. Let a be v(1). Suppose 5 = -3*o + 11. Suppose -5*u = -o - 43. Which is smaller: a or u?
a
Let t be (-3)/6 + (-2)/(-4). Suppose -2*v = -6*v + 4. Let z be v*(0 + (-2)/(-10)). Do z and t have different values?
True
Suppose -t + 3*p = -10, -2*t - 3*t + 20 = -5*p. Let k = -4 - -22/5. Which is greater: t or k?
t
Let g be (-25 - -24)/(40/(-38) + 1). Which is smaller: g or 22?
g
Let w = -80/3 - -27. Let d = -0.68 - -0.08. Let l = 0.4 - d. Are l and w non-equal?
True
Suppose -1 = -y + 1. Let h be (3 - 2)*y/7. Suppose -4*c - 23 = 3*w, -c + 0*c + 23 = -5*w. Which is bigger: h or c?
h
Let m be (-6)/(-27) + (-237)/(-27). Let i be (3/m)/(3/(-45)). Is -5 at least as big as i?
True
Let s = -31 + 14. Let w be 3/s*(-8)/12. Let d(r) = -r**2 - 8*r + 10. Let f be d(-9). Is f less than w?
False
Let c be 2/(-4)*4*-1. Let m(o) = 2*o - 5. Let j(q) = q - 2. Let a(v) = c*m(v) - 5*j(v). Let x be a(-1). Is x < 1?
False
Let l = 4 + -2. Let u = l - 2. Let q = -192 - -958/5. Are q and u equal?
False
Suppose 2*q = -5*n - 25, 3*n = -4*q + 2 - 3. Let k = -5 - n. Which is greater: 1 or k?
k
Let w be 0/(4 - 8) - 0. Is 1/5 less than w?
False
Let k be ((-2)/(-8))/((-5)/6). Which is smaller: 1 or k?
k
Suppose -6*i + 76 = -2*i. Which is smaller: i or 35/2?
35/2
Let j(r) = r**2 + 5*r + 1. Let m be j(-4). Suppose -20 = 3*z - 7*z. Suppose 0 = 5*v - z*i, -v - 2*v - 5 = 2*i. Is v not equal to m?
True
Let q be 234/(-21)*40/(-18). Let l = q + -73/3. Let k(y) = y**3 + 6*y**2 + 5*y + 1. Let v be k(-5). Which is bigger: l or v?
v
Let g = -2 - -7. Suppose -g*x = 5 + 10. Is x at most -3?
True
Let h(s) = s**2 - 10*s + 6. Let q be h(7). Let i = q + 14. Let o be (-4)/3 + 1/3. Is o >= i?
True
Let g = 0.8 - 0.7. Let b = g - -1.9. Suppose -5*v = -v. Is b at least v?
True
Let u = 325 - 8124/25. Which is bigger: u or 1?
1
Let y = -0.19 - 0.31. Which is smaller: y or 0?
y
Let i be (-3)/12 - (-21)/4. Suppose -i*s + 11 + 6 = -f, -s = 3*f - 13. Let a(h) = h - 2. Let c be a(3). Which is smaller: s or c?
c
Let y = -19 - -18. Let o = 3 + -2.9. Let c = -1.9 - o. Is y not equal to c?
True
Let a be (-2)/3*6 - 8. Which is smaller: -11 or a?
a
Let l(c) = c**3 + 3*c**2 - 2. Let r be l(-2). Suppose -2 = -2*i - 4*h, r*i - 4 = i - 5*h. Do i and -1 have the same value?
True
Let s = 147 - 739/5. Is s greater than or equal to 1/3?
False
Let x(s) = 2*s**2 + 9*s + 9. Let z be x(-3). Which is greater: z or 3?
3
Let m = 687/13 - 53. Let z(x) = -x**2 + x. Let h be z(1). Which is smaller: m or h?
m
Let w = 8 - 65/8. Let j be ((-1)/(2/4))/2. Which is smaller: w or j?
j
Suppose 54*r + 4 = 50*r. Which is smaller: r or 2/55?
r
Let l = -1.98 - 0.22. Let x = l + 1.2. Which is smaller: x or 4?
x
Let g = -0.84 + 0.45. Let y = -0.09 - g. Are -3 and y unequal?
True
Let i(g) be the second derivative of g**4/12 - 2*g**3/3 + g**2 - g. Let o be i(4). Suppose 4 = 3*h + q, -4*h - 1 + 10 = 5*q. Which is smaller: h or o?
h
Let r be 24/(-6)*(1 - 2). Suppose -5*m + 5 = 4*j, -4*m - 2*j + 30 = -r*j. Suppose m - 1 = a. Which is greater: 3 or a?
a
Let x = 7/15 - -2/15. Let q(g) = g - 5. Let l be q(6). Suppose -l - 4 = -5*n. Which is smaller: n or x?
x
Let q = 6 + -4. Let w(x) = -x**3 - x**2 + x. Let r be w(-2). Is q at least as big as r?
True
Let n = 7 - 8. Let c = 1 + n. Is c greater than 3/4?
False
Suppose 0 = -q + 4*g + 6 - 22, 5*q - 5*g = -5. Suppose q*b - 3*r - 8 = -32, 0 = -b - 2*r + 5. Which is smaller: b or -5?
-5
Let w = -22 + 22.18. Let c = w + -0.18. Is -2/5 at least c?
False
Suppose 0 = -2*x - b + 1, -2*b = -b + 3. Let s be 2*((-7)/x + 2). Let p be (2 + 2)*2/(-4). Which is smaller: 