= 2*h + j*l + 2, -3*h - 4 = -3*l - 7. Which is smaller: h or n?
h
Suppose 0 = -14*c + 66 + 74. Is 10 smaller than c?
False
Suppose 114 = 5*w + 4*b - 8, 59 = 2*w + 5*b. Do 22 and w have different values?
False
Suppose 0 = -2*w + 5*w - 6. Suppose d - 3 = -w. Which is smaller: -1/10 or d?
-1/10
Let d(f) = -3*f**2 - 2*f - 1. Let h be d(-1). Let m = h - 1. Is m < -9/5?
True
Let z(i) = 4*i - 72. Let r be z(28). Which is smaller: r or 39?
39
Let q = -0.31 - -0.22. Let k = q - -0.09. Is k greater than or equal to 0?
True
Let r be ((-1 - 1) + 1)*-2. Suppose 2*l - 28 = -3*o, -4*l - 3*o + 36 = -2*o. Suppose x + 3*t + l = 0, 0 = 3*x - t - 3*t - 15. Is r less than x?
False
Let m(s) = 29*s**2 - s. Let x be m(1). Do x and 27 have different values?
True
Suppose 4*i = 4*k - 4, 2*k + 2*k - 16 = -2*i. Suppose 48 + 72 = i*b. Let m be (5/b)/((-6)/(-32)). Is m greater than 0?
True
Suppose -3*l = -7*l. Are -2/23 and l unequal?
True
Suppose -5*a + 138 = 168. Is a at most as big as -6?
True
Suppose 104 = t - 47. Let r = t + -1059/7. Let g = -265 - -264.6. Which is bigger: g or r?
r
Let r = -100 + 100. Is -1/163 smaller than r?
True
Let n be 10/(-8)*((-56)/(-20))/2. Is n != -1?
True
Let y be 0 - (3/1 + 0). Which is greater: 3 or y?
3
Let m be (-18)/(-12)*(-2)/(-1197). Which is greater: m or 1?
1
Suppose 3*y - x = -16, 2*y + x + 8 = -x. Let l be (-3)/(-3)*y + 1. Let f be (-1)/1 - (-16)/(-8). Which is bigger: l or f?
f
Suppose 0 = -5*k + 25, -4*k + 15 = -3*t - 2. Is t greater than or equal to 0.18?
True
Let c(l) = l - 1. Let q be c(-9). Let p(x) = x**3 + 11*x**2 + 11*x + 8. Let a be p(q). Which is bigger: a or -3?
a
Let w = 189 + -194. Is w less than 6?
True
Let b(c) be the second derivative of c**3/6 - 3*c**2/2 - 3*c. Let d be b(2). Let x be (-2 - (-38)/16) + 0. Is d greater than x?
False
Let d = -4 + 12. Which is greater: d or 9?
9
Let g = 2.4 - 1.4. Let j = -1.4 + g. Let x = 0 - 2. Which is smaller: j or x?
x
Suppose -2*k - 2*h + 5*h = 0, -2*k = -5*h. Let i be (32/12)/(4/6). Let n be (i/(-14))/((-25)/35). Does n = k?
False
Suppose 5 = q - 0*q. Let o be (-20)/6*(-36)/q. Let s be 2 + 7/((-70)/o). Is 1 != s?
True
Suppose 5*r - 2*d + 5 = 0, 3*r - 12 + 34 = 5*d. Suppose 0 = i - 4*i + 24. Let z be (-4)/35 - i/(-20). Which is bigger: r or z?
r
Let p = 0.36 + -0.92. Is -1 >= p?
False
Let r(i) = -i**3 + 9*i**2 - 2*i + 2. Let b be r(8). Let o(n) = 6*n**3 - 2*n**2 + 1. Let h be o(1). Let z be 240/b - (-1)/h. Which is smaller: 6 or z?
z
Let y = -11/2 - -5. Which is smaller: 0 or y?
y
Suppose 4 - 5 = -d. Suppose -1 = 3*r + f, -r + 0*r + f = -d. Suppose -m + 3 = -r*m. Is m greater than or equal to 3?
True
Let f be 2*2*252/(-48) + 4. Suppose -3*t - 5*x = 43, t - 4*t + 4*x - 52 = 0. Is f != t?
True
Let p be (-1)/(-5) + 4/(-20). Let t be 2*(1/2 + p). Which is greater: t or 2?
2
Let w(g) be the first derivative of -g**3/3 + 5*g**2/2 - 2. Let m be w(5). Let l be (-6)/(-2)*2/24. Which is greater: m or l?
l
Let r = 48 + -32. Let w = r + -15.6. Let z be (-2)/6*(2 + 0). Which is smaller: w or z?
z
Suppose 4*j - b + 82 = b, b = -1. Let g be 2/6 - j/(-9). Which is bigger: g or -1?
-1
Let f be (1/3)/((-1)/4). Let l(g) = g**2 - 5*g. Let m(r) = -r**2 + 8*r - 10. Let y be m(5). Let u be l(y). Which is greater: u or f?
u
Suppose 30 = -0*h - 10*h. Is h greater than 0?
False
Suppose 3*x = 2*x + 5. Suppose -x*i = 4*b - 12, 0*b - i = 4*b + 4. Let o be b/5 - (-6)/5. Which is smaller: o or 1?
o
Let l = -97 - -88. Is -10 <= l?
True
Let k be (3 - 1)*1 - -1. Let b(f) = -2 - f + 4*f**2 - 3*f**2 + 2 - 3. Let h be b(3). Is k at least as big as h?
True
Suppose -4*u = 3*a - 6, -3*u + 4*u - 2*a - 7 = 0. Let l be 0 + 14/(-4) + u. Is -0.1 > l?
True
Suppose -4*u + 20 = -8*u. Let z = 4 + u. Is z > 1/5?
False
Let l = -30 - -26. Let f(y) = 2*y + 2. Let m be f(-3). Is l at least as big as m?
True
Let w = 0.8 + 7.2. Let f = -91 + 93. Which is greater: w or f?
w
Suppose -h - 3*m - 12 = -3*h, -4*h + 12 = -3*m. Let l = 3.88 - -0.12. Let s = l + -3.6. Is s != h?
True
Let t = 8 - 3. Let u(k) = -k + 4. Let s be u(t). Suppose 7*a = 2*a - 4*i - 31, -16 = 4*i. Which is smaller: a or s?
a
Suppose 68 = -5*n - 117. Do -38 and n have the same value?
False
Suppose 136 = -5*r - 0*s - s, -4*r - 113 = 5*s. Let z = r - -28. Which is smaller: z or -1/3?
-1/3
Let y = 2.8 + -2.1. Is y <= 0?
False
Suppose -25 = -2*i - u, 2*i - 3*u - 3 - 2 = 0. Is i at least 7?
True
Let n(z) be the third derivative of -z**6/120 + z**5/10 + z**3/2 - z**2. Let x be (-3)/(4/(-40) - 2/5). Let p be n(x). Is 4 < p?
False
Suppose 0 = -l - 4*b + 26, -1 = 4*b - 3*b. Which is bigger: 0.1 or l?
l
Let c(n) = n**2 + n - 2. Let y be c(2). Suppose k = -12 + y. Which is greater: -7 or k?
-7
Let d(y) = 54*y + 12. Let i be d(-9). Let f be (-2)/(-3) + 328/i. Which is smaller: f or 0?
f
Suppose -b = 2*l - 14, 0*l + 13 = 2*b + l. Is b > 3?
True
Suppose 3*w = w - 3*x + 3, 13 = 5*w + 2*x. Suppose w*v + 7 = -m - 1, v + 8 = 5*m. Let d = 1739/27 + -193/3. Which is bigger: m or d?
m
Let v = 49 - 50. Which is smaller: -1.1 or v?
-1.1
Let r(s) = 5*s**3 - 1. Let v be r(1). Let q = v - -1. Suppose 3*w + 2*g - 11 = -1, 0 = -5*w + 3*g + 23. Which is smaller: w or q?
w
Let z = 0 - 5. Let l be (-2)/z - 51/90. Is l bigger than -1?
True
Let o(s) = -s**2 + 12*s - 9. Let j be o(11). Suppose 3*i - 18 = 3*k, 0 = j*i + k + k - 12. Does 7 = i?
False
Let p be 4/14 + (-5)/(-7). Which is smaller: -2/47 or p?
-2/47
Let j = -1/4 + 1/2. Which is bigger: j or -1?
j
Let z = 11 - 11. Are z and 1/3 equal?
False
Let g be 8/90 - 2/9. Suppose 2*m - 10 = m. Let c be 4/(-26) - m/(-65). Is g at least c?
False
Suppose -10*h = -6*h - 8. Let z = -0.1 + 1.1. Do h and z have different values?
True
Let o = -0.8 + 0.5. Are o and -2 nonequal?
True
Let x be (-30)/75 + (-4)/(-10). Is x >= 1/6?
False
Let d be 8/2 - 1057/259. Which is smaller: -1 or d?
-1
Suppose -1 = n, -2*n + 1 = 5*u - 2. Let m(g) = 2*g**2 + 1. Let h be m(u). Suppose h = x - 0. Is x greater than or equal to 3?
True
Let k(h) = -h**3 + 7*h**2 + 9*h - 6. Let m be k(8). Suppose 4*v = m*v - 2. Let r = 2 + v. Is -1 greater than or equal to r?
False
Let p be ((1 - 0)/(-1))/(6/(-48)). Which is greater: 0 or p?
p
Let x = 71 - 71. Are -2/177 and x equal?
False
Suppose -2*f + o = -5*f - 5, o - 5 = 2*f. Let w be -2 - (-4 + (-2)/f). Which is bigger: 1/5 or w?
w
Let c = -27 - -7. Which is smaller: c or 5?
c
Let z be (-8 - 1)*(-2)/3. Let l = z + -7. Is l greater than or equal to 0?
False
Suppose -3*g + 4*f - 52 = 0, 2*f + 135 = -5*g - f. Let u be (1168/g)/((-16)/18). Let z = u + -55. Which is smaller: 1 or z?
z
Let u be 0*(0 - 3/(-6)). Suppose 3*j - 5*i + 10 + 1 = u, 0 = -4*j - 4*i - 4. Let n be (2/j*2)/(-7). Are 2 and n equal?
False
Let j = -2/187 - -223/3366. Are 1 and j non-equal?
True
Let f = -0.02 + -0.08. Is -1/29 bigger than f?
True
Suppose -2*z + 3*w = 4*w, -z - 3*w = -5. Are -1/204 and z nonequal?
True
Let j(a) = a**2 + 9*a + 1. Let w be j(-9). Which is smaller: w or 8/5?
w
Let m be (2 + 6)*25/20. Let d be 15/m*(-2)/3. Are d and -3 equal?
False
Let i be -2 - (105/(-9))/7. Which is greater: i or -5/7?
i
Suppose 0 = -3*h - u + 5 + 12, 2*u - 26 = -4*h. Suppose -6*p = -h*p - 2. Suppose 9 = -2*b + p. Which is smaller: b or -3?
b
Let m = 4187/8 + -524. Is m < -1?
False
Let i be (-20)/(-170) - 10/374. Do 0 and i have different values?
True
Let t be 2*-1 - (0 + 5). Let d = -5 - t. Which is smaller: d or 1/2?
1/2
Let k = -0.71 + 12.11. Let i = -11 + k. Which is smaller: -1/3 or i?
-1/3
Let q = -15 + 24. Suppose 5*i + 4*v - 1 - 3 = 0, -5 = -5*v. Which is smaller: q or i?
i
Let m be 1/3 - 35/15. Which is greater: -1 or m?
-1
Let u = 0.86 - 0.16. Let g = -3.7 + u. Let b = 0.02 + -0.02. Are g and b equal?
False
Let l be (-18)/(-112) - (-1)/(-2). Let f = l - -5/7. Is -1 equal to f?
False
Let r(m) = -m**3 + 4*m**2 + 5*m + 6. Let l be r(5). Suppose 0 = -h + 3, 3*i + 0*i = 5*h - l. Suppose -2*x = 5 - 9. Is i at most as big as x?
False
Let n be (-6)/(-1 - 213/(-219)). Let v be n/75 + -2 - 1. Is -1 at most v?
True
Let q = 100/171 - 9/19. Suppose -4*y + 4*n + 0*n = -4, -1 = 3*y - n. Which is smaller: q or y?
y
Let k(s) = s**3 - 5*s**2 + s - 9. Let j be k(5). Is j <= -30/7?
False
Let d = -0.6 + 0.6. Is -20 at most as big as d?
True
Let m(x) = x**2 - 10. Let l be m(0). Let t = l + 1