- 6 = 0. Which is bigger: -11 or r?
-11
Suppose 0 = 4*z + 5 - 13. Which is greater: 1 or z?
z
Suppose -72 = 4*z - 4*k, -k + 111 = -5*z - 3*k. Let o = z - -65/3. Let g = 0.2 - 0.2. Is g bigger than o?
False
Suppose 4*g = 10 + 22. Let t(z) = -z**3 + 7*z**2 + 9*z - 2. Let c be t(g). Is 6 at most c?
True
Let c be (-4)/((-80)/105) + -5. Suppose 0 = 5*g - 3 - 2. Suppose 0 = 3*j - 2*r - 4, -3*j = r - g + 3. Which is bigger: j or c?
c
Let o(m) be the third derivative of m**4/24 + 2*m**3/3 + m**2. Let a(d) = -d**2 - d - 2. Let i be a(-2). Let p be o(i). Is p greater than -0.1?
True
Suppose 5*l = 2*l + 15. Let m = l - 1. Is 3 bigger than m?
False
Let b(d) = 4*d + 4*d**2 - 2*d**2 - 1 - 3*d**2. Let u be b(3). Is u greater than or equal to -1?
True
Suppose -4*h = 11 + 5. Let v(p) = -p + 2. Let k be v(h). Let j be 2/k*1*-3. Is -2/19 at most j?
False
Suppose -29*x - 4 = -31*x. Is x at least -2/21?
True
Suppose -3*q + 124 = 64. Is 18 greater than q?
False
Let u(b) = b**3 + 6*b**2 - b - 3. Let c be u(-6). Suppose -2*q + 2*n + 13 = 3*q, -n + 10 = 3*q. Are q and c non-equal?
False
Let v be ((-3)/(-6))/((-25)/30). Is v bigger than -2?
True
Let d(f) = -6*f + 1. Let p be d(-1). Suppose 0*u + 2*t = -3*u + p, 3*u - 11 = 2*t. Suppose u*m + m + 5*s = 20, -4 = m - s. Is 0 greater than or equal to m?
True
Suppose 6 = -b + 2*b. Suppose b = -d + 3*u, -4*u = -2*d + 2 - 4. Let y = d - 10. Which is smaller: 3/10 or y?
y
Let w be 4*(2 + 18/(-8)). Let v(g) = -g. Let x be v(w). Which is greater: -2/15 or x?
x
Suppose 0 = -5*x - 4*u - 8 - 63, 0 = 3*u - 3. Let g = x + 44/3. Is -2/3 smaller than g?
True
Let r = 84 - 90.05. Let y = r - -6. Let p = y - 0.15. Which is smaller: 0 or p?
p
Let q = 8905/302 - -2/151. Let p = 18 - 48. Let y = q + p. Which is smaller: y or 0.2?
y
Suppose 130 = -5*h + 2*n, -2*n - 20 = 2*n. Let k be 2 - 16/9 - 20/9. Let y be h/45 - k/9. Which is smaller: y or -1?
-1
Let f be (-16)/(-20)*(-90)/4. Let l be (-1)/(f/(-4) - 1). Is -1 greater than l?
False
Let w = -0.4 + 0.6. Let y = -0.1 + w. Let c = -0.9 - y. Which is bigger: c or 0?
0
Suppose -3*t = x - 0*t - 9, 0 = x - 2*t + 6. Let v be (x - 48/(-21)) + -2. Let p(a) = -a + 7. Let f be p(6). Is v at most f?
True
Suppose -4*z - 20 = z. Let t = 6 + z. Suppose m = -t, -b - 2*b - 3*m = -3. Is b less than or equal to 1?
False
Let g = 0.06 - -2.94. Let d be (2/6)/(-1 + 0 + 2). Are g and d nonequal?
True
Suppose -5 = -3*o - 8. Is -6/29 bigger than o?
True
Let j = 1063 - 18065/17. Which is greater: 0 or j?
j
Suppose -10 = -t - 4*t. Suppose 2*p + 0 = -t. Which is smaller: -2/11 or p?
p
Let l be (-6 + 6)/((-6)/(-2)). Let s be (3 - 2) + 3 + -2. Which is bigger: l or s?
s
Let x(b) = b**3 - 3*b**2 + b - 1. Let f be x(3). Let v = 1093 - 13211/12. Let u = 26/3 + v. Is f greater than u?
True
Let y = -290 - -6377/22. Is 1 at most y?
False
Let a = 9 - 8. Suppose -4*j - a = -5. Let h be (-1 + 3 - 2)/(-1). Which is bigger: j or h?
j
Let u = 6 + 0. Is u >= -2/5?
True
Let y = -33 + 33. Which is smaller: -1/72 or y?
-1/72
Let p(h) = 2*h - 3. Let r be p(2). Let n = 11467/20 + -573. Let l = n - 3/5. Which is smaller: r or l?
l
Let t = 31 + -89. Which is smaller: -57 or t?
t
Let w = 0.2 - 0.26. Let c = 0.06 + w. Let f be -1 - (0 + (-4)/10). Are c and f equal?
False
Let u be 1/(-2) + 2/4. Let s be u + 1 - 77/63. Which is smaller: s or 1?
s
Let r(i) = i**3 + 5*i**2 + 4*i. Let x be r(-4). Does x = -2/49?
False
Let k(i) = -i**3 - 3*i**2. Let v be k(-3). Let m be 2/(-3) + (-44)/(-30). Is v less than or equal to m?
True
Let d be (-7)/2*(-580)/(-377). Which is greater: -6 or d?
d
Let o = -10 - -15. Let d(m) = 0 + m - 2*m + 3. Let z be d(o). Is -1 equal to z?
False
Let s be 1*3 - (-30)/(-6). Let z be 170/(-120) - 2/(-3). Is s not equal to z?
True
Let b be 3/(-2)*20/(-6). Suppose b*z - 1 = 4. Which is smaller: 4/9 or z?
4/9
Let c be (4/(-12))/(13/3). Let o(b) = 3*b + 2. Let y be o(-1). Are y and c nonequal?
True
Let m = 15 + -9. Let r(d) be the first derivative of -d**3/3 + 7*d**2/2 - 8*d - 2. Let s be r(m). Which is smaller: -3 or s?
-3
Suppose -5*d + 0*p + 2*p + 71 = 0, -35 = -2*d + 3*p. Does 2/3 = d?
False
Let u = 0.07 - 0.07. Let f = 3 + -5. Is u at most f?
False
Let c(i) = i**3 + i**2 - 4*i + 3. Let v be c(2). Let h be -1*(v + -3)/4. Is h at least 2/9?
False
Let l = -0.07 + 1.07. Is l smaller than -12?
False
Let q(m) be the third derivative of m**5/60 - m**4/3 + m**3/3 - 8*m**2. Let s be q(8). Which is smaller: 8/11 or s?
8/11
Let f = 9 - 9. Let i be -1*(-6)/(-2) + 1. Which is smaller: f or i?
i
Let b(l) = l + 1. Let a be ((-1)/(-2))/(1/(-6)). Let x be b(a). Let t = 2/93 + 89/186. Which is smaller: x or t?
x
Let v(m) = 5*m - 6*m**2 - m + m**3 - 4 + 2*m. Let c be v(5). Which is greater: c or -1/14?
c
Let t = -2 + 3. Let n = 2 - t. Is -1 equal to n?
False
Suppose -1 = -5*s - 5*c + 19, 4*s - 12 = -3*c. Suppose -o - 4*o + 25 = s. Which is bigger: o or 4?
o
Let p be 52/6 + (-2)/3. Let y be (p/(-72))/((-1)/(-4)). Are y and -1 non-equal?
True
Let x be (-1)/(-5) + (-70)/(-400). Which is greater: x or 1?
1
Let h(b) = -b**3 - 3*b**2 + 3. Let z be h(-3). Which is greater: -7 or z?
z
Let k = -31 + 27. Let b = -2 - -6. Suppose 0 = b*x - 3*i + 22, 4*x - 15 = 5*i - 41. Is x bigger than k?
False
Let s be ((-16)/28)/(6/(-7)). Which is smaller: s or 0.6?
0.6
Let v = -0.4 + 0.7. Which is greater: 1 or v?
1
Suppose -2*r + 0*s + s + 11 = 0, 12 = -r - 3*s. Let h = 17 - 7. Let q = -7 + h. Is r at most as big as q?
True
Let h = -12 + 13. Let a be (h - 2/4)*-2. Does a = -1/12?
False
Let q be 1/((-3)/(-30)*2). Is q < -0.4?
False
Let i(k) = k**2 + 4*k - 6. Let n be i(-5). Is -6/13 at least as big as n?
True
Let h(p) = p**2 + 7*p - 6. Let a be h(-8). Suppose 4*l - 76 = 2*q - 6*q, 23 = 2*l - q. Let n be 18/l - (-16)/(-56). Which is smaller: n or a?
n
Suppose 25*y = 23*y. Let i be ((-10)/35)/(4/(-7)). Is y > i?
False
Suppose -3*r + 0*r - 6 = 0. Which is bigger: 2 or r?
2
Let s = -2 + 2. Suppose -4*x + 3*u = -x - 6, s = -5*u. Suppose 0 = -4*c - i + x, i - 1 = 5*c + 1. Which is bigger: c or -3/7?
c
Let m(g) = -g + 4. Let k(x) = x**2 + 6*x + 5. Let o be k(-6). Let v be m(o). Suppose -10*p = -13*p. Which is smaller: v or p?
v
Let r = 723 - 727.764. Let p = r - 0.036. Let y = -5 - p. Which is smaller: y or 3/4?
y
Let l be (-81)/(-45) - (0 - -2). Is -1 greater than l?
False
Suppose -10*a - 7 + 97 = 0. Is a at most 17/2?
False
Let w = -1/7 + -2/35. Let m be (2 - 0)*5/2. Suppose -5*o = -0*o + m. Which is greater: w or o?
w
Let l = 457 + -8685/19. Let w be 0*((-9)/(-6))/(-3). Which is bigger: w or l?
w
Let l(y) = -2*y**3 + y**2 + y + 2. Let c be l(2). Let h = 6 + c. Is h < -2?
False
Let q be (-8)/(-3) + -2 + -1. Is q greater than -1/5?
False
Let j = -2 + 0. Let t = -6 + 4. Let h = t + 3. Does h = j?
False
Suppose -62 + 26 = 3*m. Let d = m + 14. Is 6/11 at least as big as d?
False
Suppose -10*m + 7 = -3*m. Let q be 4/15*8 - 2. Is m >= q?
True
Suppose -4*q = -5*q - 2. Let b be ((-4)/(-42))/(q/(-6)). Which is greater: -1 or b?
b
Let j be (3 + 46/(-16))*1. Is j at least 2?
False
Let b(z) = 2*z - 1. Let f be b(6). Suppose 3*d = -4*n + 46, -28 = -2*d - 0*n - 2*n. Let c = d - f. Is c <= -2/11?
True
Suppose 9 = -5*c + 24. Suppose c*f = 6*f + 6. Let w = -1 - 0. Is f less than w?
True
Suppose 0 = 5*h - 15. Suppose 0 = 4*c + 4*r + 16, -16 = -0*c + h*c + 2*r. Let g = 7 + c. Is g < 4/9?
True
Let v(i) = i**2 + 5*i + 6. Let m be v(-3). Is -1/8 less than or equal to m?
True
Let v be ((-5)/(-10))/(1/(-12)). Let g(c) = -c**3 + 3*c**2 + 2*c - 1. Let r be g(2). Let a = r + v. Does -1/9 = a?
False
Let u = 8267/3810 + -2/635. Are 1 and u non-equal?
True
Let z = 0.26 - 1.26. Let a = z + 1.02. Which is greater: a or 1/4?
1/4
Suppose s = 5 - 4. Suppose s = 3*v + 4. Let c = 22/3 - 15/2. Is v < c?
True
Let b = -33 + 29. Let c be b - (-1 - (3 - 4)). Let k be (0 - -1*1)*-3. Which is smaller: k or c?
c
Let c be 1/(-3) + 4/3. Let m(g) = -g**2 + 13*g - 8. Let i be m(12). Suppose i*h - h - 6 = 0. Which is smaller: c or h?
c
Let v be (-20)/(-60)*(-9)/(-2). Let l be -8 + (0 - -1) - 1. Let o be l/(-6) + 2/(-6). Which is bigger: o or v?
v
Let p = -124/65 - -30/13. Suppose -x = -0*x + r + 11, -3*x - r = 31. Are p and x nonequal?
True
Suppose 0 = 4*k - 0*k. Let m be k/(-2) + (-7)/14. Which is bigger: m or 0?
0
Le