/(4/(-18)). Let r(b) = 2*b - 2. Let w be r(v). Let a be 20/72 - w/(-18). Which is bigger: a or -0.1?
a
Suppose -5*d = 25, 2*d - 5*d = 5*y. Let v(x) = 1 + y*x + x**2 + 6*x - 4*x. Let s be v(-5). Is -4 equal to s?
False
Suppose -4*n - 21 = 19. Is -2 bigger than n?
True
Let i = 0.439 + -2.429. Let n = 0.01 - i. Is 2/3 equal to n?
False
Let c = 1 + -2. Let n = 0 - -1. Suppose a - n = -4. Which is smaller: c or a?
a
Let d be ((-12)/(-99))/((-12)/54). Do d and 0.1 have the same value?
False
Suppose 0 = 5*k - 4*k. Suppose l - 5*z + 1 = 0, 2*l + 3*z = -k - 2. Is l equal to -1?
True
Let y(q) = -q + 4. Let h be y(3). Let b(x) = x**3 + x - x**2 + 2 + 0*x + h. Let t be b(0). Is 3 > t?
False
Let b be (-24)/(-15) + 2 + -4. Which is greater: 1 or b?
1
Let m be -1 + 1 - (12/(-20) + -1). Is 1 at most m?
True
Suppose -4*u = -3*n + 7, 3*u - 4*n = -n - 3. Let r = 1 + 0.9. Let m = -2 + r. Are m and u nonequal?
True
Let n = -1.7 + -6.3. Let s = -8.6 - n. Let g = -0.5 - s. Is -3 smaller than g?
True
Let s(q) = -7*q + 3. Let h be s(2). Let i = h - -16. Suppose b = -3*x, 2 + i = x - 2*b. Is -1 < x?
True
Let t = 11399/3 + -3763. Let h = t - 548/15. Which is greater: h or 1?
1
Let a = -1 - 0. Let l = -0.9 - 5.1. Let t = 2 + l. Is t at least as big as a?
False
Let v = 423 - 1701/4. Which is bigger: -3 or v?
v
Let m be 2/(-6) - (-128)/420. Is m at least as big as -1?
True
Suppose -8*w = -3*w - 550. Let o be w/(-25) - (-4)/10. Let h be 15/o + 1/(-4). Is h at least -3?
False
Let o(n) = n**2 - 3*n + 2. Let t be o(-3). Suppose -3*j + 5 - 30 = -5*k, -4*k = -3*j - t. Suppose 0 = 4*b - c + 1, -b - 3*b + 5*c - 5 = 0. Is b != j?
False
Let p = 7 + -4. Suppose 3*h + 15 = 0, -3*x + 0 = 3*h - p. Let c(k) = k - 4. Let s be c(x). Which is greater: 2/3 or s?
s
Suppose -5*w + 14 = 3*h, 4*w - 19 = 3*h + 3. Suppose 2*q = a + 10, -2*a = q + 2*q - 8. Is h less than a?
False
Let t(o) = -2*o - 9. Let n be t(-6). Suppose -n*z = z. Does -2/17 = z?
False
Let m = 4.5 - 4.5. Which is smaller: 7 or m?
m
Suppose -48 = -3*c - 5*v, -c + 3*v + v + 16 = 0. Let q be (4/130)/(c/10). Let z = q - -3/13. Is z smaller than -1?
False
Let q = 107/52 + -30/13. Which is bigger: q or 1?
1
Suppose -23*m + 15 = 38. Do -7/8 and m have the same value?
False
Let k be ((-15)/10)/(15/(-8)). Suppose 2*s = 6*s - 4. Are k and s equal?
False
Let h = 25.8 - 28. Let b = h + 2. Let k = -5 + 6. Is k greater than b?
True
Let l = -12 + 16. Is 4 equal to l?
True
Let v = -3 + 1. Suppose -8*p = -5 + 21. Is v < p?
False
Let k = 2003/6 - 336. Which is greater: k or -3?
k
Let b(c) = -c**2 - 3*c - 2. Let h be b(-2). Suppose h = 5*r + 15 + 110. Which is greater: r or -24?
-24
Let a = 56.9 - 57. Which is bigger: a or -3?
a
Let j = -11 + 15. Suppose j*g + 3 + 1 = 0, -g = 4*t - 3. Is t at most 3/5?
False
Let p = -7.63 - -0.63. Which is greater: p or -4?
-4
Let x be (-1)/3 + 16/(-6). Let g(z) = z**2 - 17*z + 14. Let h be g(16). Which is greater: h or x?
h
Let d = 5.3 + -14.3. Which is smaller: d or -2?
d
Let b = -78848/83 - -950. Which is smaller: b or 0?
0
Let v(k) = -21*k**3. Let b be v(2). Let g = -7898/47 - b. Is g < -1?
False
Let w = 5 - 4. Let f(j) = -j + 5. Let m be f(4). Is m at least w?
True
Suppose 0 = 3*n - 4*h + 37, -2 + 7 = n + 3*h. Let f = n + 6. Which is smaller: f or 0?
f
Let u = 16 - 12. Suppose 0 = -0*w + 4*w + 4*g + u, 0 = 2*w + 3*g + 2. Let q = 0 + 0. Which is bigger: q or w?
q
Let o be -2 - -3*1/(-3). Is -2 > o?
True
Let g be (-4)/(-24) - (646/(-12) - 1). Is g equal to 54?
False
Let h(p) = p**2 + 13*p + 6. Let i be h(-12). Let t be (10/i)/(75/(-90)). Let d = -8 + 11. Is t less than or equal to d?
True
Let j = -0.1 - -3.1. Let k = -0.2 - -0.2. Let o = k - j. Which is smaller: o or 0.1?
o
Let s = 26 + -12. Let i be (2/4)/((-7)/s). Are i and -1 non-equal?
False
Let d(r) = -r**3 - 4*r**2 - r - 2. Let w be d(-4). Let u = -14 - -17. Do u and w have different values?
True
Suppose k = -2*k + r + 14, -3*k + 2*r = -10. Let d be (-1)/(-3) - (-2)/(-6). Suppose 10 = 2*z - d. Is z < k?
True
Let p = -170/3 + 56. Let z(j) = 6*j + 22. Let u be z(-4). Which is smaller: u or p?
u
Let v be (6/7)/((-10)/56). Let i = v + 28/5. Which is bigger: i or -0.1?
i
Suppose 3 = 3*c - 3. Suppose 2*a = i, 2*a - i = -c*i. Let b(k) = -k**3 + 5*k**2 - 4. Let r be b(5). Which is bigger: r or a?
a
Suppose 0 = -2*b + 2. Is 1/7 smaller than b?
True
Suppose -5*n = -2*n. Let i = 1 - -1. Which is smaller: i or n?
n
Let g(n) = 6*n**3 - n**2. Let h be g(1). Suppose h*p - 12 = 8. Suppose d = -p*d - 5. Which is greater: d or -2/3?
-2/3
Let i(c) = c + 5. Suppose -w = 2*k - 14, 2*k - 28 = -5*w + 2. Let o(s) = -1. Let t(a) = k*o(a) + i(a). Let f be t(-2). Is f at least -2?
True
Let s = 73 - 73. Is s > 1/9?
False
Let h be (-4257)/(-132)*(-4)/(-6). Is 21 < h?
True
Let p(n) = -2*n**3 + n**2 + 4*n. Let m be p(2). Let w = 2 + -5. Is w <= m?
False
Let r(z) = -3*z + 10. Let u(x) = -x + 1. Let c be 3*6/63*7. Let k(n) = c*u(n) - r(n). Let t be k(8). Are -1/2 and t nonequal?
True
Let a = -316.3 + 303. Let s = -13 - a. Which is smaller: 1 or s?
s
Let p = 2.2 + 1.8. Which is smaller: 1 or p?
1
Let r be (-4)/(-3)*(-3)/(-5). Let z = 102 + -102. Is z less than r?
True
Let r = 6 - 1. Which is smaller: r or 4?
4
Let m = 24 - 60. Are m and -1 unequal?
True
Let c be (2 + -4)/(6/(-21)). Which is smaller: 0 or c?
0
Suppose -10*i = -6*i - 124. Which is smaller: 32 or i?
i
Let q = -65/6 - -23/2. Which is greater: q or -2/5?
q
Let d = -26 + 18. Suppose 5*v + 4*k = 2, -2*k - 8 = -5*v - 24. Let n be -9 + (4 - (0 - v)). Which is smaller: n or d?
d
Let h = -45 + 41. Suppose -4 = -4*k - 0*k. Let i be (k/2)/(3/h). Which is smaller: 2 or i?
i
Let y be ((-130)/(-13))/((-19)/2). Let o = y - 33/95. Is -1 at most as big as o?
False
Let g = -1.1 - 3.9. Let z = 3 + g. Let s = 1 + -1.2. Which is smaller: z or s?
z
Suppose 4*g + 2*b - 2 = 0, -7*b + 3*b = -3*g - 4. Suppose -n = 3*t + 2, 2*n + 3*t = -g*t + 2. Let r = -5 + n. Is -2/3 less than r?
False
Let g be (-28)/(-6) - 4/6. Let b be 2/g + (-6)/(-4). Let l = b + -6. Is l at most -3?
True
Let q be 3/((15/(-4))/5). Let d = -5 - q. Let p be d/(2/4 + -1). Is 3/4 at most p?
True
Let l be 2/(-4) + (-18)/28. Is l at most -2?
False
Let h = -83.06 - -83. Is -3/5 at most h?
True
Let s(r) = r**3 - 1. Let m be s(1). Suppose m*f = 4*f + 36. Let j(t) = t**3 + 9*t**2 + 3. Let q be j(f). Does q = 3?
True
Let c = 3.2 + -3.1. Let f = 8.03 + -8. Are c and f nonequal?
True
Suppose 3*l - k - 9 = 0, -2*l + 3*k = -0 + 1. Let q(c) = c - 3 - 2*c - 2*c + l*c. Let s be q(4). Is s greater than 3?
False
Let z be (-1 + 2 + 1)*2. Suppose 5*g + z = -1. Let f = 0.38 + -0.08. Is f less than g?
False
Let z be 2 - (-2 + -37 + -3). Let c be ((-1)/(-4))/(z/(-32)). Which is smaller: c or 1?
c
Let b(s) = 6*s**3. Let c be b(1). Let k(y) = 8*y - y**2 + 0*y**2 - y - 6. Let h be k(c). Which is greater: 1/2 or h?
1/2
Let w be (-1)/(-1 + 3)*-2. Let i be ((-1 + w)/(-1))/(-1). Which is greater: i or -1/4?
i
Suppose 4*d - 12 = l, -12 = -5*l + 8. Suppose -p + 30 = d*p. Is 6 at most as big as p?
True
Let h(x) = x - 12. Let o be h(11). Is o at least as big as 0?
False
Suppose -5*a + 10 = 0, 3*u - 4*a + 32 = -0*a. Is -8 <= u?
True
Let f be (-2)/264 + 0 - 0. Let j = 23/132 - f. Suppose z + 3 = 6*z - a, 0 = -4*z + 4*a - 4. Is z not equal to j?
True
Let s be (-5)/(180/(-6976)) + -2. Let c = 192 - s. Is -1 at most as big as c?
True
Let s be (-240)/(-12)*(-1)/(-1). Suppose -5*g + 0*g - 5*u + s = 0, -4*g + 16 = 5*u. Which is smaller: g or 3?
3
Let n = -140 + 698/5. Let a = -7 - -13. Let l = 5 - a. Do l and n have different values?
True
Let m(n) = n - 11. Let w be m(15). Which is greater: w or -1?
w
Suppose 2*f + 3*l = -3, 2*f - 13 = 7*f + 2*l. Let c be (f/(12/10))/(-2). Let i be (-2)/(-9) + (-10)/45. Which is bigger: i or c?
c
Let q(c) = c**2. Let u be q(-1). Let i = -83 + 421/5. Which is smaller: i or u?
u
Let r(s) be the first derivative of -s**6/120 - s**5/60 + s**3/6 + s**2 - 1. Let y(o) be the second derivative of r(o). Let c be y(-2). Is c bigger than -1?
True
Let h be -58*(-4)/(-72) + (1 - -2). Is -1 smaller than h?
True
Let l be 6/(-14) - 12432/147. Does l = -1/2?
False
Let l = 2 + -1.8. Let h = -61 + 61.1. Let y = h - l. Which is greater: y or 0.03?
0.03
Let a = 3.95 + -4. Let d = a - 1.95. Which is small