. Let o be (-18)/t - (-7)/k. Is o greater than or equal to -2/15?
True
Let g(t) = 2 - 2*t + 3*t + 0 + 4. Let c be g(5). Let l = c - 10. Which is bigger: l or 5/4?
5/4
Let v = -1014 + 31438/31. Which is bigger: v or 1?
1
Let k(u) = -u**2 + 5*u + 6. Let y be k(6). Suppose y*a = 4*a. Let i = 4 - 1. Which is smaller: a or i?
a
Let b(d) = -d**3 + 7*d**2 - 6 + 3 + 4*d**2 - 3*d - 7*d. Let w be b(10). Let l(s) = s**3 + 3*s**2 + 2*s + 4. Let c be l(w). Which is bigger: -3 or c?
c
Let c = 107 - -8. Suppose 0 = -r - r - 5*s + c, -3*s - 191 = -4*r. Suppose 0*q - r = -5*q. Are q and 10 nonequal?
False
Suppose -2*y = 4*a + a + 8, -3*y = -4*a + 12. Let w be 0*2/(-4)*2. Let i = a + w. Is i bigger than 3/7?
False
Let w(f) = f**2 + 11*f + 18. Let d be w(-9). Let t = -0.08 - 3.92. Which is smaller: t or d?
t
Suppose 2*l - 65 = -3*l. Let a be (0/3)/(-4) + 2. Suppose -a*c + 11 = u - 11, 68 = 5*c - 4*u. Are c and l equal?
False
Suppose 2*h = 4*b + 4*h - 26, b - 3*h = -11. Suppose -b*x + 4*z = 8, 11 = -5*x + 2*x - 2*z. Which is bigger: x or -4?
x
Suppose 2*s = 3*s - 45. Suppose 0 = -3*w - 0*w - s. Is w less than -15?
False
Let i(y) = -y**3 + 9*y**2 - 2. Let x be (-11 - -10)*(-7 + 0). Let d be (9 + 0)*x/7. Let c be i(d). Is c at least as big as -2?
True
Let i = 45 - 403/9. Let f be 4/2*(-3)/(-3). Suppose -f*k + 4*o + 17 = -k, -8 = 2*o. Is i greater than k?
False
Let d = 233.905 + 0.095. Which is bigger: 0 or d?
d
Let b = 890 - 1773/2. Let o be 12/9*6 - 0. Let p = -3 + o. Is b at most p?
True
Let n(y) = -y**3 - 28*y**2 - 39*y - 152. Let t be n(-27). Is 173 smaller than t?
False
Suppose 7*z + t - 59 = 3*z, t + 67 = 5*z. Let k(r) = -6*r + 0 - z + 7*r. Let f be k(12). Which is bigger: -4 or f?
f
Let s be (-2 - -3)*-2*-1. Let o be 2 - 15/(5 - s). Which is smaller: -1 or o?
o
Suppose 3*y - 8 = 1. Suppose 5 = -4*t - y. Let m(n) = 6*n - 16. Let w be m(3). Which is smaller: w or t?
t
Let m be (-1)/9*(18 + -760). Which is bigger: m or 83?
83
Let h = 213.51 + -215. Let q = 1.4 + h. Let d = q + 0.09. Are d and -9 equal?
False
Let d be 4/1 - ((-336)/(-54) + -2). Let o(n) = 3*n - 1. Suppose -2*l - 11 = r + l, 0 = -3*r + 2*l + 11. Let x be o(r). Do d and x have different values?
True
Suppose -5 = -6*t + t. Suppose -2*l + 0 = 2. Let d be 10/((-4 - l) + 10). Which is smaller: t or d?
t
Let j be 2/(-11)*(-11)/(-1903). Which is smaller: -1 or j?
-1
Let c(f) = -3*f - 32. Let z be c(-16). Let m be 4 + -1 + -2 + 5. Let j be (35/(-21))/(z/m). Which is smaller: j or 0?
j
Suppose -5*f = 3*n + 1, 0 = 5*f + 10. Suppose 7*w + 0*w - 14 = 0. Let s be -1 + (w/(-2) - n). Which is bigger: -6 or s?
s
Let d(h) = -h - 10. Let k be d(-20). Suppose -f + 7 = -y, 0 = 5*f + 4*y + 2 - k. Does 0 = f?
False
Let a(r) = -r**2 - 11*r - 3. Let d be a(-7). Suppose -2*t + d = -5*m, 17 = 3*t - 2*m + 7. Does -6/5 = t?
False
Suppose -1 = -2*o - n, 5*o - 7*n + 17 = -3*n. Suppose -2 = 2*j + 3*f, j = -f - 0 - 2. Is o at least j?
True
Suppose a = 5*h - 24, 6*h - 20 = h. Let p be ((-10)/(-215))/(a/6). Which is smaller: -1 or p?
-1
Suppose -4 + 13 = 3*h. Let n be ((-2)/h)/(66/27). Is n at least -1?
True
Let u(g) = -g**2 - 13*g + 17. Let a be u(-14). Suppose a*t = t + 20. Is t > 9?
True
Let s(l) = l**3 - 12*l**2 + 17*l + 15. Let c be s(10). Is c < -2?
True
Suppose -u - 125 - 106 = 0. Which is smaller: u or -230?
u
Let p be (4/8)/((-4)/(-40)). Suppose l - p*x = -4*l - 595, 5*l = 3*x - 599. Let z = 608/5 + l. Is -0.06 at most as big as z?
True
Let s = -1532/5 + 258918/845. Which is smaller: s or 0.2?
s
Suppose -12*u + 56 + 208 = 0. Let x = u + -22. Is x <= -3?
False
Suppose 3*w + w = -28. Let v be (-5 - w)*3/(-26). Let k be (1 - 1)*2/4. Which is smaller: k or v?
v
Let m = 62.08 + -62. Let g = 2.08 - m. Is 10 at least as big as g?
True
Let a = -29 - -25. Let d be 32/1968*(a - -1). Is d bigger than 2?
False
Let f(n) = n**2 + 13*n + 8. Let c be f(-13). Suppose -2*d - c = -6. Let v be (1 + d)/(-1*2). Which is smaller: -3/23 or v?
-3/23
Let t be (15 + -18 - 1*-2) + 1. Which is smaller: -1/39 or t?
-1/39
Let w(r) be the third derivative of r**4/12 - 10*r**2. Let t be w(0). Suppose -6*f + 5*f + 5*z + 5 = 0, 4*z = -3*f - 4. Is t >= f?
True
Let f = -2/11335 - -816134/79345. Which is smaller: 9 or f?
9
Let o be 2 + (-7)/((-21)/12). Suppose 23 + 7 = o*l. Is l at least 5?
True
Let k = -2528/11451 - -3/347. Is 1 < k?
False
Let t(y) = -y**3 + 25*y**2 - y + 30. Let f be t(25). Suppose 0 = 2*p - 5*n - 2, -14 = f*p - 3*p + 3*n. Is -4 at most p?
True
Let m be (66/(-11))/(-5*(-4)/20). Is -5 >= m?
True
Suppose 0*o = -5*o + 30. Let p be 4/o*(-4)/4. Let j(i) = 39*i - 196. Let k be j(5). Is p less than or equal to k?
False
Let u = -13 - -193. Let z = u + -1270/7. Is z >= -1?
False
Let z = 99 + -54. Suppose z = -6*l - 3*l. Which is smaller: l or -2?
l
Let w = 1.929 + 2.071. Which is smaller: 178 or w?
w
Let z = 12 + -6. Suppose 3*g = z*g + 36. Let v be 34/g - 3*-1. Which is bigger: 0 or v?
v
Let z = -1633.1 + 1633. Which is bigger: 1637 or z?
1637
Let j = -4.978 + -0.022. Is 2/57 smaller than j?
False
Let b = 261.66 - 264. Which is bigger: b or -0.1?
-0.1
Suppose y + 4*h - 46 = 14, 0 = 3*h - 12. Let u = -4700 - -4700. Is y greater than or equal to u?
True
Let a = 66 - 63. Is a < -115/4?
False
Let l = 900.9905 + -901. Is -1 >= l?
False
Suppose -p - 4*h - 64 = 0, 152 = -p - 2*p - 4*h. Let b be p*7/((-56)/12). Suppose c + 4*f - 3 = 0, -2*f = 2*c - 6*c + b. Is 13 equal to c?
False
Suppose 0 = w + 4*g - 7, 3*w + 2*w = -g - 22. Let m(k) = -5*k + 1. Let c be m(-1). Let t be w + 3/c*-2. Is -6 <= t?
True
Let v = 16/3 + -439/12. Is -32 at most as big as v?
True
Suppose 31*a = 5*a + a. Which is smaller: a or 391?
a
Let h = -49380 - -1629376/33. Are h and -5 nonequal?
True
Suppose 0 = y + 2 - 16. Do 59/4 and y have the same value?
False
Let o = 248 + -420. Is -2 != o?
True
Let l(t) = -t**2 + 20*t - 17. Let w be l(20). Suppose -76 = 15*b - 11*b. Which is bigger: b or w?
w
Let c = -1431 - -1402.49. Let i = c + -0.49. Is -1/3 at least i?
True
Let z = -705/11 + 938/33. Which is bigger: z or -35?
-35
Let c = -16 + 27. Suppose -2*h = -z + 1 + 4, 5*h - z = -c. Let o be 4/8*h/(-3). Is -0.2 != o?
True
Let j be 9 + (9 - (-6 + 25)). Is 2/379 not equal to j?
True
Suppose -2*h + 6 = h + 4*f, -18 = -5*h - 4*f. Suppose -7*q + 8 = -h. Is q >= 18/11?
True
Let t = -127/2 - -166/3. Is t < -9?
False
Let g be 0 - (-5)/((-5)/2). Let n(l) = -6*l + 28. Let u be n(5). Let d be 4/1 - (-4)/u. Which is bigger: d or g?
d
Suppose -2*a - 5 = -h, -5*h + h - 4*a = -8. Suppose -4*x = -x - 3*w - 18, 5*w = x - 14. Which is greater: h or x?
x
Let q = -953/2584 - 2/323. Let a be (0 + 3)*2/(-63)*7. Does q = a?
False
Let n(f) = -2*f**3 - 2*f**2 + 2*f + 1. Let r be n(1). Is -31 >= r?
False
Let s be (1 - 2)*(-17 - (1 - -1)). Suppose 4*n - 19 = -s. Is 3/46 at most n?
False
Let o = -18.8 - -28.8. Which is bigger: o or -0.06?
o
Suppose -4*b - 2 = -0*p - 2*p, 3*b + 3*p - 3 = 0. Which is smaller: -1/127 or b?
-1/127
Let j = 42 - 20. Let d be 2 + j/(-30) + -1. Let k = 1798 + -1797. Which is smaller: k or d?
d
Let v(g) = 2*g**2 - g. Let l be v(1). Let h(m) = -m**3 - 13*m**2 + m + 18. Let d be h(-13). Let u = d - l. Is u != 3?
True
Let t = -7 + 12. Suppose 5*n + 0*n + 5 = t*u, 0 = -5*u + 2*n + 20. Suppose 0 = 6*h - 9*h - 5*z - 2, 0 = h + 5*z + 14. Is u less than h?
False
Let a = -510342529/5 - -751734601186/7365. Let x = a - -1/1473. Which is bigger: 7 or x?
x
Let d = 48.87 + 0.13. Let o = d + -49.8. Is 0.3 < o?
False
Let m(w) = -w**3 - 4. Let i be m(-4). Let r be ((-6)/4)/(-2*3/i). Is 15 at least as big as r?
True
Suppose 71*x - 32*x - 546 = 0. Suppose 2*l + q = 7*l - 9, 17 = 5*l - 3*q. Let s be 14/(-6)*(l + -7). Do x and s have different values?
False
Let f(h) = -h**2 - 11*h - 9. Let y be f(-10). Let a(t) be the first derivative of t**3/3 - t**2 + 2*t + 3. Let l be a(y). Is 2/23 > l?
False
Let x = -3084 - -3078. Let s be (1 - -1)*(-10)/4. Do s and x have different values?
True
Let d = -11.34 + 11.34. Are d and -0.22 nonequal?
True
Let m = 0 - -1/8. Let q = 18 + -5. Suppose -3*s - 4*j = -q, -s + 5 = 2*j - 2. Are m and s nonequal?
True
Let r(l) = -40*l + 87*l - 1 - 45*l. Let p be r(0). Is -8/5 bigger than p?
False
Let f = -8832/30863 - -2/4409. Which is smaller: -102 or f?
-102
Suppose -d + 4*m = 34, 2*d + 