(-3)/(-16)). Let j(m) = m + 7. Let a be j(c). Is -1 less than or equal to a?
True
Let j be (-55)/(-15) + (-1)/(-3). Is j equal to 4?
True
Let s(l) = l**3 + 11*l**2 - 11*l + 5. Let y be s(-12). Is y > -7?
False
Let r = 25/2 + -13. Do r and -2 have different values?
True
Let k = 0.26 + -0.36. Which is smaller: -4/7 or k?
-4/7
Let s(v) = -v**2 - 9*v + 9. Let a be s(-10). Which is greater: -2/27 or a?
-2/27
Let g(q) = -5*q**2 + 2*q - 3. Let i be g(2). Let h be (1*2)/(20/(-186)). Let f = h - i. Which is bigger: 2 or f?
2
Let i be 15/30 + 2/(-12). Is i > 13?
False
Let a(k) = -4*k**2. Let d be a(-1). Which is bigger: 0.1 or d?
0.1
Let j be (8/4)/(0 + -2). Let a be 18/(-21)*(-28)/(-44). Which is greater: j or a?
a
Let j be (-1 - 3/(-9))/2. Are -0.12 and j equal?
False
Let n = 25/68 - 2/17. Let c = 0.2 + -0.4. Is c != n?
True
Suppose -d - 1 = -3, 5*z + 5*d - 20 = 0. Suppose 4*r + z*i + 10 = 0, -i = -r + 5*r + 9. Which is bigger: r or -1?
-1
Suppose -3*w - 9 = -3*o + 6*o, w + 8 = 4*o. Let v be w + 0 + 1 + 0. Which is smaller: 2/5 or v?
v
Suppose -3*u + 2*s = -111, 6*u + 4*s = 4*u + 58. Suppose -6*r + r - u = 0. Is r smaller than -8?
False
Let o(t) = t**3 - 11*t**2 - 11*t - 15. Let i be o(12). Let d(v) = 3*v + 2. Let g(f) = -10*f - 5. Let x(n) = 7*d(n) + 2*g(n). Let j be x(-6). Is j != i?
True
Let i(r) = -3*r - 9. Let z be i(-2). Does z = 4?
False
Let g be 1/(-5) + 18/15. Let l = -4/5 - -11/20. Which is smaller: l or g?
l
Let c = -22 - -22. Which is bigger: c or -9?
c
Let x = 20 + -18. Is 13/4 bigger than x?
True
Suppose -2*t - 16 = 5*h - 57, -20 = -2*h - 2*t. Let d be (-8)/28 - (-9)/h. Is -1 at most as big as d?
True
Let u(s) = -s**3 + 3*s**2 + 3*s + 1. Let m be u(3). Let f be (-3 + 0)*m/(-6). Suppose -3*a + f = 2*q, -3*q + 0*q + 4*a - 1 = 0. Which is smaller: -2/9 or q?
-2/9
Let k be -2 + 2 - 632/(-5). Let z = 126 - k. Let r = -9/10 - z. Is r < 3?
True
Suppose 0 = k - 4*w + 7*w, 0 = 2*k + 4*w. Which is greater: -3/8 or k?
k
Let j = -23539075285/3237 + 7271880. Let b = j + -2/249. Do 1 and b have the same value?
False
Let d(g) = g**3 - 2*g**2 + g - 1. Let c be d(2). Let h be (0 + 194)*9/30. Let j = 58 - h. Is j at most c?
True
Suppose 5*m = -4*s - 16, 2*s - 14 = 4*m - 48. Let k be ((-6)/s)/((-14)/(-6)). Suppose 0*f - f = 0. Is k smaller than f?
False
Let f = 159 + -89. Is f > 68?
True
Suppose -h + 13 = -8. Is h smaller than 19?
False
Let m(p) = -3*p + 3. Let f be m(4). Let r = 9 + f. Let q be 0 + -1 + (-7)/(-4). Which is smaller: q or r?
r
Let l(r) = r - 7. Suppose 4*j + 2 = -2*p, -j = -3*p - 6*j + 1. Let n be l(p). Which is bigger: 1 or n?
1
Suppose 2*z = -6*h + h - 8, 3*h + z + 4 = 0. Let w = -4 - h. Let n = -0.3 - -1.3. Which is smaller: n or w?
w
Let w(p) = p - 2. Let z be w(1). Suppose 2*m + 4 = 2. Let i be (-16)/7 + 1 - m. Which is smaller: z or i?
z
Let g = -552/5 + 110. Suppose -3 = a - 2*a. Suppose 5*q = -a*p + 20, 2*q - 9 = -5*p + 18. Which is greater: q or g?
q
Let v(f) = f**3 - 6*f**2 + 10*f - 17. Let a be v(4). Are -11 and a unequal?
True
Suppose -2*s + 4 = -2*l + 4*l, 4*l + s + 4 = 0. Is -12/19 smaller than l?
False
Let z be 1 - (0 - -1 - (-2 + 3)). Let b be (1 + 1 - 1) + -1. Suppose 0 = -b*o - o. Is z equal to o?
False
Let i(p) = p + 5. Let r(b) = -3*b**2 + 3*b. Let q be r(2). Let m be i(q). Let l be -2 + (1 - (m + 0)). Is l at least as big as 0?
True
Let p = 107 + -161. Which is greater: -53 or p?
-53
Suppose -4*s = -8, -s = 2*w - 2*s - 30. Let p be (1 - 0)/((-2)/w). Let d = 12 + p. Is d less than 5?
True
Suppose 0 = v - 5, -4*v - 28 = -4*y + 32. Let o be (y/30)/(2*2). Which is greater: o or 1?
1
Suppose -m = 3*j - 7, -30 = -5*j - 5*m - 5. Let f = 2/119 - 135/952. Which is smaller: f or j?
f
Let x(v) = -v - 3. Let j = -25 + 23. Let h be x(j). Which is smaller: h or -2/9?
h
Let q = -5/12 + 2/3. Let f(m) = m**2 - 5*m - 6. Let l be f(6). Suppose l = 6*x - 3*x. Which is smaller: q or x?
x
Let a = 8 + -8. Let z = -0.1 - a. Is z greater than 2?
False
Let z = -3.5 - -3.6. Is -24 equal to z?
False
Suppose 4*h + 11 = 19. Let i be -3 - 1 - (-6 - h). Suppose 3*t - 27 = 4*p, -3*t = -0*t + 2*p - 9. Is i greater than or equal to t?
False
Let g = -321/8 + 1963/24. Let m = g - 42. Let f(o) = o**2 - o. Let v be f(1). Is m at least v?
False
Let p = -1/70 - 5/42. Suppose -2*i - 10 = -4*i. Let q(g) = -g**2 + 6*g - 4. Let s be q(i). Is p < s?
True
Suppose 2*u + 2*d - 4 = -2*d, d - 19 = -5*u. Suppose u*i - 14 = 2*y, -4*i = -5*y - 8*i + 21. Which is smaller: 0 or y?
0
Let g = -0.06 + 6.06. Which is greater: g or 0?
g
Suppose 3*d = d + 50. Suppose -y - 3*y = -a - 21, -d = -5*y. Is a <= -2/11?
True
Suppose 7*s - 3*s - 8 = 0. Suppose -x = -i - 4, -s*x + 2*i - 6*i = -8. Do 3 and x have the same value?
False
Let o(c) = -c**2 + 19*c - 57. Let r be o(17). Which is smaller: -24 or r?
-24
Let d = 16 - 9. Suppose 0 = -2*q + 1 + d. Suppose x + 4*x - 6 = -q*u, -4*u = -4*x - 24. Is -2 equal to x?
True
Let h = 1 + 2. Suppose h*i + 20 = 8. Suppose 4*z + 15 + 5 = 0. Which is smaller: z or i?
z
Let p = 58 + -59. Are p and -3/8 unequal?
True
Let z be ((-1)/4)/((-1)/(-2)). Suppose l - 4*f + 7 = 0, 2*f = -5*l - 0 - 35. Let k(n) = n**3 + 7*n**2 + n + 7. Let i be k(l). Is z less than or equal to i?
True
Let s = 1 - 1. Let t = 2 + 0. Suppose s + t = -2*d. Which is bigger: d or -3/5?
-3/5
Let v = 3.1 - 3. Let b = -0.15 + 0.09. Let w = -0.04 + b. Do v and w have different values?
True
Let s be -2 - 24*6/68*-1. Do s and 1 have the same value?
False
Let x = 62 - 58. Let l = -2.98 - 0.02. Let o = l + x. Which is smaller: o or -3?
-3
Suppose 0 = 5*r - 2*u + 6*u - 81, -3*u = -r + 1. Let z = 9 - r. Is z smaller than -0.1?
True
Suppose -2*s + 3 - 15 = 0. Let v be s/(-24) + (-9)/4. Is -7/4 bigger than v?
True
Let a = -162 + 490/3. Let o be (24/28)/((-1)/7). Let i = 8 + o. Which is greater: a or i?
i
Suppose -f = 3*w - 19, 0 = 4*w - 5*f - 19. Let l be 30/4*4/w. Which is smaller: l or 1?
1
Let b(t) = 111*t + 2. Let h be b(5). Let r = -145381/261 + h. Let p = r - 6/29. Is -1 less than p?
True
Let j be 6/12*(1 - 3). Let l = -6 + 4. Which is smaller: j or l?
l
Let c(s) = -s**2 + 14*s - 15. Let z be c(10). Let r be (0 - -1)/(1/4). Suppose -3*b - r*a - 24 = -5, 5*b = -5*a - z. Which is smaller: b or 1/5?
b
Let l be (-1 + -19)/(-5) - 4. Which is smaller: l or -3/37?
-3/37
Let g be 240/2*12/15. Let s be (-2 - 2) + 381/g. Which is smaller: 0 or s?
s
Let g = 1 + -2. Let i be (4/g)/(5 - 3). Let j(f) = f**3 - 2. Let h be j(0). Is i greater than h?
False
Let i(d) = d**3 - 4*d**2 + d - 1. Let g be i(4). Suppose -1 = -w + g*w + c, -3*w - 2 = c. Which is greater: w or 0.1?
0.1
Let t = -29 + 30. Which is smaller: t or 3/2?
t
Let g = -26 - -19. Are -6 and g equal?
False
Let n be (-68)/(-7) - 4/(-14). Suppose -2*y = 5*b - 18 - 5, -n = -2*b. Suppose h = -4*h. Is h at most y?
False
Let d = -2 - -3. Let y(u) = -u**2 + 1. Let t be y(d). Let v be (-24)/28*2 + 2. Is v <= t?
False
Let t = -2/7029 + 1019209/14058. Let a = -71 + t. Suppose -2*g + g + 18 = 4*j, -3*g - 2 = -2*j. Which is smaller: g or a?
a
Let t(c) = 32*c + 11. Let i be t(2). Is 75 smaller than i?
False
Let m be (1/5)/((-8)/(-520)). Let o = 26 - 15. Is m at most as big as o?
False
Let u = 4.2 + -0.2. Let v = u - -2. Which is smaller: 2/5 or v?
2/5
Suppose -2*v = 2*v - 12. Let o be 29/2 - v/6. Suppose o = 5*h - z - 11, 0 = -5*h - 5*z - 5. Is 4 at most as big as h?
True
Let s(r) = r**3 - 11*r**2 + 4. Let g be s(11). Suppose -g - 8 = 3*m. Do 1/3 and m have different values?
True
Let k = 79 - 103. Is -23 less than k?
False
Let c be (-2)/6 + (-2)/3. Suppose 3*w - 3*q + 27 = 0, 1 + 7 = 2*q. Which is greater: w or c?
c
Let b = 51 + -51. Which is smaller: b or 0.2?
b
Suppose 0 = 4*x - 4 + 20. Let g(b) = -3*b - 1. Let s be g(1). Is s at most as big as x?
True
Let c = -5206 + 26151/5. Let b = c - 24. Let z = 8.3 - 8. Which is smaller: b or z?
b
Let k be ((-2)/(-159))/((-4)/12). Which is smaller: 1 or k?
k
Let t = -0.49 + 0.22. Let l = t - -0.07. Let y = l + 0.5. Is y bigger than 0?
True
Suppose -1 - 41 = 2*f + 3*d, -5*f - 67 = -2*d. Suppose 0 = 2*s + 3*a, -2*s = -4*s + 2*a. Let t be (-2 - s) + (-40)/f. Which is smaller: 1 or t?
t
Suppose -4*g - w + 2 = 0, 2*g + 2*w + 3 - 1 = 0. Let m = 1739/7 - 248. Are g and m equal?
False
Let s be (48/27)/(47 - -3). Let j = s