 z(9). Which is smaller: k or y?
y
Let n = 2 - 0. Let q be 2/(-2 + n + 2). Let b be 6/5*q/(-3). Which is smaller: -1 or b?
-1
Let p = 7 + -10. Let z = -14 - -17. Suppose -5*m = z*x + x + 35, m + 2*x + 13 = 0. Is p >= m?
True
Let c = 0.102 - 11.102. Is c at most -3/7?
True
Let j be 2/4 - (-1)/(-2). Let t = j - -3. Let l be (t - 2) + 0 + -5. Do l and -8/3 have the same value?
False
Let l(a) = a - 9. Let y be l(13). Is y less than 0.1?
False
Let h(b) = b + 1. Let v be h(-4). Which is bigger: v or -3/2?
-3/2
Let w be 1/(-1 + (-2)/(-3)). Let q = -908/3 - -303. Which is smaller: q or w?
w
Let s(g) = 1 + 5*g + 1 - 3*g. Let c be s(-2). Let l be 6/3*c/20. Is l greater than 1?
False
Let c = 6.18 + -0.18. Let w = -10 + c. Do -2 and w have the same value?
False
Suppose 0 = -7*b + 6*b + 4. Let m(t) = t**2 - 6*t + 1. Let j be m(b). Which is bigger: j or -5?
-5
Let f = -1.29 + 0.29. Is -0.5 at most as big as f?
False
Let s = -2.9638 - 0.0662. Let t = -0.03 - s. Which is greater: t or -0.1?
t
Suppose 0 = -13*v + 15*v + 32. Is v bigger than -1?
False
Suppose 4*j + 54 = 7*j. Suppose -4*h + 4*m = -2*h + 16, 3*h - 4*m + j = 0. Let i = 3 + h. Is i at most as big as 4/3?
True
Let r be 6/3 - (10 - 1). Let k(s) = s**3 + 6*s**2 - 7*s + 3. Let w be k(r). Let f = 4 - 0. Is f at least w?
True
Let k = -1.27 - 31.73. Which is bigger: k or 1?
1
Suppose -5*o = j + 12, 5*o + 60 = -2*j - 3*j. Is j less than or equal to -13?
False
Let h(d) = d - 10. Let p(w) = -w**3 + 5*w**2 + 3*w - 5. Let j be p(5). Let q be h(j). Do 0 and q have the same value?
True
Let k be (134/(-8))/((-11)/8). Let d = k - 12. Is -1 at least d?
False
Let v = -17 - -20. Let y be (v - 3/(-3)) + 0. Is y less than 0?
False
Suppose f = -3*f - 20. Which is smaller: f or -6?
-6
Suppose y - 1 = -4*k + 6, y + 3*k = 5. Which is smaller: -2/43 or y?
y
Let m(s) = -2*s**3 - 2*s**2 + 2*s - 1. Let w be m(1). Is w less than 9?
True
Suppose -n = 4*n - 40. Is 8 greater than n?
False
Let b = -16 - -15. Let s = b + -4. Which is smaller: -6 or s?
-6
Let a = -4 + 7. Is 2 greater than a?
False
Let s = -2.4 - 2.6. Which is smaller: -1 or s?
s
Let c = 1418/9 - 15364/99. Which is bigger: c or 3?
3
Let m = -126.99 + 120.9. Let j = m + 0.09. Is j greater than or equal to -1?
False
Let a(b) = b**2 - 9*b. Let m be a(9). Suppose -1 = -0*c + 3*c + 4*p, 4*p = 5*c - 9. Which is smaller: m or c?
m
Let v = 16 - 13. Suppose 3*m = -5*t - 24, v*m - t = 2*m. Does m = -2?
False
Let s = -380 + 797. Let x = -414.99 + s. Let h = 0.01 - x. Does -1 = h?
False
Let b(h) = h**2 + 8*h + 2. Let j(f) = f + 4. Let w be j(3). Suppose 3*r = 4*r + w. Let o be b(r). Does o = -5?
True
Suppose 5*i + 25 = 3*p, -i - 2*p + 6*p - 5 = 0. Let s = 4 + i. Let t = -349 + 4535/13. Do s and t have the same value?
False
Let g be 1/(4/24*3). Suppose -g*o + 14 = 6. Are 7 and o nonequal?
True
Suppose -k - 6 = -5. Let y = -3 + 1. Which is smaller: y or k?
y
Suppose -2*n = -0*n. Suppose n*y - 2 = -2*y. Are y and 1 equal?
True
Suppose -2*r - 4 - 6 = 0, -4*k = 5*r + 25. Suppose -2*m - 5*n + 28 = k, n - 3 - 1 = 0. Let j be (-9)/12 + 1/m. Is 0 equal to j?
False
Let t = 13 - 10. Suppose 5 = t*q - 4. Is q >= 3?
True
Let u = -5 + 3. Let j = -5 + 5.03. Let q = 0.03 - j. Which is smaller: u or q?
u
Let b = 16 - 14. Which is smaller: b or 0?
0
Let n(v) = 16*v**2 + v. Let r be n(-1). Suppose 2 = 5*z + 3*g + 17, 3*z - r = 3*g. Let h be (-1)/(-2*1/(-2)). Is z > h?
True
Let u(j) = -2*j + 26. Let a be u(11). Are a and 20/7 equal?
False
Let g be (-3)/15 - 52/(-10). Suppose -o - g*p + 23 = o, -2*o + 4*p - 4 = 0. Suppose 0*y + o*y = 12. Which is greater: y or 3/2?
y
Let i(l) be the third derivative of -l**4/24 - l**3/3 - l**2. Suppose -5*g = 9 + 1. Let p be i(g). Which is smaller: -2 or p?
-2
Let q = -1 - -5. Suppose j + 4*t = 16, -2*t = -2*j - 5*t + 17. Is q at least as big as j?
True
Suppose 3 = w + 3*j, -3*w + 2 = 2*w + 2*j. Suppose w = -s - 5*s. Is s at most 0.1?
True
Let s(d) = -d**3 - 9*d**2 + 10*d + 5. Let z = 3 + -13. Let q be s(z). Suppose q*y = -5*w + 17 - 2, w = 3*y - 17. Which is smaller: w or -5/4?
w
Suppose g = -g + 8. Let y(a) = a**2 - 4*a - 3. Let r be y(4). Let o = 1 - r. Is g < o?
False
Let j(y) = 4*y**3 - 6*y**2 + 11*y + 3. Let r(u) = -7*u**3 + 13*u**2 - 21*u - 6. Suppose z + 1 = -2. Let n(h) = z*r(h) - 5*j(h). Let s be n(8). Is 3 < s?
False
Let x(t) = -t**2 + 6*t - 1. Let b be x(6). Let a be (-8)/6*21/(-518). Which is greater: b or a?
a
Let y = 2 - 3. Let p(k) = k**2 + k**2 - 3*k**2. Let v be p(0). Which is bigger: v or y?
v
Let s = 147 + -1771/12. Do s and -2 have the same value?
False
Let x(d) = d**3 - 6*d**2 + d - 5. Let r be x(6). Suppose 2*h + h - 72 = 0. Let j be (h/(-27))/4 - 0. Are j and r non-equal?
True
Let j be (36/15)/(-1)*-10. Let p be ((-10)/j)/(7/21). Is -2 less than p?
True
Let q(r) = r - 1. Let c be q(11). Suppose -c*i = -6*i. Is i at least -2?
True
Let h be (-50)/8 + (-3)/(-12). Let s be h/(-24)*1*-1. Is s smaller than -2/11?
True
Let c be 2 + (1 + -14 - 2). Let z = c + 3. Let h be (2/z)/((-16)/100). Which is bigger: 1 or h?
h
Let s = 3 - 5. Is -12/5 at least s?
False
Suppose 12*w - 9 = 9*w. Let n = -3 + w. Which is smaller: -4/3 or n?
-4/3
Let z(i) = -i**3 - 6*i**2 + 6*i + 3. Let r be z(-6). Let j be 4/r*(-27)/6. Which is greater: j or 2?
2
Let g = -2012 - -4119/2. Is g less than 48?
True
Let m be 4 - (4 - 1/1). Let j = m + -3. Let o be (-2)/6 + 1/j. Which is bigger: o or -1?
o
Let q = 8.419 + -0.119. Let b = -8 + q. Let o = -0.1 + b. Do o and 1 have the same value?
False
Let i = -16.966 + -0.034. Do i and 0 have the same value?
False
Let u = -7 - -11. Let h = 4 + -7. Let d = h + u. Which is greater: d or -0.2?
d
Let d(u) = 3*u - 1. Let y be d(-1). Let t be -1*(1 - -4) + 4. Is y smaller than t?
True
Suppose -4*w - 5*x + 58 = 9, 2*w - 2*x = 2. Let g(i) = i - 6. Let r be g(w). Let q = 48 + -338/7. Which is smaller: r or q?
q
Let k be 1/(2 - (2 - 1)). Let v be ((-20)/(-55))/(-4)*2. Is k not equal to v?
True
Let o = 103 + -109.1. Let q = o + 6. Let z = 0.24 + 0.06. Which is bigger: q or z?
z
Let c = -55 + 56. Is 1 at most c?
True
Suppose 1 - 17 = -4*d, 3*h = 3*d - 15. Let g be (0 + 0)*h/2. Let x = -126 + 507/4. Is x greater than g?
True
Let g = -0.8 + 0.5. Let i = -0.4 - g. Let m = 0 - -0.1. Which is smaller: m or i?
i
Let o be (10/8)/((-11)/(-44)). Which is smaller: 6 or o?
o
Suppose 0 = -b + 6 + 10. Which is greater: b or 15?
b
Let d be (-23)/7 - 4/(-14). Suppose 5*g + 7*i = 2*i - 95, -21 = g + 3*i. Let z be (1*-3)/(g/(-12)). Which is smaller: d or z?
d
Suppose -2*w + 3*g = -5 - 0, 5*g = 5*w - 10. Let y(h) = -h + 4. Let r be y(4). Suppose -3*k + 9 = r, k - 1 - 3 = -a. Is w at least a?
True
Let v = 40 + -40. Is 3/5 at most as big as v?
False
Let c = 22 + -33. Is -12 bigger than c?
False
Let y(a) = a. Let n be y(0). Let d = n + 1. Is 2 greater than d?
True
Let y be ((-5)/(-60))/(2/6). Does y = -1/2?
False
Let s(q) = q**2 - 6*q - 1. Let o be s(6). Which is smaller: -18 or o?
-18
Let l be (-1)/(-4) + 21/(-4). Let f = 10 + l. Let h be (-8)/(1/(3/(-6))). Which is smaller: f or h?
h
Let t = 161 - 2736/17. Are -1 and t non-equal?
True
Let u(z) = -z**3 - 2*z**2 + 3*z - 5. Let y be u(-4). Let v be (2/3)/(20/y). Let t = -3.1 - -3. Which is smaller: v or t?
t
Let q = -1060/9 + 118. Suppose -4*r + 5*x = -3*r - 14, 2*x = r - 5. Is q > r?
True
Let h(q) = -q**2 - 2*q + 9. Let j be h(-7). Let x = -11 - j. Let k be (18/x)/(4/10). Which is bigger: 4 or k?
4
Let k be (3/2)/((-18)/48) - -2. Which is bigger: -3/4 or k?
-3/4
Let u = -16 - -12. Which is smaller: -3 or u?
u
Let a = -57 - -110. Is a >= -2?
True
Let p be (-6)/(-9) + (-380)/525. Which is bigger: p or 2?
2
Let q(o) = o**2 - 6*o - 2. Let c be q(6). Let w be (-15)/(-25) - 52/70. Which is bigger: c or w?
w
Let j = 6.6 - 7. Is -2/5 greater than j?
False
Let o = -1/8 - 3/8. Let f be (-2)/2 + 1*9. Suppose 0 = b - 5*b - f. Which is bigger: o or b?
o
Let h be 2*-1 + -12 + -1. Let x = -529 + 515. Which is smaller: x or h?
h
Let j(v) = -v + 8. Let c be j(8). Let z be -1*(1 + (2 - 3)). Are z and c equal?
True
Let z = -0.08 + -3.92. Let y = z + 3. Which is bigger: 1 or y?
1
Let q(z) = -z + 9. Let y be q(10). Are 4 and y equal?
False
Suppose -q + 4*l = 19, -4*q - q - 59 = -2*l. Let u be q/14 - (-2)/4. Which is bigger: 1 or u?
1
Let 