*m = 5*z - d, -3*m + 11 - 27 = -4*z. Is z > 2/9?
True
Let n be (-1)/6 + 78/36. Let b be (-3)/((-72)/(-7))*n. Let u = b + 9/20. Which is bigger: 1 or u?
1
Let v be 0 + 9 + -2 + 1. Suppose -16*u + 4*u + 84 = 0. Which is smaller: v or u?
u
Let p(l) = 3*l - 5. Let o be p(2). Is 6/11 greater than or equal to o?
False
Suppose -18 = 4*c + 6. Which is smaller: -5 or c?
c
Let f(g) = -g**3 - 7*g**2 + 2*g + 14. Let c be f(-7). Is -5 at least as big as c?
False
Let j(h) = -2*h**2 + h - 2. Let g be j(2). Let i = g + 12. Suppose 2*w + 4*p + i = 0, -2*w + 9*p = 4*p + 13. Which is greater: -3 or w?
-3
Let p = -6.9 + 10.8. Let g = p - 4. Let h = 5.6 + 0.4. Which is greater: g or h?
h
Suppose c - 1 - 5 = 0. Let j = c - 8. Which is bigger: -3 or j?
j
Let g = -155 - -2947/19. Which is smaller: 0 or g?
0
Let s = -1.2 - -1.13. Let l = -0.37 - s. Is l != 0?
True
Let u(o) = -16*o + 11. Let z be u(2). Is z bigger than -21?
False
Let n(f) = -f**3 + 7*f**2 - f + 10. Let a be n(7). Suppose 3*p - 4*c - 9 = 4, c + a = p. Are p and -4/21 equal?
False
Let n be (-88)/423 - (-4)/18. Which is greater: n or 0?
n
Let l = 2.3 + 0.7. Let d = 5 - l. Let y = d + 0. Do y and -0.1 have the same value?
False
Let y(h) be the third derivative of h**6/120 + h**5/10 + h**4/6 - h**3 - 4*h**2. Let c be y(-5). Are c and 2/81 equal?
False
Suppose 49 = 7*c - 0*c. Which is greater: c or 4?
c
Suppose 5*x + 2*l = 31, -4*x + 43 = x - 4*l. Suppose -x = 4*z + 1. Let f be 15/(-9) - 0 - z. Is f > 1?
False
Let l = 11/3 - 58/15. Are 0.07 and l non-equal?
True
Let x = 68 - 68.14. Is x != 2?
True
Let r be 2/5 - 13/(-5). Suppose 2*j + 12 = 2*d - 0*j, 5*d = -r*j + 14. Suppose 0 = -3*p + 2*p - d*s + 1, -3*p - 5*s + 3 = 0. Are -1 and p nonequal?
True
Let z be (-1 - 0/(-3))/(-1). Suppose r + z = 0, -4*g - 2*r + 1 = -5. Suppose 2 = g*c - 0. Does 2 = c?
False
Let h(x) = -x**2 + 3*x**2 - x**2 + 5. Let i be h(4). Let l be 0 - ((-15)/i + 1). Which is greater: l or -1/2?
l
Let s(x) be the first derivative of -x**2/2 + x + 2. Let i be s(-2). Suppose -i*m + 5*l = -10, 0 = 5*m + 2*l - 4*l - 4. Which is bigger: -1 or m?
m
Let g be 5 + (-2 - 0) + 0. Let n be g/9 + (-46)/(-6). Suppose -2*a + 6*a + n = 0. Are -2 and a unequal?
False
Let f = 72 + -132. Let j = 50 - 11. Let p be j/f - (-1)/4. Is p != -2/5?
False
Let d be 1/(-3)*(-5 + 2 + -6). Is d greater than 3?
False
Let u(v) = 44*v**2 - 2*v - 1. Let i be u(-1). Let p = -137/3 + i. Which is smaller: p or -2?
-2
Let t = 2.4 + 0.6. Is 2 less than or equal to t?
True
Let j be (12/(-12))/(1 + 0). Which is smaller: j or 1/7?
j
Let d be (5 + -7)/(1 - 1 - -1). Is d at most as big as -8/3?
False
Let k(f) = -f**2 + 11*f + 8. Let y be k(12). Let r be -1 + (-12)/y + 0. Is 1 at least as big as r?
False
Let n be (-1)/(2*3/18). Let o be (-3)/((-3)/12 + 2). Is n at least o?
False
Suppose -2*w - 6 = 3*i, i + 15 = -5*w - 4*i. Let a be ((-1)/w)/((-9)/27). Which is smaller: a or -2/11?
a
Let x be (-2)/(-4)*(6 + -6). Let r be 1/3 + (-55)/(-15). Let g be ((10/4)/5)/r. Does g = x?
False
Let o = 116 + -116.2. Is o greater than or equal to -49?
True
Let l be (-4)/(-24) - (-154)/12. Let h be (-18)/9 - l/(-5). Is h <= 1?
True
Suppose 0 = -4*r - 4*x + 4, -3*r + 0 = -2*x - 3. Suppose 4*v = -v - 5. Is r smaller than v?
False
Suppose -2*q + 5 - 13 = 0. Do q and -5 have the same value?
False
Suppose -u - 44 = -4*f - 0*u, -2*f - u + 28 = 0. Let w = f + -14. Which is smaller: -3/5 or w?
w
Suppose 4*g + 10 = y - 13, -71 = -4*y - 5*g. Which is greater: y or 20?
20
Let o = 8 - 5. Let i be -7 - -6 - (-1)/(2/6). Which is bigger: o or i?
o
Suppose -6 - 14 = 5*n. Let q(j) be the second derivative of -j**5/20 - j**4/3 + j**3/6 + 2*j**2 + 5*j. Let b be q(n). Which is smaller: b or 1?
b
Let p = 23 - 28. Which is greater: 1 or p?
1
Let m = 12 - 18. Let c = 7 + -8. Let h be (-2 - c)/((-2)/m). Is h at most as big as -3?
True
Let l(v) = -v**3 + 8*v**2. Let w be l(8). Does w = -1?
False
Suppose 0 = -3*a - 2*d + 9 + 7, -18 = -5*a + d. Suppose a*t - 4 + 16 = 0. Is t <= -3?
True
Let v(i) = -i**3 + 11*i**2 - 10*i + 6. Let d be v(10). Let r be (9/d)/(12/(-16)). Which is greater: r or 6?
6
Let i = 0.8 - 1.1. Which is smaller: i or 4/5?
i
Let l be 9/27*(-5 - 1). Let a = 3 + l. Which is greater: a or 2/3?
a
Let l = 5 - 5. Suppose l = 5*p - 13 - 2. Do p and 3 have the same value?
True
Let s = -431/27 + 16. Do -1 and s have different values?
True
Let n = 100/203 - 6/29. Let j = 10 + -10.8. Let s = j + -0.2. Are s and n equal?
False
Let p(v) be the first derivative of -v**4/4 - 8*v**3/3 - 3*v**2/2 - 2*v + 2. Let d be p(-7). Let f be (-5)/d - (-1)/3. Does 0 = f?
False
Let l be (0 - (-6)/(-10))/(9/6). Is l > 0?
False
Suppose -2 = -5*g + 33. Is 7 > g?
False
Suppose -4*u + 0 - 8 = 0. Let s = 40 + -25. Suppose 3*v = -s + 6. Is u at least as big as v?
True
Suppose 6 = -2*f + 2. Let w be 2/f*1 - 0. Suppose 3*u = -0*u + 7*u. Is w >= u?
False
Let p be ((-18)/(-4))/((-24)/(-32)). Suppose s + p = -0*s. Is -7 <= s?
True
Let i(y) = y**2 + 8*y + 10. Let w be i(-8). Let x = -11 + w. Are x and -1/8 equal?
False
Let t(d) = -d**2 + 7*d. Let v be t(6). Let p(j) = -v + 12 - 2*j + j - j**2 - 3*j. Let x be p(-5). Is x less than -2?
False
Let r = 8 - -1. Let k be (-2)/r + 25/(-9). Which is smaller: k or -4?
-4
Let u(z) = z - 5. Let g(q) = -q**2 + 13*q - 16. Let l be g(11). Let h be u(l). Which is bigger: h or -1/4?
h
Let q be (-4)/8 + (-1)/(-2). Suppose q = 3*y + 4*r + 2, -2*y + r + r = -8. Which is bigger: y or 0?
y
Let s(b) = -b + 15. Let q be s(15). Does 1/14 = q?
False
Let b = -22 + 23. Which is smaller: 1/149 or b?
1/149
Let k = 268/3 + -93. Let v(z) = z**2 - 7*z - 12. Let h be v(8). Is h >= k?
False
Let s(q) = -q**2 + 4*q - 3. Let h be s(2). Which is bigger: 4 or h?
4
Let l = -3.14 - -0.14. Let s = 6 + -11. Let y = l - s. Is -2/11 > y?
False
Let x(w) = 5*w**3 + 11*w**2 + w - 8. Let s(v) = -4*v**3 - 10*v**2 + 7. Let m(h) = -6*s(h) - 5*x(h). Let r be m(3). Is 6 < r?
False
Let g(z) = -z - 4. Let k be g(-5). Let d = -5.3 - -5. Which is greater: d or k?
k
Let m = 3.5 - 1.5. Let p = 8.1 - 10. Let y = p + m. Which is smaller: 0 or y?
0
Let p(v) = v**3 + v**2 - v - 1. Let k be p(-1). Let q be (18/15)/(3/10). Let r be (-15)/6*q/(-10). Which is bigger: k or r?
r
Let q = -0.4 + -0.3. Let k = 0.8 + q. Let r = 0.1 - 1.1. Which is smaller: r or k?
r
Suppose 0 = 3*s - 9, -4 = 3*w - s + 2. Let k(u) = -u**2 - 9*u + 3. Let i(h) = 4*h - 1. Let b(v) = -5*i(v) - 2*k(v). Let o be b(w). Which is smaller: 2 or o?
2
Suppose 4*t + 2 = -2*p - 0*p, 4*t = -3*p - 3. Let v be 3/18 - 14/12. Is t != v?
True
Let o = 320 - 6082/19. Do 1 and o have the same value?
False
Let r(v) = v**3 - 5*v**2 - 7*v - 2. Let n be r(6). Suppose 0*u - 5*p = 2*u - 19, -3*p = 5*u - 19. Let q be 459/(-63) - u/(-7). Which is greater: n or q?
q
Let h be 46/(-20) - 5/10. Are h and -3 unequal?
True
Let a = 2 + 2. Suppose 2*v - v + 2 = -2*u, -4*u - a*v = 8. Suppose -s + 2*m = u, 4*m = 5*s - 0*m. Is 6/5 > s?
True
Let n be 2 + -2 + 5 + 1. Suppose n*p - p = 10. Suppose -p*k = 2*m - 10, 4*k - 4*m + 0*m = -20. Is 0 greater than k?
False
Let t = 101 + -705/7. Is -3 less than or equal to t?
True
Let i(s) = -s**3 + 5*s**2 + s - 4. Let v be i(5). Let b(o) = o. Let d be b(v). Is 4/7 greater than or equal to d?
False
Let w = 3 - 1. Suppose -5*d + w = -3. Are 2 and d equal?
False
Suppose -2*q - g + 0*g + 16 = 0, 0 = -g. Suppose 4*c - q = -2*v + 38, 4*v - 4*c = 116. Let z be v/84 + (-1)/(-4). Which is smaller: z or 2?
z
Let d = -0.414 + 0.114. Are d and 14 equal?
False
Let p be 4/33*(3/2 + 3). Is p greater than or equal to 2/11?
True
Let q be 105/108 - 9/12. Is q less than -1/2?
False
Let u = -2.5 + 0.5. Let h = 2.1 + u. Let z = -6 - -6. Is h less than z?
False
Suppose -3*j = -7*j + 24. Let q = j - 7. Let b = -769/13 + 59. Is q greater than or equal to b?
False
Let i be (-1 - -2)*(-21)/49. Which is smaller: i or 1?
i
Suppose -2*o - p - 20 = 0, p = -2*o + 3*p - 26. Let f = 20 + o. Let u be (-52)/(-48) - 3/f. Which is bigger: 1 or u?
1
Suppose -6*q + 3*q = 2*w + 5, 0 = -4*q + 5*w - 22. Let g = q - -4. Let b = -1/28 + -3/14. Is g < b?
False
Let t be (-10 + 8)/(2 - 1). Which is greater: -14/13 or t?
-14/13
Suppose 0 = -9*c - 35 + 152. Which is bigger: 2/3 or c?
c
Let w(j) = j**2 - 3*j - 4. Let b be w(5). Suppose 2 = 4*f -