 + z + 1 = 2*z. Let u be ((-9)/6)/(8 - h). Which is smaller: j or u?
u
Let b = -107 + 211/2. Are b and 14 non-equal?
True
Suppose 0 = -0*x + 5*x - 365. Suppose 2*a + 6*b - 53 = b, -b - x = -4*a. Let c = -94/5 + a. Is c < -1?
False
Suppose 2*o + 7 = 1. Which is bigger: o or 3?
3
Let a = 5 + 0. Suppose -12 = 2*d - a*d. Which is greater: d or 5?
5
Let k = -27 - -22. Let v = k - -16/3. Is v bigger than 0.1?
True
Let x = 2/9 - -8/45. Let f = 2 + -3. Which is smaller: x or f?
f
Let t = 9 + -17. Let n = t + 7.5. Which is smaller: n or -2/7?
n
Let m = -115 + 291. Let b = m + -1763/10. Is b >= -1?
True
Let c = 0.17 + -0.27. Is 9 at least c?
True
Let m be ((-16)/6)/((-4)/48). Suppose 6*x + 4*w + 28 = 2*x, 5*x + 4*w + m = 0. Let d(k) = -k**3 - 3*k**2 + 6*k + 6. Let y be d(x). Which is bigger: y or -4?
y
Suppose -4*v = -4*o - 12, -2*o - v + 0*v = -3. Suppose 20 = -4*s - 2*c - 2*c, -3*c = s + 15. Is s greater than o?
False
Let f(z) = -z**2 - 7*z + 1. Let q be f(-7). Suppose 4*g = 5*g + q. Let v = -68 + 339/5. Which is bigger: v or g?
v
Suppose -4*g - 5*w - 136 = 0, -g - 14 = -5*w - 5. Are g and -28 unequal?
True
Let j be 423/144*(-1)/2. Let u = -1/32 + j. Let s(k) = -k**3 + 3*k**2 - 2*k + 3. Let c be s(3). Is c bigger than u?
False
Let s be 48/21 + (-4)/14. Suppose 0*i + s*i - 6 = 0. Let t be i/(-6)*(-1 + -1). Which is smaller: t or 4/7?
4/7
Let w be (-6)/(1206/399) - -2. Is w equal to -1?
False
Suppose 265 = 6*x - x. Let j = -211/4 + x. Let v = 0.4 - 1.4. Is j not equal to v?
True
Let f = -4.06 + 0.06. Let y = 5 + f. Let q = y + -3. Which is smaller: q or 1?
q
Suppose -8*h - 25 = -13*h. Are 9/2 and h unequal?
True
Let n = 0 + 0. Is n equal to -1/5?
False
Let c be (-6)/(-10)*(-2)/(-21). Is -1 >= c?
False
Let k be ((-16)/(-15))/((-87)/20). Let t = k - -2/87. Let y = 5 - 5. Which is smaller: y or t?
t
Let a be ((-6)/(-9))/(6/(-9)). Which is greater: a or 4?
4
Let l be (24/104)/(1*-1). Is 1 <= l?
False
Let d be 2 - (-3)/((-9)/(-30)). Let j be (-1)/14*d/3. Suppose 4*a + 3*x - 5 = 0, -5*a - x - 3*x = -7. Which is greater: a or j?
j
Let m(z) = z**3 + z**2 + z - 1. Suppose 8*l = 10*l. Let r be m(l). Is r > 2/7?
False
Suppose y = -1 + 3. Suppose 4*m + l + l = 8, -2*m - 4*l = 2. Which is smaller: y or m?
y
Suppose 3*o + 15 = -2*o. Let g be -6 + 0/(5 + o). Let r = g - -11. Which is smaller: r or 4?
4
Let i = 0.29 - 0.3. Let s = 0 + 0. Let f = i - s. Is f greater than -1?
True
Let y(f) = -14*f**3 - f**2 - 3*f - 2. Let x be y(-1). Suppose 5*o - x = 3*o. Is 9 >= o?
True
Let y be (-45)/(-15) - (-59)/(-21). Which is bigger: 1 or y?
1
Let u = -2/27 - -64/135. Let c = 2 + -3. Is c != u?
True
Let f = 3 + -2. Let r(g) = -g**2 + 5*g + 2. Let p be r(4). Let y be f/p + 7/30. Do y and -1 have the same value?
False
Let d = -2 - -1.8. Which is smaller: -2/9 or d?
-2/9
Let h(q) = q**2 - 5*q + 6. Let b be h(4). Suppose -8 = -3*t + 2*a + b, -5*a - 25 = 2*t. Suppose t*p = -2*p. Is 4/5 bigger than p?
True
Let n = -15/28 + 1/4. Let s be -4*2*3/(-6). Let v(u) = -u**3 + 3*u**2 + 3*u + 3. Let x be v(s). Which is greater: n or x?
n
Suppose 0 - 4 = 4*n. Let g(v) = -6*v**2 + 2. Let q be g(-5). Let z = 1334/9 + q. Which is bigger: n or z?
z
Let k = -1 + 6. Let m = 0.4 - 0.3. Is k <= m?
False
Suppose 0 = -3*y + 6. Let g = -0.39 + -2.31. Let i = -1.3 + g. Which is greater: i or y?
y
Let d = 481/3 - 163. Which is smaller: d or -3?
-3
Let w be (4 - 0)*(-6 - -5). Let g(l) = 2*l**2 + l. Let h be g(w). Let i be 6/h*16/(-12). Which is bigger: i or 0?
0
Suppose -43 = -5*a + 152. Which is smaller: 40 or a?
a
Let t be 2/(-4) + 231/(-14) + 2. Which is smaller: -16 or t?
-16
Let k be 3/(-12) - (-5)/(-28). Let y = 1 - 2. Let z be -2 + y - 1*-2. Is k at least as big as z?
True
Let f(x) = -x**2 - 9*x - 10. Let q be f(-7). Let m be q/(-10) - 56/(-130). Is m at least as big as 0?
True
Let p be 15/(-30) + 1/(-2). Let t = 615/1793 + 2/815. Let r = -2/165 + t. Is p > r?
False
Suppose d - 5*b + 8 - 20 = 0, b = -4*d - 15. Which is smaller: -8 or d?
-8
Suppose -r - 3*q = -13, -5*q = -0*q - 20. Is 2/107 less than or equal to r?
True
Let k(l) = -3*l**2 + l - 7. Let j be k(-9). Let i = -3369/13 - j. Which is smaller: i or -1?
-1
Let v = 5 + -17. Let q be 21/v - (-2)/(-8). Let g be 0*2/(-4)*q. Which is bigger: -1 or g?
g
Let a(m) = m**2 - 3*m + 3. Let j be a(2). Which is smaller: j or 3/2?
j
Suppose -44 = -4*i + 5*d, -3*i + 6*i + d = 14. Let l be 3/(0 + 2 + -1). Let h be (-1)/4 + l/i. Which is greater: -0.1 or h?
h
Let d be (-1*24)/(-4) + -4. Is 2 greater than d?
False
Let i = 1389/370 + -37/10. Which is bigger: i or 0?
i
Suppose -5*v - h = 4*h, -2*v + 14 = -5*h. Suppose v*z = -z. Which is smaller: z or -5?
-5
Suppose 0 = -3*w + 5*w + 2. Suppose -1 = 7*h + 13. Which is bigger: h or w?
w
Suppose 5*z = -10, c - z = -1 + 3. Suppose 0 = -h + 4*d, c = h + 3*h + d. Let o = 0 + h. Is o greater than or equal to -2/3?
True
Let i = -5 + 5.1. Let o = 38.6 - 47. Let u = o + 8. Which is smaller: i or u?
u
Let a = 60 + -241/4. Which is bigger: -1 or a?
a
Let p(d) = d - 6. Let i be 6*((-3)/2 - -2). Suppose 0 = a + 2*b + 3, -3 = -4*a + a - i*b. Let h be p(a). Are 1/4 and h nonequal?
True
Let j = -21 + 190/9. Which is bigger: 0 or j?
j
Let q = 4 + -2. Let o(z) be the first derivative of -z**2/2 - 5*z + 2. Let p be o(-6). Is q smaller than p?
False
Let j be ((-6)/(-225))/((-2)/10). Do j and -2 have different values?
True
Let p be ((-3)/(-6))/(1/2). Is -1/8 >= p?
False
Let m = -0.4 + 1.3. Let b = m + -1.9. Is b less than -1?
False
Let m = 6.5 - 7. Let u = m - -0.54. Let a = u + -0.04. Which is smaller: -0.05 or a?
-0.05
Let l be -4 + 1 - (-221)/65. Which is smaller: l or 0?
0
Let l be -1 + 3/(6/4). Which is smaller: -3/10 or l?
-3/10
Let i(k) = -k**2 - 3*k - 1. Let h be i(-1). Let o be (((-2)/1)/(-6))/h. Is o equal to 3?
False
Let u(g) = -g + 8. Let w be u(7). Let b(m) = -2*m - 1. Let c be b(w). Let k = -2 - c. Is k not equal to 1?
False
Let p = -4 + 8. Let h be 5*3/((-90)/p). Is h at most -1?
False
Let l = 0 - 0. Suppose -x + 4*x = l. Let h be ((-2)/(0 - -1))/(-11). Is x > h?
False
Let b = 0.3 + -0.2. Let j(s) = -s**2 + 4*s + 3. Let i be j(5). Let r be (-1 - 0)/(5/i). Which is greater: b or r?
r
Let l = -22 + 25. Which is greater: 7 or l?
7
Let g = 0.3 + -0.2. Let k = 16 - 19. Which is bigger: k or g?
g
Let j(c) = 4*c. Let x be j(-3). Which is greater: x or -10?
-10
Let z(c) be the first derivative of -c + 4/3*c**3 + 1 + 3*c**2 - 1/4*c**4. Let g be z(5). Does g = 4?
True
Let j = 29 + -15. Let s = j + -22. Let i = 8 + s. Is i greater than -2?
True
Let x(s) be the second derivative of s**5/20 - s**4/3 + 2*s**3/3 - 2*s. Let l be x(3). Suppose l*b = -2*b. Which is bigger: b or -5?
b
Let i = 35 - 32. Which is bigger: i or -3?
i
Let a = 0 - -1. Suppose -3*v + 4*v = -3*p + 12, -2*p = 3*v - 8. Let n be (6/(-15))/(v - 1). Is a at least n?
True
Let x be ((-3)/(-1) + -2)/3. Let a = 0.76 - 0.7. Let m = -0.26 + a. Is m bigger than x?
False
Let y be 4 + -5 - 2*-1. Suppose -3*g + 6*g + 30 = 0. Let j be 2/(-5) - 24/g. Are y and j non-equal?
True
Let k(r) = 9*r**2 + 2*r - 1. Let f be k(1). Let l be (2/f)/(2/(-1214)). Let b = -121 - l. Is -1 < b?
True
Suppose 0 = -3*k - 2*c + 28, 0 = 5*k + c + 2*c - 45. Suppose k*d = d + 10. Let l be (-3 + d)*2/18. Is l > 1?
False
Let p(o) = -o**2 - 9*o - 5. Let w be p(-6). Let j be ((-15)/12)/(w/(-4)). Let i = j + 3/26. Which is smaller: i or 0?
0
Let a = -0.1 - -0.5. Let s = -2.95 - -0.95. Is s at most as big as a?
True
Suppose 2*n - 2*l = -16, -6*n + 20 = -11*n + l. Let y = 0 - n. Let w = 2 - y. Is w bigger than 2?
False
Let v = 12 + -8. Suppose 4*w + 2*s + 6 = 4*s, 0 = -5*w - s + 10. Is v at most w?
False
Let s(c) = -2*c - 10. Let j be s(-8). Suppose -5*z = j - 1. Let i be (z/(-5))/(4/10). Is 2 at least as big as i?
True
Suppose 6*q = 3*q + 2*w - 12, -w = -3*q - 12. Which is smaller: 2/3 or q?
q
Suppose w + 25*u = 27*u + 9, 7 = 3*w - u. Let b = 6 - 16. Which is greater: b or w?
w
Let f(x) = -x - 5. Let u be f(-4). Let p = 0 + u. Let n be ((-6)/(-21))/((-3)/(-9)*3). Which is greater: p or n?
n
Let s be (-23)/2*4/(-2). Let i = -45/2 + s. Let q = 1.3 - 0.3. Does q = i?
False
Let k be (66/55)/(78/20). Which is smaller: k or 0?
0
Let i be 1*10*(-24)/(-5). Let f be i/27 - 2/(-9). Let v be 21/(-9)*f/(-7). Is v greater th