5, -z*d - 2*q + 2 = q. Which is bigger: f or d?
d
Suppose 3*k - 6 = 2*k. Suppose 0 = g - 1 + 3, -5*g - k = -2*f. Let o = 148 + -743/5. Which is greater: f or o?
o
Let t = -3.07 - -0.07. Let s = t - -4. Let h = 0 + s. Which is bigger: 0.3 or h?
h
Suppose 1 = i - 0. Suppose j - 5*j - 4 = 0. Let f be (j/2)/((-2)/4). Is i at most f?
True
Let i = 0 - -2. Suppose i = -0*p + p. Suppose -2*t = -2*v, -p*v - 5 = v - 2*t. Which is smaller: -4 or v?
v
Let p(j) = -j - 3. Let w = 1 + -4. Let g be p(w). Which is smaller: g or 3/8?
g
Suppose -4*y = 5*a + 423 + 17, 0 = -3*a. Let z be 4/(-18) + (-658)/6. Let l = y - z. Which is smaller: l or 0?
l
Suppose -2*j + j + 7 = 0. Let l(b) = -b**3 + 6*b**2 + 3*b + 7. Let o be l(j). Let s be (1/7)/((-6)/o). Is 1 at most as big as s?
False
Let j be 0 + -3 - 0/(-1). Let t = 688/5 + -138. Is j greater than t?
False
Let z be (178/(-40) - -4) + 1/5. Which is smaller: z or 8/7?
z
Let x be (-3)/((-4)/8 - -2). Is -16/7 greater than x?
False
Let b be 1/(-2)*(1 + -3). Let f be (-3)/44 + 2/8. Which is smaller: b or f?
f
Let k(g) = -4*g**3 - 2*g - 1. Let t be k(-1). Let x be -1 + (0 + (-8)/(-1))/2. Let i = t - x. Which is greater: -0.1 or i?
i
Suppose 0*m - 3*m = -6. Let y = 11 + -12. Which is bigger: m or y?
m
Suppose 2*k - k - 39 = 2*h, h = 4*k - 2. Is -23 greater than h?
False
Let j = 58 + -76. Which is bigger: -1 or j?
-1
Let b = -1/152 - 287/2584. Is b >= 0?
False
Let d be (3/(-6))/((-2)/(-8)). Let v = 3 + d. Suppose v = j, 5*s + 2*j - 2 = -0*s. Is -2/23 >= s?
False
Let l(c) = c**2 - 4*c - 3. Let h be l(5). Suppose 4*d + 0*n = -h*n - 10, 2*d = 2*n - 14. Let q be d/(-6) + 46/(-60). Is 0 at least as big as q?
True
Let p = 0.22 - 0.12. Is 3 <= p?
False
Let o = 26 - 23. Let q = 1377/5 - 273. Which is smaller: o or q?
q
Suppose -4*p = -7*p + 45. Suppose 0*h - 3*h + p = 0. Is h at least as big as 7?
False
Let v = -3 - -7. Suppose 0 = z + v*p + 10, 2*p + 30 = 5*z + 6*p. Suppose -5*k - z = u, -3*k - 6 = -0*k. Is u less than 3/4?
True
Let i = 557/6 + -93. Let j(s) = s**3 + 4*s**2 - 6*s - 5. Let d be j(-5). Let b be (d/(-1))/(1/1). Is b at most i?
False
Let v = -571/5 + 114. Do v and 1 have the same value?
False
Let t = 0.21 - 0.14. Let w = -0.03 - t. Is 0.2 bigger than w?
True
Let t be 4 + (-1)/(137/551). Let f = t + -3419/274. Which is smaller: f or -13?
-13
Let a be (-1)/(-17)*(14 - 12). Is a at most as big as 0?
False
Suppose -x = 1 - 4. Let m(y) = -y**3 + 3*y**2 - 2*y. Let v be m(x). Let p = -4 - v. Is 1 greater than p?
False
Suppose -4*r = -y + 3, -4*y - y + 59 = 2*r. Suppose -6 = 4*q - h, q - 4*q = -4*h + y. Let p = -9/200 + -2/25. Is p equal to q?
False
Let h = 0 - 0. Let o = 0.1 + h. Let q be 39/(-45) + 4/6. Which is bigger: q or o?
o
Let g = 0.047 - 0.247. Is -3 > g?
False
Let a = 0.7 + 0.3. Let c = 0.4 - 0.3. Let n = 1.1 - c. Is a less than n?
False
Let i be ((-3)/8)/((-3)/(-2)). Suppose 5*a = -b - 1, a - 3*b = -0*a + 3. Which is bigger: i or a?
a
Suppose -3*x = -x + 5*s - 21, 5*x - 2*s = -20. Suppose -5*b = -2*b + 6. Is b at most x?
True
Let m = -108/505 + 1323821/1010. Let r = m + -1284. Let i = -26 + r. Which is smaller: 1 or i?
i
Let y = -2 + 1. Let d = -8.89 + -0.11. Let i = -7 - d. Are i and y nonequal?
True
Let i be ((-1)/(-14))/(3/300). Let c = i - 52/7. Which is smaller: c or 0.5?
c
Let v be 0 - (-1 + 1) - 2. Let i(b) = 4*b - 79. Let a be i(19). Which is smaller: a or v?
a
Suppose 0 = 3*v + 4*k - 8, 5*v - 10 = -4*k + 6. Suppose 4*l + 20 = -v. Which is bigger: l or -7?
l
Let r(f) = -f**2 + 2*f + 1. Let m be r(-1). Let v(p) = p**3 - p**2 + p - 1. Let l be v(1). Suppose 4*c + 0 + 4 = l. Which is smaller: m or c?
m
Let c(l) = -2*l + 18. Let k be c(6). Is k < 8?
True
Let t(b) = 2*b + 1. Let l be t(-6). Do -18 and l have different values?
True
Let f = 0.2 - -9. Let o = -11 - -2. Let x = f + o. Is 2/7 at least as big as x?
True
Let u = 7093/3 + -2426. Let t = u - -61. Is t <= 2?
True
Suppose -2*d = -a + 51, d - a = 4*d + 74. Which is greater: -97/4 or d?
-97/4
Let f = -83 + 83. Which is bigger: 4/9 or f?
4/9
Let b be (14/10 + -2)*-5. Let c be (6/28)/(b/8). Which is bigger: c or 0?
c
Let i(x) = x - 6. Let k be i(5). Let y be 2 + k + 3/(-2). Let p = -5.4 + 7.4. Is p <= y?
False
Let w be 1/(-1*(-1)/6). Let m = -7 + w. Which is bigger: m or 1?
1
Let v be 32/(-48) - 16/3. Do -6 and v have the same value?
True
Suppose 0 = -2*q - 2*q + 2*t + 4, 2*q + 2*t - 2 = 0. Are q and -0.08 unequal?
True
Let i = 8/71 + -403/426. Which is smaller: -2 or i?
-2
Let z be -4*3*2/8. Let p be z/6 + (-1)/(-4). Which is smaller: p or 1?
p
Let v(x) = x**3 + 4*x**2 + 2*x - 2. Let l be v(-2). Suppose -l*s + 3*s = 2*c - 8, -5*c + 20 = 3*s. Suppose 5*d + 15 = c*k, -k + 0*k + 7 = 2*d. Is 0 >= d?
False
Let z(b) = -5*b - 4*b**2 + 5*b**2 - 7 + 0*b**2. Let n be z(6). Is n bigger than -4/7?
False
Let h(z) = -2*z**2 - 2*z - 1. Let r(k) = -3*k**2 - k - 2. Let q(l) = -2*l - 1. Let p be q(-2). Let b(d) = p*r(d) - 4*h(d). Let w be b(3). Is w != -1?
True
Let x = 2000/133 - 106/7. Is 0 bigger than x?
True
Suppose 0 = c + c - 6. Let g be c - (2 + 1) - -1. Which is greater: 1/12 or g?
g
Let f(w) = 3*w + 15. Let t be f(-9). Which is greater: -14 or t?
t
Let y be (-3)/((-18)/15)*6/9. Let x(n) = n + 7. Let z be x(-6). Do y and z have the same value?
False
Let j = 1 - 5. Let y = -1 + j. Which is greater: y or 0?
0
Let w be (-2)/4 - 3/(-9). Let t be 6/9 + -1 + (-4)/(-3). Does w = t?
False
Let d = 2 + 5. Suppose 0 = -5*v + 3*j - j + d, 3*j - 2 = -5*v. Which is smaller: 2/7 or v?
2/7
Suppose o + 3 = 2. Is o equal to 2/33?
False
Let o(n) = -n**2 + 9*n - 11. Let v be o(8). Is -16/7 at least as big as v?
True
Let f = 9 + -4. Suppose -b - f = -3*x, -2*b + 2*x + x - 7 = 0. Which is smaller: b or 0?
b
Let k = -1.02 - -0.02. Is k bigger than -2/37?
False
Let l(o) = -o**2 - 3*o. Let z be l(-2). Which is smaller: 10/3 or z?
z
Let n = -9 + 10.5. Let y = n + -2.5. Which is greater: 0.1 or y?
0.1
Let y(c) = -c**3 + 4*c**2 + 3*c - 1. Let j(h) = -h**3 - 3*h**2 + 2*h - 3. Let p be j(-4). Let s be y(p). Which is smaller: -10 or s?
s
Suppose 4*u + 2*y + 2 = 0, -2*u + 4*y = -5*u + 1. Let t = 2 + u. Let q be 35/(-21) - (-4)/6. Which is bigger: t or q?
t
Let h be (-2116)/(-42) - 2/(-6). Let g = 51 - h. Is g less than or equal to 1/7?
False
Let i = -189/2 - -94. Let z = 0 + 0. Which is smaller: i or z?
i
Let g be 2/8 - (-2)/(-8). Suppose -3*m - 9 = -g*m. Let a be (-1)/((2 - m) + -2). Which is greater: a or -1?
a
Let h(z) be the second derivative of z**5/20 + z**4/2 + z**3/3 + 4*z**2 - 3*z. Let r be (2 - (-1 - -2)) + -7. Let d be h(r). Which is smaller: d or -3?
d
Let d be (2 - 1)/(3/9). Which is smaller: 0 or d?
0
Let p(r) be the second derivative of -r**5/10 - r**4/6 + r**3/3 - r**2/2 - 2*r. Let q be p(1). Let d be 2*-1*q/24. Is 2/3 < d?
False
Let u be (0 - (-2)/4)*12. Suppose 2*f + r = -6, 4*f + u + 18 = -5*r. Which is smaller: 8 or f?
f
Let n = 2 - 1. Let u be (-102)/20 + 5 + (-1)/2. Do n and u have the same value?
False
Let k(d) = -d**3 + 5*d**2 - 6*d + 1. Let h be k(4). Which is greater: -5 or h?
-5
Suppose -7*d = -3 - 11. Let b = -155/3 - -53. Which is smaller: d or b?
b
Let u(k) = k + 1. Let p = -4 + 7. Let x be u(p). Let t be 1/x + 9/(-132). Which is greater: t or 0?
t
Let k = 0 + 0. Let t = k - 2. Let z = 4 - 3.9. Which is smaller: t or z?
t
Suppose n + 3 = 3*i, -4*i - n = -5*i + 3. Is -2/63 greater than i?
False
Let k = -6 - -12. Suppose y - 3 = -k. Let l(i) = -i**3 - 3*i**2 - 2. Let o be l(y). Are o and -4 nonequal?
True
Let p be (-1)/3 - 1/(-3). Let u be -4 + (-20)/(-5) - 0. Let z = u - p. Is z at most as big as 1/4?
True
Let g be 9/(-8) - 6/(-48). Is -4/67 smaller than g?
False
Let y = 5 - 2. Let s = 3 - y. Which is greater: s or -2/5?
s
Let k = 8 + -9. Let d = -1 - -2. Let u = k - d. Which is smaller: 0.2 or u?
u
Let c(v) = -v**2 - 3*v - 3. Let f be c(-3). Suppose -t = -5*o - 9, -3*t = -0*t - 12. Which is smaller: o or f?
f
Let b be (-8)/(-60) + (-24)/(-45)*-4. Is b greater than or equal to -3?
True
Let l = -0.161 + 0.061. Is -17 >= l?
False
Suppose -14 = 3*h - 5. Let y be 13/h + 3/9. Suppose s + 3*p = 11, -5*s + 4*s - 19 = -3*p. Does y = s?
True
Let a(n) = -3 + 2*n - 3*n + 1. Let o be a(-4). Is -0.1 > o?
False
Let s(g) = -2*g + 9. Let o be s(-5). Which is bigger: 20 or o?
20
Let 