gger than -1/5?
True
Let x be (-2 + -22)/((-9)/(-12)). Let o be -2 + 3 + x/24. Let v be 0*2/2 + 0. Is o at least v?
False
Let p = -8 - -7. Which is smaller: -1/8 or p?
p
Let a be 1 - 2 - 2 - -5. Suppose 0 = a*w - 4 - 0. Let z be (-3)/6 - (-15)/14. Is z >= w?
False
Let x = 3179/140 + -160/7. Is x smaller than 0?
True
Let w = -10.4 - -0.4. Is w bigger than -0.3?
False
Let n = -8 + 8.2. Suppose -k + 9 = m + 2*k, -m = -5*k + 15. Is n at least m?
True
Let u = -2 + 1. Let r be (-3)/(0 - (-6 - u)). Which is greater: -1 or r?
r
Let k be (-2)/(-1) - (-21)/(-9). Let n = -0.3 + 0.5. Let m = 0.1 - n. Which is smaller: k or m?
k
Let s = 5 + -7. Which is smaller: -2/3 or s?
s
Let n = 892/171 - 46/9. Let a be (-4)/14 + 18/14. Which is smaller: n or a?
n
Let v(o) = -o - 7. Let r be v(-7). Let a be (-1 + 2)*0 - r. Is 1/7 <= a?
False
Let z be -1 + 0 + 0 + (8 - 5). Which is greater: 7/9 or z?
z
Let g = 3 - 5. Which is greater: g or -3?
g
Let y = 1 - 2. Let v be (-6)/(-216)*4*(-18)/(-20). Is v bigger than y?
True
Let v = 17 - 17.1. Is 3 bigger than v?
True
Let l(y) = -y**2 + 3*y - 3. Let m be l(2). Let a = 21/5 + -28/5. Which is smaller: a or m?
a
Let y be 2 + 1*105/(-57). Which is greater: 0 or y?
y
Let k = 14 + -15. Is k < 3?
True
Let f = -14/153 + 3826/1683. Does f = 3?
False
Let c(p) = 9*p**2 + 12*p + 2. Let l(f) = -5*f**2 - 6*f - 1. Let w(n) = -6*c(n) - 11*l(n). Let b be w(6). Is 1 greater than b?
True
Let t = 20 + -15. Is 5 < t?
False
Let d = 8.823 + 0.017. Let b = -9 + d. Let u = -0.04 + b. Is -0.1 at most u?
False
Suppose 2*x - 44 = -2*x. Suppose 4*r - 22 = 22. Do x and r have different values?
False
Let r(f) = f**3 + 8*f**2 + f + 7. Let j be r(-8). Let u be 1 + -1 - 7/(-133). Is j less than u?
True
Let p = -1558/91 + 37/91. Let x = p - -17. Are x and -0.7 non-equal?
True
Let t be (2/50)/(3*(-30)/36). Which is smaller: 0 or t?
t
Let q(m) = -m**2 + 3*m + 2. Let o be q(3). Suppose -2 - 4 = o*j. Let w be (-1)/(-2*(-1)/4). Are j and w nonequal?
True
Let t = 0.75 + -23.75. Which is bigger: -2/3 or t?
-2/3
Let g = 5 + -8. Let i = g - -3.2. Let o = -15 - -14.9. Which is smaller: o or i?
o
Let x = -16 + 28. Let a = 26 - x. Let q be 4/6*3/a. Is q != 0?
True
Let i = 2 - 1.7. Let m = 0.7 + i. Let v = m + -0.8. Which is smaller: v or 2/5?
v
Let a be (-9)/(-11) + -4 + 3. Is a less than 2?
True
Let g be -2 + 11/(154/40). Which is smaller: g or 0?
0
Let z(c) = -4*c + 5. Let n be z(1). Which is greater: n or 4?
4
Let v(m) = -m**2 - 11*m - 8. Let r be v(-7). Suppose 3*t = -t + r. Suppose 4*n + 4*s = -s - 23, -t*n = -5*s - 5. Is -1 smaller than n?
False
Let h = -44.5 + 24.6. Let q = h + 20. Which is smaller: -1.2 or q?
-1.2
Let w = -31 + -5. Which is greater: -37 or w?
w
Let j = 1.1 - 0.1. Let n be -1 + 3 + -3 + 7. Suppose 2*u - n = -2. Which is smaller: j or u?
j
Let i = 0.17 + -0.1. Let k = -0.13 - i. Is k >= 1/3?
False
Let r = -17 - -8. Let a = 10 + r. Which is bigger: a or -3?
a
Suppose 0 = -5*i + 10. Suppose -2*h - 15 = -7*h. Let q be 1/h - 8/(-30). Which is smaller: i or q?
q
Suppose 9 = -5*n - 4*s - 2, -2*n - s = 2. Which is smaller: 2 or n?
n
Let k(m) = m + 10. Let p be k(-19). Is -10 equal to p?
False
Let j(u) = 0 - 1 + 2 + u. Let d be j(0). Suppose 0 = -8*o + 17*o + 9. Which is greater: o or d?
d
Let h(d) = -d**3 + 6*d**2 + 4*d - 8. Let s be h(6). Let n = -49/3 + s. Is n greater than 1?
False
Suppose -5*a = -3*t - 11, -5*a - t - 1 = 2*t. Is 1 less than or equal to a?
True
Let q = 3.5 - 1.5. Let l = 1 - q. Which is smaller: l or 2?
l
Let s be 2/3 - (-6813)/(-11016). Let z = -1/153 + s. Does z = 1?
False
Let h = -43 + 42. Is -1/34 at most h?
False
Let d = -76 - -76.98. Let u = 0.02 + d. Which is greater: u or 6?
6
Let o = -8 + 9. Are -2/35 and o equal?
False
Let v = -2.02 + 0.02. Are v and 2/3 equal?
False
Let g = 22.1 - 22. Is g <= 15?
True
Suppose -7 = 2*b + 3*v, 5*v + 16 = 1. Suppose -z = -2*z + 1. Let t be (z - (-1 + 2))/2. Is b not equal to t?
True
Let a(i) = -i**2 + 1. Let d(c) = -3*c**2 + 9*c - 7. Let j(h) = -4*a(h) + d(h). Suppose 7*b = 4*b - 30. Let n be j(b). Which is bigger: n or -2?
n
Let z = -28 + 28. Suppose z*x = 5*x + 5. Which is smaller: -5/3 or x?
-5/3
Let l be (-42)/15 + 3/(-15) + 7. Which is bigger: 2 or l?
l
Suppose y = -0*a - 2*a + 40, 182 = 4*y - 3*a. Let d = -131/3 + y. Suppose 2*s + 6 = 0, -5*u = -3*s + 7*s + 7. Does u = d?
False
Let i = -618 + 615. Let h(f) = -f**2 + 4*f + 5. Let v be h(4). Suppose -7*t = -2*t + v. Which is bigger: t or i?
t
Let k(z) = -z + 14. Let j be k(8). Which is bigger: j or 4?
j
Let o = 0 + 0. Let j = o - 1. Let n = -22 - -20. Which is greater: j or n?
j
Let u = -64986 + 144036. Let p be (-2)/7 + u/(-273). Let i = -290 - p. Is -1 < i?
True
Let j(i) = i**2 - 2. Let u be j(2). Let b be (1 - 2/1)*u. Suppose -2 = -4*w - 14. Are w and b unequal?
True
Let n = -5 - -10. Let g = n + -3. Suppose 3 = -5*h + 2*l, 5*h - g*h + 2*l = -5. Which is smaller: -2/7 or h?
h
Let n = 0.9 + 0.1. Let i = 0.214 - -3.786. Is i at most n?
False
Let x = 12 - 10. Suppose -4*q - 10 = 62. Let h be (-1)/3*q/24. Which is smaller: x or h?
h
Suppose 5*x = -0*x. Let q be 2/21*3/4. Is x smaller than q?
True
Let z = 3/416 + 389/3744. Suppose 2*v - 7*v = 0. Which is greater: v or z?
z
Let z be (1 - -1)/((-2)/22). Let d be 18/z - (-8)/(-44). Let x be 5/(-7) - (-4)/(-14). Do d and x have the same value?
True
Suppose -10 = -3*g + 2. Suppose g*v - 1 - 3 = 0. Let q be 1/v*(-3)/3. Is -1 less than q?
False
Let f = -96.91 - -14.81. Let o = 88 + f. Let l = o + -6. Is -1/6 less than l?
True
Let o = -41.19 - -41. Let r = 0.09 + o. Which is greater: r or 6?
6
Suppose -4*u + t - 4 = 0, -u = 2*u + 2*t + 14. Let q be -1 + -1 + (-2)/u. Let j = 4 - 5. Is j > q?
False
Let p(f) = f - 6. Let g be p(5). Suppose 3*w + 2*n = 3*n + 3, 4*n + 12 = 5*w. Is g at least w?
False
Suppose 4*o = -c - 26 + 1, 5*c - 5*o = -25. Let k(i) = i**3 + 20*i**2 + 20*i + 11. Let d be k(-19). Is c at most d?
True
Suppose 2*r - 16 = 6*r, -r = 5*k + 14. Is -2 < k?
False
Let v = 11 + -5. Suppose -v = 2*m - 3*o, 4*m + 2 + 6 = 4*o. Are 1/4 and m nonequal?
True
Let c(p) = p**2 - 7*p - 5. Let i be c(8). Is i greater than 7?
False
Let g be -26 + 0 + (-6)/(-33)*11. Which is smaller: -0.3 or g?
g
Suppose -3*r + 11 + 1 = 0. Let b be r/(-14) + 60/14. Let k(i) = i - 6. Let n be k(b). Which is smaller: n or -3?
-3
Let x(l) = -l + 2. Let j be x(4). Let a be -9 + -2 + 3 - 2. Let y be (-2)/a*(-60)/16. Which is greater: j or y?
y
Let k be 4 + -7 + 5/1. Let x be k + ((-30)/27 - 1). Let q be (-1 + 2)/(-1)*1. Are q and x unequal?
True
Suppose -3*k = -2*k + 2*q + 1, -q - 6 = -5*k. Let d be (k - 2)/(3 + -2). Is d <= 0?
True
Let y = -603/14 + 130/7. Let p = 24 + y. Is 0.1 < p?
False
Let l(q) = q**2 - q - 11. Let t be l(4). Which is smaller: 4 or t?
t
Let l = -5/18 + 4/9. Is l > -6?
True
Suppose 0 = -m - 0*m + 7. Let x = -11 + m. Let i be (1/x)/(2/2). Which is smaller: i or 1?
i
Let q be (-4)/(-2) + 5 + -1. Let g(x) = -x + 4. Let d be g(q). Let h be d - (20/9)/(-1). Which is greater: h or 0?
h
Let o be ((-54)/(-12))/((-3)/(-6)). Does o = 9?
True
Let a = 100 - 114. Which is smaller: -44/3 or a?
-44/3
Let r = 66 + -94. Let t be (-4)/14 + 216/r. Which is smaller: t or -7?
t
Let s = 8 - 5. Suppose -s*m = 5*o + 2, -m - 2*o - 3*o = 4. Which is bigger: m or 12/11?
12/11
Let c = -29 + 29. Is c at most 4?
True
Let b = 7 + -7. Suppose m = -1 - b. Let g = 0 + m. Is -3/8 at most g?
False
Let n = -0.11 - -0.01. Suppose y - 5*k = 20, -3*y + 25 = -y - 5*k. Does y = n?
False
Let z(r) = 2*r - 6. Let v be z(5). Suppose v = -3*g - g. Which is smaller: g or 2/5?
g
Suppose 4 = 4*c - 2*m, 2*c + 2*c - 20 = -2*m. Let v = c + -2. Is 1 less than v?
False
Let t = 38 + -37.9. Which is bigger: 2/31 or t?
t
Let k(n) = -n + 5. Let r = -5 + 12. Let d be k(r). Which is greater: -1 or d?
-1
Let w be (-129057)/315 - (-4)/(-20). Let x = w + 410. Which is greater: 0 or x?
x
Let v(f) = -f**3 - 2*f**2 + 4*f + 1. Let t(q) = -q**2 + q - 2. Let o be t(2). Let j = -7 - o. Let c be v(j). Is -2 >= c?
True
Suppose 3*v + 8 = 2. Let z be ((-2)/4)/(v/74). Let g = -19 + z. Is g greater than -1?
True
Let k = -3181/4 - -801. Let d = k + -11/2. Suppose 3*i = 5*i. Which is greater: d or i?
d
Let s = -18 + 23. Let a be 0*(s/(-2) - -2). Which is greater: a or -4?
a
Let o = 