se 3*d = v - 7, 4*v = 5*d + 3 + 4. Let z = v - -3. Let s = z + -5. Which is bigger: -3 or s?
-3
Suppose 4*t = 4*c + c - 21, -3*t = -2*c + 14. Does c = -1/7?
False
Let a = 142 - 138.95. Let h = 0.05 - a. Are h and -1/4 nonequal?
True
Suppose 0*r = -3*r - 3*r. Which is smaller: -2 or r?
-2
Let l = 1.98 - 0.18. Which is greater: 0.1 or l?
l
Let d be 27/18*8/6. Let t = -13 - -19. Suppose -d*g + t = g. Which is smaller: g or 0?
0
Let s be (-35)/(-15) + 4/6. Suppose 3*u + 2*t + 1 = 0, 4*u - t = s*t + 12. Let i be ((4/22)/u)/(-1). Is -1 at most i?
True
Let y = 12/13 - 3945/91. Let q = y - -42. Suppose 3*d - 2*d = 0. Which is bigger: d or q?
d
Let s = -112437.01 + 111899. Let n = 535 + s. Let p = n - -0.01. Which is smaller: p or 0.1?
p
Suppose -2*a = 3*a + 4*l - 3, 3*a + 6 = -5*l. Which is smaller: -1/3 or a?
-1/3
Let w(n) = -n**2 + 2*n - 2. Let f be w(2). Which is greater: -1 or f?
-1
Let k = 1 + -0.9. Let j = 61 - 184/3. Which is bigger: k or j?
k
Let u = 0.1 - -2.9. Let z = u + -4. Let a = -0.84 + -0.16. Is a <= z?
True
Suppose -24 = 4*b + 36. Let m be 11/(1/((-3)/b)). Is m != 2?
True
Let j = 0.12 + 0.88. Are -0.2 and j equal?
False
Let h(r) = -2*r - 20. Let f be h(-10). Let g be (6/(-11))/(8/(-2)). Which is greater: g or f?
g
Let y = 297 + -1789/6. Are y and -2 equal?
False
Let v be 2*-1*(9 + 2). Let g be 1/(-4) + v/(-24). Let r be -2 - -2 - (5 + 3)/(-4). Which is bigger: r or g?
r
Suppose 14 = g - p, -2*g + 0*p + 25 = p. Are 13 and g equal?
True
Let m(f) = f**2 - 3*f + 1. Suppose 2*a = -0*a + 6. Let g be m(a). Let d = 6 - 4. Which is greater: d or g?
d
Suppose 0 = 2*z + 4*o + 4, 0*z - 2*o = 2*z. Suppose -8 = -z*r - a, -r = 3*r - 3*a - 26. Is 5 greater than or equal to r?
True
Let z = -38 - -54. Which is bigger: 15 or z?
z
Let d = -21 - -21. Which is smaller: -0.4 or d?
-0.4
Let o = 0.2 + 0.1. Let y(c) = -c - 5. Let n be y(-6). Is o <= n?
True
Let v(b) = b**2 + 2*b - 3. Let k be v(-3). Is 1/3 at most as big as k?
False
Let m be (-1 - 27/(-33))*1. Suppose -4*a = 5*y - 17, -28 = -5*y - 5*a - 8. Are y and m equal?
False
Suppose 0 = -t - 1, 0*c = 2*c - 4*t - 12. Let k(l) = l**3 - 5*l**2 + 4*l - 1. Let f be k(c). Is f > -1/9?
False
Let u = 3 - 3. Let d be (u + (-1)/11)*2. Let j be 3 + (-5 - (-6)/4). Which is smaller: d or j?
j
Let j(c) = c**3 - 7*c**2 - 10*c + 18. Let u be j(8). Which is bigger: u or 8/15?
u
Suppose 4*d + 8 = 4. Let x = -3 + 6. Let l = x - 5. Is l at most as big as d?
True
Let v = 19 + -19. Let q(c) = c**3 + c**2 - c - 2. Let g be q(v). Is -2 bigger than g?
False
Suppose 9*p + 11 = 10*p. Is p greater than or equal to 11?
True
Let y = 316 + -24962/79. Which is bigger: 0 or y?
y
Let n(b) = -b**2 + 5*b. Let f be n(4). Suppose 0*l - f = l. Which is smaller: l or -6?
-6
Let x = -2939/2 + 1498. Let d = x + -28. Let b = 1 - 0. Which is smaller: d or b?
d
Let o(d) = -d**3 - 6*d**2 + 8*d + 7. Suppose 0 = 3*g + 2*x - 0*x + 19, 5*x = 3*g + 26. Let i be o(g). Let v be i/1 + (4 - 3). Is 0 greater than or equal to v?
False
Let a = 5 - 8. Let y = -1 - 0. Which is smaller: y or a?
a
Let z = -23 + 16. Let j = z - -7. Which is smaller: 1/10 or j?
j
Suppose -4*y = 4*m + 20, 4*m - 5*m + 4 = 0. Which is smaller: -8 or y?
y
Let q be (-6)/(3*(-1)/2). Suppose -2*b - 4 = -q*c + 6, -4 = -c. Suppose -o - 1 = -b. Is 3/4 <= o?
True
Let g(k) = k**2 + 6*k - 11. Let b be g(-6). Is -12 <= b?
True
Let h = 16 - 15.9. Which is greater: h or 15?
15
Suppose -4*j + 3*j = -3*w + 25, -10 = -2*j. Let d be (w/(-56))/((-7)/(-28)). Does d = -2?
False
Let j be (0 + (-3)/(-2))/6. Are j and 4 equal?
False
Let z be ((-2)/(-4))/(8/(-176)). Let t = z + 13. Suppose 5*f + h = 15, -4*f - 4 = -2*h - t. Which is smaller: f or -2/9?
-2/9
Let y be (0/8)/(-2 - -1). Is 7 < y?
False
Suppose 0 = 2*p - 6*p. Suppose 2*y = 5*w + 9, y = w - p*w. Which is smaller: -2 or w?
w
Suppose 2*v + 3*v = 0. Let h be (v/(-1))/(-3 - -2). Let i be (0/4)/(2/2). Is i != h?
False
Suppose -2*u + 0*u = -4. Suppose -a = -3*a - 4. Let x be (-1 + 0)*u/a. Which is smaller: x or 2?
x
Suppose 3*u = -2*u - 5. Which is smaller: -0.11 or u?
u
Suppose j = 5*j + 376. Let k be 24/(-56) + j/(-56). Is k at least 2?
False
Let v = 0.15 - -0.95. Let s = -1.2 + v. Which is greater: -1 or s?
s
Let h = 17 + -9. Suppose 0 = -4*m - 8 - 8. Let w be (-2)/(-4)*m + 10. Are h and w equal?
True
Suppose 10*d + 5 = 5*d, 3*d + 7 = b. Let v(z) = -2*z - 1. Let i be v(-2). Which is smaller: i or b?
i
Let w be (-3 - -3)/(1*-1). Let m be (-4)/14 - (-16)/252. Which is smaller: m or w?
m
Let u be (-2)/6 - (-16)/30. Let a = u + 2/5. Let q be -2*2/4*-1. Which is smaller: a or q?
a
Let q = -5 + 6. Let k = -11 + 15. Which is smaller: k or q?
q
Suppose 8 = -a + 5*a - 4*u, 2*u - 8 = -2*a. Let m be a/(-4) - 9/4. Suppose -2*c + 3*c - 5*i + 12 = 0, -5*c - 5*i = 0. Is m != c?
True
Suppose 5 + 5 = 2*y. Suppose 8 = v - 2*j + 2, -5*v - 2*j = -30. Which is bigger: v or y?
v
Let o(w) = -w**3 + 7*w**2 - 2*w - 6. Let u be o(6). Let i be (-3)/(u/1)*4. Is i not equal to 1?
True
Let z = 64 + -66. Let m = 24 - 14. Let r be (-28)/m - (1 + -3). Which is bigger: r or z?
r
Let c(z) = -z**3 - 2*z**2 - 3*z - 2. Let o = -3 - -1. Let p be c(o). Suppose -5*a = -p + 9. Does -2 = a?
False
Let t = 0.06 - -4.94. Let h = -4 + t. Is -1 at most h?
True
Suppose 4*p = w - 2*w + 12, 5*w = -p + 41. Let c be w/(-28) + 2/56. Does -1 = c?
False
Let a = -52 - -51.2. Is a bigger than 0.3?
False
Suppose -26 + 71 = 5*p. Suppose -r + p = 2*r. Is 2 equal to r?
False
Let b = 2717/16 - 170. Which is smaller: b or 1?
b
Let s = 1082 + -76820/71. Which is greater: s or 1?
1
Let u = -4 - 4. Let j be ((-10)/u)/(28/64). Let q = j - 46/21. Is q at most as big as -1/7?
False
Suppose 2*i + 3*i = -2*a - 3528, 4*i = -a - 2820. Let b be 4/(-10) - i/10. Let l = -283/4 + b. Is -1 less than or equal to l?
True
Let r = 0 - -3. Let t be (-12)/(-66) + (-6)/33. Which is bigger: r or t?
r
Suppose 13 + 2 = -5*r. Let q be 7 + r + -3 - 5. Let s = 2 + q. Is -2 smaller than s?
False
Let t = 3.7 - 0.7. Let p = -3 + t. Which is smaller: -2 or p?
-2
Let y = -0.08 + -0.92. Let a = y - -4. Which is smaller: a or 2?
2
Let x(m) = -m**2 + 16*m - 37. Let y be x(13). Which is greater: -3 or y?
y
Let n = -8 + 11. Suppose n + 0 = h. Let a = 2 - h. Which is smaller: a or -1/4?
a
Let x = 0.06 + 7.94. Let f = x - 11. Let z(w) = -w**2 + 7*w. Let v be z(7). Is f less than or equal to v?
True
Let x = -17 - -21. Is x != 1?
True
Let w = 4 - 10. Let g be w/9*3/(-8). Suppose 0 = -c - 4*c. Are c and g nonequal?
True
Let s(f) = -2*f - 2. Let m be s(-3). Suppose -49*t = -54*t + 30. Is t bigger than m?
True
Let j be (-1)/(-7)*84/48. Is j less than -1?
False
Let s be 1/(-6) - 2280/(-18). Let o = s - 129. Which is smaller: -3 or o?
-3
Let a(x) = -x - 7. Let s be a(-6). Let b = s - -1. Let o = -24/7 - -22/7. Are o and b non-equal?
True
Suppose 5*j = c + 8 + 6, 3*c = -12. Let m be j/(-1) - (-3 + 4). Which is greater: -2 or m?
-2
Let l(o) = -o + 1. Let h be l(-5). Let c be (15/50)/(h/5). Which is greater: c or 4?
4
Let w(a) = -6 + 3 - a**2 + 2 - 4*a. Let n be w(-3). Which is smaller: 3 or n?
n
Let f = 0.094 - -0.006. Is f < 0.05?
False
Let u = -5 + 6. Suppose 0 = -p - 2 + u. Which is greater: -2 or p?
p
Let u = -8 - -5. Is -7 at least as big as u?
False
Suppose 0 = -3*k - 6*k - 18. Which is smaller: k or -2/3?
k
Let o be 3/(-18)*2*-4. Let x(c) be the second derivative of c**3/6 + c**2/2 + 2*c. Let m be x(0). Is m > o?
False
Let q be 110/25 - (-4)/(-10). Suppose 15 - 3 = q*g. Suppose -r + g*b = 5*b + 5, -4*r = 2*b + 2. Which is greater: -1 or r?
r
Suppose -7*q + 13*q + 6 = 0. Let r = 4 - 3. Is r less than or equal to q?
False
Let g = 2 + -3. Let d = 0.7 - 0.89. Let q = 0.09 + d. Are q and g unequal?
True
Let h = 0.08 - 4.08. Let a = h - -2. Are -0.2 and a equal?
False
Let l = -1 - 0. Let n(z) = -z + 1. Let i be n(l). Let a be ((-6)/36 + 0)*1*6. Which is smaller: i or a?
a
Suppose 0 = -2*s + 3*s - 4. Let h = -1 + s. Which is smaller: h or 3/2?
3/2
Let i be (2/(-56))/((-4)/16). Suppose 0 = 4*c + 1 + 3. Is i >= c?
True
Let w = 46/11 - 488/143. Do 0 and w have different values?
True
Let m = 27 - 20. Is 6 bigger than m?
False
Let l = 3 - 1. Suppose l*i - 16 = -2*i. Is i <= 3?
False
Let i = 41 + -204/5. Let y be ((-126)/(-48) - 3) + 22/16. Which is greater: i or 