*y + 11 = 0, -z + y + 4*y + 16 = 0. Let r = -2/69 - -286/345. Is r less than z?
True
Let g = 7 - 7. Let c = -1 - g. Is c bigger than 1?
False
Let h = -18.44 + 0.44. Let b = 18.28 + h. Let k = b - -0.02. Is -2 at least k?
False
Let k = 428/3 - 140. Which is smaller: k or 2/5?
2/5
Let k be (-5 - 102/(-5)) + (-4)/10. Is k less than 16?
True
Let u be 2/(-10) - (-28)/340. Which is smaller: u or -1?
-1
Let l = 1 + 1. Let b(x) = x**3 - 3*x**2 + 2. Let d be b(3). Do l and d have different values?
False
Suppose 0 = 2*h + 5*h. Is 1/25 smaller than h?
False
Let t be (-2)/(-3)*3 + -2. Let n(o) = 2*o. Let k be n(-1). Let u = 3 + k. Which is smaller: t or u?
t
Let m(r) = r**2 + 2*r - 5. Let o be m(-4). Suppose o*l + 3 = -0. Let k be ((-2)/69)/((-5)/15). Which is smaller: k or l?
l
Let r = -35 + 37. Is 0 less than or equal to r?
True
Suppose 2*o + 8 = -0*c + c, 5 = c + o. Let j(b) = -b**3 - 3*b**2 - 4*b - 3. Let g be j(-2). Suppose -g = t + h - 0*h, -3*h = c. Which is greater: t or 2?
2
Suppose 0*n - 2*n - 38 = 5*c, 0 = 3*n - 3. Are c and -6 unequal?
True
Suppose -2*m - 26 = -0*m. Let z = 7 + m. Let x be z/10 + (-104)/(-40). Is x > 2?
False
Suppose 2*l = 4*l. Let y be -3*(-1)/(-114)*-4. Which is greater: l or y?
y
Let s(c) = c - 1. Let q be s(0). Let l(w) = -w**2 + 6*w - 7. Let x be l(5). Let d = x - -1. Is q <= d?
True
Let m = -0.1 + 1.1. Suppose 0 = -5*s - 3*t + 1, 5*s + 15 = 3*t + 2*t. Which is bigger: s or m?
m
Let q(f) = 3*f + 4. Let c be q(2). Is 11 > c?
True
Suppose 3*s + 2 = 4*n - 5, -4*s - 5 = -n. Let l be (2/6)/(1/9). Let u = -19/7 + l. Which is smaller: s or u?
s
Suppose -2*b + g + 7 + 1 = 0, 5*b + 5*g - 5 = 0. Suppose -4*d - b*h = -83, -3*d = -h + 2*h - 56. Suppose 0 = -4*t - 1 + d. Which is smaller: 5 or t?
t
Let y be (12/65)/(2/5). Let j = y + -70/39. Which is bigger: 0 or j?
0
Let v(n) = -n**3 - 2*n**2 + 14*n + 12. Let i be v(-5). Do 18 and i have the same value?
False
Let n = -37/403 + -3/13. Which is greater: -1 or n?
n
Let q be (-3)/(1*-6)*4. Let t be (4/(-8))/((-1)/q). Let b be (-1)/(t*(0 + 1)). Which is bigger: b or 1?
1
Suppose -5*l + 18 + 26 = 4*o, -3*o - 4*l = -34. Let t be 3/(-18)*(o + -2). Is t >= -1?
True
Let q be ((-8)/(-12))/(4/(-6)). Is 2/19 at most as big as q?
False
Let q = -1 + 5. Suppose q*b - 11 - 5 = 0. Is b >= 4?
True
Let l = 0 - 1. Let u be (-40)/(-196) - (1 + l). Let x = -188/441 + u. Are -1 and x unequal?
True
Let w be 120/(-104) + 4/26. Which is smaller: 2/83 or w?
w
Let x = 1 - 1.51. Which is greater: x or 0?
0
Let u = 26 - 21. Are u and 0.3 equal?
False
Suppose l + 4*x - 11 = 0, 5*l - 2*l = 4*x - 15. Let z be l/(1*-3*1). Let m(w) = -w**2 + 6*w - 5. Let f be m(5). Is z smaller than f?
False
Let k(l) = 6*l - 6. Let u be k(-1). Are -12 and u unequal?
False
Suppose o = -4*o. Let u(a) = a**2 - 2*a + 2. Let w be u(2). Let y be o/4 - (w + 3). Which is greater: -6 or y?
y
Suppose 3*i - 3*x - 21 = 0, 4*i + 9 - 33 = 5*x. Suppose j - 4*w - 23 = -2, -2*w - i = -j. Let d be (1 - j)/(-9 - -7). Is 1/5 at least as big as d?
True
Let y be (-136)/48 + (-2)/12. Let b be (-1)/1 - (-2 - y). Is -2 equal to b?
True
Suppose 0 = -4*p + 7 + 21. Do 7 and p have different values?
False
Let u be 5/(-20) - 57/12. Let b = u + 2. Suppose -4*h = -2*g - 0*g + 2, 0 = -4*h + 4*g - 8. Which is smaller: b or h?
b
Let o = 6 + -5.2. Let t = 21.2 - 22.2. Are t and o unequal?
True
Let a = 9 + -9. Let t = 2/95 + -196/285. Which is bigger: t or a?
a
Let s be (-2 - (-2 + -1)) + -4. Are s and -3/2 unequal?
True
Suppose -4*n + 31 = -3*v, -2*n = 2*n - 2*v - 26. Let x(m) = 3*m + 7 - 2 - 4*m. Let a be x(n). Which is greater: 3 or a?
3
Let w = -2.4 - -7.5. Let t = w + -1.1. Let p = t + -3.9. Is p at least 0.2?
False
Suppose -3*f - 2*f = 0. Let n = -16 - -26. Let t be 2*(n/(-9) + 1). Is t at least as big as f?
False
Let t = 15 + -29/2. Let c = -26 + 26.02. Which is greater: t or c?
t
Let t = 42/5 - 321/40. Which is smaller: t or 0.1?
0.1
Let o = -1 - -1.03. Let j = -0.27 - o. Let a = 0.2 + -0.1. Is a bigger than j?
True
Let h(p) = p**2 - 15*p. Let w(b) = b**2 - b + 1. Let c(t) = -h(t) + 3*w(t). Let j be c(-11). Let x = j + -567/5. Is x smaller than 1?
True
Let o be 2*((-4)/40 - 0). Let h be (3 - 2)*(2 - 2). Let k = 1 + h. Is k bigger than o?
True
Let k = -1795 - -3751/2. Suppose -4*v + 7*v + 237 = 0. Let j = k + v. Is j not equal to 2?
True
Suppose -3 = -2*m - 1. Let v be 3/2*m/9. Let u = 19 + -18. Are v and u equal?
False
Let g be 4 + 1 - 1 - 23. Let r = 34 + g. Is 15 != r?
False
Let i be (-24)/30 + 2/(-10). Is 4/5 less than or equal to i?
False
Let s be (8/(-2) - (-2 + 0))/4. Suppose 0 = -y - 5*b + 11, -5*y + 0*b = -b - 29. Let g be (-3)/(-9) + (-2)/y. Is s <= g?
True
Suppose 2*a - 3 = -5. Let x be 5/(675/6)*-3. Which is smaller: a or x?
a
Let t = 3 - 5. Let y = 3 - t. Let d = 4 - y. Is -0.2 >= d?
True
Let a = -5 + 9. Suppose 2 = -c + 4. Is a < c?
False
Let u = -26 - -27. Which is smaller: -1 or u?
-1
Let u = 10 + -5. Let k be (6 - u)*(-1 - -1). Is k greater than or equal to 1/7?
False
Let u be 15*((-36)/15 + 2). Let q = -4 - u. Suppose 0 = 5*k - q*k - 6. Is 1 smaller than k?
True
Let i(w) = -w + 2. Let v be i(-1). Let l be (v/15)/(15/(-25)). Let p = 0 + 1. Which is bigger: l or p?
p
Let b = -2.8 + 2.3. Let h = b + 0.6. Are h and -2/9 unequal?
True
Let a = 18 - 17. Which is greater: a or -26?
a
Let h be 9/(-8) - 21/(-56). Is 0 less than or equal to h?
False
Let j = 47040/43 - 1094. Which is smaller: j or 0?
j
Let x be 3/(-2) + (-2)/(-4). Let q be 6*(16/6)/(-8). Is x greater than q?
True
Suppose f + 2 = -4. Let u be 20/f*(-3)/(-8). Suppose i - 3*l = -9, -2*i - 6 = -2*l - 0*l. Which is smaller: i or u?
u
Let y(m) be the second derivative of 2/3*m**3 - 3*m**2 - 1/20*m**5 + 0 - 2*m - 1/3*m**4. Let r be y(-5). Which is smaller: r or -5/3?
-5/3
Suppose -5*k - 39 = 4*b, 0*b + 2*b - k + 23 = 0. Which is smaller: b or 1/4?
b
Let a = 40 + -239/6. Let z be 2/5 - 2/5. Let o be z - 1 - (4 - 6). Which is bigger: o or a?
o
Let a = 3/2 + -2. Suppose 2*w = 3*c + 2, 2*w - 2 = 2*c - 0*w. Suppose -5*u - 3*n + 6*n - 15 = 0, 4*u - 3*n + 15 = c. Is u not equal to a?
True
Suppose -3*b + 5*r - 232 = 0, -2*r = 2*b - 6*b - 314. Is b bigger than -78?
False
Let u(y) = -y**3 - 6*y**2 - 4*y + 4. Let w be u(-5). Does -3/5 = w?
False
Suppose -j + 5*j = -d - 31, -5*j - 5*d - 35 = 0. Does -8 = j?
True
Let l = -41 - -40. Which is smaller: l or -2/9?
l
Let g be -1 + -4*(-4)/16. Is 0 >= g?
True
Let s = 27 - 19. Let j = 226 + -439/2. Is j bigger than s?
False
Suppose 5*n = 15 - 5. Let i be (-210)/(-75) - 1/(-5). Let x be (i - n) + -1*3. Which is smaller: 2 or x?
x
Suppose s = 6*s. Suppose s*u = -4*u. Suppose -y - 1 - 2 = u. Which is greater: y or 0.1?
0.1
Let n = 9/46 - 283/506. Let f be 16/6 - (-1)/3. Let t = 2 - f. Is t at least as big as n?
False
Let g be (14/(-1))/(8 + -6). Let l(z) = -6*z - 2 - z**2 + 10 - 2. Let n be l(g). Which is smaller: -1/5 or n?
n
Suppose -k + 5*d + 3 = 2*d, 3*d = -k + 3. Suppose -s + k*w - 6 = -3*s, -s = 4*w - 3. Suppose s*z + 10 = t, -2*t + 0*z = -3*z - 11. Which is smaller: t or 2?
t
Suppose 37 = -7*f + 2. Which is bigger: f or -4?
-4
Let c be (-1)/(-4) + (-132)/16. Let i = -6 - c. Let h be i*-1*3/27. Which is greater: -1 or h?
h
Suppose -5*w - 3 = 37. Let x(k) = k**2 + 8*k. Let d be x(w). Let v = -50/247 + 4/13. Which is greater: d or v?
v
Let l(n) = -n**2 - 6*n - 5. Let m be l(-5). Suppose r - 5*r = m. Let a(o) = o**2 + 4*o + 5. Let h be a(-2). Which is smaller: r or h?
r
Let y = 2857/764 - -2/191. Let g be (-10)/8 + 325/52. Is g at most as big as y?
False
Let h(o) = o**2 - 3*o - 5. Let m be h(5). Let v be m/(-3)*(-3)/3. Is v at most as big as 1?
False
Let i = -3.062 + 0.142. Let z = 0.08 - i. Is 0 at least as big as z?
False
Let z = -0.26 + -2.74. Is -0.5 equal to z?
False
Suppose 3*c - 15 = 3*x, -19 = x + 2*x - 4*c. Which is smaller: x or -21?
-21
Let o = 114 + -109.78. Let a = 0.42 - o. Let p = -4 - a. Which is smaller: p or 2/7?
p
Let j be (-1 - 1)*7/14. Which is smaller: j or 1/6?
j
Let x be (124/20)/(3/5)*-6. Is -62 at least x?
True
Let r(d) = -d - 3. Let b be r(0). Let y be 2/b*(5 - 2). Is 0 equal to y?
False
Let u be (-9)/3 - (-20)/6. Let l = -0.01 - 0.09. Do u and l have the same value?
False
Let l = -47 - -46. Is 4/33 smaller than l?
False
Let p be ((-35)/