*z. Which is smaller: z or -2/3?
z
Let h = -5767/265 + 109/5. Is h at most 1?
True
Let d = 0.22 - -1.08. Let t = d - 1.2. Is 0.1 less than t?
False
Let l = -4 - -3. Let y be (-1)/(-5)*(-41279)/21. Let b = -393 - y. Which is smaller: b or l?
l
Let f = 0.1 + 0. Let u = -20.8 + 26. Let a = 5 - u. Does f = a?
False
Let o = 2.95 + 0.05. Let p = o - 2. Let c = -0.8 - -0.8. Which is smaller: c or p?
c
Let l(u) = u**3 + 7*u**2 + 6*u + 7. Let d be l(-6). Let a be (-6)/(-39) - d/(-39). Is a at most as big as 1?
True
Let g(w) = w**3 - 2*w**2 - 2*w + 3. Let k be g(2). Which is smaller: 1/6 or k?
k
Let s(q) = 3*q + q**2 - 3 - 2*q - 5*q - 3*q. Let a be s(8). Which is bigger: 1 or a?
a
Let p = 271.864 - 269. Let b = 0.116 + p. Let x = b + 0.02. Is x not equal to 0?
True
Let d = 101/2 - 599/12. Is d equal to 1?
False
Let k be (-10)/5 + 5 + -2. Which is smaller: k or -2/29?
-2/29
Suppose 0 = 15*r - 4*r. Which is greater: 5/9 or r?
5/9
Let v = 2 + -1.975. Which is bigger: v or -0.1?
v
Let u be (-1)/(2/(-36)*-2). Let s = -3 - -5. Suppose -18 = s*n - 0*n. Is n != u?
False
Let r be (6/(-12))/(2/32). Let t(l) = -l**2 - 7*l + 11. Let n be t(r). Which is greater: 4 or n?
4
Let l be (-2)/12 + 12/(-9). Let p(o) = -1 + 1 + 1 - 3*o**2 + o. Let b be p(-1). Which is greater: b or l?
l
Suppose 0*m = -2*m. Suppose 5*y - c - 38 = m, -y - 42 = -5*y - 5*c. Let a be 5/(-20)*y/(-14). Which is smaller: a or -1?
-1
Suppose -2*u - 26 = 6*i - 2*i, 3*i = 3*u - 24. Which is bigger: i or 1?
1
Let g(c) = -c**2 + c - 70. Let m be g(0). Let y = m + 421/6. Which is greater: -1 or y?
y
Let n(y) be the first derivative of -y**4/4 - 3*y**3 - 5*y**2 - 12*y - 2. Let t be n(-8). Which is smaller: t or 2?
2
Suppose -2*p - 15 = 3*q, -2*p + 6 = -2*q - 4. Let z(g) = p*g - g - 1 + 3. Let t be z(2). Which is bigger: t or -1?
t
Let q be (-2)/(-8) + 6/(-8). Suppose -z - 3*z + 36 = 0. Let i be z/(-6)*4/6. Which is smaller: i or q?
i
Let j(w) = w. Let c be j(2). Let y = -29 - -32. Which is bigger: y or c?
y
Let u(g) = g**3 + 11*g**2 + 9*g - 10. Let w be u(-10). Suppose w = 2*h + 4*v + v - 13, v - 1 = -2*h. Let p be 1/(1 + (-16)/14). Are p and h nonequal?
True
Let f be 1/6 - 91/(-21). Let v = f + -5. Which is smaller: v or 0.1?
v
Let g = -5 - 1. Let x = g + 15. Let j = -11 + x. Is -2/7 less than j?
False
Let n = -5/28 - 4/7. Is n less than -1?
False
Suppose 0*c = f - c + 4, f - 4*c + 4 = 0. Suppose 3*v - 2 - 1 = 0. Suppose -m + 3 - v = 0, -5*h = 3*m + 14. Is h greater than f?
False
Suppose -27*v + 45 = -30*v. Is v at most 0.1?
True
Suppose 3*o + 2 = 5*o. Let s(c) = c**3 + 3*c**2 - 5*c - 5. Let n be s(-4). Which is bigger: n or o?
o
Let t = 2/41 + -47/123. Let i = 0.87 + -0.8. Let f = i + 0.13. Is f bigger than t?
True
Suppose 0 = 4*f - 2*m - 6, 2*f + 1 = -5*m - 2. Suppose -3*u - 2*h = -h + f, 3*h = -2*u - 10. Is u <= -1?
False
Suppose -w = 2*w - 9. Which is greater: 5 or w?
5
Suppose -15 = -p - 4*p, -4*g = -5*p - 17. Are 10 and g equal?
False
Suppose 0 = -4*i + 3*i + 2. Suppose 0 = i*m - 3 + 5. Which is smaller: -0.3 or m?
m
Let g = 3 + -2. Let f be (0 + (g - -1))*-1. Let s = -3 - -2. Which is greater: s or f?
s
Let v be (-6)/24 + 69/(-12). Is -7 > v?
False
Let f be -2 + 2 + (-572)/480. Let z = f - -16/15. Do z and 0 have the same value?
False
Let h = -10 + 11. Which is smaller: 2/33 or h?
2/33
Suppose 5 = -5*u + l + 18, -4*u + 10 = -l. Let x be u/2*2/(-3). Let s = -2 - -1.8. Is s >= x?
True
Let h = -2 + 2.16. Is h less than or equal to -1?
False
Let u = -7 + 16. Suppose u*g = 6*g - 3. Is 1 equal to g?
False
Let i(m) = m**3 - 6*m**2 - 10*m + 9. Let t be i(7). Let p = t + 15. Let u = 68 - 478/7. Is u smaller than p?
True
Let p be 1 + 0/(-2) - -1. Let g = -2 + p. Let v = g + 0. Do v and 1/3 have different values?
True
Let r = -2/41 - -53/246. Which is bigger: r or 2/5?
2/5
Let u be 4/(-3)*(-1 + -2). Let k be (-5 - -1)*(-3)/u. Suppose -k*d = 2*d + 15. Are d and -3 equal?
True
Let v(w) = w**3 - 18*w**2 + 16*w + 22. Let t be v(17). Let c be (1/(-2))/(t/(-10)). Which is smaller: 2/25 or c?
2/25
Suppose -5 - 2 = y + 5*h, 4*y + 5*h = -13. Let x be ((-2)/(-5))/(y/(-10)). Let g be (-2)/(-9) - 23/(-18). Which is smaller: x or g?
g
Let k be 3 + 0 + 65/(-25). Which is smaller: 0 or k?
0
Let c be (-6)/40 - (-1)/(-4). Let s(r) = -r**2 - 8*r + 9. Let t be s(-9). Let m be (-4 - -4)/(t - -1). Is m at least c?
True
Let v = 0.11 + -0.21. Is 4/9 >= v?
True
Suppose -4*d + 2*p = -22, 4*d - 2*d - 5*p - 31 = 0. Is d greater than 7?
False
Suppose -2*c + 11 = 3*p, 2*p = -0*c - 5*c + 33. Let k(b) = b**2 - 8*b + 10. Let z be k(c). Which is smaller: z or 4?
z
Let c = 19 + -23. Let j be 104/(-6) + c/6. Which is greater: -0.1 or j?
-0.1
Let m = -12 + 17. Suppose -m*j + 8*j = -3. Is j bigger than 4?
False
Let f be 20/(-26)*8/(-10). Let m = f + 2/39. Is -1 bigger than m?
False
Let z = -427/120 + 29/8. Which is smaller: 1 or z?
z
Let h(k) be the third derivative of k**5/60 - 3*k**4/8 - k**3/6 - k**2. Let c be h(9). Which is smaller: 1/3 or c?
c
Let u be (-11)/(-22) - (-41)/(-90). Is 0 smaller than u?
True
Let p = 10352/11 + -943. Let i = p + 284/143. Are 0 and i unequal?
True
Suppose -3*i + 2*z - 13 = 0, 19 = -i - 4*i + 4*z. Let l(u) = -u - 1. Let g be l(5). Which is smaller: g or i?
i
Let v(z) = -z. Let m be v(-2). Suppose -4 = j - m*j. Suppose -4*t + j*f = -t + 22, 3*f - 8 = -2*t. Which is bigger: 0 or t?
0
Let r = 5017498/3243975 - 2/43253. Let f = r + 3/25. Let g = 9 - 7. Which is greater: f or g?
g
Suppose -55*u + 58*u + 21 = 0. Which is smaller: u or -16?
-16
Suppose -15*j + 12 = -17*j. Let h be 4/10 + (-108)/20. Which is smaller: j or h?
j
Let v(i) = i**2 + 10*i + 5. Let f be v(-9). Let l = 6 + f. Let u be (-3)/2*4/(-6). Which is bigger: l or u?
l
Let b be (-72)/4 + -1 + -1. Let z = -12 - b. Let f be (-1)/((-4)/(z/(-19))). Is -1 > f?
False
Let v(p) = -p**3 - 5*p**2 - 2*p + 7. Let g be v(-4). Let y = 11 + -6. Let m = g + y. Which is smaller: 3 or m?
3
Let s(n) = -1. Let r(b) = b**2 - 6*b - 5. Let v = -10 - -14. Let x(m) = v*s(m) - r(m). Let p be x(6). Is p < 2?
True
Suppose 5*j + 30 = -r + 6*r, -5*j = 4*r + 21. Is -3/35 < r?
True
Let o = 50 - 51. Are o and -0.9 equal?
False
Let c = 8 - 8.26. Let w = c - -0.06. Do -0.2 and w have the same value?
True
Let x be (-1127)/(-21) + 1/3. Is 53 equal to x?
False
Let d(x) = x - 11. Let m be d(11). Is -1/53 smaller than m?
True
Let n = 0.488 + -0.088. Which is smaller: n or -1.3?
-1.3
Suppose -4*d = -4*x - 16, 0 = -d - 3*x - 2 - 2. Suppose -5*g - q = 2*q + 3, -q + 4 = 0. Is g greater than d?
False
Let m = 4 - 2. Suppose 3*c + 2 = h - m*h, 4*c + 5 = h. Does -1 = h?
False
Let i = -8 + 5. Suppose 0 = -3*n + 3*o, -2*n = -4*n - 5*o - 21. Is n < i?
False
Let z(q) = q**2 + 8*q + 8. Suppose -11 + 35 = 4*l. Suppose 2*t = l*t + 28. Let y be z(t). Which is smaller: y or -2/7?
-2/7
Suppose 0 = 5*s - x - 30, 2*s + x = 11 + 8. Let c be ((-2)/8)/(s/(-28)). Is -14 >= c?
False
Let n(a) = a**3 - 5*a**2 - 7*a + 10. Let u be n(6). Suppose 0 = 3*j + 5*b - 27, -u*j + 15 + 21 = b. Is j at most 11?
True
Let b = 26 - 3. Let p = b - 23.08. Which is greater: p or 2/7?
2/7
Let b = 3 + 1. Suppose -b + 1 = -3*w. Let f(m) = m**3 + 10*m**2 + 10*m + 10. Let q be f(-9). Is w less than or equal to q?
True
Let a be 2/(-10) - 0/(-5). Suppose 1 = 3*o - i, 2*i = -3*i + 10. Suppose -2*l - o = -l. Is a < l?
False
Let o(i) = 2*i. Let b be o(-2). Let r be 66/(-14) - b/(-14). Let v = -6 - r. Does -3/11 = v?
False
Let a(t) = -t - 1. Let b be a(1). Which is greater: -3 or b?
b
Let y(m) = m - 9. Let v be y(7). Suppose 3*o - 4*o + 2 = 0. Let l be (-44)/126 + o/(-9). Which is greater: v or l?
l
Suppose -5*w - 44 = 26. Which is bigger: w or -13?
-13
Let k(f) = 3*f**3 + f**2 - 2*f + 1. Let p be k(1). Suppose p*v = 5 - 23. Let n be (-1)/(-2) + v/4. Which is smaller: n or 2/9?
n
Let l = 1/62 + -69/434. Suppose 0 = -a + 6*a. Are l and a unequal?
True
Let g be -3 - -7 - (-2 + 1). Let t(r) = r**2 - 6*r + 5. Let c be t(g). Is c smaller than -1?
False
Let f(u) = -u**2 - u + 2. Let j be f(-3). Let v = 11 - j. Suppose -3*y = -v, -4*r - 4*y + 2*y = -10. Is -2/9 bigger than r?
False
Let p(u) = -u - 5. Let b = -5 + -3. Let h be p(b). Suppose -21 = -4*t - h*a, 2*t + a = 3*a. Does t = -1?
False
Let r(w) = -w + 1. Let k be r(3). Let z be k/6*4/6. Does -1/5 