ller than a?
True
Let g be 27/(-21) + (-2)/(-7). Let d be 3 + (-3 - g/(-1)). Is d > 0.2?
False
Let c = 1.3 + -0.2. Let u = 0.7 - c. Which is smaller: -0.1 or u?
u
Let u = 1 - 1. Suppose u = d + 2*g - 7, -1 = 2*d - 2*g - 3. Suppose 1 = d*a - 17. Is 4 != a?
True
Let g = -32 + 46. Which is smaller: g or 15?
g
Suppose 8*h - g = 3*h + 11, 3*h - 2*g = 8. Suppose h*b = 5*b - 81. Let a be b/21 - (-2)/(-7). Which is smaller: a or 2/5?
2/5
Let m be (4 + 3)/((-4)/14). Let z = -24 - m. Which is bigger: z or -5?
z
Let d(m) = 18*m**2 + m. Let g be d(1). Let j = 22 - g. Is j less than or equal to 2?
False
Let d be 3*1*2/3. Suppose 0 = -2*y - d. Which is bigger: y or 1/5?
1/5
Suppose -5 = 5*c + 50. Which is smaller: -9 or c?
c
Let s = 8 - 14. Let o = 0 + -7. Let c = s - o. Are 1 and c unequal?
False
Suppose 3*v + 16 + 5 = -3*o, -4*v - 3*o = 23. Suppose -2*f + 4*f - 8 = 0. Let j be (v/(-10))/(f/(-10)). Which is smaller: j or 0?
j
Let n = 0.15 + 12.85. Is n >= -2?
True
Let x = -37/2 - -34. Let h = 15 - x. Suppose 4*p = 4 - 8. Which is smaller: p or h?
p
Let b(c) = -2*c - 15. Let n(r) = 8*r + 8. Let y(s) = 7*s + 8. Let k(o) = 6*n(o) - 7*y(o). Let p(j) = 3*b(j) - 5*k(j). Let a be p(-5). Is 0 <= a?
True
Suppose 4*s - 72 + 8 = 0. Suppose 4*q + 2*n = 6, 4*q - 5*q - s = 4*n. Suppose q*i - 3*g - 22 = 0, -5*i + g + 31 = -g. Which is smaller: 8 or i?
i
Let o(f) = f + 5. Let b be o(-3). Let p be (-6)/(-3) - (-6 + b). Is p bigger than 6?
False
Suppose 1 - 21 = -2*u. Is u >= 5?
True
Let o = 43 - 37. Suppose -4*p + 12 = -12. Is o <= p?
True
Let f(x) = -x**3 + 13*x**2 - 13*x + 5. Let t be f(12). Let z = t + 6. Which is greater: z or -1/4?
-1/4
Let s be 1/(1/(-5)*-1). Let p = -310/3 - -103. Do s and p have the same value?
False
Let a(v) = -3*v**3 - 3*v**2 - v - 1. Let z be a(-2). Suppose -2 = -5*u + 4*x + z, -6 = -4*u + 2*x. Which is bigger: 1/5 or u?
1/5
Let t be -3*4/48 + 1. Which is smaller: -0.6 or t?
-0.6
Let o = -0.5 - -0.9. Let r = 0.1 + o. Let a = r + -0.3. Are a and -1/3 nonequal?
True
Suppose 16 + 110 = -21*x. Is -14 at least x?
False
Let h be ((-12)/30)/(38/(-59740)). Let r = h - 629. Do r and -1 have the same value?
False
Let c be 141/27 - (-2)/(-9). Let y = c - 8. Are -2 and y unequal?
True
Suppose 4*u = 5*u - 4. Are u and 2 non-equal?
True
Let y be (-1)/(-1)*1/1. Let j = 39 - 26. Let c = -12 + j. Is c bigger than y?
False
Let m(l) = l + 1. Let s be m(3). Suppose 0 = 4*y - 0 - s. Is y greater than -2?
True
Let f = -43 - -25. Let z = f + 17.9. Does z = -3?
False
Let h be (-19)/(-91) - 4/14. Suppose 20 = -4*a + 8*a. Suppose -4*w + 3 = -2*w + p, 5*p = a*w + 15. Which is greater: w or h?
w
Suppose q = 1 + 1. Let n be ((-1)/q)/(2/4). Which is smaller: n or -1/2?
n
Let o be (-10)/(-2)*(-18)/15. Let m = 9 + o. Which is greater: m or 2?
m
Let i = 0 - -3. Suppose -i*l = -l. Which is bigger: -1 or l?
l
Let c = 67/3 + -23. Suppose -4 - 2 = -3*u. Suppose 0 = 5*f - u*f + 3. Is f greater than or equal to c?
False
Let m = -5 + 8. Let f = 3 - m. Let s = -0.15 - -0.25. Which is bigger: s or f?
s
Let s be (-54*(-1 - -2))/(-2 + -5). Is s not equal to 9?
True
Let o = -0.05 - 2.95. Let k = 3.1 + o. Which is smaller: k or 0.2?
k
Let i(y) = 2*y**3 - y**2 + 1. Let c be i(-1). Let m be -2 + 3 - (-1 - c). Which is bigger: 2/3 or m?
2/3
Suppose -4*w + 5*q = -9 - 3, -2*q = 8. Which is greater: -5 or w?
w
Let i = -309 - -5251/17. Let w(h) = -h + 3. Let m be w(6). Let f be ((-2)/3)/((-2)/m). Which is smaller: i or f?
f
Suppose 4*w - 42 + 2 = 0. Let g be (w + -1*2)*-1. Let f(s) = s**2 + 8*s + 2. Let t be f(g). Is t < 1?
False
Let t be (-4)/12 + (-33)/27. Are t and -2 nonequal?
True
Let s be (-3 + 4)*(0 + 1). Let b = -8 + 13. Let l = 3 - b. Is s greater than or equal to l?
True
Let w = 37 + -60. Let c = -22 - w. Is c bigger than 2/7?
True
Let q(f) = f + 23. Let d be q(-19). Which is smaller: d or -1/6?
-1/6
Suppose -5*t = u - 11, 4*u - 22 = -2*t + 4*t. Let v = -8 + u. Is -8/7 equal to v?
False
Let t be (3 - (3 - 1)) + -1. Let p be 2 + 0 - (-12)/3. Let h = p - 55/9. Are t and h equal?
False
Let z = -1 + 3. Suppose 5*g = g + 12. Suppose 0 = -q + g. Which is bigger: z or q?
q
Let n = -102 - -85. Which is smaller: -2/13 or n?
n
Let y = 78 - 81.9. Let z = -4 - y. Let b = 2 + 0. Which is smaller: z or b?
z
Suppose b + 2*h = 2*b - 6, 0 = -4*b - 5*h - 2. Let k be (-4 + 10)*b/4. Suppose 2*g = 10, 32 = 4*f - 0*f + 4*g. Is k <= f?
True
Let t = -1 - -8. Let p be 4/14 - 80/(-14). Does p = t?
False
Let n be 6/(-15) + (-20)/75. Is n less than -0.45?
True
Suppose 3*d - 396 - 57 = -5*l, 4*d - 4 = 0. Let v be 2 + 1 + l/(-42). Which is smaller: 0 or v?
0
Suppose -5*t + 2*t + k = 1, -t - 5*k = 27. Let d be 4*t/(-8)*-5. Suppose 4*w = -o + 9*w, 0 = -5*o - 4*w - 29. Is o at most as big as d?
True
Let j = -106 + 319/3. Is j at least 18/11?
False
Let k = 0 + 4. Let l = 29.2 - 33. Let n = k + l. Which is smaller: 1/2 or n?
n
Let r = 16 - 14. Suppose -r*f + 4 = -6*f. Is f greater than -1?
False
Suppose -20 = -4*o + 8*o. Let d = 11 + o. Is 6 smaller than d?
False
Suppose 0 = 5*h - 24 - 1. Suppose -2*k + h*y - 8 = 3, 0 = -4*k - 2*y - 10. Which is smaller: -4 or k?
-4
Let d(q) = q**3 + 3*q**2 + q. Suppose -f + 3*b = 6, 0 = b - 3 + 2. Let w be d(f). Suppose -8*y + 3*y = 10. Which is smaller: w or y?
w
Let i(r) = -r**2 + 13*r + 8. Let k be i(12). Suppose o - 6*o = -5*x + 20, -4*x + k = 0. Is o < 2?
True
Suppose r - 6*r = 0. Let l be ((-65)/2)/((-4)/8). Let o = -193/3 + l. Does r = o?
False
Let w be 5/10*8/(-82). Is w smaller than 1?
True
Let f(w) = 2*w + w**2 - w**2 - w**2 + 0*w**2. Let l be f(2). Is l smaller than 2/13?
True
Let q be 0/(-2)*(5 - 4). Is q less than -13/12?
False
Let c(o) = -4*o - 6. Let p be c(-4). Is 35/4 less than p?
True
Let d(i) = -i + 1. Suppose -5*w = -5, 2*b - 5*w + 2 = 5*b. Let p be d(b). Suppose x - 5*j = 27, -x + 2*x = -3*j - 13. Do x and p have the same value?
True
Let a = 9 - 35. Which is bigger: a or -25?
-25
Let x be (-8)/4 + (1 - -3). Which is bigger: 3/4 or x?
x
Let d = 0.48 + -1.14. Which is smaller: 0 or d?
d
Let w(m) = -4*m**2 + 1. Let r be w(1). Which is smaller: r or 5?
r
Let o = -0.973 - 0.027. Is o bigger than -4/23?
False
Let h = -43 - -26. Let l = -18 - h. Is l equal to 2/7?
False
Suppose -2*r - r + 101 = -4*o, 2*r - 2*o = 70. Let q = 27 - r. Let p = q - -35/3. Which is smaller: -1 or p?
-1
Suppose 2*g = -13*g - 720. Are -46 and g non-equal?
True
Let n = -3 + 4. Let d be n/3 - (-14)/21. Which is smaller: 2 or d?
d
Let v be (635/(-215) + 3)/(-1 - -3). Which is smaller: v or 0?
0
Let n = 63 - 63. Is -15/16 > n?
False
Suppose 4*s + 5*i - i - 8 = 0, -4*s - 37 = -5*i. Suppose -2*h + 4*h = 4. Let k(c) = -2*c + 2. Let t be k(h). Which is greater: t or s?
t
Let s be (78/5)/((-6)/30). Let b be s/(-90) - (3 + -2). Which is greater: b or 0?
0
Let t(r) = r**2 - 5*r + 1. Let z be t(4). Let x(y) = y**2 + 13*y - 16. Let p be x(-14). Are p and z nonequal?
True
Let u(j) = -j**3 + 1. Let c = -2 - -3. Let d be u(c). Let x be 0 - (8/6 + -1). Which is greater: d or x?
d
Let y be ((-1)/(-6))/(1/3). Let t be (2/(-4) - 1)*-2. Let v be (2 - 4)/(1*t). Does y = v?
False
Let s = 0.12 + 1.48. Is 2 greater than or equal to s?
True
Suppose -2*d + 6 = -4. Suppose -3 + 8 = d*k. Let w = k - 2. Which is smaller: w or 0?
w
Let g = 5.696 - -0.004. Let o = g + -0.7. Which is greater: -0.1 or o?
o
Let l = 1897/60 + -95/3. Let y be (-2)/(-2)*(3 + (-4 - 0)). Which is bigger: l or y?
l
Let s(j) = j**2 + 16*j - 4. Let f be s(-14). Let o be (f*1/(-2))/2. Is o greater than 7?
True
Let g be 2*2/(-4) - 5. Let p(v) be the third derivative of -v**6/120 - 7*v**5/60 - v**4/4 - v**2. Let s be p(g). Is 4/3 less than or equal to s?
False
Let a = -1 + 2. Let j = a + 8. Let n be (2 + j/(-6))*-2. Is 0 > n?
True
Let s = 35 - 34. Are s and -1/64 non-equal?
True
Let q be 5/7 + (0 - 1). Let l = 8 + -6. Let x = 2.1 - l. Do x and q have the same value?
False
Suppose -4*w + 7*i + 40 = 2*i, -3*w + 30 = 2*i. Suppose -f = 4*f - w. Is 1 > f?
False
Let j = -208 - -208.2. Let s = -4.1 - -1. Let u = 3 + s. Is j not equal to u?
True
Let g = 0.14 + -0.24. Let b = -0.1 - -0.1. Is b greater than g?
True
Let w = -22 + 20. Which is bigger: -2/3 or w?
-2/3
Let m = -5/8 - -51/56. Which is bigger: -2 or m?
m
Let f = 6 - 6. Suppose 0 = -2*b - 4*o + 2, -b + 3*