 3 = 3*z. Let k = 22/207 + -5/23. Is z not equal to k?
True
Let b(n) = -n - 4. Let w(p) = 3*p + 7. Let k(z) = -5*b(z) - 3*w(z). Let f be k(1). Let s = 5 + f. Is s greater than -1/5?
True
Let y be (236/(-20) - -2) + (-2)/(-1). Is y >= -7?
False
Let f(p) = 2*p - 6. Let d be f(4). Let s = 113/3 - 109/3. Are s and d nonequal?
True
Let t(a) = -a**2 - 9*a + 2. Let i be t(-9). Let q be 9/i - 5/(-10). Let z = q + -17/3. Is z > -2?
True
Suppose -98 = -46*g + 53*g. Which is greater: g or -13?
-13
Suppose 4*b = -b + 5. Suppose -3*u - 4 = -b. Let y be (4/42)/((-9)/81). Which is smaller: u or y?
u
Let j(n) = -9*n**2 + 10*n + 3. Let o(b) = 5*b**2 - 5*b - 2. Let g(w) = -4*j(w) - 7*o(w). Let c be g(5). Are c and 2 non-equal?
False
Let t = 4 - -3. Is 6 at least t?
False
Let j be 1 + 0 + 32/(-16). Which is smaller: 6/13 or j?
j
Let c(i) = -i**3 - 4*i**2 - 2*i + 2. Let a be c(-2). Let g = 0.51 + -0.01. Let p = g - 0.6. Are p and a unequal?
True
Let x = -74 + 78. Are x and 4 non-equal?
False
Let s be ((-2 - -1)*-5)/1. Suppose g - 20 = -s*u, -6*u + 3*u - 2*g + 12 = 0. Suppose -4*y = 4*a, -5*y = -3*a - u*y. Which is bigger: a or -1?
a
Let n = 0.04 - -2.96. Let y = 2 - n. Let q = y - 0. Is q smaller than -0.2?
True
Let f be (-2)/(-7) - (-66)/(-84). Let j(s) = s**2 + 7*s - 9. Let h be j(-8). Which is bigger: h or f?
f
Let w(v) = v**3 - 5*v**2 - 6*v + 3. Let k be w(6). Suppose k*c - 10 = c. Let t be (c/(-110))/(2/(-8)). Which is bigger: 1 or t?
1
Let h be 4*(-3)/(12*-1). Which is bigger: h or 2/11?
h
Let r be 3*(1 + 2 + -2). Let g be (-32)/r - 18/(-27). Let s = g + 5. Which is smaller: s or -3?
s
Let a = 8 - 5. Suppose 4*j = 8*j - 16. Which is smaller: a or j?
a
Let c be 2 + (-321)/84 - -2. Let s = c + 1/14. Which is bigger: 7 or s?
7
Let l be (42/24)/(2/8). Let v be (-14)/l*(-2)/4. Let c = 7 - 13. Which is greater: c or v?
v
Suppose 0 = 4*j + 4*u - 67 - 17, 5*j - 109 = -3*u. Which is smaller: -1/3 or j?
-1/3
Let w = 21 - 16.8. Let x = w - 4. Let u = x - 0.2. Which is bigger: -3/5 or u?
u
Suppose -5*k = h + 2, 8 = 4*h - 4. Which is bigger: -9 or k?
k
Let b be (-26)/143 - (-8)/(-198). Is b smaller than 1?
True
Let s = -14 - 7. Let p = s - -13. Let k be 38/(-70) - p/20. Is k <= 1?
True
Let f be 57/5 + (-4)/10. Suppose 5*a - 40 = -5*h, 3*h + 5*a - 10*a - 48 = 0. Is f less than h?
False
Let x be (14/(-63))/(4/(-3) - -1). Are -120 and x unequal?
True
Suppose 2*i + 1040 = -0*i. Let h be (-2)/10 + (-24)/i. Which is smaller: h or -1?
-1
Let l = -0.4 + 0.3. Let k = -9 - 2.3. Let u = -11 - k. Is u less than or equal to l?
False
Let t = -7 - -13. Suppose -3*i + 3*u - t = 0, -4*u + 0 + 4 = -2*i. Is i at least -3/5?
False
Let z = -76912/14595 - -3/973. Let k = 102 + -289/3. Let q = z + k. Is 0 at least as big as q?
False
Let v = 18 - 9. Let s = 8 - v. Is -1 greater than s?
False
Let d = 32 - 46. Let q = d - -16. Is 3 <= q?
False
Suppose -4*r + 5*x - 39 = 0, 0 = 4*r + 5*x - 2*x + 15. Let o(y) = y + 5. Let s be o(0). Let p = r + s. Which is smaller: p or -4?
-4
Suppose 3*b = -3, 2*u = b - 1 - 2. Is -2 > u?
False
Let k(x) = x + 4. Let z be k(-6). Let p be ((-15)/65)/((-3)/z). Which is smaller: p or 0?
p
Let d(b) = 3*b + 5. Let p be d(8). Which is bigger: 31 or p?
31
Let y be (3*-1)/((-1)/1). Let i be -1 - 2*(-6)/4. Are i and y nonequal?
True
Let x be (6 - 8)/(5/(-4)). Which is smaller: x or 2?
x
Let d = -26 + 28. Do d and 1/3 have the same value?
False
Let n(z) = -z**3 + 6*z**2 + 8*z - 5. Let f(x) = x**3 - 5*x**2 + x + 2. Let h be f(5). Let u be n(h). Which is bigger: u or 3?
3
Let t = -20 + 30. Let l be 5*(2 - 18/t). Which is greater: l or 6/5?
6/5
Let d be (4 - 1)/((-3)/(-18)). Do 18 and d have the same value?
True
Let f = -0.5 + -14.5. Let x = 13 + f. Which is greater: -0.2 or x?
-0.2
Let z = -10 + 6. Let p(h) = -h**2 + 13*h - 13. Let b be p(9). Let j = b + -28. Which is bigger: j or z?
z
Let l(o) = 2*o**2 - 5*o - 14. Let a be l(6). Are 28 and a unequal?
False
Let u = 3.72 - 4. Let o = u + 0.08. Is 2 >= o?
True
Let z = 1 + 4. Suppose 0 = -2*x - 2*x - 5*i + z, -x - 5*i + 5 = 0. Let t(l) = l**3 + 7*l**2 + l + 7. Let o be t(-7). Is o > x?
False
Suppose -4*s + 24 = -s. Suppose w + 0 = -5*c - s, -5*c = -5*w - 10. Is c at most -4?
False
Suppose i + 2 = 4. Suppose 3*t = t + i. Which is greater: t or -2/43?
t
Let z = -6 + 2. Let u be (z/(-50))/(1/445). Let o = u - 36. Which is bigger: o or 0.1?
0.1
Let j = 153/2 - 75. Let u(v) = -v + 7. Let k be u(5). Which is greater: k or j?
k
Suppose -32 = -l - 3*l. Let d be (-1 - -1)/(l + -5). Which is greater: -2/7 or d?
d
Let n = -61/21 + 4/7. Is n bigger than -2?
False
Suppose -j + 0 = -6. Suppose k - 2*k - j = 0. Which is smaller: -5 or k?
k
Let b = -10 - -12. Which is bigger: b or 0?
b
Let s = -16 - -46/3. Which is bigger: -8/3 or s?
s
Let w be 7/(-35) - 32/(-10). Is 4 at least w?
True
Let y = 64 + -63.7. Which is greater: -3 or y?
y
Let k = -129/2 + 106. Let p = -39 + k. Is p greater than 3?
False
Let j be (-4)/(-6)*6*1. Suppose -s + j - 1 = 0. Let w be (s*4/(-3))/(-2). Is 2 <= w?
True
Let c be ((0 - -1) + 0)/1. Do c and 12/11 have different values?
True
Suppose 8*g = 50 - 2. Are 10 and g equal?
False
Let c = 26 + -26. Which is smaller: c or 1/2?
c
Let f(n) = n**3 - 2*n + 1. Let t be f(-2). Let p = t + 4. Do p and 0 have the same value?
False
Let o be (-1)/(2/(4 + -2)). Let b be (-3)/2*16/(-12). Suppose b*w - 1 = -3. Are o and w unequal?
False
Let v = 9 + 13. Which is smaller: 0 or v?
0
Let x be 3 + 30/(-9) + (-706)/(-2154). Are x and 0 nonequal?
True
Let c = 9 + -7. Do -2 and c have the same value?
False
Let x be 4/(-14) + (-132)/28. Let u = 11 + -15. Which is smaller: x or u?
x
Let c = 62154/169 - 239700093/651833. Let k = c - -2/203. Which is greater: k or 1?
1
Let u(a) = -4*a - 1. Let m be u(-1). Let x = 8 + -4. Which is greater: x or m?
x
Let o be (-2)/(-1)*5/2. Suppose -o*r + 0*r - 5 = 0. Let m = 148/5 + -442/15. Which is bigger: r or m?
m
Let y be ((-4)/2 + 0)/(-5). Let w be ((-9)/(-15))/((-54)/(-45)). Is w greater than y?
True
Suppose -3*l = 18 - 6. Let h = l - -6. Let u be 2/10 - 52/(-140). Is h at least as big as u?
True
Let x be (-1 - 1) + (-5220)/28. Let u = x + 189. Which is smaller: 1 or u?
u
Let t(u) = u**2 - 4*u - 8. Let z be t(5). Is -4 bigger than z?
False
Suppose 0 = 3*f - 4 - 14. Let w be -1 + -6 - (0 - 4). Does w = f?
False
Let x(y) = -y**2 - 4*y + 3. Let s be x(-4). Let k be (2/s)/(8/12). Let t be ((-3)/k)/6*8. Is t < -5?
False
Let f = 1 + -2. Let g be 178/(-20)*15/174. Let t = g - 14/29. Which is smaller: f or t?
t
Suppose 4*q + q + 10 = 0. Let m(n) = -3*n**3 - 2*n**2 - 3*n - 2. Let t be m(q). Is 19 bigger than t?
False
Suppose 2*a = 3*a - 4. Let c = -6 + a. Let o = -3.07 + 3.17. Which is smaller: o or c?
c
Let b = 3 + -4. Let w be ((-9)/15)/(b/5). Let l be 0/((-3)/w) - 1. Which is smaller: -4 or l?
-4
Let q = 3/676 - 179/21294. Let p be 6058/2520 - (4 - 1). Let t = q + p. Which is smaller: t or -2?
-2
Suppose 2*j = 4*j - 4. Let r be (0 + 20/(-16))*-8. Suppose -2*v = -z - 1, 5*z - v - r = z. Is j < z?
True
Let k = -140 - -167. Does 53/2 = k?
False
Let t be (-3)/((-9)/(-6) - 0). Let j be (-2 + 3)/(2/10). Suppose -s + 4 = -j*s. Which is smaller: s or t?
t
Suppose 4*l = -0*l + 40. Which is greater: 9 or l?
l
Suppose 2*v - 6 = 5*v. Which is smaller: -4 or v?
-4
Let l = 10 - 4. Let k(q) = q - 7. Let s be k(l). Let z be (-8)/36 + s/(-45). Is z bigger than 1?
False
Let z = -5 - -2. Let y be 6 - 3*z/(-9). Suppose p - 2*s = 5*p - 2, -y*p - 5*s + 10 = 0. Which is smaller: p or -2?
-2
Let c = 44/3 - 15. Let q(h) = h**3 - 8*h**2 + 6*h - 4. Let k be q(7). Let u = k - -10. Is c less than or equal to u?
False
Let l = 5.4 + -5.5. Suppose -2*v + 18 = v. Suppose -4*g = -n - 3, -2*g + v*g - 2 = 2*n. Which is smaller: n or l?
l
Suppose -11 - 32 = -2*z - g, -2*z + 49 = -g. Is 23 > z?
False
Let b = 6.6 + 0.4. Let g = -4 + b. Is g > 0.2?
True
Let o = -2 + 6. Let k = 2 - 0. Let d = 1/2 + k. Do d and o have the same value?
False
Let s(q) = -q**3 - 2*q**2 + 3*q + 1. Let a be s(-3). Suppose 0 = -0*c - c - a. Which is smaller: c or -2/5?
c
Let f(q) = -q + 9. Let x be f(9). Which is bigger: x or 2/265?
2/265
Let j be 0 - 0 - (-3 + 4). Let k = j - -2. Which is greater: k or -2/9?
k
Let x = 80 - 79. Is 3 less than x?
False
Let k be ((-6)/27)/((-2)/