**2 + 8*h + 1. Let o be r(7). Let g = 12 - o. Let j be 1*(g/2)/8. Do 0.1 and j have the same value?
False
Let o = -47119/7332 + 6/611. Let q = o - -25/4. Suppose c + 3*c = 0. Which is smaller: c or q?
q
Let x be (-2)/((-10)/87) + 22/(-55). Is x <= 19?
True
Let y = 23 - 5. Suppose -2*c = -3*c + 4. Suppose y = -c*h + k, 0 = k + 4*k - 10. Which is greater: -3 or h?
-3
Let n = 0.024 - 1.024. Which is bigger: -67 or n?
n
Let c = -10 - -11. Do -1/24 and c have different values?
True
Suppose r = a - 1, r + 14 = 2*r - 4*a. Let t(j) = -3*j**2 - 9*j + 2*j**2 + 2*j + 2 - 10. Let i be t(r). Is i bigger than -2?
False
Let v be ((-12)/(-2))/(6 - 4). Suppose 0 = v*m - 2 - 1. Let q = -2 + 2. Which is smaller: q or m?
q
Let b(l) = l**3 + 3*l**2 + 2*l + 1. Let f be b(-2). Which is greater: -3/23 or f?
f
Let c = 22 + -21.78. Which is bigger: 2/9 or c?
2/9
Let c be (-106)/(-3) - (-1)/(-3). Let z be 15/c + (-16)/21. Let k = 0.3 - 0.2. Which is smaller: k or z?
z
Let l = 79 + -78. Is 3/13 at least l?
False
Let g be (-6)/5*(-15)/6. Suppose -6*x - 2*t + 12 = -3*x, 0 = 2*x - 4*t - 8. Which is bigger: x or g?
x
Let c be (-4)/(-3) + (-4)/6. Suppose -5*l + 2*l + 30 = 0. Let o be 1 - l/(-5) - 2. Which is smaller: c or o?
c
Let m(s) = -s + 1. Let k be m(-6). Let w be k/(-14) - (2 + -1). Are w and -1 unequal?
True
Let p be (-18)/(-22) - 3/(99/(-6)). Which is smaller: -1/17 or p?
-1/17
Let l be 4/(-26) + (-2)/(-13). Is l at most as big as 12/11?
True
Suppose 0 = l - 5*l. Which is smaller: l or 2?
l
Let k = 0.1 - 0.5. Let y = k - -3.4. Suppose 3*v = -2*v. Do y and v have the same value?
False
Let u = -4 + 3.6. Let a = u - 0.2. Let j = a - -0.8. Which is smaller: j or 2?
j
Let r be -2 - (0 + 1/1). Let q = 10 + -9.8. Let z = -0.1 + q. Which is greater: r or z?
z
Suppose 0 = 5*z + p + 15, -4*z - 2*p - 15 - 3 = 0. Are z and -5/4 non-equal?
True
Suppose 0 = -3*i - i - 4. Is i equal to 1/18?
False
Let d(f) = f**3 + f**2 - f - 1. Let c be d(-1). Suppose -i = -c*i. Do i and 0 have the same value?
True
Suppose 2*r - 4*n = -62, 5*r + 9*n - 5*n + 113 = 0. Which is smaller: -24 or r?
r
Suppose -k - 2 = 5*f, 0*f - 8 = 4*f + 4*k. Suppose 0 = 3*h + 5*z - 7, -4*z - 11 = h - 9*z. Is h <= f?
True
Suppose -j = 1 - 2. Let c be 32/24*(1 + -4). Let z be (c + 2)*(2 - 1). Is z at most as big as j?
True
Let w = -45.5 + 37.5. Let u = -805 - -1667/2. Let i = -167/6 + u. Is i at least as big as w?
True
Let c be ((-56)/20)/(8/20). Which is smaller: c or -6?
c
Let f = 0.5 - 0.5. Let g = -1 + 2. Which is bigger: g or f?
g
Let f = 42 + -24. Is f less than or equal to 19?
True
Let s = -5 + 9. Is 5 at most s?
False
Let h be (0*(-1)/(-2))/2. Let c(t) = t - 1. Let w(u) = -3*u + 5. Let q(y) = 2*c(y) + w(y). Let z be q(h). Which is greater: 4 or z?
4
Let o = -1.1 + 1. Let y = 6.6 + -7. Which is smaller: y or o?
y
Let q(k) = k**3 - 7*k**2 + k - 1. Suppose -32 = -h - 5*i, 0 = 2*h + 2*h + i - 33. Let m be q(h). Suppose -2*a = -m, -2*o = 4*a - 2*a - 4. Is o at most -0.3?
True
Let h be (-1)/4 + 1/4. Suppose -v + 5*v + 20 = h. Suppose 11 = -6*z - 19. Is v bigger than z?
False
Let s = 4.3 - 4. Suppose -d = -3 + 1. Let v be (7/(-56))/(d/4). Which is smaller: v or s?
v
Let n be 2/8 + 18/8. Let b(z) = z**3 + 7*z**2 + 5*z - 4. Let l = 4 - 10. Let s be b(l). Is n at most s?
False
Let l be (-6)/20*(-2)/(-3). Does -2/9 = l?
False
Suppose -3*d - 6 - 12 = 0. Let q be 4/d - 10/(-12). Which is smaller: q or 0?
0
Let v = -6 - -13/2. Suppose -2*s = -r + 1, -7 = -5*r + 3*s - 2. Is r >= v?
True
Let p = 35/24 - 9/8. Let g be 3/((-3)/6*-3). Let y = -2 + g. Which is smaller: p or y?
y
Let f be -1*(-6 - 0 - -1). Let i = -2 + f. Let j = 1 - i. Is -1 at least j?
True
Let j be (-1*(-1 + -10))/(3/3). Is j less than 12?
True
Let y(k) be the second derivative of 3*k**5/5 - k**3/2 - k**2 - 7*k. Let u be y(-1). Which is bigger: u or -10?
-10
Let x = 0.29 + 44.71. Which is greater: 0 or x?
x
Let j(g) = g - 8. Let o be j(6). Suppose -5*v = 2*y + 14, 7*y + 3*v + 3 = 4*y. Let u be y/(3/((-9)/6)). Which is greater: o or u?
u
Let h = -20 - -24. Which is smaller: 3 or h?
3
Let q = 2 - 1. Let o be q/(-2)*(-4 + 2). Let k = -2 + o. Is k bigger than -1/3?
False
Let c = -0.92 + 0.86. Are c and 3 nonequal?
True
Let g(i) = 4*i - 4. Let k be g(6). Suppose 0 = -8*n + 3*n - k. Is -4 < n?
False
Suppose -o - 30 = -0*o. Let s be 6/(-10) + (-33)/o. Which is smaller: 2 or s?
s
Let y = 2 + -2. Is y less than -2/5?
False
Let v be ((-2338)/156)/(-7) - (-9)/54. Which is smaller: v or 1?
1
Let n = -0.28 + -12.72. Let t = n + 12.5. Is -2 equal to t?
False
Let t = -19 + 47. Let z be ((-2)/t)/((-3)/(-202)). Let v = z + 14/3. Which is bigger: 1 or v?
1
Let q = 3 - 3. Let g be 24/(-16)*2/66. Which is smaller: g or q?
g
Let i(r) = 1 + 5*r - 3 - 4*r. Let u be i(-5). Let h be ((-2)/u)/(2 + -1). Which is bigger: h or 1?
1
Let o = -15 + 17. Which is greater: o or 4/3?
o
Let c be 1/(2*1/((-6)/3)). Which is smaller: c or -2/139?
c
Let g = 16273/25 - 651. Which is smaller: g or 1?
g
Let f = -5 - -8. Suppose 0*r + r + 10 = -f*d, 0 = 5*r - d + 18. Which is smaller: -3 or r?
r
Let o = -28 + 26.1. Let i = 1.9 + o. Is i >= -1?
True
Let y be 1/6*4*-3. Let s be (-1)/1 + 170/6. Let q = -27 + s. Which is smaller: q or y?
y
Suppose -2*l = 3*p - 8, l + 0*l = -3*p + 10. Suppose 3*x - p*q = 22, 2*x + 5*q + 6 = -10. Let r be 4/x + 0 + 1. Which is greater: r or 4?
4
Let g be (3/3)/((-1)/(-4)). Suppose -8 - 4 = -g*b. Let k = 3 + -1. Are b and k non-equal?
True
Let q(j) = 36*j**3 - 1. Let v be q(1). Let a = 386/11 - v. Is 1 < a?
False
Let g be 3/54*3921/259. Let p = -2/259 + g. Is 1 bigger than p?
True
Let q = -2.71 + 2.6. Let p = q + 0.01. Let s = 0.1 + 0.2. Is p at least as big as s?
False
Suppose -m - 3*u = -18 + 1, 0 = m - 3*u + 7. Let x = 3 - -2. Let r(l) = l - 2. Let a be r(x). Are m and a nonequal?
True
Suppose 0*g = -2*g. Let k be g - -1 - 171/162. Is -1 greater than or equal to k?
False
Let m = -11 + 19. Suppose -9*z + 120 = -11*z. Let l be ((-18)/z)/((-6)/m). Are 0 and l unequal?
True
Suppose 4*t - 3 = 3*k - 23, -k - 8 = -5*t. Do k and 9 have the same value?
False
Let h = -1.1 - -9.3. Let w = h + -0.2. Are -2/7 and w non-equal?
True
Let j(v) = -v**2 + 4*v. Let w be j(3). Suppose 0 = -g + 4*n + 5, 2*g - w*n + 13 = 3. Are -10 and g equal?
False
Suppose 2*d + h = 0, 5*d - 3*h + 10 = d. Does -3/7 = d?
False
Let k = 367/5 - 73. Let f = -11 + 7. Let h be 10/(-8) - 1/f. Which is bigger: h or k?
k
Suppose -2*t + 2 = -i, -5*t + 2*i - 10 = 7*i. Let x = 83 - 86. Which is smaller: t or x?
x
Let m(c) = -c**2 + 6*c - 1. Let f(d) = -d**2 + 7*d + 4. Let t be f(7). Suppose -u - 4 = 0, g + u + 22 = t*g. Let z be m(g). Which is smaller: z or -2/9?
z
Let p = -7 - -7. Which is bigger: p or 1.6?
1.6
Let k = -1/69 - -71/138. Which is bigger: k or 11?
11
Let h(s) = -s. Let i be h(-1). Let z = -0.07 + 0.03. Let u = -0.06 + z. Is i less than u?
False
Let s(c) = 2*c + 7. Let t be s(-4). Let x be (-1 + t)/(10 + 7). Is 1 less than or equal to x?
False
Suppose 0 = -4*w + 3*j + 23, -2*w + 0*w + 2*j = -10. Let n = -14 + w. Which is greater: n or -0.1?
-0.1
Suppose 16*i = 3*i + 663. Is i greater than or equal to 52?
False
Suppose 2*f + 0*f + 10 = 0. Which is smaller: f or -2?
f
Suppose -20 + 139 = -7*w. Which is greater: -16 or w?
-16
Let d = -5 + 8. Let g = d + 9. Let l be g/8*(-2)/(-9). Is l smaller than 0?
False
Let q = 5 + -3. Suppose 4*h - 7 = 1. Let f be (0 - h/(-4))*q. Which is smaller: f or 0?
0
Let c(f) = f + 2. Let v be c(8). Let t be (-2)/(-10) + 8/v. Suppose 6 = 4*j + 2. Is t >= j?
True
Let y = 41/112 + -15/16. Is -1 != y?
True
Suppose 4*u = 2*r - 4, 0 = 2*r - u + 2 + 3. Let n = -10/3 - r. Which is bigger: 1 or n?
1
Let t(n) = n + 13. Let p be t(-7). Is p at most 5?
False
Let p(c) = c**2 + 14*c - 13. Let o be p(-15). Suppose 18 + o = -4*t. Is -5 < t?
False
Suppose 0*f = -f. Let q be (f - (-2)/20)*-1. Suppose -1 = -2*c - n + 1, 0 = c + n - 2. Are q and c equal?
False
Let d(q) = -q**2 - 7*q - 3. Let u be d(-3). Let k be (u/(-12))/((-27)/8). Which is smaller: 2/3 or k?
k
Let x = 2/45 + 37/180. Let i = 0.01 + 0.29. Let c = 0.4 - i. Which is greater: c or x?
x
Let n = -0.64 + -0.21. Which is smaller: 1 or n?
n
Let z = -0.271 + -0.129. Is -1/11 at least as big as z?
True
Let a be (-2)/(-6) + (-260)/15. Let f = 11 