+ 1. Let g be ((-1)/4)/(1/6). Is g at least s?
True
Let o be (-12)/(-21) + (-4)/(-14). Let s be ((-2)/(-3))/(3/9). Is o at least as big as s?
False
Let h be 1 - ((-6)/(-2))/1. Let c = 2 + h. Which is smaller: c or 1?
c
Let w be (198/(-8))/(-9) - 3. Let s(t) = -t**2 + 9*t - 8. Let d be s(8). Let f = d - 4. Is w less than or equal to f?
False
Let g be 27/18 + (-1)/2. Is 1/16 > g?
False
Suppose -y = 3*f - 1 - 10, -4*y + 12 = -4*f. Is 5 at most as big as f?
False
Suppose 1 + 19 = -4*k. Let f(h) be the second derivative of -h**5/20 - h**4/3 + h**3/2 - 7*h**2/2 - 2*h. Let y be f(k). Which is smaller: 1 or y?
1
Let j = -0.1 - 3.9. Let n = j - 1. Is -0.1 < n?
False
Let g = -5 + 4. Is -2/21 smaller than g?
False
Suppose 0 = 3*y + 5*v + 75, -y + 3*v - 25 = -0*y. Let x be (-2)/(-10) + 155/y. Which is bigger: -5 or x?
-5
Let t be -1 - 2 - 3049/(-1074). Let s = 1/179 - t. Suppose 0*l = -4*l. Is l > s?
False
Suppose -2*u + 3*x - 10 = 0, -u - 2*x = -6*x + 15. Let m(g) be the first derivative of -g**4/4 + 5*g**3/3 + 2. Let c be m(5). Which is smaller: c or u?
c
Let i be (4 - 1) + (-50)/14. Is 0 at least i?
True
Let o = -11 + 18. Suppose 0*n = 3*j - 4*n - 5, -o = -2*j - n. Suppose j*x - 2*y + 3 = 0, -x - 3*y = -4 - 6. Are x and 0.1 non-equal?
True
Let v be (-4)/26 + 360/(-364). Which is smaller: v or -1?
v
Let r = -0.06 - 0.04. Let j = 0.98 - -0.02. Let g = j - 0.9. Which is bigger: g or r?
g
Let y = -22 - -175/8. Which is smaller: 0 or y?
y
Let l = -10.99 - 0.01. Let i = l + 14. Is i greater than -1?
True
Let c = -8 + 8.09. Let z = c - -0.21. Is -3 at most z?
True
Let u(r) = r**3 - 3*r**2 - 6*r + 5. Let b be u(4). Let i be b + (-2 - (-172)/36). Is 1 bigger than i?
True
Let x = 12417/14 + -16119/14. Let y = -265 + 1. Let v = x - y. Which is greater: 0 or v?
0
Let y(s) = 6*s**2 + 3*s + 2. Let d be y(-1). Suppose -z = 4*z - d. Is 2 less than z?
False
Let z = -9 - -8. Let k be 6/(-21) - (-149)/448. Let l = k + 113/320. Which is bigger: z or l?
l
Let z = 0.58 + -2.58. Which is smaller: z or 0?
z
Let t(u) = u**3 + 4*u**2 - 4*u + 6. Let v be t(-5). Suppose 11*i + 1 - 12 = 0. Is i at most as big as v?
True
Let u = -0.4 - 0. Let h = 0.41 + -0.01. Let k = u + h. Which is greater: -0.4 or k?
k
Let q(v) = -v. Let k = 18 - 13. Let n be q(k). Is -5 at most n?
True
Let b(g) = -2*g**2 - 4*g - 1. Let f = 7 - 9. Let m be b(f). Is -1/15 not equal to m?
True
Let m(d) = d + 1. Let z be m(3). Suppose -k = z + 4. Is -9 bigger than k?
False
Let x = -0.73 - 0.27. Are x and 26 equal?
False
Let b = 36.03 + -36. Are -1/3 and b nonequal?
True
Let t be (-12)/5 + (-8)/(-20). Is t smaller than 10?
True
Let s = -7.03 + 7. Do -0.1 and s have different values?
True
Suppose 0 = -a + 2*a + m + 3, 4*m = a - 12. Is a smaller than -4/5?
False
Let t = 5 + -9. Let h = t - -3. Which is smaller: h or 0.4?
h
Suppose -4*i = 4 + 20. Let g = -23 + 17. Does g = i?
True
Suppose -3*h + 26 = -34. Suppose -3*l = 5*i - h, 3*i + 3*l - 14 = 4*i. Let y be (-1)/(i/4*-2). Is y bigger than 0?
True
Suppose -1 = a, 0 = 5*i - 0*a - 4*a - 19. Let p be (-18)/2*8/i. Let l be p*(2 - 7/3). Is 8 smaller than l?
False
Let l = 0.049 + -39.049. Which is smaller: 1 or l?
l
Let u be 3 - (-4 + 5 + 2). Suppose 0 = -4*v - 0*c - 3*c + 2, -c + 1 = v. Let s = v + 0. Is s > u?
False
Let j = 8/1361 + -594805/8166. Let g = -73 - j. Suppose -2*p + p = 2, -c = -4*p - 8. Is g at most c?
True
Let s be (8/10)/((-78)/(-5)). Which is smaller: 2 or s?
s
Let t be 60/(-9)*(2 - 5). Suppose 0*h = -v + h + 5, -4*h - t = -v. Let i be v - (-2 + 2)*-1. Is -2/5 <= i?
True
Let g be 9/(-6)*1048/(-6). Let m be 12/30 - g/(-20). Let s = -83/6 + m. Which is smaller: 2/5 or s?
s
Let m = 4 - 6. Let c be 78/(-40) + 3/15. Is c at least as big as m?
True
Let q(a) = a**3 + 3*a**2 - 4*a. Let t be q(-4). Do -2/25 and t have the same value?
False
Let g = -3.3 + 3.87. Is g at most as big as -0.1?
False
Suppose 5*f + 1 = -4. Let h = f - 3. Is h less than -4?
False
Suppose -5*s = -0*s. Suppose s = 4*z + 20. Let a = z + 5. Which is greater: a or -1?
a
Let b = 2 + -4. Let f(z) = z**2 + z + 1. Let c be f(-2). Let m be ((-1)/3)/(1/c). Which is bigger: b or m?
m
Let g = -2 - 3. Let h = 6 + g. Let i = 1 + -2. Which is smaller: i or h?
i
Let m = -0.1 + 0. Let n = 5.2 + -5. Let y = -0.2 + n. Which is smaller: m or y?
m
Let l = -3 - -8. Suppose 0*o = 4*o + 4*m - 20, 15 = l*m. Suppose o*u + u - 12 = 0. Is 5 greater than u?
True
Suppose -4*t = 5*x + 56 - 6, 54 = -5*t - 2*x. Let o be (15/t)/((-3)/4). Are o and 3 unequal?
True
Let k = -857/355 + 1/71. Are 0.1 and k non-equal?
True
Let x = -6 + 14. Let u = 7 - x. Let i = u + 0.9. Which is bigger: -1/6 or i?
i
Let w(u) = u - 1. Let j be w(-3). Let i be (-14)/j*-2 - -2. Which is smaller: -4 or i?
i
Let t be 6/36 - (1 + -1). Let g = -0.6 + 1.6. Are t and g nonequal?
True
Let g(q) = -q**3 - 21*q**2 + q + 16. Let y be g(-21). Is -5 at least as big as y?
True
Let n(w) = -w - 24. Let v be n(-11). Let p = 12 + v. Are 2/53 and p non-equal?
True
Let s = -4.4 + 5. Let o = 0.28 + -1.58. Let t = o + s. Is t greater than or equal to -0.1?
False
Suppose 2*v + 13 - 3 = 4*n, -2*n + 4 = 0. Let m(q) be the first derivative of q**2 - q + 1. Let j be m(v). Is j != -2?
True
Suppose c + 5 = -4*c. Do -1 and c have the same value?
True
Let d be (24/(-44))/3*(-1)/2. Which is smaller: d or 1?
d
Suppose -2*u = -4*i - 112, -65 = -4*u + 3*u + 5*i. Let m be ((-6)/9)/(u/(-6)). Let n = m - 29/50. Which is greater: -2 or n?
n
Suppose 3*q + 10 = 2*c - 0*q, 5*c - 6 = -2*q. Suppose c*l = -l. Which is greater: 1 or l?
1
Let d = -16416/35 - -469. Let x = d - 4/105. Is x > 1?
False
Let f be 1 - 0/(-2 + 6). Let b(i) = -2*i**3. Let j be b(-1). Which is smaller: f or j?
f
Let k be (-2)/(-4) + 18/(-4). Suppose -15 = 5*a - 2*a. Which is greater: k or a?
k
Suppose 5*s = 3*q - 29, 0 = -4*q + 5*q + 4*s + 13. Suppose 6 - q = -k. Let f = k - -5. Is f greater than 2?
False
Let i(o) = 5*o - 1. Let a be i(1). Suppose 0 = a*q - 4*v + 8, 0*v + 3*v = 15. Suppose -15 = -q*c - 0*c. Is c smaller than 5?
False
Let g(t) = -t**3 - 15*t**2 - 14*t - 5. Let m be g(-14). Let j be ((-26)/8 + 3)/m. Are j and 1 equal?
False
Let o be (8/12)/((-1)/42). Do -28 and o have the same value?
True
Let a = -18 + 15. Is 0.1 greater than or equal to a?
True
Let n(j) = j**3 - 10*j**2 - 12*j + 9. Let w be n(11). Is -8/5 equal to w?
False
Suppose d - 12 = 3*l, -l = -5*l - 12. Let x be d + (-2)/(0 + 1). Let k(s) = s. Let r be k(x). Is 2/15 > r?
False
Let t = 0.13 - -0.07. Let r = t - 0.2. Is 0.2 at most as big as r?
False
Suppose -p + 35 = 6*p. Is p <= 4?
False
Suppose 4*r - 2 = 2. Let k(h) be the second derivative of -h**3/6 + 9*h**2/2 + 3*h. Let q be k(8). Is q greater than or equal to r?
True
Let w = -3/44 + -7/220. Suppose -5 = -5*k - 2*z, -k - 2*k + 5*z + 3 = 0. Is k at least w?
True
Let c = 256 - 9470/37. Which is smaller: c or 1?
c
Let d = -23 - -47/2. Suppose -m + 3*m = 6. Suppose -m*n - 3*g = 0, n - 5*g + 4 = -8*g. Which is smaller: n or d?
d
Let t = -0.79 - -0.29. Let l be 15/(-6) - 4/(-2). Is t <= l?
True
Let f = -46 + 46. Which is greater: f or -17?
f
Let q = 167 - 102. Is 65 greater than or equal to q?
True
Let n = 0 + 0. Suppose 7 = 4*h + 3, -4*j - h - 7 = 0. Is j less than n?
True
Let q = 14 + -11. Suppose d = q*d - 14. Let z = -1 - -0.9. Which is greater: z or d?
d
Let r = 65665/72 + -912. Which is smaller: r or 1?
r
Let x = 143 + -145. Which is greater: 43 or x?
43
Let p = 13.5 - 13.3. Which is smaller: p or -1/4?
-1/4
Let m = -0.31 - -0.13. Let h = 0.22 - m. Let t = -0.8 - 0.2. Is h at most as big as t?
False
Suppose 4*a + 50 = 22. Is -7 < a?
False
Suppose 5*z - 2*r - 39 = 83, -1 = r. Let u = z - 28. Which is greater: -1 or u?
-1
Let u(z) = z**3 - 7*z**2 - 7*z - 2. Suppose -b - 4*b + 35 = 0. Let v be u(b). Let i be v/(-105) + 4/(-14). Which is bigger: 0.1 or i?
i
Let q be 0*(-3 + (-26)/(-8)). Suppose 20 = -4*k + 3*c, 3*c = k - q*k + 14. Which is greater: 1 or k?
1
Let h(j) = 3*j - 5. Let a be h(5). Let g be (-4)/a - (-3)/(-5). Let b = -269/1268 + -12/317. Which is bigger: g or b?
b
Let r be 2/((-15)/6*2). Let g = 1.8 - 2.9. Let d = g - -1. Is r < d?
True
Let r(s) = -2*s**2 - 2*s + 2. Let t be r(-2). Let n be (-13)/(-21) - t/(-7). Let i be 14/(-10) - 2/(-5). Is n smaller than i?
False
Suppose -5*l + 