x - 3*b. Which is smaller: 5 or x?
x
Let f(y) = y + 3. Let v be f(-3). Is 0 less than v?
False
Let v = -5 + 17. Is 12 at least as big as v?
True
Suppose -2*w + 3 = -5*w - 4*s, 5*w - s = -28. Let a = w - -16/3. Suppose -l = 2 - 1. Which is bigger: l or a?
a
Let s = 442/3 + -146. Let i = 1.15 + -0.15. Is i less than or equal to s?
True
Let l = 11.93 - 12. Let h = 0.37 + l. Is h < 2/7?
False
Let b(k) = -k - 6. Let g be b(-3). Suppose -2*p + 12 = -5*p. Which is greater: g or p?
g
Let c be 0 + -1 + (-916)/70. Let y = 107/7 + c. Is 1 bigger than y?
False
Let y(b) = -2*b**3 - 4*b**2 - 2. Let o be y(-2). Is o smaller than -20/9?
False
Let x = 70/3 - 23. Let s = -25 - -24.83. Let u = s - 0.03. Are u and x unequal?
True
Suppose z = -3*z + 3*b - 22, -3*z - 29 = 4*b. Which is smaller: -13/2 or z?
z
Let w(k) = -k + 7. Let j be (-1)/((3/18)/(-1)). Let y be w(j). Do 2 and y have the same value?
False
Let n(i) = i - 7. Suppose 5*j = 4*j + 2*a + 6, -6 = 2*j + 2*a. Suppose -5*p + 16 + 19 = j. Let v be n(p). Do v and 0 have different values?
False
Let h(l) = 8*l - 6. Let n be h(0). Are n and -51/7 non-equal?
True
Let r = -76 + 76. Let a = 29/2 + -195/14. Which is smaller: r or a?
r
Let j be 2/8 + (-3)/(-4). Let z be -2 + (22432/(-10))/4. Let a = -561 - z. Is a at least as big as j?
True
Let k = 13 - 7. Let j be 8/k*6/(-4). Let v(q) = q**3 - 3*q**2 + q - 4. Let y be v(3). Which is bigger: j or y?
y
Let w = 25 + 38. Let x be (3/w)/((-1)/(-9)). Which is smaller: -1/3 or x?
-1/3
Suppose 2*p = -2*c + 10, c + 7*p = 4*p + 15. Suppose c = -3*z + 2*y - 1 - 2, 5*z + y = 8. Let v be 2 - z*(0 - -1). Is v less than or equal to 1?
True
Let j = 399 + -5983/15. Which is bigger: j or -2/45?
j
Let r = 268/9 - 30. Is r > 3?
False
Let j = -43.58 - -44. Is 0.1 at least as big as j?
False
Let f = 78 + -84.4. Let h = 0.4 + f. Is h < 0?
True
Let v = -1/1342 + 13088/4697. Let d = -69/70 + v. Does d = 2?
False
Let n = -2 - -5. Let l(b) = 2*b**3 - 2*b + 1. Let k be l(2). Suppose -y + 5*g = -k, 2*y - n*g - 8 = -2*g. Which is greater: 2 or y?
y
Suppose 4*z - 7*z + 3 = 0. Is z >= 2?
False
Suppose 4 = 5*r - 6. Suppose 7 = -r*i + 37. Is 13 >= i?
False
Let c = 10 + 0. Let x = 16 + -6. Is x bigger than c?
False
Suppose 12 = -2*i + 6*i. Suppose -s - 9 = 2*f - 0*s, -4*f + i*s - 3 = 0. Let h = -3 - f. Which is smaller: h or 1?
h
Suppose 0 = -0*w - 3*w + 9. Which is bigger: w or 20/7?
w
Let c(x) = -x**3 - 5*x**2 + x - 15. Let t be c(-5). Is t at least as big as -20?
True
Suppose -121 = 3*l + 5. Let b be (-385)/44*(5 + -1). Let g be (-44)/l - 10/b. Which is smaller: g or 1?
1
Suppose 0 = 3*m - m - 2. Let g be -4 - 26*5/(-30). Which is bigger: g or m?
m
Let f = 5.1 + -5. Let l be (-4)/(-10) + 24/15. Which is greater: l or f?
l
Let z = -8 + 3. Suppose 3*b + 14 = 5. Which is smaller: z or b?
z
Let d = -48 + 50. Which is bigger: d or 4/7?
d
Let f = 317/1386 + -1/154. Which is greater: f or 1?
1
Let a = -4 + 5. Let s(y) = 5*y. Let h(r) = -r. Let d(z) = 9*h(z) + 2*s(z). Let i be d(a). Is -1 at least i?
False
Let f = 0.3 - 0. Let s = 0.2 - f. Suppose -2*y = 2*y - 20. Which is smaller: s or y?
s
Suppose 0 + 6 = y. Suppose -5*k + y = 4*u, -4*k - u + 12 = -5*u. Which is bigger: k or 3/2?
k
Let b = -497 + 2471/5. Which is smaller: -2 or b?
b
Let g = -11 + 11. Let n be ((-4)/10)/(63/15). Is n less than g?
True
Let x = 5 + -5. Suppose 4*u + 8 - 4 = x. Which is bigger: -3/7 or u?
-3/7
Let h(p) = -5*p**2 - 2*p + 10. Let s be h(3). Is s <= -40?
True
Suppose 0*w + 4*c + 121 = 3*w, w = 3*c + 32. Is w greater than 47?
False
Let v be 10/15 + 16/(-15). Is 1 < v?
False
Let v = -17/60 - 1/20. Let a = 0 - -1. Is v >= a?
False
Let a = 52 - 75. Which is smaller: a or -24?
-24
Let u be (-2*(-1)/(-5))/(759/(-55)). Is -1 < u?
True
Suppose -14 = t - 10. Is -5 > t?
False
Let i(a) = 5*a + 2. Let k be i(-3). Let b be (-1)/(2/2)*k. Suppose 0 = -o + 4*w + b, 0 = 2*o + w + 1. Which is bigger: o or 2?
2
Suppose -5*p - 3*z = 217, -z + 23 = -p - 14. Are -41 and p non-equal?
False
Let z(m) = m - 3. Let n be z(8). Let a(x) = -x + 1. Let q be a(-5). Is q smaller than n?
False
Let f(s) = 0*s + 4 + 0*s + s - 2*s. Let y be f(5). Let d = -59 - -175/3. Is d < y?
False
Let k(o) = 40*o - 4. Let x be k(1). Is 35 not equal to x?
True
Suppose -4*w = -0*w + 108. Let m be 0 + 1 - (-33)/w. Let l(j) = -j**2 + 8*j - 7. Let u be l(7). Which is smaller: u or m?
m
Let u = -5 - -7. Let l be (1/(-3))/(u/(-6)). Let n be -2 - (-24)/15 - (-432)/930. Which is smaller: l or n?
n
Let i be (-1 + 2/6)*6. Let m = -4 - i. Let f = -433/7 - -62. Is m > f?
False
Let f = -558001/6 - -259469809/2790. Let v = 2/155 + f. Are -1 and v non-equal?
True
Let o be 105/(-100) - (-2)/8. Is -1 < o?
True
Suppose -2*n + 2*b - 1 = -5*n, -4*n + 8 = b. Let l = -2 + n. Suppose 4*v + 16 = 0, -3*v + l + 2 = -5*j. Which is smaller: j or -3/2?
j
Suppose 0 = t - 2 - 0. Let a = 9 - 6. Which is smaller: a or t?
t
Let z = 184 + -268. Let k be ((-7)/z)/((-6)/(-16)). Which is smaller: 2/7 or k?
k
Let a(s) = -5679*s**3 + 2*s + 1. Let i be a(-2). Let o = 317165/7 - i. Let m = o + 120. Which is smaller: 0 or m?
0
Let c = 4 + -5. Is -1 less than c?
False
Let n be -1*(-4 - (9 - -1)). Do n and 13 have the same value?
False
Let m = 93/40 + -1/8. Let x = -7 + 8. Which is greater: m or x?
m
Suppose -2*i + 4*i = 6. Suppose 4 = -i*l - 0*l + 2*u, 4*u = -3*l - 10. Let o be 26/(-12) + l + 4. Which is smaller: 0 or o?
o
Suppose -42 = 4*w - 6. Let l be 4/w*1/(-2). Is 0.7 < l?
False
Let x be (-4)/2 + (-1)/1. Let y be x + 3/(3/1). Which is smaller: -1 or y?
y
Let j be (492/(-15))/(2/(-5)). Let z be (-7)/49 - j/14. Is z < 0.2?
True
Let d(r) = -4*r**3 + 6*r**2 - 1. Let y be d(-2). Do 54 and y have different values?
True
Let l(r) = -r**3 - r**2 + 1. Let x be l(-1). Which is smaller: -1/6 or x?
-1/6
Let q(t) = t**2 - 8*t - 8. Let j be q(9). Suppose h + 3*w = -6, 11 - j = -5*w. Is -1 bigger than h?
False
Let u = 268 - 186. Are 83 and u equal?
False
Let x be 138/(-35) - 0 - (-3 + -1). Which is smaller: -1 or x?
-1
Let s = -17 - -16.8. Is s > 2/5?
False
Suppose 2*y + 2 = 3*y. Is 7 less than y?
False
Let n = -0.19 + 0.09. Is n less than or equal to 10?
True
Let d = -3 + 1. Let l = -1.21 - -0.01. Let k = l - -1.1. Are k and d unequal?
True
Suppose q - 4*q + 29 = -4*v, 4*q + 4*v - 20 = 0. Let x = -12 + q. Is x >= -6?
True
Suppose 5*r + 2*f = -0*r + 116, -4*f - 128 = -5*r. Let t(k) = 16*k**2 + 3*k. Let b be t(-2). Let z be ((-1)/b)/(6/r). Is z less than or equal to 1?
True
Let j = -5 - -7. Let t = -0.3 + -1.7. Let n = 1.9 + t. Which is greater: n or j?
j
Let m be -2*((-7)/(-2) + -4). Is -2/11 < m?
True
Suppose -5*d + 27 = 7. Suppose -c = d*c. Are c and -1/16 nonequal?
True
Suppose 1 = 3*s + 13. Which is smaller: s or -2?
s
Let l be -1*1/(-2)*2. Let b be (-36)/44 - (-1)/l. Which is smaller: b or 1?
b
Let m = 23 + -63. Are m and -41 non-equal?
True
Let g(o) be the third derivative of o**6/120 + o**5/12 - o**4/4 + 6*o**2. Suppose c = -2*q + 4, 3*c = -0*q + q - 23. Let r be g(c). Which is bigger: r or -1/7?
r
Suppose 0*o = 4*o - 16. Let a be ((21/(-6))/(-7))/(2/20). Is a smaller than o?
False
Let m(j) = 8*j - 1 + 2 - 9*j. Let y be (-14)/(-6) - (-2)/(-6). Let l be m(y). Which is smaller: l or -0.06?
l
Let r = -5 - -2. Let w = 4 + r. Let p = 119/39 - 18/13. Is p greater than w?
True
Let x = -11 + 7. Is -5 less than or equal to x?
True
Let w = 16 + -16. Is w less than -3/7?
False
Let m be 46/14 + 2/(-7). Suppose -3*a = -m - 3. Let s be 0 + a - (-4)/(-3). Is 2 less than or equal to s?
False
Let b = -6.566 + -0.134. Let k = b + 7. Let o = 0.7 + k. Is -2/3 < o?
True
Let v = 0 + 1. Which is smaller: v or -2/5?
-2/5
Suppose -4*v = -4*k + 16, 1 = v + 4. Let o be k/(-14) + (-6)/(-4). Are o and 2 non-equal?
True
Suppose -2*l = 0, -2*o - 3*o = 3*l - 5. Let z = 0.08 - -0.22. Which is bigger: z or o?
o
Let p be -1 + (-4 - (3 - 5)). Suppose 3*v + 0 - 14 = 5*c, -2*c - 6 = -v. Which is greater: p or v?
v
Let f = -273 + 829/3. Is f less than 3?
False
Suppose 0 = k + 1 - 4. Which is smaller: 5/3 or k?
5/3
Let j = -4 + 7. Suppose -3*t + 5*i = t + 17, 0 = -5*i + 25. Let r be (3/t)/((-6)/(-12)). Is j >= r?
True
Let f = 108 + -109.07. Let i = 0.07 + f. Are -4 and i equal?
False
Let g = 39 - 84. Let y be ((-3)/g)/(1/9). Which is greater: y or 0?
y
Suppo