v + 6, -3*t + 10 = r*v. Let s be -1*(1 - 4/2). Is v smaller than s?
False
Suppose -5*q - 15 = 0, -3*x + q + 2*q = -27. Suppose -4*m = 0, -4*r + 0*r + 4*m + 24 = 0. Does r = x?
True
Let z = -0.44 - -2.44. Which is bigger: -4/17 or z?
z
Suppose 7*k - 3*k - 5 = 5*q, 2*k - 16 = -2*q. Is 3 <= q?
True
Suppose 0 = -21*h + 23*h - 26. Is 13 >= h?
True
Let h be 3*(2 - 3/1). Let x = h - -2. Let p be 11/4 + x - 2. Do -1 and p have the same value?
False
Let u = 16 - -5. Let s be (12/u - -1) + -2. Which is greater: 0 or s?
0
Let j be 12 - 14 - (-34)/14. Which is greater: j or -1?
j
Let i = 18 + -28. Let r = i + 10.05. Is 2 at least r?
True
Suppose -2*w = 3*h - 19, -h + 17 = w + 2*h. Let f be ((-378)/30)/((-2)/10). Let m be 140/f - 2/9. Is m < w?
False
Let s(q) = -15*q + 9. Let f be s(-7). Let w = 1024/9 - f. Which is smaller: 0 or w?
w
Let q = 8 + -6.2. Let n = -0.6 - -2.6. Let h = n - q. Are h and 1 nonequal?
True
Let t be -4*(-7)/56*8/14. Let a = -0.6 + -0.1. Let w = a - 0.3. Which is smaller: w or t?
w
Suppose 0 = -3*q + 2*b + 19, -40 = -3*q - 2*q + 5*b. Suppose -q*y - 38 = -3*i + 8*i, 2*y - 26 = 4*i. Which is greater: i or -5?
-5
Let z(o) = o - 10. Let f be z(10). Suppose y + y - 2 = f. Which is bigger: y or -1?
y
Suppose 2*v + 13 = -u, 19 = -4*v - 0*u + 5*u. Let t be 4/(-48)*16/v. Is 0.2 smaller than t?
True
Let k be 2/(-10) - (-18)/(-10). Let g(w) = w**2 + 2*w - 4. Let m be g(k). Is -4 at least as big as m?
True
Let j = -11 + 15. Which is smaller: 10 or j?
j
Suppose 0 = -4*s + 4*x - 7*x + 735, 0 = 2*s - 4*x - 362. Let y be 1640/9 + 2/2. Let v = y - s. Do -1 and v have different values?
True
Suppose 2*p = -36 + 18. Which is bigger: p or -2/3?
-2/3
Let h = -12 + 14. Which is greater: -0.2 or h?
h
Let j(x) = x - 9. Let u be j(8). Let g = -7/6474 + 1712401/25896. Let r = 66 - g. Is u not equal to r?
True
Let f(m) = -m**3 + 8*m**2 - 7*m - 2. Let d be f(7). Is d >= -8/3?
True
Let m(n) = 4*n**2 - 31*n - 11. Let a(q) = 3*q**2 - 21*q - 7. Let f(k) = 7*a(k) - 5*m(k). Let j be f(-7). Let o = -2 + 16/7. Are j and o nonequal?
True
Let k be (-38)/(-14) - 2/(-7). Let p be -3 - -2 - k - -2. Is p at most as big as -2?
True
Let t be (0 - -2)*(-7 + 5). Which is greater: 2 or t?
2
Suppose 5*y = 5*o + 5, 3*o + 3 = -y - 4. Let j be 0 - 2 - o/2. Which is smaller: j or 3?
j
Let z(q) = q - 4. Let m be z(2). Let x = -7 - m. Which is smaller: x or -6?
-6
Suppose 4*v - h = -3*h + 4, 0 = 5*h. Is 5/33 >= v?
False
Let m = -21 + 21. Which is greater: m or -6/5?
m
Let l be (-2 - -1) + 0 + 5. Suppose -l + 3 = d. Let w = 4 + d. Which is greater: 4 or w?
4
Suppose r - 30 = -5*n, -2*r = 4*n - 9 - 21. Suppose -n*t = p + 2*p - 12, 0 = t - 3. Which is smaller: p or -1/2?
p
Let d(o) = -o**3 - 16*o**2 + 16*o + 19. Let x be d(-17). Which is smaller: x or 37?
x
Let w(h) = -12*h - 1. Let a be w(-1). Let m(o) = -o**2 + 11*o - 3. Let k be m(a). Is k equal to -3?
True
Let g be (-1)/(-1) - -2 - 288/14. Which is smaller: -18 or g?
-18
Let b be (-10)/(-39) - (-1)/(-3). Let o = b + 95/52. Let x be (-3)/1 + (-11)/(77/(-28)). Which is greater: o or x?
o
Let z be ((-7)/(7/(-18)))/2. Let v = z - 14. Is v greater than or equal to -6?
True
Let v = -107 - -104. Which is bigger: -4 or v?
v
Let m be 2/(-7) - 2162/(-70). Let j = 10 + 21. Let h = j - m. Is h <= 0?
False
Suppose 8*s + 24 = 4*s. Let w be (s/(-20))/((-15)/20). Is w greater than or equal to -1?
True
Let t(y) = -y**3 + 5*y**2 - 2*y + 7. Let s(c) = -2*c**2 + 6*c - 3. Let m be s(4). Let z = -6 - m. Let j be t(z). Which is smaller: j or -2?
j
Suppose -3*a = -4*a + 4. Let k be 39/60 + (-1)/a. Which is bigger: 0 or k?
k
Let i = 59 - 104. Is -45 bigger than i?
False
Suppose 0 = 2*l + l - 9. Let h be (-4)/l*15/10. Which is smaller: h or -3?
-3
Suppose -5*a + 3*x + 7 = 0, -x + 6*x = -2*a - 22. Which is greater: 12 or a?
12
Suppose 15*k + 11 = z + 17*k, -5*z = k - 10. Which is smaller: 4/9 or z?
4/9
Let b = -114348353 - -552302547967/4830. Let l = b + -8/161. Let j = l - 1/15. Are j and 0 nonequal?
True
Let i = -2071/6 + 347. Which is smaller: 3 or i?
i
Let g = -147 - -59. Let w = g + 89.98. Let n = -0.02 - w. Is -1 < n?
False
Suppose -2*a + 100 = -7*a. Let x = a - -26. Are 7 and x unequal?
True
Let r(c) = 3*c + 4. Let m be r(-3). Let n = m + 4. Are -3/5 and n unequal?
True
Let p(l) = -6*l + 9. Let h be p(6). Is -27 greater than h?
False
Let f = 24 - 22. Let v = -0.17 + -0.03. Is f at least v?
True
Let g be 10/(-4)*1/(-125). Which is smaller: 0 or g?
0
Let y be 6*1/3 + 2. Which is smaller: 28/11 or y?
28/11
Let c = 5 + -2. Suppose -3*h - 1 = c*t - t, -7 = -3*h + 2*t. Are h and -1/11 equal?
False
Let y be 10/(60/27)*(1 - 3). Which is greater: y or 0.2?
0.2
Let y = -2 - -7. Let i(x) = x**3 - 2*x**2 + x - 5. Let d be i(3). Suppose -3*m + 5*l + 2 = 0, -2*m + d - 1 = -l. Which is smaller: m or y?
m
Let z = 0.06 + -16.06. Let d = z + 8. Let s = d - -11. Which is smaller: 1/2 or s?
1/2
Let k be ((-3)/6*-17)/((-4)/8). Which is greater: k or -15?
-15
Let v(j) be the third derivative of -j**4/24 + j**3/6 + 2*j**2. Let x be v(1). Let b be 12/(-3) + x + 2. Are b and -3 non-equal?
True
Let n be (9/6 - 2)*4. Suppose -2 = 2*o + 2. Let c be (-1 + o + 1)*1. Is c smaller than n?
False
Let u be (-19)/(-3)*-1 - (-2)/(-3). Let t = 2 - 3. Is u equal to t?
False
Let l = -13.8 - -14. Let w = 0.2 - 1.2. Do w and l have different values?
True
Let v(s) = 2*s**2 - 2*s + 2. Let q be v(4). Suppose 4*n = 3*t + 39, -5*n + q = -4*n - 4*t. Is 6 at most as big as n?
True
Let o = 4.5 + -11.5. Which is bigger: -4/3 or o?
-4/3
Suppose 2*u + 6 = 0, 0*y - 3*u - 9 = -y. Let m = -2 + y. Let z be (3*-1)/(6/4). Is m bigger than z?
False
Suppose 16 - 4 = 3*a. Suppose -a*p = -0*p. Let r(l) = -l**2 - 5*l + 2. Let q be r(-5). Which is bigger: q or p?
q
Let i = -40.3 + 43. Let j = 0.3 + i. Let v = 0.2 + -0.3. Is j smaller than v?
False
Let k be (-1*(-6)/(-9))/10. Suppose 2*s = -2*s. Which is bigger: k or s?
s
Let d = 46 - 39. Is 8 smaller than d?
False
Suppose -2*z = 3*w - 9, 5*w - 2*z - 31 = -0*z. Suppose -w*b - 50 = 5*c, -4*b + b + 45 = -2*c. Which is bigger: -16 or c?
c
Let y(v) = v**2 + 4*v + 1. Let z be y(-4). Suppose -13 = -2*o - z. Let c be -10 + 6 - 9/(-1). Is o bigger than c?
True
Let s = 0.15 - 4.15. Let b = -3.9 - s. Is -2 greater than b?
False
Let l = 32 - 95/3. Is l at least 5/8?
False
Let x = -14 - -72/5. Is -12 equal to x?
False
Let y = -1.06 - 0.94. Do -0.15 and y have the same value?
False
Suppose 3*w + 5*u = 6, -6*w + 5*u + 10 = -w. Let b = 12 - 10. Is w less than b?
False
Suppose -10*o = -13 + 3. Let s be 1 - -1*(-1 + 1). Let i = 0 - s. Is i bigger than o?
False
Let b be -2 - -1 - (2 - 8). Let c = 7 - b. Let f be c + 2*27/(-24). Which is greater: f or -1?
f
Let t = -11 + 9. Which is bigger: t or -9/8?
-9/8
Let i = -0.6 + 1. Let h be (-5)/2*4/(-40). Which is greater: h or i?
i
Let w = 6.9 - -0.1. Let x = w + -13. Which is bigger: 1/2 or x?
1/2
Let l be 5 + 1 + (-5)/5. Does 4 = l?
False
Let p be (1 + (3 - 5))*(-1 + 100). Is -98 >= p?
True
Let b = -2101/966 - -4/483. Is -3 at least b?
False
Let a(q) = 10*q + 4. Let k be a(-4). Let d be (k/10)/((-4)/10). Let h(u) = -u**3 + 8*u**2 + 9*u - 1. Let p be h(d). Is 0 less than or equal to p?
False
Let v = 68 + -50. Is v greater than 15?
True
Suppose 2*b + 6 = 4*b, -2*b + 10 = -4*l. Are 1/62 and l non-equal?
True
Let o = 7853/11 - 713. Is 2 at most o?
False
Suppose 0 = -3*h + 4 + 2. Let t be h + (-7)/(7/3). Is 1/10 at least t?
True
Let j = -2/255 + 104/255. Is j at most 2/11?
False
Let p = -2/2573 + -156945/10292. Let a = 15 + p. Which is smaller: 0.1 or a?
a
Let c be (39 - 38)*(-28 + 0 + 1). Which is greater: c or -26?
-26
Let t = 2.63 + 0.07. Which is greater: t or -1/4?
t
Let p = 5 + -3. Suppose -p*k = 6, 3*k - 4*k - 5 = -m. Are 1 and m equal?
False
Let b = -4/441 + 4871/2205. Let j = -247/110 + b. Is j smaller than 1?
True
Let t be ((-9)/12)/((-1)/(-2)). Let g = -6 + 4. Is t < g?
False
Suppose -6*c + 2 = -4*c. Do c and 2/73 have different values?
True
Let k = 73 - 69. Which is smaller: k or 0?
0
Let m(f) = -5*f**2 - 3*f - 4. Let x be m(-6). Let s be (2/x - 0)*1. Let v = 337/415 + s. Which is smaller: 1 or v?
v
Suppose 2*j - 8 + 8 = 0. Suppose 2*q - 3 = -q. Let v = q + j. Which is greater: v or 0?
v
Suppose 3*g - 58 - 44 = 0. Suppose l + 44 = 