 d = -0.3 - -3.3. Let f = d - -1. Is f less than or equal to 1?
False
Suppose -8 = 2*h - 2*t, 3*t - 16 = 5*h - t. Let k be ((-4)/8)/(7/(-2)). Is k at most h?
False
Let b = 52/67 + -1390/1273. Is b greater than or equal to 0?
False
Let f(p) = 21*p - 1. Let o be f(-1). Which is smaller: -23 or o?
-23
Let r be (-6)/(15/9 + -1). Let b = r + 9. Suppose 0 = -3*o - f + 1, b = -o - 3*f + f + 2. Are -2 and o unequal?
True
Let o be (-1)/2*(-1 - 5). Let c = 16 - 15.9. Do c and o have different values?
True
Let z = 83 - 83.5. Is z less than -4?
False
Let h = 0.43 - 0.33. Is -0.5 at most as big as h?
True
Let z = 8.3 + 1.8. Which is smaller: -2/5 or z?
-2/5
Let m be (-3)/9 + 8/(-12). Let g = 11.4 + -8.44. Let k = g - -0.04. Is m smaller than k?
True
Let c = -6/5 - -9/5. Let d(l) be the third derivative of -l**4/24 + 7*l**3/6 - l**2. Let a be d(7). Which is smaller: c or a?
a
Let i be (-40)/7 - (-2)/(-7). Let l(r) = r**3 + 2*r**2 + 4*r - 6. Let a be l(0). Is a at least as big as i?
True
Let k = 0.086 - 1.106. Let f = k - -0.02. Is f smaller than 1?
True
Let v(m) = -m**2 + 7*m + 3. Let d be v(6). Which is greater: 11 or d?
11
Let y be (-5 - -3)*6/4. Suppose -q - 12 = 4*z, 4*q + 22 = 2*z - 5*z. Which is smaller: q or y?
q
Let l(w) = -w**2 - w + 13. Let b be l(3). Let u = -77 - -384/5. Is b less than or equal to u?
False
Let c = 14 + -14. Let k = -150 + 1949/13. Is k less than or equal to c?
True
Let l = 16.8 + -15. Let d = l - 1.5. Suppose -2*k + y - 5 = 0, -2*y + 4 + 6 = 2*k. Which is smaller: d or k?
k
Let y = -2 + -5. Let u be (1 - (3 - 1)) + y. Which is smaller: u or 0.1?
u
Let v = 376 - 254. Is 123 equal to v?
False
Let x be 10/40 + (-2 - 377/4). Are -97 and x non-equal?
True
Suppose 5*i - 13 = 7. Suppose 0 = -i*z - z. Is z bigger than -2/11?
True
Suppose m = 3*q - 0*q - 36, 5*q - 60 = -2*m. Which is bigger: q or 11?
q
Let p = 12 + -28. Let i be 5 - 3 - p/(-9). Which is smaller: i or -1?
-1
Let n = 9 - 4. Suppose 3*x - 28 = n*b, -5*x + 3*x + b + 7 = 0. Suppose 0 = -w + x. Is w <= 2?
True
Let l(y) = y**3 - 9*y**2 - 10*y + 2. Let b be l(10). Suppose 0*h + h - 5*t = 24, 4*t + 22 = -b*h. Let u(g) = -3*g**3 - 1. Let v be u(h). Is 1 equal to v?
False
Suppose 0*g - 2 = g. Let z be (-6)/2*g/(-21). Which is bigger: z or 1?
1
Suppose -2*w - 6 = -h, h + 26 = 2*h + 3*w. Is 1 at least h?
False
Let z = 8 - -1. Suppose -2*r + 3*r + z = 0. Which is smaller: -10 or r?
-10
Let t = -10 + 12. Suppose b = t*b - 3. Let p(m) = -m**2 + 4*m - 2. Let r be p(3). Which is greater: b or r?
b
Let d be (20/12 + -1)*(-3)/(-8). Let r = -59/90 + -1/90. Which is greater: r or d?
d
Let g(k) = 4*k**2 - k - 1. Let s be g(-1). Let b = -10 - -6. Let q = b + s. Is 0 greater than or equal to q?
True
Let l be 0 - (0 - (-4)/720*2). Which is bigger: 1 or l?
1
Let z be (-4)/(-1)*9/(-4). Let q = z + 14. Do 5 and q have the same value?
True
Let j(t) = -3*t - 2. Let x be j(-2). Suppose 3*c + 0 = 2*y + 2, -4*y - x = -5*c. Let h = -6 + 5. Which is greater: h or c?
c
Let r(t) = -t + 18. Let h be r(6). Let j = h + -27/2. Which is smaller: j or -2?
-2
Let u = 10 - 6. Suppose 3*m + u = m. Let l be (-2 - -2)/(m + 0). Is 1/4 < l?
False
Let z(b) = -b**3 + 6*b**2 + 7*b. Suppose 0*o + 2*o = 14. Let w be z(o). Let t = 3 + w. Does t = 3?
True
Let l(o) = -o + 4. Let r be l(4). Let m be (-12)/(-54) + 4/(-9). Which is smaller: m or r?
m
Suppose 2*s + n + 3 = -0, -5*n + 11 = -3*s. Are s and -8/3 nonequal?
True
Let l = -24.1 + 23. Let j = 2.1 + l. Let s = 1.9 + -2. Which is bigger: j or s?
j
Let t be -1*(3 + 6/(-3)). Let c(u) = u - 5. Let x be c(5). Let b be (x/(-3))/(-1 - 1). Which is bigger: t or b?
b
Let d(f) = -f**2 - 17*f - 43. Let c be d(-15). Which is bigger: c or -14?
c
Let n = -51/2 + 259/10. Is 3/7 <= n?
False
Let y = 6 + -16. Let m = y - -1. Which is bigger: m or -7?
-7
Let y be -4 - -22*3/17. Which is greater: y or -1?
y
Let i = -10 - -9.9. Which is smaller: 13 or i?
i
Let j = 28 - 26. Suppose -f - f = 10, 5*f + 37 = 4*z. Which is smaller: z or j?
j
Let a(p) = p**3 - 7*p**2 - p - 1. Let o be a(7). Let c be (-68)/(-5) + o/(-20). Suppose -3*q = -3*s + c - 2, -9 = -3*s. Which is smaller: -2/3 or q?
q
Let w be -1 + (6/12)/((-1)/(-2)). Which is smaller: 2/301 or w?
w
Let s = 67/4 + -137/12. Let r = s + -67/12. Are r and 0 equal?
False
Let h = 63/1760 - 1/220. Let k = h + -43/352. Suppose 2*w = w + 4, 15 = -3*z + 3*w. Which is greater: z or k?
k
Let v be (-21)/30*3/(-105). Are v and 1 equal?
False
Suppose 2*s + 0 + 2 = 0. Let o(u) = -u**2 + 6*u + 3. Let t be o(7). Is t <= s?
True
Let c = 6 - 9. Let m = -1 - c. Suppose -m = 2*s - k + 2*k, 0 = 5*s + 4*k + 11. Which is greater: -2/13 or s?
s
Let p(t) = 4*t**2 - 3*t - 3. Let f be p(-2). Suppose 3*u + 4*g = -6, -4*u + 5*g + f = -4. Suppose -s = 5*s - 12. Is s at least u?
True
Let b be -1*(1/1)/35. Let t be 328/840 - 2/15. Let c = b - t. Which is bigger: -1 or c?
c
Let p(c) = -c**3 - 8*c**2 - c - 6. Suppose -4 = 4*y + 28. Let g be p(y). Suppose -g*l = l + 3. Is -1/8 at least l?
True
Let s = 0.192 + 9.708. Let h = s - 10. Is h != -3/7?
True
Let x = -0.2 - 0. Let k be 3/(3/(-2)) - (-216)/90. Is k <= x?
False
Suppose 3*m - 2 - 22 = 0. Which is smaller: m or 5?
5
Suppose 3*d = 12 + 33. Let r = 11 - d. Which is smaller: r or -14/3?
-14/3
Let b(w) = w**3 + 7*w**2 - 10. Let n be b(-7). Which is smaller: n or -8?
n
Let a = -44 + 32. Suppose -3*l - 15 - 21 = 0. Is l at most as big as a?
True
Let b = -102.7 - -108. Let t = b + 1.7. Let n = 0.1 + -0.1. Which is bigger: n or t?
t
Let r = -0.1 - -0.1. Let a = 1.05 + -1.2. Let n = a - -3.15. Which is bigger: n or r?
n
Let v = 151/35 - 23/5. Suppose -2*h = -r - 1 - 0, 0 = -2*h + 4*r + 10. Is h equal to v?
False
Let r = 7 + -7. Suppose 0 = -c - h + 1, r = -c + 2*h + 1 + 3. Let i be (-9 + c)*(-4)/14. Is i > 3/2?
True
Suppose -5*s - 37 = -2*b, -8 = -b - 2*s + s. Suppose -4*w + c = -13, -3*c - 2 = -b. Suppose 5*v + w*g - 7 = g, -v = 5*g - 19. Which is smaller: -2 or v?
-2
Let r be 3*(-2)/12*2. Which is greater: r or 1.3?
1.3
Suppose -5 = 2*c - 7*c. Do c and -1/27 have the same value?
False
Let z = -16227/140 - -465/4. Which is smaller: -1 or z?
-1
Suppose 0 = 7*n - 2*n, -4*n = -4*r. Let g = -3 - -3.5. Is g >= r?
True
Let t be 4/(-12) - (-2 - (-142)/78). Which is smaller: -1 or t?
-1
Let b = 1 - -3. Let f = 4.1 - b. Which is greater: f or -1/2?
f
Suppose 0 = -3*t - 3*d + 15, -2*t + 4*d + 22 = -0*d. Let j(f) = 4*f**2 - 3*f - 4. Let h be j(3). Suppose 6*n - 13 - h = 0. Are t and n nonequal?
True
Let q = -110.9 + 116. Let l = q + -1.1. Does -2/3 = l?
False
Let s be 4/(-6) + (-10)/30. Is -2 bigger than s?
False
Suppose 16 - 16 = 3*i. Let r = -3313 - -132381/40. Let v = 18/5 + r. Which is smaller: v or i?
i
Let w = -13 + 13. Let z = -23/6 - -13/3. Which is greater: w or z?
z
Suppose 10 = 3*a - 2. Which is smaller: a or 6?
a
Let k = 31 + -19. Let r be (4/k)/(1/3). Let j be 2/5 - (3 - 3). Which is bigger: r or j?
r
Let z be ((-4)/(-8))/(4/224). Suppose -5*y + 3 - z = 0. Which is greater: y or 1/3?
1/3
Let n be (2/12)/(10/4). Is -1 <= n?
True
Let o = 6 - 8. Let g(w) = -w**2 - 3*w - 1. Let j be g(o). Which is bigger: j or -3/11?
j
Let k = -2.9 + 3. Let s = -7.7 - -8. Let y = s - k. Which is greater: y or 2/5?
2/5
Suppose 3*g = 4*g - 5*l + 11, -4*g - 4*l + 28 = 0. Suppose -g*k = 5*i - 7*k - 14, -5*i = 4*k + 7. Is -1 > i?
False
Let h be 1/(-7) - 93/(-210). Which is greater: h or 1?
1
Let m = 0 - 0. Let z = -1 + 0. Let d be z - ((1 - 1) + -3). Which is bigger: d or m?
d
Let k be ((-5)/15)/(2/(-78)). Let x = 14 - k. Does -2/11 = x?
False
Suppose 2 = -5*t + 3*t. Which is smaller: -3 or t?
-3
Suppose -4*o - 13 = -c, 3 = 3*c - 2*o - 6. Suppose -f - 2*f = 0. Is f at least c?
False
Let w = -216 - -153. Is w > -63?
False
Let k be (0 - (-4 - -1)) + -3. Suppose 0 = 3*q - 3 - 0. Which is greater: q or k?
q
Let n be (-2)/(30/4*28/10). Which is greater: n or -1?
n
Let k = -0.791 - -0.66. Which is smaller: k or 0?
k
Let k be ((-28)/21)/((-4)/(-18)). Let j be (k/(-8))/(14/8). Do j and 1 have the same value?
False
Let c = -0.3 + -1.2. Let a = -1.4 - c. Which is smaller: a or -2?
-2
Let t(c) = -c**3 - 19*c**2 - 34*c + 1. Let j be t(-17). Which is bigger: j or 6/53?
j
Let t = 2/871 + -1764/9581. Suppose 9 = -0*p + 3*p. Let v = p - 3. Which is greater: v or t?
v
L