(-4)). Are 0 and h equal?
False
Let b = -2 + 14/5. Which is smaller: 0 or b?
0
Suppose s + 30 - 10 = 5*o, o = 3*s - 10. Let b be (2 - 3/2)*-4. Let h be b - 6/(-3) - -4. Which is smaller: h or o?
h
Let g(p) = -5*p**2 + 10*p + 1. Let z(j) = 11*j**2 - 21*j - 3. Let c(l) = -13*g(l) - 6*z(l). Let s be c(-5). Which is bigger: s or 2?
2
Suppose -2 + 0 = 2*i. Which is bigger: i or 0?
0
Let v = 646/9 - 72. Is -1 greater than or equal to v?
False
Let p(d) = d**3 - 4*d**2 - 4*d - 3. Let h be p(5). Suppose -z - h*z = -12. Which is smaller: 3 or z?
3
Let t = -0.3 + 0.2. Let q(k) = k**2 + 6*k + 5. Let c be q(-5). Let h be (-2 - (-21)/12) + c. Which is smaller: t or h?
h
Let h = 0.6 - 3.6. Which is smaller: 2/13 or h?
h
Let k be (18/(-28))/((-7)/14). Which is greater: 2 or k?
2
Let l = 3/17 + 267/221. Does l = 1?
False
Let b(k) = -k**2 - 3*k + 4. Let u be b(-4). Which is smaller: -2/25 or u?
-2/25
Suppose 0*y - 8 = -4*y. Suppose 2*s = 3*h - h - 26, 0 = -3*s - 4*h - 46. Let d be 6/(-21) + (-32)/s. Is y <= d?
True
Let m(c) = c**2 - c. Let b be m(3). Let j(r) be the first derivative of r**2 - 8*r - 1. Let u be j(b). Which is smaller: 5 or u?
u
Let z = 8 + 2. Let m = z + 4. Suppose -5 = -4*w + p, 5*w + 1 - m = -p. Which is greater: 2/3 or w?
w
Suppose 0 = -8*b + 3*b. Let d be -3 - (b + (-6)/3). Which is greater: d or -2/19?
-2/19
Suppose -4 = -x + 2*k, -16 = -3*x - k + 3*k. Suppose 5*c - h = -3, 2*h + 12 = 5*c + x*h. Let p be 4/18*(-6)/(-20). Is p <= c?
False
Let m = 14 - -4. Do m and 17 have different values?
True
Let a = -0.79 + -0.21. Which is bigger: a or 4?
4
Let c = -0.1 + -2.9. Let v = -6 - c. Are v and 1/4 unequal?
True
Let f be ((7587/(-390))/(-3))/3. Let h = f - 11/5. Let v = h - -7/13. Which is bigger: 2 or v?
2
Let w be (-12)/9 + 8/(-12). Let r be 4/8 + 5/w. Which is smaller: r or -1?
r
Let u(i) = i**3 - 2*i**2 - 7*i - 2. Let j be u(4). Suppose 3*n + 9 = 3*t, 0*t + j = 2*n + 2*t. Is 0 smaller than n?
False
Let g = -11.09 + 0.09. Are g and 1/5 non-equal?
True
Suppose 3*a - 12 = -0*a + 3*v, -2*a + 5*v + 20 = 0. Suppose -2 = -4*l - 3*c + 1, 2*c + 6 = a. Is l at least -2/7?
True
Let u = -0.28 + 0.38. Is 0.1 at least as big as u?
True
Let d = -13 - -14. Let p be 0 + (-5)/(90/4). Is p at most d?
True
Let x = 0.05 - 0.05. Are -0.5 and x unequal?
True
Let c be ((-8)/(-10))/((-2)/(-5)). Suppose 5*l = 5*v - c*v + 17, -18 = 2*v - 5*l. Let y(d) = -2*d**2. Let g be y(v). Are g and -1/2 non-equal?
True
Let a = 30 - 18. Is a not equal to 12?
False
Suppose 4 - 16 = 4*c. Let n be (-12)/(-21)*c + 0. Let u = -2 - n. Which is bigger: 0 or u?
0
Suppose -l - 3 = -q, 0 = -q - 0*q + 2. Which is greater: -5 or l?
l
Suppose -10 = -2*t - 2*o, -4*t + 7*t + 5 = 2*o. Which is bigger: -2/265 or t?
t
Let d = -15 - -8. Is -8 at least as big as d?
False
Let m be 16/2 + -4 + 4. Which is smaller: 13 or m?
m
Let w = -888 + 2698/3. Is w not equal to 11?
True
Let z be (8/20)/((-6)/(-45)). Which is smaller: 17/5 or z?
z
Suppose 2*r + 8 = 4*q - 5*q, -r - 9 = -2*q. Which is smaller: r or -3?
r
Suppose -1 - 3 = k. Let s be 1*-1 + (-9 - -6). Are k and s nonequal?
False
Let y(v) = -v**2 - 2*v - 2. Let a be y(-4). Suppose 2*o = 5*h + 45, -h + 5*o = o + 9. Is a greater than or equal to h?
False
Let n = 9 - 10. Which is greater: -2/15 or n?
-2/15
Let f = 37 - 38. Are f and 5/13 unequal?
True
Let t(q) = -q + 1. Let w be t(2). Suppose -7*m = -5*m. Suppose m = -5*j - 0*j. Is w > j?
False
Let d(u) = -5*u + 2. Let g be d(2). Let b(r) = -r**2 - 7*r + 7. Let m be b(g). Which is smaller: m or 0?
m
Let i be (-20)/375*4/(-16). Which is smaller: i or 1?
i
Suppose -3*a - 2*o = -2, -4*o - 1 + 5 = 0. Let y be a + 1 - (-30)/(-26). Let t(r) = r - 1. Let i be t(0). Is i >= y?
False
Let k = -433/4 + 108. Let w be (1/1 + 0)*-1. Which is bigger: w or k?
k
Let w = -3/2755 + -7699/13775. Let b be (-1239)/600 - (-2 + -1). Let x = w + b. Is -0.1 at most x?
True
Suppose -3*q + 0*q = 0. Let k = 110939 + -10983079/99. Let l = 18/11 + k. Which is smaller: q or l?
q
Let o = 19 - 19. Let d be (1/(-1))/((-26)/(-4)). Which is bigger: d or o?
o
Suppose 5 = 3*q + m + 2, -1 = -q + m. Let s = -3 + q. Let a be (-2)/(-4) + (-1)/6. Is a greater than s?
True
Let l = 0.3 - -0.3. Let a = 1 - l. Does 2/7 = a?
False
Let d be (-2 + 2)/2*-1. Suppose -1 = -u + 14. Let t be (1/5)/((-6)/u). Do d and t have the same value?
False
Let k be (-42)/5 - 2/(-5). Let n be (-3)/((-18)/k) - -2. Is n smaller than -3?
False
Let o be 3/18 - 11/2. Is o <= -5?
True
Let k be 2 + -1*(1 + 4). Let l be -1 + 0 + 1 + 2. Suppose 0 = -0*g + g + l. Is k > g?
False
Let y = 53/5 + -376/35. Let o(n) = -n**3 + n + 1. Let a be o(0). Which is smaller: a or y?
y
Let u be 0 + 2 + (-48)/21. Let q = -0.2 - 2.8. Is q less than u?
True
Let q = -1362 - -175696/129. Let z = q + 151/1419. Is z smaller than 1?
True
Let f = -78 - -82. Is f at least 1?
True
Let a(w) = -w**3 + 7*w**2 + 9*w + 1. Let u be a(8). Is u smaller than 7?
False
Let p = 4 + 3. Let u = p - 6.8. Are u and 1/4 equal?
False
Suppose 2*q = 6*q - 80. Suppose -3*l + u - q = 6*u, -2*l + 16 = -4*u. Suppose 0 = -4*j + 5*j. Is j less than l?
False
Let s = -1 - -4. Suppose -2*t = s - 5. Suppose n = -4*n. Is n bigger than t?
False
Let g = 0.21 + 0.05. Let i = 11.26 - g. Is 0.1 greater than or equal to i?
False
Let q be 0 - ((-117)/(-6) - 1). Let k = q + 183/10. Which is smaller: k or 1?
k
Let d be (2/(-6))/((-2)/(-3)). Suppose 0 = -0*z - 2*z. Is d smaller than z?
True
Let v = -0.57 + 0.17. Let t = -3.6 + 4. Let x = v + t. Which is bigger: x or -4?
x
Let j(v) = v**2 + 8*v - 9. Let z be j(-10). Let b = z - 22. Is b at most -11?
True
Let u = 10 - 9.3. Let v = u - -0.2. Let h = 602 - 603. Which is greater: h or v?
v
Suppose 0 = 3*x + x. Let z = -10 - -10. Suppose 4*b + 1 + 7 = z, 7 = -3*a - 2*b. Which is smaller: a or x?
a
Let h be (39/(-3) - -3)*2. Which is smaller: -21 or h?
-21
Let n(v) = v**3 - 14*v**2 + 23*v - 11. Let t be n(12). Which is bigger: t or -25?
t
Let j(h) = h**3 + 7*h**2 + h - 3. Let s be j(-3). Suppose 0 = -2*r + 7*r - s. Is r at most 6?
True
Suppose 2*p = -3*j + 53, -3*p - p - 13 = -j. Which is smaller: 18 or j?
j
Let q be 0 + (-8)/(-28) - 79/7. Which is smaller: -10 or q?
q
Let d = -7.6 - -7. Let y = d + 0.5. Let u = y - -1.1. Which is smaller: u or -0.3?
-0.3
Suppose 2*x - 2*o - 83 = 141, 5*x - 540 = o. Which is smaller: x or -1?
-1
Let y = 0 + 4. Suppose 3*t + 4*f + 18 = 5*t, y*f = 4*t - 24. Let d be (-1 + -2)/(3/(-2)). Is d <= t?
True
Suppose 0 - 5 = -4*q - t, -4*q + 4*t = 0. Which is smaller: q or 1/8?
1/8
Let c = 671/12838 + -3/262. Which is smaller: 0 or c?
0
Let o = -2 - 0. Let m(u) = u. Let z be m(0). Suppose 3*p - 3 = -z*p. Is o at most p?
True
Suppose 0 = -2*b + 4 + 6. Let o(z) = z**2 - z + 1. Let q be o(2). Which is greater: b or q?
b
Let o be 2/2 - 3/(-1). Suppose -z + o*z = 0. Which is smaller: z or 2?
z
Let t = -4.8 - -8. Let y = t - 3. Let z(m) = -m**3 - 3*m**2 + 11*m + 6. Let j be z(-5). Which is greater: j or y?
j
Suppose 2*o - 8 - 84 = 0. Let t be 8/32 - o/120. Is t at most 0.1?
True
Let f(t) = -t**3 - t**2. Let v be f(-1). Suppose 0 = -2*w + w + 4*x + 8, 5*x = 0. Let n be (6/(-4))/((-20)/w). Is v > n?
False
Let o = -20 - -17. Let i(v) = -v - 2. Let u be i(o). Is u at most -1/12?
False
Let c = 608/7 + -87. Which is smaller: c or 1?
c
Let c = -10 + -2. Let a be 60/14 + c/42. Let l = a + -5. Is l equal to -2?
False
Let r = 42 - -54. Let v be r/(-10) - (-8)/(-20). Let h be v/(-35) - (-9)/(-7). Which is smaller: h or -1/3?
h
Let d(m) = m + 9. Let l be d(-6). Suppose -4*y - l*c + 5 = -4, 5*y = -2*c + 6. Which is smaller: -1/6 or y?
-1/6
Let t(i) = -4*i**3 + 2*i**2 + 2*i + 1. Let h be t(-1). Suppose -4 = -2*m + 4. Which is smaller: m or h?
m
Let w = 0 - 1. Let f = 1/7 - 17/21. Which is bigger: w or f?
f
Let k(v) = -v**3 + 4*v**2 + v - 3. Let l be k(4). Let d = l + -4. Is d at least 1?
False
Let f be (1 - (-1)/2)*(-6)/18. Does -2 = f?
False
Suppose -800 = -2*l - 4*k, 1198 = -l + 4*l + 5*k. Let j be l/27 - (-2)/6. Let s be 10/j + 0 + -1. Is s equal to 0?
False
Let x = 2 + -1. Are x and 1 equal?
True
Let a be 6/(-27) - 47/(-9). Suppose -3*s = 3*o - 9, -4 = -a*s + 16. Which is smaller: o or -2?
-2
Let a(z) = -z + 6. Let f be a(7). Which is smaller: f or -2?
-2
Let w = -44 + 41.7. Let h = w - -1.4. Le