 a = 4 + -3. Is 3 at least a?
True
Suppose -30 = 5*k - 5*s, -3*k - 7 = 2*s - 4. Is k greater than or equal to -4?
True
Let b = -0.14 + 0.21. Let l = 1.93 + b. Are l and 0.3 non-equal?
True
Let h = -21/8 - -255/88. Is h at least 1?
False
Suppose -r - 3*r - 4 = 0. Let s(k) = -k + 0 + 1 + 0 - 2. Let d be s(r). Which is smaller: -2/7 or d?
-2/7
Suppose 3*g - 1 = -4. Let h = 10 - 19. Let t = -9 - h. Which is bigger: t or g?
t
Let y be (-126)/(-450) - (-2)/(-25). Let i be (-3)/(-6) + 3/(-14). Which is smaller: i or y?
y
Let r = -0.25 - -0.3. Let u = -0.03 - r. Let k = u - 0.22. Which is smaller: k or -2/7?
k
Let q = -1 - 2. Let b be (q/14)/(3/(-2)). Is b smaller than -1?
False
Let b = 13/10 + -131/70. Let h(c) = c + 2. Let r(d) = -d - 1. Let y(t) = 2*h(t) + 3*r(t). Let x be y(2). Which is smaller: b or x?
x
Let t(h) = -h**2 - 3*h + 5. Let x be t(-4). Which is bigger: 13 or x?
13
Let p = 22559/103 - 219. Is -1 equal to p?
False
Suppose -35 = 4*r + 5*i, 0 = 3*r - 2*i + 2 + 7. Let p be (1 - 0) + 1 + r. Let d = 1/2 - 1/6. Which is smaller: p or d?
p
Suppose -2*s = 3*m - 4, 2*s = -4*m + 7*s + 36. Let o be 3/m + 20/(-42). Let y = o - 5/14. Is 0 bigger than y?
True
Let r(a) = -3*a + 10. Let x be r(4). Let l = 6 - 13/2. Which is greater: x or l?
l
Let r = 0 - 2. Suppose -2*m - 11 = -3*i, -4*i - i - 15 = 5*m. Suppose -2 = 3*p + i. Is r at most as big as p?
True
Let k(v) = 5*v**2 - 2. Let r be k(2). Suppose -5*c + 25 = 5*y, -r = -3*y - 4*c - 0*c. Is y greater than or equal to 2?
True
Let n(m) = m**2 + m - 13. Let g be n(3). Is g < -2/63?
True
Let n(y) = y**2 - 16*y + 5. Let b be n(10). Which is bigger: b or -54?
-54
Let w = 37 - 34.9. Let s = 4.3 - w. Let g = 3 - s. Is 1 at least as big as g?
True
Suppose -8 - 4 = -3*u. Suppose -u = -2*s - 0. Suppose 2*x - 4*j + j - 15 = 0, j = s*x - 5. Which is smaller: x or 1?
x
Let d = 3 - 5. Is d at least as big as 1/2?
False
Let b = -101 - -106. Suppose 0 = 3*s - 17 + 5. Which is bigger: s or b?
b
Suppose 0 = 2*k - 3*v + 5, 0*k = 5*k - 5*v + 5. Let p(c) = c**3 - 2*c**2 + 2*c. Let l be p(k). Suppose -l*d = 5 + 3. Is d >= -1?
False
Let b be (1/4 - 0) + (-177)/324. Which is greater: b or 1?
1
Let n(c) = 4*c + 1. Let a be n(1). Let o be a + (2 + -2 - 2). Let j = 69 + -68. Is j <= o?
True
Let u(a) = a**3 + a**2 - a + 1. Let k(q) = 8*q**3 + 3*q**2 - q + 1. Let f(c) = -k(c) + 2*u(c). Let s be f(1). Let d = 1 - 9. Which is smaller: s or d?
d
Let a be (-1560)/(-8325) + (-6)/45. Let i be 1/2 + (-2)/(-4). Which is greater: i or a?
i
Let w = -0.17 + 1.97. Let d = w + 9.2. Let z = d - 9. Which is greater: -2 or z?
z
Let p = -0.2 - -7.6. Let a = p + -8. Let h = a + 1.6. Is 0 > h?
False
Let o be (5/4 - 2) + (-376)/(-288). Does o = 2?
False
Let v = 14910347484798/32231 - 462608901. Let w = v - -19/167. Let n = w + -587/772. Do -1 and n have the same value?
False
Suppose 1 = -3*o - 5. Let i = 0 + o. Let m be -2 + (-4 - -3) - i. Does m = 0?
False
Let x = -4 - -3. Let b = -2/13 - 0. Is x at least b?
False
Let h(f) = 2*f - 5. Let c be h(7). Which is smaller: 8 or c?
8
Let s = 108657/121 - 898. Which is smaller: -1 or s?
-1
Let o = -8 - -8.6. Let b = 0.61 - o. Let r = b + 2.99. Is 0 smaller than r?
True
Let s be (3 + -81)*(-4)/8. Which is greater: s or 40?
40
Suppose 0 = 4*k + 4*r - 12, -7 = 3*k - 5*r + 24. Which is smaller: k or -21/13?
k
Let s = 0.08 - -2.92. Let p = -3.2 + s. Is -2/13 != p?
True
Let c be 18/(-12) + 38/4. Let b = 9 - c. Is b less than 1?
False
Let t = -0.7 - -1. Let f = -0.5 + 0.65. Let c = f + -0.15. Which is smaller: c or t?
c
Let g = -64 - -200. Suppose 5*a - 133 = 2*q, -4*a - g = 3*q + 6. Let i be (-9)/q - 1/(-3). Which is greater: -1 or i?
i
Let g be ((-6)/(-30))/(12/10). Is -3/7 at most as big as g?
True
Suppose 8*c + 24 = -24. Let d be c/27 + 212/(-18). Which is bigger: -11 or d?
-11
Let g = -3 - -3. Suppose g = 3*k - 2*k - 5*z + 24, -3*k + z - 2 = 0. Suppose -k = -d - 0*d. Are d and 2/15 unequal?
True
Suppose -125 + 29 = 4*t. Let a be t/(-9) - (-2)/(-3). Let k = 2 + 0. Is a at least k?
True
Suppose y + 4*o = 6*y + 6, -5*y - 5*o = -30. Let l be -2 + y/(-1 - -5). Is l at most as big as -1/2?
True
Let j = 1 - 1. Let u = -502/5 - -100. Are j and u non-equal?
True
Let z be (3 - 2) + (-3 - 1). Are z and -1 non-equal?
True
Suppose -13*m = 55 + 23. Suppose 3*p = -p - 4. Let j(u) = -8*u**2 - u. Let q be j(p). Which is greater: m or q?
m
Let x = -0.167 + 0.167. Is -2/145 less than or equal to x?
True
Let w be (-75)/(-11) - (-6)/33. Let t = -4 + w. Let v = 1 - t. Is -2 not equal to v?
False
Let u(r) = -r - 6. Let o be u(-6). Suppose o*s + 12 = -s + 5*c, 0 = 4*s - 4*c. Is s < 2?
False
Suppose -4 = x - 2*d, -3*x - 12 = -4*d + 5*d. Which is bigger: -2 or x?
-2
Let s(w) = w + 9. Let c be s(-7). Let h be (-2)/c*(-2)/(-8). Which is smaller: h or -1?
-1
Let j be ((-11)/((-572)/16))/(-2). Is -7/4 less than or equal to j?
True
Let t = 3.3 + 0.7. Let j = t + -6. Let x = 1.2 - 0.2. Is j equal to x?
False
Suppose 4*v - 102 = 10. Let n be -22*2/v - -2. Let b = 4 + -3. Is b at most as big as n?
False
Let n(z) = 3*z + 2. Let l be n(-4). Let f(m) = m**2 + 10*m + 1. Let x be f(l). Is x greater than -2?
True
Let f(d) = -d**3 - 10*d**2 - 3*d - 9. Let g be f(-10). Is 20 not equal to g?
True
Let k = -5.3 + 5. Let l = 0.2 + k. Let c = 11.1 + -13.1. Which is bigger: l or c?
l
Let m = -196.99 - -198. Let b = m + -0.01. Let s = 10 - 6. Is b less than s?
True
Let w be (-4)/10 - (-13)/(-5). Let u(z) = -z - 2 + 3*z - 3*z + 0. Let m be u(w). Is 2 equal to m?
False
Let l = 12 - 9. Let z = 0.1 + -0.2. Are z and l non-equal?
True
Let m be 10/(-36)*3/(-15). Which is smaller: m or -1?
-1
Let d(v) = v**2 + 7*v - 17. Let a be d(-10). Which is greater: a or 14?
14
Suppose -3*w = -5*o + 15, -5*w - 14 = -4*o + 11. Let i be 3/1 - (380/(-28))/(-5). Which is bigger: i or o?
i
Let p = -1 - -1. Let f = -16/723 + 32101/2169. Let r = -15 + f. Is p at most as big as r?
False
Let c be (2 - 180629/5)/(-13). Let n = -34530/13 + c. Let f = n + -123. Is f greater than or equal to 2/7?
False
Let l(y) = -y**2 + 4*y + 7. Let g be l(5). Suppose 2*x + g = 6. Are x and 1 non-equal?
True
Let k(i) = -i**2 + 5*i + 6. Let d be k(6). Let h = -1 + d. Let r be (-2)/(-4*4)*4/(-3). Do h and r have the same value?
False
Let p = 8 - 4. Let o = -3 + p. Let n = 1.99 - -0.01. Which is smaller: n or o?
o
Let d = 3 - 2. Let t be (-194)/(-618) + 2/(-6). Let n = 212/309 + t. Is d < n?
False
Let t = 12.01 + -12. Is -1 greater than t?
False
Let b = 16 - 40. Let j be ((-6)/b)/((-15)/(-12)). Which is greater: 7 or j?
7
Suppose 3*w = -0*w. Which is smaller: w or -8/17?
-8/17
Suppose -4 - 2 = -3*j. Let v be (j/(-5))/(3/(-15)). Suppose -4*f = -5*k - 13, f + 5*k = -2*f + 1. Is v <= f?
True
Suppose 5*b = -2*j - 3 - 2, 0 = j - 2*b - 20. Is j greater than or equal to 10?
True
Let v = 10.35 - 10. Let i = v - 0.05. Which is smaller: -1 or i?
-1
Let d(q) = q. Let f be d(0). Suppose 0 = -a - g - 4 + 1, f = 3*g + 9. Let r(c) = -c**3 + 5*c**2 + 7*c - 5. Let x be r(6). Is x at most a?
False
Let m be 8/(-30) - 4/(-6). Let c = 3.8 + -4. Let x = c - 0. Which is greater: m or x?
m
Let n be 2/(-12) + 66/(-36). Let x be n/7 + (-3)/(-21). Let a(o) = -o + 2. Let w be a(3). Is x at least w?
True
Let h be ((-1)/2)/((-2)/28). Let s(b) = b + 3. Let g be s(4). Is g < h?
False
Let d be (30/45)/(1/1). Is d smaller than -2/3?
False
Let t = -4/241 + -1884/2651. Is -1 less than or equal to t?
True
Let u = -3 - -6. Let t(f) = 2*f**3 + 3*f + 2. Let n be t(u). Let b = n + -197/3. Which is greater: b or 4?
4
Let c = 18 - 17. Is 4/5 bigger than c?
False
Let v = -15 + 18. Are 1 and v unequal?
True
Let y be 72/(-9) + -1*1. Let p = 10 + -20. Which is bigger: p or y?
y
Let g = 110 - 95. Is 18 equal to g?
False
Let n = 43 + -30. Is n < -6?
False
Suppose -3*s = -0*p + p - 17, 5*s + 4*p - 40 = 0. Suppose -y - 6 + s = 0. Which is smaller: -4 or y?
-4
Let h(y) = -y**2 - 1. Let g be h(-1). Let w(c) = -c**2 + 3*c + 8. Let q be w(4). Let x be (3 - q)/(g/(-4)). Which is bigger: x or -1?
-1
Let m(z) = -z + 5. Suppose 2*w + w = 9. Suppose 0 = 2*t - w - 7. Let d be m(t). Which is bigger: -2/13 or d?
d
Let l = -47 - -56. Which is smaller: 3 or l?
3
Let j = 0.09 - 0.09. Do j and 0.01 have different values?
True
Let w(l) = -l**2. Let r be w(-1). Let t be