4*z. Which is greater: u or -1/9?
u
Let t(s) = s + 15. Let f be t(-8). Suppose f + 0 = c + u, -5*u = -2*c + 21. Let i = 20 - 11. Which is bigger: i or c?
i
Let j = 0.3 - 0.9. Let a = 0.4 - j. Let x = -8 + 8.3. Are x and a non-equal?
True
Let b(y) = -y**3 - 12*y**2 + 12*y - 9. Let z be b(-13). Suppose 3*v = -5*q + 5*v + 37, -2*q + 18 = -z*v. Suppose -f + 15 = f + o, 2*o - 6 = 0. Is f at most q?
True
Suppose 0 = -3*c - 3*n - 33, -2*n + 0 = c + 9. Let k = c + 10. Do k and -3 have the same value?
True
Let z(x) = -4*x**2 - 6*x + 6*x**2 + 5 - 2*x**2 + 6*x**2 - x**3. Let k be z(5). Suppose k = 3*m + m. Is m >= -4/5?
True
Let t = 6 - 3. Suppose 4 - 10 = t*i. Let q(l) = l**2 + 3*l + 1. Let r be q(-2). Which is bigger: r or i?
r
Let c = 28 - 30. Which is smaller: c or 0.02?
c
Suppose 0 = -3*l - 0*l. Let i = -15 + 21. Let b be (11 - i)*2/(-8). Is b at least l?
False
Let c(j) = 5*j - 29. Let s(i) = -i + 7. Let h(w) = -2*c(w) - 9*s(w). Let x be h(-5). Which is greater: -1/11 or x?
x
Let g = 0.06 - 3.06. Let c be (-45)/(-35) + (4 - 2) + -3. Which is bigger: c or g?
c
Let y = -4.6 + 5. Let s = 0.5 - y. Does s = 1?
False
Let k be (-6)/(-27) + (-20)/9. Which is smaller: k or -3?
-3
Let g = 69 + -761/11. Is g equal to -1?
False
Let l = -0.1 + 0.1. Let u = l + 0. Let q = u - -0.2. Which is smaller: q or 2?
q
Let m(i) = -3 + 3*i**2 + i**3 + 0*i**3 - 1. Let y be m(-3). Let t = y - -3. Which is bigger: 0 or t?
0
Let v = 71/231 + 2/77. Let j = 17/6 - 67/30. Which is smaller: v or j?
v
Suppose -3*j - 12 = -3*d, 0 = 4*d + d + 3*j + 12. Let l be d - (-9)/(-15)*1. Is -1 < l?
True
Let s be (4/(-1))/(4/(-2)). Suppose s = 3*l - 1. Let a = -248/5 + 50. Which is smaller: a or l?
a
Let o = -706/7 + 101. Suppose 0 = n + 2 - 1. Which is smaller: n or o?
n
Let v = -122 - -449. Let k = -991/3 + v. Which is smaller: k or -2?
k
Let v = 1 - -3. Let s be (-2)/6*(-6 + -3). Which is smaller: s or v?
s
Let h(z) = 2*z**2 - 16*z - 9. Let x be h(9). Is 11 greater than x?
True
Let r = 0 + 1. Let l be ((-2)/r - -4)*-1. Let x be ((-2)/3)/((-5)/(75/(-10))). Is x at most l?
False
Let n = 185 + -187. Let l be (-12)/(-9)*(-3)/(-2). Are n and l equal?
False
Let v be 12/(-15) - (-1)/(-5). Let c = 6 + v. Is c less than or equal to 1?
False
Let a = -3 + 8. Let f be 1/3*(8 - a). Let t be (-18)/14 + 2/7. Which is smaller: f or t?
t
Let b = 3154 - 31391/10. Let m = b + -76/5. Which is smaller: m or 0?
m
Let j = -1.1 - -1. Let d = 0.2 + -0.19. Let n = 0.39 + d. Which is smaller: j or n?
j
Let o(z) = 2*z - 5. Let w be o(5). Suppose 0 = -n + f + 7, -w*n = 3*f - 23 + 4. Which is smaller: n or 0?
0
Suppose -v - 2 = 5. Let i = v - -3. Suppose c + 2*p - 19 = 6*c, -4*c - 5*p = 35. Is i not equal to c?
True
Let w = 0.29 + -1.29. Is w bigger than -18?
True
Let k = -2 - -2.1. Let z = 1.1 - k. Is -2 not equal to z?
True
Let q(i) = i - 12. Let r be q(11). Let f be -2 + 9/(2 - r). Let b(o) = 2*o**2 + 4*o + 3. Let k be b(-2). Which is smaller: k or f?
f
Let i be (-4)/(-6) - (-23)/(-30). Let t(z) = 2*z + 2. Let p be t(-2). Let k = 3 + p. Is k smaller than i?
False
Let u = -18 + 19. Let x be (-102)/4*(-1)/(-42). Let m = -3/28 - x. Is u at most m?
False
Let u be ((-9)/6)/((-3)/(-12)). Let y be u/(-27) + 10/(-45). Are y and -0.09 unequal?
True
Let o be (-2)/(8/(-6)*87/(-58)). Suppose -q = 4*w - 4*q - 6, 4*q = -3*w + 17. Suppose 0 = n - 4*n - w. Does n = o?
True
Suppose -3*o = 3 - 3. Which is smaller: -1/119 or o?
-1/119
Suppose -164 = -5*a - 4*c + c, 0 = a + 4*c - 26. Is a < 34?
False
Let t(p) = 4*p + 1. Let n be t(1). Suppose -k + a - 16 = -n*k, k - 4 = -4*a. Is 3 not equal to k?
True
Let l be (2*1)/((-3)/3). Let k(i) = -i**3 - 19*i**2 - 18*i - 4. Let p be k(-18). Do l and p have the same value?
False
Let j = 13 - 11. Are j and -0.1 equal?
False
Let f be (-308)/(-20) + (-4)/10. Suppose -2*z - 3*z = f. Let b be (1 - (-1 + 3))/((-2)/(-8)). Is b less than z?
True
Let q(d) = d**3 + 5*d**2 - 6*d + 3. Let u be q(-6). Let z(a) = 2*a - 4. Let c be z(u). Suppose -c*t + 5 = -h, -4*h + t = 6*t - 6. Which is smaller: h or 0.3?
h
Let q = -98 - -98.01. Which is smaller: 5 or q?
q
Suppose 2*i - 2*m = 30, i + 3*m - 4 - 3 = 0. Let q = i - 51/4. Is q at least 1?
False
Let s = 262 + -261.893. Let q = s - -2.843. Let l = -0.05 - q. Which is smaller: 1 or l?
l
Let z = -12 + 2. Let i be (4/z)/(3/30). Let v be (2 + -2)*(i + 3). Are 0.2 and v nonequal?
True
Let g = -7 - -5. Let a = 61 + 16. Let w be 8/14 + (-198)/a. Is g greater than w?
False
Let p = 17 - 16.9. Is 2/15 <= p?
False
Suppose 2*p + 4 = -8. Is 0.3 > p?
True
Let d = -9 - -6. Let q = -2 - d. Let c(g) = -g - 1. Let y be c(-3). Is y > q?
True
Let n(t) be the third derivative of t**4/12 - t**3/6 - 2*t**2. Let g be n(1). Let j(l) = 2*l**3 - l**2 - l + 1. Let v be j(g). Is 1 less than or equal to v?
True
Suppose -4*i - 2*c + 5 = -3*i, 4 = 4*i + 4*c. Let h = -2 + -2. Which is smaller: h or i?
h
Suppose -2 = -2*x - 0*x. Is x at least 1/10?
True
Suppose 5 = -4*u - u. Suppose -l + 7 - 10 = 0. Which is smaller: u or l?
l
Let r be 1 - (2 - 21/9). Let p(z) = z**3 + 5*z**2 - 6*z + 2. Let j be p(-6). Which is smaller: r or j?
r
Let o be (-1)/(1 + 2)*-12. Let y be (o/(-6))/((-12)/(-54)). Which is bigger: y or 1/3?
1/3
Let j(b) = b**2 - 2*b. Let u be j(6). Suppose -5*z - g - 1 = -16, -z + 4*g + u = 0. Let q = -8 - -12. Is z bigger than q?
False
Let x = -3 + 3.1. Let s = 9 - 7. Let z = 2.1 - s. Is z smaller than x?
False
Let c = 50 - 48. Which is smaller: c or -1?
-1
Let k = 2642/19 - 139. Which is smaller: -1 or k?
-1
Let s = -97 + 96. Which is greater: s or 1/107?
1/107
Let y be 21/9 - (-4)/6. Let q(v) = v**2 - 7*v - 4. Let i be q(7). Let p = y + i. Are -2 and p non-equal?
True
Suppose -10*f + 8*f = -10. Which is smaller: f or 22/5?
22/5
Suppose 0 = 3*b + 1 + 23. Let k = b - -7. Suppose 3*y + 0 = -3. Are k and y equal?
True
Suppose 0 = -3*t - 2 + 5. Which is smaller: t or -1/14?
-1/14
Let i = 0.91 - 0.11. Let j = i + -0.88. Let b = 1.92 - j. Which is smaller: b or -2?
-2
Let c = 0.04 - -5.96. Let r = c + -3. Which is smaller: 0 or r?
0
Let o be 0 + 0 - (-7)/(-7). Let w = o + 0. Does 0 = w?
False
Let z(x) = -4*x**2 + 3*x + 8. Let r(d) = 3*d**2 - 4*d - 9. Let i(w) = 3*r(w) + 2*z(w). Let v be i(8). Which is smaller: v or 11/2?
v
Let k be (29/15 + -2)*2. Let b(a) = a**3 - 7*a**2 - a + 8. Let v be b(7). Is k bigger than v?
False
Let r(l) = -l - 2. Let c be r(-3). Let s be c/(1 - 0/(-3)). Let g be s/7*(-1 - -2). Which is smaller: -1 or g?
-1
Let k(h) = 10*h + 1. Let z be k(4). Which is bigger: 40 or z?
z
Let v = -1977208489756/5568614015 + 47912973/141686. Let t = -2/15721 + v. Let z = 33/2 + t. Which is bigger: 1 or z?
1
Suppose -37 = -5*y + 18. Which is greater: y or 9?
y
Suppose -42*h + 70 = -47*h. Which is smaller: h or -19?
-19
Let o = -7.85 - 0.15. Let k = -0.15 - -0.05. Is o equal to k?
False
Let o be 83/(-135) + 6/10. Is 0 at most as big as o?
False
Let s(z) = z**2 - 4*z + 2. Let u be s(4). Suppose 0 = -2*o + u*m - 6, -4*o - 2 - 6 = -3*m. Which is smaller: 3 or o?
o
Let r be (-435)/5 - 6/2. Let m = -453/5 - r. Is m <= -1?
False
Let a = -115141106/284894415 + 9/234481. Let i be (-2)/(486/(-487)) + -2. Let s = a + i. Which is smaller: 0.2 or s?
s
Let w = 64 + -63. Is w bigger than -3/77?
True
Let d be (0 - -2) + (1 - 1). Let h be (16/(-12))/(d/6). Let s be h/14 + 4/14. Which is bigger: s or 1/5?
1/5
Let q = -11 - -12. Let o = 3 - 4. Let i = 2 + o. Do q and i have the same value?
True
Suppose -2 = -2*x - 0*x. Let a(r) = -r**2 - r + 2. Let i be a(x). Is i smaller than -2/11?
False
Let v = -1.7 + 1.1. Is -1 <= v?
True
Let h = -1.5 + 1.9. Let r = 0 + 1. Which is smaller: r or h?
h
Suppose -23*x + 22*x = 0. Suppose x = -5*n - 3*r + 8 + 4, n - 8 = -2*r. Is 4 smaller than n?
False
Suppose 2*q = 13 - 1. Suppose -2*d = -q, n - 4*d - 4 = 5*n. Which is bigger: n or -3?
-3
Let v(m) = -m**2 - 12*m - 5. Let b be v(-8). Let g be (124/(-3))/(6/b). Let t be 3/(-6) + (-105)/g. Which is bigger: -1 or t?
t
Suppose z - 2*z + 8 = 0. Suppose 2*a + z = 2. Let s be (-10)/(-2) + 1 + a. Are s and 1 nonequal?
True
Let j be 344/(-2) + 0/2. Let o be (-1)/(-2)*16/j. Which is bigger: o or 0?
0
Suppose -2*q - q + 5*u = -183, -2*u = q - 50. Let l = -398/7 + q. Is l at least -2?
True
Let p = 6 - 13. Let o = p + 6.8. Which is sma