 10.6. Let n = 0.4 - s. Let u be -1 - -7*(-1)/(-5). Is u >= n?
True
Suppose 3*h - q = 24, 5*h - 3*h - 17 = q. Is h > 2?
True
Let q = -2026962 + 60221431. Let g = -448504773233/7707 + q. Let s = -4/367 + g. Do -1 and s have the same value?
False
Let u be 4/(-14) + (-180)/(-581). Let r be 28/(-21) - 2/(-6). Is r > u?
False
Let n be ((-12)/15)/(4/(-16)). Is n != 4?
True
Let a = 2.77 + -1.77. Which is greater: a or -7.2?
a
Suppose 0 = -g + 7*g. Let z be 2*((-1)/(-2) + 0). Suppose g*i = i + z. Is i less than -1/4?
True
Let v be (-50)/(-66) - 14/21. Which is bigger: 0 or v?
v
Let o(c) = -c**3 - 6*c**2 + 14*c - 4. Let z be o(-8). Is 14 <= z?
False
Suppose 21 = j - 4*b + 2, -5 = -5*j + 2*b. Let k be ((-57)/608)/(2/8). Which is bigger: k or j?
k
Let n = -0.02 - 0.98. Let u = n - -2. Let b(l) = l**3 + 1. Let d be b(-1). Which is smaller: d or u?
d
Suppose 0 = 5*g + 8 + 17. Let l(j) = -j - 1. Let k be l(3). Which is greater: k or g?
k
Let d = 1.2 + -0.8. Let i = 63 + -191/3. Which is greater: d or i?
d
Let v(t) = 3*t - 1. Let u be v(1). Let a be ((-1)/(-3))/(2/6). Let f be ((0 - -2) + -1)*a. Do f and u have the same value?
False
Suppose h = -4*k + 10, -1 = 4*h - 9. Let r = -1 + k. Which is greater: r or -3/2?
r
Let y(c) = -c**2 - 4*c + 6. Let v be y(-7). Is v at most as big as -15?
True
Suppose 394 = 4*v - 2*t, 4*t + 491 = 5*v + 3*t. Let r = v + -687/7. Is r at most as big as -1?
False
Let t = 2 + -1. Let u be -1 + -1*(t + 0). Let g be u/(0 + 0 + 1). Is -4/7 less than g?
False
Let t = 239 - 233. Let v = 2 - 2. Suppose v = -0*m + 4*m - 20. Which is bigger: m or t?
t
Let r = -206/377 - -8/13. Let b be ((-12)/(-4))/(-1) - -2. Which is greater: r or b?
r
Suppose -5*z = -5*q + 4*q, 5*q + 26 = -z. Let g = -16 + 18. Suppose g*b - 4*b - 4 = 0. Is b less than z?
True
Let q(k) = -2*k**2 + 3*k + 3. Let l be q(6). Let m be 12/(-16) - (1274/(-24) - -2). Let f = l + m. Which is greater: f or -2?
f
Suppose -3*d + 1 = 5*f, -d - 3*f - 11 = -5*d. Let w = d - 0. Suppose 5*l = -p + 9, -3*p - 4*l = w*p - 3. Does p = -1?
True
Let b be (-3)/(-9) - 175/(-15). Let h be 2*(b/8 - 2). Is -3 smaller than h?
True
Let r be -4 + 4 + (282/3 - 0). Is 95 at most r?
False
Let s be 15/1 + (-5 - -3). Let f = -14 + s. Is f <= -1?
True
Let r = 38/123 - -1/41. Is 1 smaller than r?
False
Suppose 0 = 2*k + z - 5, 2*k + 2*k = 3*z - 15. Which is smaller: k or -2/27?
-2/27
Let v be 10/(-26)*6/15. Suppose -2*h + 3 = -0*d + 5*d, 0 = -4*d + h + 5. Which is smaller: d or v?
v
Let s be -2 + 5 - 10/5. Let l(b) = b**2 - 3*b + 4. Let w be l(2). Which is bigger: s or w?
w
Suppose u + 2*c - 6 = -1, -c = -u + 5. Suppose -n = -6*n - u. Let b(l) = -l**3 - 4*l**2 - 3*l - 2. Let h be b(-3). Is n at least as big as h?
True
Suppose a - 6 = -a. Suppose -a*d - 3*p = -21, 0 = -0*p - p + 5. Let w be 3 - (d + 7/2). Is -2 >= w?
True
Let k be 1/(3/(-9)*-1). Let z(b) = -4*b**3 - b**2. Let h be z(-1). Suppose c = -h*c + 8. Which is smaller: k or c?
c
Suppose 2 = -b - 0. Let h be (1 - 5112/(-15))*-1. Let z = -343 - h. Which is bigger: z or b?
z
Let l be 1/4 - (4 - 159/36). Are l and 46 unequal?
True
Suppose -8*z + 4*z - 28 = 4*q, -8 = 2*z. Let g be q - (3 - 2)*2. Does -5 = g?
True
Let j(r) = -r**3 - 9*r**2 - 10*r - 4. Let u be j(-8). Let i = -12 + u. Is i <= 1/19?
True
Let l(h) = h**3 - h**2 + h + 15. Let p be l(0). Let v be (3/15)/(9/p). Which is smaller: v or 0?
0
Let s(i) = -7*i**3 + 7*i**2 - 7*i - 7. Let v(a) = -10*a**3 + 10*a**2 - 10*a - 10. Let w(p) = 7*s(p) - 5*v(p). Let l be w(0). Is 3 >= l?
True
Let t = 0.24 + -0.29. Which is greater: t or 1?
1
Let l be 28/21*(1 + -7). Let d = l - -7. Is d equal to -2/13?
False
Let h(s) = s**3 - 6*s**2 + 5*s + 3. Let o be h(5). Suppose -4*r + r + o = 0. Which is smaller: 2/17 or r?
2/17
Let p = 471.03 - 469. Let j = -1.03 - -1. Let b = p + j. Which is smaller: 0 or b?
0
Suppose 0 = -4*u + 3*u. Which is bigger: 4/5 or u?
4/5
Suppose -20 = -4*d - d. Suppose d*y = 8*y. Is y < 0?
False
Let d = 264109/83 + -3182. Is 1 less than d?
False
Let g(q) = q**2 - 7*q + 4. Let p be g(3). Let y be 134/p - (-9)/12. Let u be -1 + y/(-10) + -1. Is 5 >= u?
True
Suppose 3*s + 0*s - 36 = -3*p, 5*p - 64 = -3*s. Do p and 15 have the same value?
False
Let m be (-1)/5*(-15)/(-9). Suppose 0 = -4*b + 5*t + 4, 14 = 5*b + 4*t - 32. Let u be 2/(-5) + b/15. Is u bigger than m?
True
Let i be ((-24)/(-44))/(6/(-8)). Let b be ((-6)/10)/(66/124). Let x = i - b. Is 0 > x?
False
Suppose -3*q = -x - 2*x + 12, 2*q = 4*x - 18. Do x and 7 have the same value?
False
Let w = -20 - -19.6. Let q = 4.8 - 5. Is w greater than or equal to q?
False
Let b be (10/30)/((-2)/12). Is -4 greater than b?
False
Suppose 5*o = 2*r + 37, -r - 3*r - 3*o = 9. Which is greater: -9/2 or r?
-9/2
Let n = 5 - 2. Suppose -5*c + 5 = 0, 5*z = -0*z + 3*c - n. Is z <= 1/8?
True
Let d = 16 - 10. Is 6 at most d?
True
Let z = 36 - 35. Is 6 less than or equal to z?
False
Let v = 0.4 + 0.6. Is -1.3 less than or equal to v?
True
Let l be 1*(-2 - 284/(-144)). Which is greater: l or 0?
0
Let h = -7 - -1. Do h and -3 have the same value?
False
Let f(b) = -b**2 - 4*b - 2. Let a be f(-4). Let i = 1 + a. Let c = 68/3 + -23. Is i at least as big as c?
False
Let u(t) = 5*t**3 + 3*t**2 - 5*t - 5. Let y(d) = -6*d**3 - 4*d**2 + 6*d + 6. Let g(m) = 5*u(m) + 4*y(m). Let i be g(2). Which is greater: i or 2/9?
i
Let k(h) = h**2 + h - 8. Let o be k(-4). Suppose 2*f + 2*j + 2 = 0, -2*f + o*j = -3 - 1. Is f smaller than 6/5?
True
Let o(r) = r**2 + 6*r - 8. Let k be o(-6). Does k = -9?
False
Suppose -3*z - 25 = -8*z. Is 4 at least z?
False
Suppose 3*l - 3*f + 12 = 0, 2*f + f + 12 = -3*l. Let k be (-111)/27 - l/2. Let y = k - -7/3. Which is smaller: y or 1?
y
Let h = 2 + 0. Let s be 2*2/32*h. Let d be (0/(-6 - -1))/((-4)/1). Is s at most as big as d?
False
Let d(v) = -v**3 - 3*v**2 - 2*v. Suppose -3*n + 2 = -10. Suppose 6 = -n*c - 2. Let t be d(c). Do t and 2/15 have the same value?
False
Let m = 147/2 + -75. Which is smaller: m or 7?
m
Let q = -4 - -8. Suppose -5 = -4*w - 4*i + 11, -q*i - 2 = w. Is w > 7?
False
Let v be (-13743)/21420 - (-1)/4. Let u = -1/119 + v. Which is smaller: 4 or u?
u
Let m be (-60)/8*(-1)/(-3). Suppose 0 = 5*q - s + 2*s + 15, 2*s = 5*q. Which is greater: m or q?
q
Let l = 100 - 100. Is 24 < l?
False
Let i = 5/52 + 2/13. Is i equal to -13/11?
False
Let q be (-21)/15 - (-6)/15. Let c = 2 - 2.1. Which is bigger: q or c?
c
Suppose 5*c + 3*i = 4*i - 36, 0 = -2*c - 5*i - 36. Are -8 and c unequal?
False
Let l = -14 + 17. Let g = -2 + l. Let p be 2 - (0 - 1*-2). Is g equal to p?
False
Let s = -16 - -22. Let t = -6 + s. Is -0.7 > t?
False
Let t = 0.01 + -7.01. Let i = -9 - t. Which is smaller: i or 5?
i
Let f(o) be the first derivative of o**4/4 - 2*o**3/3 - 3*o**2/2 + o - 4. Let i be f(3). Do i and 1/2 have the same value?
False
Suppose -5*o = -5*t - 10, 2*o + 4 = -3*t - 12. Let f be -8*(o + (-14)/(-4)). Let i be 4*1/f*2. Which is bigger: 0 or i?
0
Let q(z) = -z + 12. Let l be q(12). Is -1/3 <= l?
True
Let q(a) be the third derivative of a**6/120 - a**5/12 + 5*a**3/6 + 3*a**2. Let s be q(5). Which is bigger: 4 or s?
s
Suppose -5*v = -0*v + 15, -5*v + 24 = -3*d. Is -13 smaller than d?
False
Let z(v) = -v**3 + v**2 + 3*v - 2. Let m be z(2). Let r be 49/35*(5 - m). Is r less than or equal to 6?
False
Let f = 11 + -6. Is f bigger than 5?
False
Let i = -0.67 + 0.07. Let a = i + 0.7. Are -0.1 and a non-equal?
True
Let v be 3 - ((-6)/(-2) + -1). Let m(b) = 2*b**2 - 2*b + 1. Let d be m(1). Let y be (d/16)/((-1)/(-6)). Is y bigger than v?
False
Let u be 1/(-1) + (-2 - -4). Let p = -3 - u. Let j be p/6 + 10/6. Which is smaller: 1/4 or j?
1/4
Let u(w) = -w**3 + 6*w**2 + 6*w + 6. Let q be u(7). Is -3/8 smaller than q?
False
Let m(w) = -w**3 - 3*w**2 + 6*w - 7. Let f be m(-5). Suppose -f - 3 = -4*v. Let t be (-2)/v*3/(-6). Is -1 bigger than t?
False
Let j(r) = -r - 3. Let f = 0 + -7. Let q be j(f). Suppose 3 = -q*p - 5. Is p at most as big as -2?
True
Suppose -6*n = -2*n + 2*s - 2, -n - 3 = 4*s. Suppose 0*m - 2*m = 2*f + 8, -2*f = 3*m + 9. Let v be n/f + 4/(-6). Is v at most -2/7?
True
Let d be (-28)/50*(-70)/(-168). Let c = d + 1/15. Is 1 at least c?
True
Suppose 0 = 3*c + 4*u + 2, -3*c - 3*u - 3 = -0*u. Let g(v) = v**2 - 13*v + 9. Let o be g(12). Is o not equal to c?
T