 Let m = -7 - f. Which is greater: 1 or m?
1
Let b = 27 + -79/3. Do 0.1 and b have the same value?
False
Suppose 2*o + 4*h = 2, -4*o + 2*h = -2*h - 4. Let d = 133 + -933/7. Which is bigger: o or d?
o
Suppose -3*y + 10 = 5*l, -2*l + 22 = 4*y - y. Let g = 9 - y. Is -3 at least g?
False
Suppose 2*q + 3 + 13 = 0. Let v = -4 - q. Which is bigger: 5 or v?
5
Suppose d - 55 = -52. Let n(j) = -j - 3. Let k(x) = x**3 - 3*x**2 - 5*x - 1. Let q be k(4). Let m be n(q). Is d less than or equal to m?
False
Let l = -21 - -20. Let f = 0.1 + 0.1. Which is smaller: l or f?
l
Let u = -2.86 + 0.86. Let v = 0.12 - 0.1. Let l = 1.98 + v. Is l <= u?
False
Let q(h) = -h**3 - 6*h**2 - 4*h - 7. Let u be q(-5). Let l be (-38)/u + 4/(-24). Suppose l*t + 2*t + 11 = -4*d, -4*d = -t + 17. Is 1 less than t?
False
Suppose -24 = -5*i + 3*v, 2*v = -4*i + 7 - 1. Suppose -5*c + 6 + 4 = -i*q, -q + 5*c - 10 = 0. Which is smaller: 1/6 or q?
q
Let f(u) = -u**2 + 10*u + 8. Let k(g) = 6*g**2 - 51*g - 41. Let a(b) = 11*f(b) + 2*k(b). Let v be a(-6). Let m be (3/(-27))/(2/v). Does m = 2/13?
False
Let r = 16.4 + -16. Is 2 smaller than r?
False
Let n be ((-6)/(-4))/((-15)/140). Let q = 15 + n. Is 0 not equal to q?
True
Let i = -17 + 18. Let t = -3938/465 + 128/15. Which is smaller: i or t?
t
Let n be ((-2)/(-4))/((-13)/(-234)). Is n greater than 9?
False
Let m = 28 + -35. Is -8 smaller than m?
True
Let i be (-18 - -2) + 0/2. Let k = i + 16. Which is bigger: k or -1?
k
Let p be (16 - 1)/5 + 74/(-14). Do p and -1 have the same value?
False
Let x be (2/4)/((-2)/4). Let l = 109/3 - 37. Is l < x?
False
Suppose -3*b = -13 + 7. Suppose -4*j - 5 = x, -5 = -j - b*j + x. Is 3/11 >= j?
True
Let z = 1.92 + -2. Let o = z + -1.92. Which is smaller: -1 or o?
o
Suppose 4 = 3*u + 4*y, -5*u + 2*u + 10 = y. Suppose w = d + 2*w + u, 3*d + 2 = 2*w. Are d and 3 unequal?
True
Let q = 91.1 + -91. Is q <= 22?
True
Let m be 2/(-4)*12/18. Let o = -9.82 - 0.18. Let q = o + 7. Is q greater than m?
False
Let w = 3 + -4. Let c(l) = -l**2 - 24*l - 78. Let g be c(-20). Which is bigger: g or w?
g
Suppose -2*k + 1 = -3*t, -5*t = -3*k - 2*k. Let r be 0 + 0 + (-6)/(-5). Let j = r - 7/5. Is j less than k?
False
Suppose 0 = -u - 4*n + 6, 12 = -u + n + n. Is u bigger than -7?
True
Let l be 6/4*3/45. Let p be 12/30 - 64/10. Let y be 3 - (-4)/8*p. Which is smaller: y or l?
y
Let f = 61 + -96. Is -35 smaller than f?
False
Let m = 13 - 9. Suppose 4*j = -3*f + 1 - 21, m*f + 10 = -2*j. Which is smaller: -5/6 or f?
-5/6
Suppose 3*l = -0*l + 12. Suppose 11 = -j - g, l*j + 4*g - 6 = 5*j. Which is greater: j or -9?
-9
Suppose f - 1 = -3*i + 3, -2*f = 2*i - 4. Suppose -k + 18 = 2*k. Let u be k/(-20) - (-2)/4. Which is smaller: i or u?
u
Let z(p) = 2*p + 11. Let k(g) = -g - 5. Let y(u) = -7*k(u) - 3*z(u). Let t be y(-2). Is t greater than or equal to -3/7?
True
Suppose -3*c + 24 = -3. Let j = c - 9. Suppose j = v - 1 - 0. Which is smaller: v or 2?
v
Suppose 4*s - 17 = 7. Suppose 5*u = 3*r + 15, -4*u + 12 = 2*r - 0*u. Let b be 5 + r*(-3)/6. Which is smaller: s or b?
b
Suppose -4*u + 3*p = -7, -5*u - 4*p + p = 25. Suppose 2*k = -2*r, -k + 15 = -4*k + 2*r. Which is greater: u or k?
u
Suppose 4*m - m = -0*m. Which is smaller: 2.8 or m?
m
Let c(q) = -q**2 - 4*q + 7. Let o be c(-5). Suppose -2*h - o = 4. Let t(s) = s**3 + 4*s**2 + 3*s - 1. Let g be t(h). Which is smaller: g or 2/5?
g
Let u be 9*(-3)/((-27)/(-12)). Let d = u - -7. Let s(m) = m**3 - 10*m**2 + 9*m - 4. Let v be s(9). Which is smaller: d or v?
d
Let s = -0.33 - -18.33. Let b = -19 + s. Are b and 4 non-equal?
True
Suppose 3*c + 14 = -0*m + m, -2*m - 8 = 3*c. Suppose 0 = 2*n - 6*n. Which is greater: m or n?
m
Let x be (-2 - -2)/2 - (5 - 1). Let i(v) = -v**3 + 4*v**2 - 2*v + 5. Let s be i(4). Is s greater than x?
True
Let c = -19 + 19. Is c bigger than 3?
False
Let t = -953/5 - -190. Which is bigger: t or 0?
0
Let i(x) = x - 6. Let r be i(11). Let c be 0 + ((-15)/18)/r. Let q(p) = 2*p**2 - 1. Let y be q(-1). Is y smaller than c?
False
Let z = 0.06 + -0.21. Let a = z + 0.05. Which is smaller: a or 5?
a
Suppose 0 = 3*i - 8*i. Suppose 4*c - 12 = -2*h + 4*h, i = 4*c - 5*h - 12. Suppose 6*y = c*y. Is 2/15 greater than y?
True
Let k(d) = -14*d**3 - 5*d**2 - 3*d - 32. Let l(r) = 5*r**3 + 2*r**2 + r + 11. Let p(t) = -6*k(t) - 17*l(t). Let u be p(-4). Is u at least 1/9?
True
Let i = -2 + 1. Let z(y) be the first derivative of y**4/4 + 2*y**3/3 + y**2 + y - 3. Let v be z(-1). Which is smaller: v or i?
i
Let g = -0.06 + -0.24. Is 5 at most as big as g?
False
Suppose -3*r + 4*r + 1 = 0. Let g be (-21)/66 + (-2)/(-4). Which is smaller: r or g?
r
Let n = -0.8 + 1.8. Which is smaller: n or 11?
n
Let b be -1 - ((-1)/(-4) - (-3)/(-12)). Is -67 smaller than b?
True
Let z(g) = 2*g + 4 - 7 + 4*g. Let s be z(-3). Let b be s/9 + (-2 - -4). Which is bigger: b or -1?
b
Suppose 4*b = 4*s + 118 - 26, 5*b - s = 103. Is 20 >= b?
True
Let r(l) = l**3 - 6*l**2 + 7*l - 6. Let z be r(4). Let y be 14/(-4)*(-7)/z. Let x = 11/5 + y. Which is greater: -1 or x?
x
Let w = -8 + 13. Let g = 6 - w. Which is greater: g or 2?
2
Suppose -15 = -10*f + 5*f. Is f less than 3?
False
Let j = -29/62 - 1/31. Which is bigger: j or 5?
5
Suppose 2*h - h - 22 = 0. Let f be 8/44 - (-62)/h. Suppose -3 = f*m + 3. Is -1 less than m?
False
Let b = -1 + 4. Suppose -b*k + 4 = -3*f - 2, 4*k - 10 = 3*f. Is f not equal to 6/7?
True
Let z = 334/63 + -256/9. Let d = z + 23. Which is bigger: -0.2 or d?
d
Let v be 2*-1*3/18. Let t = -0.11 - -0.21. Are t and v equal?
False
Let u(r) = -r**3 - 10*r**2 - 6*r - 25. Let q be u(-10). Which is smaller: 34 or q?
34
Let g = 8 - 13. Let b = -4.7 - g. Let j = -0.4 + b. Which is greater: j or -2/7?
j
Let l = -15.1 + 15. Which is greater: -2 or l?
l
Let d = -4 - -4. Let i(q) = -q**2 + 4*q. Let b be i(3). Is b < d?
False
Let h = 0 + 12. Let s be (12/40)/(9/h). Let u(f) = -f - 5. Let n be u(-4). Which is greater: n or s?
s
Suppose 3*w + 13 = 4*w. Which is smaller: w or 0.1?
0.1
Let l = -1822 - -41894/23. Let r = 148/69 - l. Which is smaller: r or 3?
r
Let j = -34 + 57. Suppose -5*d = -2*s - j, -s - 6*d = -d - 26. Does s = 4/7?
False
Let b be (5/25)/((-1)/(-217)). Let g = b - 43. Is g not equal to -1?
True
Let y be (-1)/(3/6)*(-10)/(-4). Suppose 3*h + 7 = -4*o, 0 = -0*o - 2*o - 4*h + 4. Which is bigger: y or o?
o
Let g = 0.18 + 6.82. Which is greater: g or -2/7?
g
Let w(r) = -r**3 + 6*r**2 - r + 6. Let p be w(6). Suppose 5*c + 5 = -p. Is -1/4 < c?
False
Let m be 65/(-21) + 2 + 1. Is m at most as big as 0?
True
Let r = 11 + -10. Let o = -13 + 14.4. Let a = 0.4 - o. Which is greater: r or a?
r
Let y(p) = 7*p**2 + 2*p - 1. Let m(z) = -7*z**2 - 2*z + 2. Let q(o) = 2*m(o) + 3*y(o). Let i be q(-1). Let v be (-2)/i - (-8)/15. Which is greater: 0 or v?
v
Let n be 269/(-267) - 1/(-1). Let r = -1054/1869 + n. Are r and -1 nonequal?
True
Let l = 2 - 1.8. Let d be ((-1)/3)/(3/9). Let f be (8 - 8) + d/1. Do l and f have the same value?
False
Suppose 5*a - 8 = 4*t, -a - t + 8 = -5*t. Which is smaller: a or -3/11?
-3/11
Let g(y) = y**3 + 5*y**2 - 6*y + 6. Let o be g(-6). Suppose 2*h + 6 = 5*h. Suppose -8 = o*v - h*v. Which is smaller: v or -3?
-3
Let f be 1 + (-1 - 1)/1. Which is greater: f or 0?
0
Let a = 93.3 + -79. Let x = a + -13. Are x and 1 nonequal?
True
Suppose 0 = 5*b + 3*u + 57, -5*u - 11 = 3*b - 4*b. Let m be (-8)/(-2)*b/18. Are -2 and m nonequal?
False
Let r = -53/5 + 11. Is r greater than 0?
True
Let a = -14 - -13. Which is smaller: a or -3/14?
a
Let x = 113/3 - 38. Is 1 <= x?
False
Suppose 2 = 4*w + 6. Is -4 not equal to w?
True
Let w be (-2)/(1/(6/(-4))). Suppose w*g = 6*g. Which is smaller: -3/5 or g?
-3/5
Let k = -6.08 + 6. Is 0.2 less than or equal to k?
False
Let b = 6 - 9. Let s(k) = -k - 4. Let z be s(b). Is z greater than or equal to -3?
True
Let a = 1.9 - -4.3. Let d = -6 + a. Do -1 and d have different values?
True
Suppose 4 = -d, -10*d + 130 = -3*k - 11*d. Is -42 >= k?
True
Let v = -1.04 - -1. Let h = 1.96 - v. Let q = -1 + h. Is q greater than or equal to -0.1?
True
Let s = 42124/59 + -714. Let l = s - 163/413. Which is greater: 0 or l?
0
Let m be (-1034)/(-1330) + (-2)/2. Let g = 15954/95 + -168. Let u = m + g. Is 1 < u?
False
Let j = -0.7 + -0.3. Let p(a) = a**3 - a**2 + a + 1. Let v be p(0). Let q be 8/