(-6)/4 - (-18)/(-12). Let i(z) = -2*z + 1. Let w be i(2). Is w at most x?
True
Let r be 301/91*1*19. Let i = -63 + r. Which is smaller: 0 or i?
i
Let o = -0.98 - 0.02. Let z = -0.21 - -1.31. Let q = o + z. Which is smaller: q or -1/2?
-1/2
Let x(c) be the second derivative of -c**5/20 - c**4 - 2*c**3 - 11*c**2/2 - c. Let h be x(-11). Are -1 and h equal?
False
Suppose -5*m = -4*p + 28, 5*p + m + 2 = -2*m. Suppose -p*h = -4*b - 16, -2*h + h + 4*b + 16 = 0. Which is greater: -3 or h?
h
Let c be 4/(-18) - (-110)/(-720). Is c greater than or equal to 1?
False
Let h = -32 + 18. Let q(o) = 15*o - 5. Let d be q(2). Let x be h/10 + 5/d. Is -1 <= x?
False
Let y = 38.8 - 39. Which is bigger: y or 4?
4
Let n = -4 - 0. Which is smaller: -1 or n?
n
Let u(l) = -2*l - 8. Let f be u(-6). Let d = -161 - -165. Is f less than d?
False
Let t(u) = u**3 - 3*u**2 + 3*u. Let q be t(2). Let g(f) = f**3 - 13*f**2 - 13*f - 17. Let r be g(14). Let b be ((-10)/(-8))/((-3)/r). Is q bigger than b?
True
Let y(z) = 0*z - 5*z + 0*z**2 - z**2 - 3. Suppose -4*r - 8 = -2*r. Let k be y(r). Is 1 at most as big as k?
True
Suppose 0 = 2*z - 3*z + b + 15, z - 4*b = 15. Let j = z - 9. Is 5 at least j?
False
Let p = 32 - 35. Is p not equal to -2?
True
Let z = 169 + -169. Let c be 1/2*(1 + -1). Suppose -3 = -k - c*k. Is k equal to z?
False
Let s = 2 + -2. Let n be ((-2128)/(-440))/(-7) + (-4)/10. Does n = s?
False
Let p(z) = z**3 - 11*z**2 + 8*z + 8. Let y be p(10). Let g be 3*((-11)/y - 1). Which is smaller: -0.2 or g?
g
Let r be -6*5/10 + -3 + 10. Let d(i) = -2*i - 4. Let g be d(-5). Which is bigger: r or g?
g
Let o = 0 + -1. Let y be (-3)/(-3) - (-161)/4. Let p = y + -41. Is o greater than or equal to p?
False
Let g(z) = z**3 - z**2 - z + 2. Let i be g(2). Suppose -5*j + i = -6*j. Which is greater: j or -3?
-3
Let i be -1*2/12*1. Are 0.1 and i nonequal?
True
Let u = -0.8 - -1.4. Let p = 0.2 - u. Let q = 0.3 + p. Which is smaller: -2 or q?
-2
Let d be (1 - (-4 + -3))*(-3)/62. Which is bigger: d or 0?
0
Suppose 0 = 5*u - 3*u - 2. Which is smaller: u or 0?
0
Let w be (0 + (-1 - -2))*-1. Let d = -550/3 - -185. Let h = d + -23/12. Which is smaller: w or h?
w
Let r = 0.46 - -11.74. Let l = 12 - r. Is l >= 0.3?
False
Let k be (-3 - 0)*(-6)/9. Which is smaller: k or 3?
k
Suppose -21 = -2*d - 141. Let i = 241/4 + d. Let p = 324/1183 - -2/169. Is p < i?
False
Suppose 3*q = -8 - 10. Let f = q - 0. Let h(o) = -o**2 - 7*o - 3. Let t be h(f). Is t smaller than 3?
False
Let y be 2*(-54 - (1 - 1)). Let l be (-2)/(-3)*y/(-96). Which is smaller: 0 or l?
0
Suppose -2*j + 4 = -l, -3*j = 3*l - 5*j + 28. Which is bigger: -11 or l?
-11
Suppose -2*y = y + 3. Does y = -2?
False
Let s = 5.04 + -5. Is s less than or equal to -0.1?
False
Let k = -1334 + 102720/77. Is 0 equal to k?
False
Suppose 0 = -2*d - 4*n, -5*d + 0*n - 3*n = 0. Let f be (0 - (-1 + d)) + -5. Let o = -41 - -40. Which is smaller: f or o?
f
Let d = 6 - 11. Let m be 4*(-7)/56*2. Is m >= d?
True
Suppose -5*v + 5*n = 8*n + 303, 0 = -2*v + n - 119. Let m be 70/v - 1/(-6). Suppose 7*q = 2*q. Which is smaller: m or q?
m
Let c = 9 - 7. Suppose c*o = -5*v + 3, -4*v = -4*o + 3*o + 8. Which is greater: 2/7 or v?
2/7
Let k = -7 + 18. Are k and 5 equal?
False
Let y be -2*-46*1/4. Let v(c) = 6*c - 1. Let w be v(3). Suppose 0 = 4*q + 4*x - w - y, 3*x + 5 = 4*q. Is q smaller than 1?
False
Let r = 60 - 182/3. Let t = -81/25 - -697/300. Let o = t - r. Is o at most -1?
False
Let w be (-4)/10 + 59406/129690. Let s = 1/393 + w. Is 1 greater than or equal to s?
True
Let x = -9.66 - -10. Let a = -0.14 + x. Let p(n) = n**3 - 2*n**2 - 4*n + 4. Let l be p(3). Which is smaller: l or a?
a
Suppose -2*i - 470110 = -0*i. Let a = -38548899/164 - i. Let s = -1/82 - a. Is -1/2 < s?
False
Let a = 5 + -5. Let g be a + 0 + 1 - 3. Is g <= -3?
False
Let f = 12 - 34/3. Is -21/11 less than f?
True
Suppose -4*r + 30 = 2*r. Suppose -l - 3*k = 10 + r, -20 = 2*l + 4*k. Let t be 12/(-5) - 2/(-5). Which is smaller: l or t?
t
Let v = 93/8 + -8309/72. Let h = v - -104. Suppose -6*i + 4 = -2*i. Does h = i?
False
Let l(m) = m + 6. Let i be l(-6). Suppose -3*d - 3*w = -4*w - 7, 5*d - 25 = 5*w. Let y be d + -2 + 40/24. Is y not equal to i?
True
Let i(z) = -z + 1. Suppose -2*k - j + 1 = 0, -3*j - 4 - 5 = 0. Let c be i(k). Is c at most as big as -1?
True
Suppose 2*q - 36 = 4*q. Let m be (6/(-9))/((-3)/q). Let a(o) = o**2 + 5*o + 4. Let x be a(m). Which is smaller: x or -4/7?
-4/7
Let d = -184 - -77. Is -107 at least as big as d?
True
Let g(x) = -x**2 + x. Let w(m) = 6*m**2 - 3*m - 2. Let k(t) = 4*g(t) + w(t). Let u be k(-2). Let z be ((-9)/6)/(2/(-4)). Which is smaller: z or u?
z
Let k be (10/(-8))/(5/20). Which is smaller: -6 or k?
-6
Let v = -22 - -23. Is 2 greater than or equal to v?
True
Let r = 2 - 1. Suppose 3*q - q = 14. Suppose 3*b - 4*y = b + 10, 4*y = -b - q. Is b at most as big as r?
True
Suppose 8*k + 171 = -5. Which is smaller: -21 or k?
k
Let m be (3/(-39))/(2/8). Suppose -2 = -5*f - 0*o + 3*o, 0 = -2*f - 5*o + 7. Is f < m?
False
Let k = 250/7 + -785/21. Suppose -24 = 2*f - 4*h, -2*f + 5*h - 28 - 1 = 0. Which is bigger: f or k?
k
Let f = -4075/3 + 1343. Let h = -15 - f. Do -5 and h have different values?
True
Let g = 20 + -18. Are 1 and g equal?
False
Let u(a) = a**3 + 13*a**2 + 12*a. Let t be u(-12). Suppose t*s + 19 = s - 3*i, 4*i + 32 = 3*s. Let d be 3/(-9)*4/s. Is d <= 1?
True
Suppose 2*w - 3 - 1 = 0. Suppose 3*g - 4*h - 14 = -w*h, -h = 4. Let i(p) = p**2 - 2*p. Let s be i(g). Is s at most 2/7?
True
Suppose 0*h = -3*h + 6. Let d be (-5)/(5/(-2))*h. Let j = -1 + d. Is 3 smaller than j?
False
Suppose 136 + 187 = -5*t + 3*s, 3*t - 4*s = -185. Which is greater: t or -68?
t
Let p(f) be the first derivative of -f**4/4 - 2*f**3/3 + f**2 - f + 2. Let t be p(1). Which is smaller: -0.4 or t?
t
Let f = -102/5 - -20. Suppose 22 = 3*j - 5. Let r be (-11 + j)*(-2)/4. Are f and r equal?
False
Let b(y) = -y + 4. Let r be b(2). Do 7/4 and r have different values?
True
Let i(m) = -2*m + 7. Let j be i(-7). Let b be (-2)/(2*3/j). Which is bigger: -8 or b?
b
Suppose 21*z = 26*z. Is z >= -2/35?
True
Let n = 2 - 5. Let b = -1.9 - 2.1. Which is smaller: n or b?
b
Let y be (4/20)/((-2)/(-5)). Let k be ((-2)/215)/(15/75). Which is smaller: k or y?
k
Let p be (24/448)/((-4)/14). Which is bigger: -1 or p?
p
Let y be (-166)/210 - 30/(-50). Is -1 greater than or equal to y?
False
Let i = -8 - -8. Let n be 6/(-3) + (3 - i). Let d = 2/101 - 115/707. Which is bigger: d or n?
n
Let b = 41 + -42. Is b at most as big as -7/3?
False
Suppose 3*n = -4*s + 3 + 26, -s = 5*n - 20. Let q be -1 - 2 - (-36)/n. Let x = q - 4. Is 5 >= x?
True
Suppose -4*l + 47 + 1 = 0. Let d = 82/7 - l. Is -1 > d?
False
Let i = 5623/75 - 75. Suppose 0 = 5*b + 4*a + 7, 5*a = -2*b - 12 - 1. Do b and i have the same value?
False
Let g be (-2)/(-3) - 3/(-9). Which is greater: g or 2/9?
g
Let i = 0.12 + -0.38. Let s = i - -3.26. Is -0.2 > s?
False
Let s be ((-1)/9)/((-1)/(-2)). Let r be ((-1)/6*2)/3. Let j = r + s. Is j at least 1?
False
Let a be 4/(-8)*6 + 5. Suppose 0 = z + 2*z. Which is bigger: a or z?
a
Let q = -42 - -45. Which is bigger: -3 or q?
q
Suppose -2*g - 2*o = 18, -2*g + 2*o - 5*o - 21 = 0. Is g less than or equal to -2?
True
Let s = -41 - -81. Is s < 39?
False
Let c = 1.1 - 1. Let b = -26 + 26. Which is greater: b or c?
c
Let v = -26 + 27.1. Let g = -0.1 + -0.9. Let o = g + v. Does 1 = o?
False
Suppose 0 = -4*p + 9*p - 140. Let x be (2/(-8))/((-7)/p). Is 1/4 at least x?
False
Suppose 42 = 7*f + 126. Which is greater: -38/3 or f?
f
Let p = 2.3 - 0.3. Let i = 0.44 - 0.54. Is i at least p?
False
Let l be (-536)/(-4920) + 4/(-30). Let d = 7 - 6. Is l bigger than d?
False
Let d = -8.7 - -7. Let y = d + 0.7. Let k = 2 - 1. Is k at most as big as y?
False
Suppose -4*d - 6 = -2. Let l be (-14)/(-4) + (-2)/4. Let n be (1 + -2)/(-6 + l). Which is smaller: d or n?
d
Let n = 0.046 - 5.246. Let d = n + 5. Let o = 7/30 - -1/10. Do o and d have different values?
True
Let g(v) = v**2 - 8*v + 1. Let s be g(9). Let d be (12/s)/((-42)/(-40)). Is 2 <= d?
False
Let p = -2/69 - -3/368. Which is bigger: p or -1?
p
Let q = -0.79 + 81.79. Is 1 smaller than q?
True
Let h(k) = -5*k + 3. Let t be h(3). Let f(u) = u + 15. Let c be f(t). Suppose -3*a = c - 0.