1 - 2). Let z = -17 + 25. Are z and g unequal?
True
Let p be 2/(-1)*4/380. Is 0 > p?
True
Suppose k - 3*y = -2*y - 2, -8 = 5*k - 4*y. Is k greater than -4/3?
True
Let p(u) = u**3 - u**2 - 2*u + 2. Let v be p(2). Let n(b) = -b**2 + 3*b + 4. Let i be n(4). Suppose 0*t - 4*t + 8 = i. Is t less than or equal to v?
True
Let v = 18 + -9. Suppose 5*z + 30 = 3*a, 0 = -4*z - 2*a - 8 - 16. Let w be v/z*4/6. Which is smaller: -2/9 or w?
w
Let g(i) = -i**2 - i + 1. Let q be g(0). Is q <= 1?
True
Suppose -5*m - 1 = 14. Let w(u) = -9*u + 11. Let f(t) = 8*t - 10. Let o(g) = -7*f(g) - 6*w(g). Let k be o(3). Are k and m unequal?
True
Suppose -5*s + 28 - 3 = 0. Suppose -15 + 0 = -s*f. Let g be ((-28)/18)/((-2)/3). Is f greater than or equal to g?
True
Suppose -5*g - y + 17 = -110, -116 = -4*g + 4*y. Suppose -8 = 4*p, 0 = -4*n + 4*p - g + 66. Suppose -n = v - 5*v. Is v <= 1?
False
Let k be (0/(-3))/2 + 126. Let h be (-16)/(-72) - (-8)/k. Which is smaller: 0.1 or h?
0.1
Let q be 5/10*(-144)/555. Let h = 10/37 - q. Which is smaller: h or -1/13?
-1/13
Let f(m) = -m. Suppose -3*p + 3 = 15. Let j be f(p). Suppose -w + 10 = -5*n + j*w, 0 = -3*w + 15. Which is smaller: -0.1 or n?
-0.1
Let m = -8 + 2. Let o = 22 - 27. Which is smaller: m or o?
m
Suppose 4*k = 5*k + 3*b - 10, -5*k - b = -22. Suppose -n = 2*x - 4, 0 = -5*x + k*n + 4 + 6. Does 2/3 = x?
False
Let w(z) = -2*z - 2. Let i be w(-3). Let v be (-7)/9 + i/(-18). Which is smaller: v or 0?
v
Let k = 0 - 1. Let t = 101 - 100. Does k = t?
False
Let d = -12 - -7. Let k be (1 - 4)/(d/40). Suppose -3*b - k = 4*x - 5, 2*x - 3 = b. Is 0 at most as big as x?
False
Let a = 3 + -3. Suppose a = -0*t - t. Let q be 8/14*(-1)/2. Is t >= q?
True
Let v = -15 - -9. Let a = 10 + v. Suppose -a = 2*s, 5*b - 5*s + 3 = 8. Is 3 at most b?
False
Let x be (-413)/(-1197) + 1/(-3). Is 0 at least as big as x?
False
Let k be 1 + 12/(-7) + 2/(-7). Which is smaller: k or 62?
k
Let k be 1*(2 - 6)*4. Let d = 2 + k. Let f = d - -27/2. Which is smaller: f or -1?
-1
Let a be 1*(-69)/6 - (-3)/(-6). Which is bigger: a or -21/2?
-21/2
Suppose 7*k + 45 = 2*k. Let z = -5 - k. Which is bigger: z or 5?
5
Let s = -67 + 51. Which is bigger: s or -1/2?
-1/2
Let i = -1052.66 - -1268.6. Let u = i + -214. Let m = 0.06 + u. Is 0 >= m?
False
Let j = 4.88 + -6. Let s = j - -0.12. Do s and -2 have different values?
True
Let f = 2/121 + -17791/242. Let x = f - -72. Is -3 < x?
True
Let z = 3 - 2.5. Let i = z - -1.5. Let d = i - 2.2. Which is smaller: 0.1 or d?
d
Let a = 0.02 - 1.02. Let r = -10/33 - 1/33. Is a bigger than r?
False
Let l be 1 + 0 + 2 + -4. Let i be (1 + (-1)/(-2))*2. Let g be 4 - i - (-11)/(-9). Which is smaller: g or l?
l
Let b(f) = -7*f**2 - 16*f + 22. Let h(j) = -3*j**2 - 8*j + 11. Let t(v) = -2*b(v) + 5*h(v). Let x be t(-9). Let q = -3 + x. Is q at most as big as 1/7?
True
Suppose -5 - 11 = 4*d. Let t be 2/11 - d/(-22). Suppose -4*q - q = t. Is -2/5 at most q?
True
Let a = -70 - -117. Is a equal to 49?
False
Suppose 3 = -u + 4. Is u at least as big as 3/2?
False
Suppose 3*s = 2*s + 2*b - 7, -5*s - 7 = 4*b. Does -2 = s?
False
Suppose -40 = 4*f + 5*i, 4*f + 2*i + 16 + 12 = 0. Suppose 4*x + k = -32, -2*x - 1 + 3 = 5*k. Let j = x - -3. Which is greater: j or f?
f
Suppose -3*a + 9 = 6*c - 3*c, 9 = 3*c + 2*a. Let i = c - 3. Which is smaller: i or 0.04?
i
Let p(v) = v + 5. Let f be p(-5). Let b = -430/27 + 16. Which is smaller: b or f?
f
Let a be 5 - (-3 + -7) - -1. Is a < 15?
False
Let x(u) = -19*u - 22*u - 18*u + 61*u - 1. Let h be 1/2*(2 - 0). Let f be x(h). Which is greater: f or -2/7?
f
Let c = -1.1 - -19.1. Is c < 2?
False
Let j = 0.2 + -2.2. Let c = -2 - j. Let d(g) = -g + 1. Let z be d(3). Which is smaller: c or z?
z
Let g = -13 - -30. Suppose 3*r + 8 = g, 2*w - 5*r + 17 = 0. Is w less than -1?
False
Let j = 0 - 5. Let r = 18 + -12. Suppose 0 = 5*x + 9 + r. Which is bigger: x or j?
x
Suppose -3*f - 9 = -4*w + w, 0 = -3*f - 3*w - 27. Let o be ((-9)/f)/(3/16). Is 8 greater than or equal to o?
True
Let c be (2 - 9)/(-1) - 3. Suppose d = c*d + 6. Do d and 2/7 have different values?
True
Let m = -5.8 + 7.6. Is -1/4 at least m?
False
Suppose -3*v = -5*q - 169, -76 = -3*q + 5*q - 4*v. Which is smaller: 1/5 or q?
q
Suppose 0 = -0*i + 2*i. Suppose -5*x - 4*l - 157 = i, -51 = 4*x + 2*l + 71. Let j = x - -89/3. Do j and -2/7 have different values?
True
Let p(u) = -2*u**2 + 4*u - 1. Let y(m) = m + 7. Let c be y(-3). Let h be p(c). Let w = -53/3 - h. Is w at least -1?
True
Let p be (8/(-2))/(1/1). Let a(f) be the second derivative of f**5/20 + 5*f**4/12 + 2*f**3/3 - 3*f**2/2 + 7*f. Let z be a(p). Is -2/3 < z?
False
Let a = 4/405 + -4888/2835. Is a equal to -1?
False
Let i = 3/23 - 165/736. Which is greater: 0 or i?
0
Let w = 3 + -2. Let y = w - 1. Let p = -28 + 34. Is p less than or equal to y?
False
Let n be -3 - (1*-4)/1. Suppose 2*x + n - 3 = -f, -4*x = -f + 8. Which is smaller: f or 3?
3
Let u = 3 + -5. Let p be ((-15)/3 - -2) + u. Let w be (-7)/(-5) - (-2)/p. Is 1/5 <= w?
True
Let d = -13 + 15. Let x(y) = y**3 + y**2 - 4*y - 3. Suppose -2*s - 8 = 4*r, -5*r + 4*s = -r + 8. Let n be x(r). Is n > d?
False
Let h be ((-1)/3)/(1/(-3)). Let z(c) = -3*c**3 + 2*c**2 - 1. Let o be z(h). Do -3/2 and o have the same value?
False
Suppose -3*g = -0*g. Let v(n) = 5*n**2 + 1. Let t be v(1). Let q be (-32)/42 + 2/t. Which is greater: q or g?
g
Suppose -3*c = -7*c. Suppose -t - 3*i - 7 = c, 0 = -5*t + 8*i - 3*i + 25. Suppose 2*h + 5*q + 15 = 0, t*q - 3*q = 2*h + 3. Which is smaller: h or -1/2?
-1/2
Suppose 8*l - 3*l = 0. Are l and -4 equal?
False
Let f = -8 + 8. Suppose a - 4*a + 3 = f. Is 1 at least as big as a?
True
Let r(s) = -s**3 + 11*s**2 + 11*s + 12. Suppose -y = 0, y + 24 = 2*d - 4*y. Let z be r(d). Which is greater: 1 or z?
1
Let t be -1 - (1 + -4)*-9. Let q(l) = 13*l**3 - l. Let a be q(1). Let c be (-6)/t*(-16)/a. Is 0 less than or equal to c?
False
Let a = -3 - -1. Let s be (5/15)/(a/6). Is -5/6 != s?
True
Let f be (-6)/(-21) - (-4)/(-14). Suppose f = -h - 1. Which is smaller: h or -2/19?
h
Suppose -4*x + 16 = 0, -l + 2*x = -3*x + 14. Are 3 and l equal?
False
Let w = 0.23 - 0.13. Let z = -0.5 - -0.2. Is z > w?
False
Suppose -2*d - 5*h = 0, 3*d + 5*h = 4*d. Is d < -2/35?
False
Suppose 2*a = -0*a + 5*q - 3, -2*q - 6 = -2*a. Is 7 not equal to a?
True
Suppose 2 = -w + 5*l, -5*w - l - 10 = -4*l. Which is bigger: w or -1/2?
-1/2
Suppose -b - 16 = -5*b. Suppose 12 = t - b*t. Let c(i) = 2*i + 5. Let h be c(t). Is 1/2 not equal to h?
True
Let a = 1675/306 - -4/153. Suppose -4*f - 2*b - b + 43 = 0, -3*f + 41 = 4*b. Is f greater than a?
True
Suppose 5*d = z - 4, 5*d - z = 6*d + 2. Let r be ((-5)/255)/(5/(-30)). Which is greater: d or r?
r
Suppose -s + 3*a - 14 = 3*s, 3*s = -2*a - 2. Let u be (-4)/6 + 84/18. Let h = u + -7. Which is greater: h or s?
s
Suppose -v + 3*h - 17 = 4*v, 0 = -v - h + 3. Let d = v + 2. Which is smaller: 1/7 or d?
1/7
Let y(i) = i + 9. Let l be y(-7). Let p = 2 - l. Which is smaller: p or -1?
-1
Suppose -v - 5 + 1 = 3*m, 3*v + 2*m = -5. Is v less than or equal to -5?
False
Let d = 0.487 + 0.013. Is 12 smaller than d?
False
Let r = 2 - 4. Let g be (2 - 1)/(-3 - r). Which is greater: g or 1/5?
1/5
Let f be 4 - (-2)/(-4)*2. Let x be (f - 5)/(1*2). Is -1 greater than or equal to x?
True
Let n = -3 - -2.7. Let t = n - -0.1. Which is smaller: -2/3 or t?
-2/3
Let y(i) = -i**3 - 9*i**2 - 8*i - 5. Let o be y(-8). Let w = 1 + o. Let v be (-28)/(-88) + 2/w. Which is greater: 1 or v?
1
Let d be 2/(-6) + 11/6. Let x be 20/30 + 4/3. Which is smaller: x or d?
d
Let s(x) = 3*x**2 - x - 2. Let t be s(-3). Suppose -o - 3*o - 5*j - t = 0, -16 = -2*o + 5*j. Is o < -2?
False
Suppose n - 2*z = 4, -5*n - 3*z = -0*n + 6. Suppose 8 = 2*w + 2*w. Suppose 0 = -l + w*l. Is l bigger than n?
False
Let a be (-5 - (-5 - -3))/(111/(-4)). Which is smaller: 1 or a?
a
Let x(m) = m**3 + 4*m**2 - 2*m - 1. Let u be x(-4). Suppose s - 2 = 2*r - u*r, 5*s + 10 = -5*r. Is r not equal to 2/3?
True
Suppose 3*n + 2*n + 15 = 0. Which is smaller: -4 or n?
-4
Let q be 16/(-2)*4/(-8). Suppose -5*g - a = q, 0*a + 4*a = 4. Which is greater: g or 1?
1
Suppose 3*r = -12*r + 90. Which is bigger: r or -2/11?
r
Let q = 38 - 37. Which is greater: -10 or q?
q
Let w = -27 + 25.9. Is w less than or equal to 