= 17.2 + -13. Let z = l - 0.2. Is 3 equal to z?
False
Suppose -14 = 4*z + 6. Is -4 < z?
False
Let p = 96 + -96.1. Which is greater: p or 20?
20
Let g be ((-2)/((-12)/9))/(7/(-182)). Is -39 <= g?
True
Let o = -12 + 12.39. Let b = -0.01 - o. Let d(q) = -q + 12. Let f be d(12). Is b >= f?
False
Let f be (-1 + 3)/(2/3). Let z be -9 - 6/(-9)*f. Which is smaller: -8 or z?
-8
Let k = -1.1 - 2.9. Let m = -4.5 - k. Let r = m + 0.3. Do -3 and r have different values?
True
Let t be ((-12)/(-9))/(1/3). Suppose -t*b + 26 = -50. Which is bigger: b or 0?
b
Let p = -5 - -4. Let b(z) = z - 9. Let u be b(8). Does p = u?
True
Let x(l) be the first derivative of -l**2/2 - l + 2. Let v be x(-8). Is 7 <= v?
True
Suppose -3*g - g = 0. Let d be ((-4)/(-10))/(558/(-155)). Is g at most as big as d?
False
Let g = -11 + 6. Let t be 6/2 - (1/1 - -8). Is t < g?
True
Let b = -0.47 - -2.57. Let k = b - 2. Is k >= 1/3?
False
Suppose -3*x + 24 = -75. Suppose -3*r = 2*n + x, 3*n + 5*r - 9 = -60. Let k be (-1)/(-18)*n/3. Is k at least -1?
True
Let y(j) = 4*j - 2*j - 3 - j - 1. Let s be y(3). Let o be (3 - 3)/(-3) - s. Is o greater than 2?
False
Let p = -1 - -8. Is 14 greater than or equal to p?
True
Suppose 3*r = 1 + 5. Suppose 5*w - 3*l = 31, -w + 11 = -r*l - l. Suppose 2*t + 2 = -3*u, -w*u - 3 = -0*t + 3*t. Are -3/4 and u nonequal?
True
Let l(w) be the second derivative of w**3/6 + 5*w**2/2 - 6*w. Let q be l(-7). Let d = 5/28 + -109/140. Is q smaller than d?
True
Suppose 2*t = 10 + 4. Which is smaller: 9 or t?
t
Let x = -29.1 - -29. Is x at most as big as -0.2?
False
Let o = 3 - 2. Which is bigger: o or -2/13?
o
Suppose -10*h + 7*h = -3. Which is smaller: h or -3/67?
-3/67
Suppose 0 = -v - 18 + 4. Which is smaller: -13 or v?
v
Let p be -4*(2/(-12))/(6/(-9)). Does 51 = p?
False
Let k = 0.13 - 0.03. Let f = 2 + -4. Is k smaller than f?
False
Let c(v) = -v + 7. Let p be c(7). Let s(g) = -5*g**2 - 8*g. Let z be s(-6). Let w = z + 1454/11. Which is greater: p or w?
w
Let z = 2 + 0. Let b = -2 - -5. Let n = b + -5. Is n bigger than z?
False
Let z = -5 - -5.06. Let w = z + -0.16. Let u(t) = t**2 - 3*t - 3. Let a be u(4). Is a equal to w?
False
Let m(r) = 5 + 3 + r + 0*r - 2. Let s be m(-6). Is s less than or equal to 1/3?
True
Let n = 0 - -9/7. Let t = 11/14 - n. Let p = 0.3 - 0.4. Which is smaller: t or p?
t
Let h = 1089989/65 + -33539/2. Let y = h + 1/26. Suppose -2*k + 3 = 1. Is k greater than or equal to y?
True
Let r = -5/26 - -191/182. Suppose -5*v = -4 - 21. Let c = -3 + v. Is r <= c?
True
Let u = -125 + 133. Which is bigger: u or -9?
u
Let l = -3.79 + -0.21. Let t = -5 - l. Which is bigger: t or 1?
1
Let v be -7 + 6 + (3 - 0). Is 5 at least as big as v?
True
Let z = 0.02 + -0.07. Let a = z - 1.75. Let d = -2 - a. Is d at least as big as -0.1?
False
Let w(l) = -2*l + 4. Let a be w(5). Is a > -1?
False
Let f(d) = -d - 1. Let i be f(-5). Let o = -4 + i. Is o at most as big as -2?
False
Let p = -2 - -1. Is -10 >= p?
False
Let x be 7/((-105)/36) - -3. Let u be 1/3*(-6)/(-10). Which is greater: x or u?
x
Let v be (12/(-16))/(3/2). Let c = 1 + -1. Suppose 3*n + 3*q + 6 = c, -6 + 0 = 3*n - 3*q. Which is greater: v or n?
v
Let k(p) = -6*p + 91. Let z be k(19). Which is smaller: -22 or z?
z
Suppose -9 = 4*y - 25. Which is smaller: -2 or y?
-2
Let g = -20 + 17. Which is bigger: g or 0.1?
0.1
Suppose -2*p - 15 = -3*m, -2*m = 3*p - 0*p - 10. Suppose -5*x = -p*x. Is -1/5 >= x?
False
Let d = -1 - 0. Let g = d - -2. Let h be g/(-2)*(-3)/(-6). Which is greater: 1/4 or h?
1/4
Let f = 3/38 + -59/266. Which is greater: f or 0.3?
0.3
Suppose -5 = -4*g - g. Let w be 1/2*(-1206)/(-12). Let z = w - 50. Is g bigger than z?
True
Let w be (-1)/(-2)*4/2706. Let t = w - 4097/51414. Let z = t - 89/76. Is 0 != z?
True
Let d = -0.24 - -0.04. Suppose 2*h = 20 - 56. Let k be (-2)/3*h/24. Is d <= k?
True
Let i = 15 - 21. Let r be 38/30 + 4/i. Let p be (-15)/(-3)*2/10. Is p equal to r?
False
Suppose 2*h = h + 2*u - 2, -2*u = -2*h. Let r be ((-7)/h + -1)*-2. Is r smaller than 0.1?
False
Let p be (-13)/2*2 - 0. Let j = p + 142/11. Is -1 bigger than j?
False
Let f = 1959/10 - 197. Which is bigger: -2 or f?
f
Suppose -42 = -17*z + 3*z. Which is greater: z or 5?
5
Suppose q = 3*n + 19, -q - 2*n - 2*n - 16 = 0. Suppose -c + 6 + 4 = q*k, 2*c = -4*k + 8. Which is bigger: k or 2?
k
Let c be 0 - (-5)/((-25)/(-5)). Are c and 2/21 non-equal?
True
Let y = -61 + 56. Is -3 greater than or equal to y?
True
Let w(p) = -2*p + 3. Let j be w(-3). Let x = 18 - 22. Let c be (-12)/j*6/x. Which is smaller: 1 or c?
1
Let z be 1*(0 - (-1 - 8)). Suppose z = f - 4*f. Suppose 4*j + 3*l + l = 0, -j = 2*l - 2. Is f greater than or equal to j?
False
Suppose x + 147 - 146 = 0. Are x and 1/14 nonequal?
True
Let m = 237 - 134. Is m less than 103?
False
Let d be (-2 - 26/(-10))*5. Let l(g) = -g**3 - 7*g**2 - 6*g + 3. Let j be l(-6). Suppose 2*p - 8 = 3*w - j, 4*p - 16 = 0. Which is bigger: w or d?
d
Let h(x) = x**2 + 2*x - 3. Let g be h(2). Suppose -5*d + 34 = 3*r, -4*d - 4*r + r = -29. Is g at least as big as d?
True
Let b = 25/8 - -27/8. Which is bigger: b or 7?
7
Let a(m) = m**2 + m + 1. Let n be a(0). Let w be (n + -2)*(-3 + 3). Suppose w = 2*p - 3*p. Which is greater: -1/2 or p?
p
Suppose -5*l = 5*q + 20, q + 1 - 3 = 5*l. Let m be 0/(q/(-3) + -2). Let n = m - 0. Which is smaller: 4 or n?
n
Let x be 0*(1 + -2)*-1. Suppose -4*i = -x*i. Let q = -5 + 5.1. Which is bigger: i or q?
q
Let t be -4 + -1 + 16*2. Which is smaller: t or 25?
25
Let i be 3/(-3)*(-2)/1. Suppose -2*l = i*w - 20, -2*w = -w - 5. Suppose -6 + 1 = -l*c. Which is smaller: c or 2?
c
Let w(g) = g**2 - 5*g + 7. Let n be w(3). Is -2 at least as big as n?
False
Suppose -v = -4*n + 10, 5 = v + 3*n + 15. Let t be ((-8)/v)/(6 - 4). Are t and 1/2 unequal?
True
Let x be 360/819 + (-6)/39. Which is bigger: x or 28?
28
Let r = -20.3 - 5.7. Is r bigger than 2/5?
False
Let s be (-6)/(-8)*(-3 + -1). Suppose 13 = 4*x - c, 2 = -5*c + 17. Suppose 5*a - x - 16 = 5*h, -2*a + 2 = h. Is s at least h?
False
Suppose -1 = 3*i - 4*b - 19, -2*i = 2*b + 2. Suppose -4*g + 4*x + 9 = -3, 3 = -i*g - x. Which is greater: g or -3/5?
g
Let w = 10 + -6. Suppose 5*r + 19 = 3*k, -7 = -k - w*k - 4*r. Which is smaller: 4 or k?
k
Let y(b) = b**3 + 35*b**2 + 68*b + 56. Let p be y(-33). Suppose 88 = 7*s - 2*s - 2*a, 2*s + 3*a = 39. Suppose -s - 37 = 5*q. Do q and p have the same value?
False
Let c = 5 + 5. Suppose -10 - c = 5*n. Let i be n/(-4) - (0 + 1). Is -1 less than i?
True
Let t(q) = q**2 + 4*q - 2. Let y be t(-5). Let l be (3/(-2))/(21/(-28)). Suppose l*j - y = -j. Is 0 <= j?
True
Let i = 1 + -1. Suppose 2 = l - i*l. Suppose 0 = -2*d + l*v - 2, 3*v = -d + 3*d + 4. Are 2/9 and d unequal?
True
Let d = -1.01 + 0.93. Is -0.09 != d?
True
Let s = -10 - -10. Suppose s = -n - w - 4*w + 19, -2*n - 4*w + 14 = 0. Is n at least -1?
True
Let s = -11 + 8. Let o be -1*(s - 154/(-50)). Which is bigger: o or 0?
0
Let i = -4 + 4. Is -4/9 less than i?
True
Let u be 114/8 + (-9)/(-12). Suppose 2 = 2*i - q - q, 5*i + 5*q = -u. Let w be 2*i*2/(-20). Is w smaller than -0.1?
False
Let o be 1 + -1 + 147/56. Is 4 less than o?
False
Suppose 0 = 3*b - h - 1 - 3, -5*b = -4*h - 2. Let x be (-7)/(-7)*2/b. Which is smaller: 2 or x?
x
Let b = 16 - 10. Let i = b + -7. Is i < -0.2?
True
Let p(z) = 25*z + 1. Let s be p(1). Are 26 and s non-equal?
False
Suppose -5*n - 60 = 5*x, 54 = -n - n + 4*x. Do n and -17 have the same value?
True
Let d be (-1)/((-7)/(-1)*1). Let t = -3.07 + 0.07. Is d less than t?
False
Let f = 28 - 16. Let p = f - 10. Let q(o) = -o**3 - 6*o**2 - 5*o + 1. Let y be q(-5). Which is bigger: p or y?
p
Let l be (-4)/(-1*(-4)/(-10)). Let p be l/2 + (-9)/3. Are 3 and p unequal?
True
Let a(t) be the third derivative of -t**6/120 + t**5/20 + 5*t**4/24 - t**3/2 - 5*t**2. Let v be a(4). Which is smaller: v or 1/11?
1/11
Suppose -3*w = -4*u - 8, 4*u + 4*w - 12 = 2*w. Let f be (-4)/4 - 5/u. Let v = f + 7. Which is greater: v or -0.2?
v
Let n = -11 - -2. Let u be (-48)/(-27) + (-2)/n. Suppose -3*x + 0 + 9 = 0. Which is greater: x or u?
x
Let k(c) = -c**2 - 2*c + 1. Let h be k(-2). Let q(z) = z**2 + 7*z - 5. Let n be q(-8). Suppose 3*m + 4 - 2 = -l, 0 = -2*m - 5*l + n. Which is greater: h or m?
h
Suppose -15 = n + 4*n. Let u be 2 + (-1 - 