7 = -t*d + 2*g, -4*g = -20. Is 1 at most as big as d?
True
Let t = 0.0185 + 2.9915. Let u = t + -3. Let d = u + -2.01. Which is bigger: 4 or d?
4
Let p(w) = -w**2 + 4*w + 7. Let s be p(6). Let z = 3 + s. Let x(m) = -m**2 - 2*m + 1. Let g be x(-3). Do g and z have the same value?
True
Suppose -2*g - 1 = 1. Let f(d) = 182*d**2 - d. Let l be f(1). Let q = l + -1269/7. Is q at least as big as g?
True
Let z = -7 + 6. Let h = z - -0.96. Which is smaller: h or 0?
h
Let k = -0.09 + -2.91. Which is smaller: k or 0.1?
k
Let u = 3 - 2.8. Let c = 0.021 - -0.379. Is c greater than u?
True
Let l(t) = t**2 - 6*t. Let x be l(3). Let u be (x/4)/((-2)/8). Let b = u - 8. Which is smaller: b or 2?
b
Let g be (-2)/(-5) - (-24)/(-90). Which is greater: g or 0?
g
Let u = 4.03 + -4. Let f = 0.0195 - 2.0495. Let q = u + f. Which is bigger: -0.3 or q?
-0.3
Let h = -152 + 152. Are 2/155 and h equal?
False
Let d be 18/15*(-5)/(-2). Suppose 2*w = -d*l + 10, -2*w + 0*l + 5*l + 10 = 0. Suppose -16 = -w*t - 1. Which is smaller: t or 2?
2
Let f be 0 + 1 + -5 - 1. Let a(j) = j - 4. Let q(w) = 2*w - 9. Let s(y) = 5*a(y) - 2*q(y). Let u be s(-3). Are f and u unequal?
False
Let d(h) = -h - 4. Let i be d(-5). Is i != 2/5?
True
Suppose s - 26 = -3*t - 10, 2*s - t - 32 = 0. Let a = s - 7. Let u = 11 - a. Which is smaller: u or 5/2?
u
Let u = 0.03 + -0.01. Let x = u + -0.22. Is x at most as big as -2/13?
True
Let n(g) = g - 4. Suppose 5*i - w + 5*w - 20 = 0, 0 = -4*i - w + 16. Let r be n(i). Which is bigger: -4 or r?
r
Let u = 0.01 + -0.11. Let t = -0.7 - u. Which is smaller: t or -1?
-1
Let l be (-28)/(-21) - 2/(-3). Suppose -2*p = p - 6. Let f(c) = c**3 - 2*c**2 + 2*c - 1. Let h be f(p). Which is greater: l or h?
h
Let h(s) = -19*s + 3. Let l be h(-3). Let r be (-27)/l + 1/5. Do 1 and r have the same value?
False
Let y = -1677/8 + 210. Let u = 1 + -1. Which is smaller: u or y?
u
Let f(r) = -2*r**3 + 8*r**2 - 13*r - 3. Let q be f(4). Is q >= -55?
True
Let u be (-4)/(108/(-33))*1. Let a = u - 53/36. Is 11 <= a?
False
Let p(i) = 2*i**2 + 6 + 3*i**2 + 0 + i**3 - 5*i. Let l be p(-6). Is l at least as big as 1/15?
False
Suppose 0 = 2*p - 3*p - 1. Suppose 2*v = -4 - 0. Which is greater: v or p?
p
Let n = -24.25 + 24. Is n greater than 0?
False
Let p = -14 - -9. Suppose 0*o - 5*o + 2 = -3*t, -4*o + 4 = -3*t. Which is bigger: o or p?
o
Let u(m) = m + 10. Let z be (-128)/(-12)*(-3)/(-2). Let y = 11 - z. Let c be u(y). Is 6 at most c?
False
Suppose -3*j + 15 = 4*w, -3*j + 0*w = -4*w + 9. Suppose 3*p = j + 8. Which is greater: p or 4?
4
Suppose 3*i + 15 + 0 = 0. Let h(n) = 2*n - 4. Let c be h(3). Let u be c/i + 6/15. Is u bigger than -1?
True
Let h be 2/(-8) + 1334199/(-15012). Let x = h + 802/9. Let a = -284/417 - x. Which is smaller: -0.1 or a?
a
Suppose -2*r + 22 = 3*r + 3*u, u + 1 = 0. Let j = 3 - r. Let k = 0 - 0.1. Which is bigger: j or k?
k
Let z = 0.9 - 0.7. Suppose 2*t + 9 - 3 = 0. Let l = t + 2. Which is smaller: l or z?
l
Let w = 2.7 + -3. Let i = 5 - 10. Let q = i + 6. Which is greater: w or q?
q
Let i(u) = -u - 6. Let x be i(-8). Let h = 5 - x. Let v = -2 - -3. Which is smaller: v or h?
v
Suppose -18 = -2*u + 8. Let q = -49/2 + u. Let a = q + 11. Is a < -1?
False
Let i = -3 + 1. Suppose 5*s = 4*j - 14, 5*j - 3 = -5*s + 4*s. Is s greater than or equal to i?
True
Let q = -0.9 + 1.3. Let c = q - 0.34. Is c less than or equal to 2?
True
Let h be ((-6)/(-5) - 2)*(-4)/(-8). Which is smaller: 2/517 or h?
h
Suppose 4*g = 5*r + 35, -3*g - 3*r + 2*r + 12 = 0. Suppose 0 = -g*p - 31 + 6. Is p less than or equal to -6?
False
Let n(z) = -2 - z - 2*z + z + z. Let a be n(5). Is a less than -6?
True
Let s = -7 - -6. Let m be 12/(-37)*(-22)/30. Let x = m + 6/37. Which is bigger: x or s?
x
Let d be (-2)/(-5) + (-65)/100. Let v be 1/3*(3 - 0). Is d equal to v?
False
Let g be ((-100)/5)/(-2 - 0). Let a = g + -10. Is a < -3/17?
False
Let s(r) = -r**2 + 5*r - 2. Let v be s(4). Let k = 480 - 5276/11. Let h = k - -3/22. Is h at least as big as v?
False
Let u = 3.339 + -0.039. Let q = u - 3.13. Let c = q - -0.03. Is c at most as big as 1?
True
Let w(v) = -v**3 + v**2 + v - 1. Let c be w(0). Let h = -9 + 15. Let o = h + -5. Which is smaller: c or o?
c
Let k = -13 + 14. Suppose -3*a = 4*w - 12 + k, 4*w = 8. Which is greater: 0 or a?
a
Let k(h) = h**2 + 11*h + 7. Let w be k(-6). Does w = -23?
True
Let f = -7.3 - -7.3. Are -47 and f unequal?
True
Suppose 4*i + 40 = -2*s, -5*i = -s - 4*s + 80. Let t(r) = r - 4. Let w be t(-9). Is i < w?
False
Let k = -21 - -34. Let n = k - 8. Are n and 6 nonequal?
True
Suppose -l - 2*l = 12. Let v = -1 + -1. Which is smaller: l or v?
l
Let w(s) = -s**3 - 5*s**2 - 5*s - 3. Let d be w(-3). Let j be -5 - -2 - (2 + 7). Let h = j - -8. Which is smaller: d or h?
d
Let a = -688/1695 + 2/339. Suppose 0*q + 2 = -2*q. Do q and a have different values?
True
Let h = -2 - 0. Let q = -0.48 - -0.38. Is q bigger than h?
True
Suppose -h - 58 = 3*o + 21, -o - 2*h - 18 = 0. Which is greater: o or -29?
o
Suppose -4*g - 20 = -3*n, -3*n + 4*g + 28 = 2*n. Which is smaller: n or -1?
-1
Suppose 3 = 2*n + 15. Let l be 78/144 - (-4)/n. Which is greater: 1 or l?
1
Let u = -30 + 31. Let b = -234 - -2803/12. Let q = -1/12 - b. Is u at least q?
True
Let g be 3/(-4) - (-22)/(-24). Is -1 >= g?
True
Let y = -16 + 18. Is y <= -2/13?
False
Let y = -31/28 - -1249/1204. Which is greater: y or 1?
1
Suppose 3*s - 10 = -m, m + 20 = 2*s + 5*m. Suppose 0 = -g - s*y + 10, 0 = 5*g - 2*g - 2*y - 22. Let o be (4/(g/6))/(-2). Which is smaller: o or -3?
-3
Let d = 16 + -18. Let h = -2.6 - 0.4. Let j = h - -3. Is d at most j?
True
Let l(t) = 2798*t**2 + 8*t - 7. Let j be l(6). Let g = -5542553/55 + j. Let z = -56/11 - g. Is 0 > z?
True
Let i be (-1 + 2 + 2)/((-28)/(-4)). Let c(y) = y - 7. Suppose -t + 3 = -3. Let v be c(t). Is v greater than or equal to i?
False
Let w(k) = k**2 + k - 2. Let r be w(-3). Let i be 2/(8/(r/(-1))). Are 1/15 and i non-equal?
True
Let l be ((-4)/(-3))/((-22)/(-99)). Suppose -4*p + l + 30 = 0. Is 8 > p?
False
Let f(m) = m**2 - 4*m + 2. Let o be 48/18*(-3)/(-2). Let q be f(o). Suppose 6*a = a. Which is smaller: a or q?
a
Let s = -4 + -3. Let a = s - -7. Which is greater: a or -1/3?
a
Let h(g) = g + 3. Let j be h(-2). Let u = -1 + j. Let c = u - -2. Which is smaller: c or 1?
1
Suppose -15 = -3*u + 8*m - 3*m, 15 = 5*u - 5*m. Let g(y) = -y**3 + y**2 - y + 8. Let l be g(u). Which is smaller: -2/5 or l?
-2/5
Let i be 1/(58/(-23146)) + -2. Let w = i + 401. Which is smaller: w or 0?
w
Let j(x) = -x**2 + x + 4. Let b be j(0). Suppose 2*p = b*p. Let o be 3 - 2 - (-23)/(-21). Which is smaller: o or p?
o
Let c(y) = -y**3 + 2. Let s be c(0). Suppose 51 = 3*k - 5*i, k - 2*i = 21 - 3. Suppose -k = -5*u - 2. Is u != s?
False
Let a = -1625/3 + 588. Let f = a - 46. Which is greater: f or 6?
6
Let m be (1188/(-45))/6 - (-4)/10. Suppose -v = -4*l + 4*v - 11, 5*l + 16 = 4*v. Is m at most as big as l?
True
Let k = 48 - 52. Which is greater: -6 or k?
k
Let m be (0 - 1)/((-13)/(-273)). Let i = -11 - m. Are i and 11 non-equal?
True
Let v = -12/59 + -305/531. Does v = 0?
False
Let p = -0.56 + 1.56. Is -1 less than p?
True
Let z(s) = s**3 + s**2 - 3*s - 2. Let v be z(-2). Suppose -i = -2*i, 5*i = -5*k. Suppose -d = c - v*c - 5, -4*d - c + 5 = k. Which is bigger: d or 1?
1
Let g(y) = 15*y + 1. Let l be g(-1). Let s = l + 7. Let d be 2*(s - (-4)/2). Which is smaller: d or -9?
d
Let t = 0.23 + 9.77. Let f = t - 9.9. Let l = -2.97 - 0.03. Which is smaller: l or f?
l
Suppose -2 = 4*y + 2. Is y < -2/21?
True
Let v = -1 - -3. Suppose -h = -2*d - 0*d - 4, 4*d = -v*h + 40. Is 12 > h?
False
Let d(r) = r**3 - 5*r**2 + 2*r + 3. Let z be d(4). Is -3 greater than z?
True
Let a be (3 - 2)*1/(-2). Suppose 0 = 5*q + 4*w - 13, -2*q + 6 = 2*q + w. Let t = -4 + q. Which is smaller: a or t?
t
Let f be (-24)/(-6)*(-1)/2. Suppose -3*u - 1 = -2*z, 0*u - u = 3*z + 4. Is u > f?
True
Suppose 3*p + 47 + 1 = 0. Let b be 1 - (-1 + p/(-9)). Let a be (-2)/(-4)*(-1 + 1). Is a less than or equal to b?
True
Let y = -150 + 150. Which is smaller: -4/59 or y?
-4/59
Let j(c) = c**3 + 16*c**2 - 19*c - 36. Let o be j(-17). Is o less than or equal to -3?
False
Let h(z) = z**2 + 2*z - 20. Let w be h(-6). Let a be w/18 + (-68)/(-18). Is a not equal to 8?
True
Suppos