uppose -2*x + 17 = -3*x - k, j = 5*x - 5*k + 85. Is x at most -17?
True
Let m(t) be the second derivative of -t**4/24 + t**3/2 + t**2/2 - 2*t. Let o(q) be the first derivative of m(q). Let r be o(3). Is -1 equal to r?
False
Suppose 2*o + 3*q - 1 = 40, 0 = -4*o + q + 75. Let k = o - 14. Let v = 13 + -8. Do v and k have the same value?
True
Suppose 8*o = 3*o. Is 2/23 at least as big as o?
True
Let n = 1 + 2. Let a be (12/54)/(10/n). Let g = 3 + -2. Which is bigger: a or g?
g
Let h = 65 - 95. Let f be ((-24)/h)/(2/(-10)). Let w = 5 + f. Is 0.08 greater than w?
False
Let k = 1.5 + 0.5. Let t = -1 + k. Let p = -1.4 - 0.6. Is t greater than or equal to p?
True
Let b = 137 + -81. Which is smaller: 55 or b?
55
Let g(q) = q**3 - 3*q**2 + 2*q. Let v = 10 + -8. Let n be g(v). Which is smaller: n or 2/15?
n
Let f be ((-9)/6)/(6/(-8)). Suppose -f*d = 4*d + 54. Which is greater: -8 or d?
-8
Let m = -20 - -116. Is 97 greater than m?
True
Let i = -54 - -52. Which is smaller: -5/4 or i?
i
Suppose 40*g + 6 = 43*g. Is g >= -3?
True
Let v be 765/(-42) - (-2)/(-7). Let p = -18 - v. Suppose -4*o + 0*t = 5*t + 11, -5*o + 5*t + 20 = 0. Which is smaller: p or o?
p
Let z be (3/(-36))/((-1)/(-2)). Let o = 2 - 3. Which is smaller: z or o?
o
Let a = -0.1 - 0.3. Is 1/3 > a?
True
Suppose -4*k + 3 = -4*c + 7, 0 = 5*k + 3*c - 35. Is 8 bigger than k?
True
Let d(h) = h + 3. Let o be d(6). Suppose 3*i - 6*k - 27 = -9*k, 5*k + 5 = 0. Is i greater than or equal to o?
True
Let j = -98/15 + 19/3. Let s = 0 - 1. Which is greater: s or j?
j
Suppose -4*g + 0*g = 2*c - 2, g + c = -2. Let u(m) be the first derivative of m**4/4 - m**3 - m**2/2 + 2*m + 1. Let x be u(g). Which is smaller: x or -1/8?
x
Let g be (-50 + -4)*(-1)/2. Let r be -2 - 21/g - -3. Is 2/9 > r?
False
Let d = 463 + -2307/5. Let u(b) = -b**2 + 8*b + 4. Let v be u(7). Suppose 2*j = -2, j + v = 5*s - 5. Which is smaller: s or d?
d
Let r = 4 - 1. Are 5 and r unequal?
True
Let l = 2 + -2.2. Which is bigger: 4/5 or l?
4/5
Let p = -19 + 19. Is 4/3 > p?
True
Let t = 5 + -3. Suppose v = t*v - 2. Are v and 0 equal?
False
Let j be (-2)/(((-4)/(-227))/2). Let y = j - -1131/5. Suppose o + 2*k + 0*k = 8, -5*k = -3*o - 20. Which is smaller: y or o?
y
Let x be 2/(-8) - 1197/(-108). Let j = x - 21/2. Do j and -5 have the same value?
False
Let v = 0 - 0. Let k be -4*(179/4 - -1). Let i = k - -918/5. Which is bigger: v or i?
i
Let w = -3 + 7. Suppose 0 = -2*j + 2 + 6. Is j at most as big as w?
True
Let s be (-3 - 1)/(2/(-6)). Is 11 < s?
True
Let c = 3/23 + 14/69. Let o = 1/6 + c. Is o smaller than 2?
True
Let q be 1/((-4)/(-32)*4). Which is bigger: -3 or q?
q
Let z = 15 - 6. Suppose z + 3 = -4*y. Which is smaller: -4 or y?
-4
Let h be 10 - 14 - 38/12*-2. Which is smaller: h or 3?
h
Let u = 2/5 - 4/15. Let b(g) = g**2 - 5*g + 2. Let t be b(5). Let n = t + -2. Which is greater: u or n?
u
Suppose -2*m + 2 = -0. Let f(w) = -w**3 - 8*w**2 - 2*w - 6. Let n be f(-8). Let i be (-8)/(-20) + 6/n. Are i and m equal?
True
Let s be -2*(-512)/10 - 1. Let u = s - 101. Which is smaller: u or 0?
0
Let c = 2 + 0. Let a = -1.1 + 0.1. Is a at least c?
False
Let x(g) = -g + 4. Let n be x(5). Let a be n/(-3) - 12/9. Let y = 71/2 - 36. Is a smaller than y?
True
Suppose 3*o - 29 = 5*g, 2*o - 3*o - 5*g - 17 = 0. Let k be (o/15*2)/5. Which is greater: 1 or k?
1
Let i be (-24 + 2)/(1/(-1)). Let u be -11*(-1 + (-4 - -3)). Is u at most i?
True
Let n = 35/2 + -17. Let p be 3 - (-4 + 176/26). Which is greater: p or n?
n
Let i(a) = 16*a**2 + 4. Let o be i(-3). Let t = 78 - o. Let m be ((-8)/t)/(2/(-5)). Is m at most 4?
True
Let z(a) = 2*a + 18. Let p be z(-12). Let b be (-78)/(-120) + p/(-10). Which is greater: b or -0.1?
b
Suppose 2*x - x - 2 = 0. Suppose -3*n + 7 = -2*k, -5*k + 0*k = -n - x. Let s = 3 - 2. Is k greater than s?
False
Let s = 0.3 + -0.29. Let o = s - 2.01. Let u = o + 1. Are -1/3 and u nonequal?
True
Let f be 2 - -1 - (37 - -1). Let k be 2 + -1 - (-40)/f. Which is smaller: k or -2?
-2
Suppose -28 = 3*s + 2*b + 20, 5*b = 2*s + 51. Let q be 6/(-27) - 22/s. Let n be (0/3)/(q + 2). Which is bigger: n or 1/13?
1/13
Suppose 0*f = f + 2*t, 4*f + 8 = -4*t. Let i = f + 3. Let j be (0 - (-6)/4) + i. Is j at least as big as 1?
False
Let z = 0.1 - -2.9. Which is smaller: -0.5 or z?
-0.5
Let v(f) = -f**2 - 2*f - 1. Suppose -3*u - 6 = x - 3*x, -u + 2*x - 2 = 0. Let h be v(u). Is h <= -4/9?
True
Suppose -1 = q + 5*r, -5*q + 10*q - 4*r + 63 = 0. Let n be (-9)/6*19/3. Is n < q?
False
Suppose 31 + 25 = -4*g. Let f = g + 14. Which is greater: -1 or f?
f
Let g(u) = -3*u**3 - u**2. Let x be g(-1). Which is bigger: 3 or x?
3
Let i = 421 + -819/2. Is 12 >= i?
True
Let h = -9 - -8.4. Let q = 0.4 - h. Which is smaller: q or -8?
-8
Let b be ((-12)/(-4))/3*0. Are 6/5 and b unequal?
True
Let i(q) = q**3 - 6*q**2 + 4*q + 6. Let y be i(5). Which is smaller: 10/7 or y?
y
Let z(w) = -3*w - 18. Let i be z(6). Which is smaller: -38 or i?
-38
Let l(f) = -f**2 + 15*f + 2. Let z be l(15). Let g = -0.1 - -0.2. Is g >= z?
False
Suppose -7*d = -12 + 40. Let i = -114 + 796/7. Is d at most i?
True
Suppose 0 = -2*y - 23 - 17. Is -19 less than or equal to y?
False
Let t(i) = -i**3 + 4*i**2 + 13*i - 6. Let f be t(6). Do 0 and f have different values?
False
Suppose -53*q - 2 = -52*q. Is -2 > q?
False
Suppose -5*p + 34 - 10 = -h, 5*p - 40 = 5*h. Let f = -33 + 29. Is f greater than or equal to h?
True
Let p = -27/10 - -21/10. Let r = 11 - 4. Let o = r + -8. Is o less than p?
True
Let c(r) = -5*r**2 + 4*r - 6. Let o be c(4). Let v be (2/12)/(o/(-126)). Which is bigger: 1 or v?
1
Let o = -30 - -29. Let g = -2 - 1. Is g >= o?
False
Suppose -8*s - 8 + 0 = 0. Which is bigger: 1/12 or s?
1/12
Let g = -0.1 - -0.11. Let j = -4.01 + g. Let q = 3.9 + j. Which is smaller: q or -2?
-2
Let c be (-2)/5 - 13/5. Let d(o) be the first derivative of o**2/2 + 6*o + 4. Let n be d(c). Is n less than or equal to 2?
False
Let x be (-3)/((-1326)/(-12) + -4). Is -1 > x?
False
Let b(h) = 3*h**2 + 2*h - 2. Let d be b(-2). Suppose d = u + u. Let p = u + -4. Which is smaller: 1 or p?
p
Suppose 0 = -7*x + 2*x + 20. Suppose s + 3 = p + x*p, 2*p + 12 = -4*s. Does p = -2/61?
False
Let w = 1 - -3. Suppose 0 = -4*x + 4*o + w, -2*o + 4 = -2*x + 2*o. Which is greater: 0 or x?
x
Let d(f) = f + 9. Let y be d(-5). Let a = -1 - -3. Suppose -4*n + 14 = -a. Is y smaller than n?
False
Let x(v) = -4*v**2 - 2*v + 13. Let o be x(2). Which is greater: o or -36/5?
o
Let q(h) = 2 - 4 - h + 5. Suppose 3*a - 5 - 4 = 0. Let y be q(a). Is y bigger than 0?
False
Let o(c) = c**3 - 7*c**2 - 9*c + 10. Let j be o(8). Let a be 10/6*(-3)/j. Which is bigger: a or -4?
a
Let s = -98/9 - -680/63. Which is smaller: -1 or s?
-1
Let k = -3.8 + 4. Let f = -8 - -7. Is k < f?
False
Let j = 0.31 - -0.69. Let l = 17.3 - 18. Let i = 0.5 + l. Is j bigger than i?
True
Let q be (-3 - -2)/(0 - 1). Let o(y) = 2 - 5*y + 0 - 5 + 4. Let x be o(q). Which is bigger: x or -5?
x
Let m = 27 - 25.2. Is m <= 1?
False
Let f be 1/5*2*10/32. Which is bigger: f or -1?
f
Let m = 11.5 - -2.5. Which is bigger: m or -1/2?
m
Suppose 2*o + 3*s = -2*o + 73, -3*o = -4*s - 36. Is 18 at most as big as o?
False
Let g = 22.64 - -0.36. Which is bigger: 2/3 or g?
g
Let r be (0 + -1)/((-6)/30). Suppose -5*w = -6*w + r. Which is smaller: w or 6?
w
Suppose 0 = -4*c + 8*c - 4. Let i(v) = v**3 + 13*v**2 - 13*v + 16. Let d be i(-14). Is c at least as big as d?
False
Let l = -23 - -35. Suppose a - l = -3*a. Which is bigger: 4 or a?
4
Let l = 23 - 5. Which is bigger: -1 or l?
l
Let s be (0 - (-1)/(-4))/((-4)/(-8)). Which is smaller: s or 9?
s
Suppose -3*m - 3*t - 14 = 19, 0 = -4*m + 2*t - 50. Which is smaller: -13 or m?
-13
Suppose -2*a + 6 = a. Suppose 0 = -2*p - 2*s - a, 5*s - 3 = -6*p + 3*p. Is -2 at least as big as p?
True
Suppose 5*z - 11 = 2*i, -i + 0*i - 7 = -4*z. Is z <= -1/3?
False
Let n = -1.007 + 0.007. Is -8 > n?
False
Let r(m) = m + 7. Let n be r(-3). Suppose -4*q = 5*u + n, -3*q + 2 = -3*u - 5*q. Is u at least 0?
True
Suppose 7*q = 2*q + 25. Which is smaller: q or 6?
q
Let c be (-16)/12*3*-1. Suppose h + 9 = c*h. Suppose h*b + 2*a + 9 = 0, 3*b - 2*a + 0*a = 3. Is b bigger than -2/11?
False
Let a = 1.3 + -3. Let p = -2 - a. Let c = p + -1.7. Is -2/3 at most c?
False
Let n be -4 - (-10)/(-2)*1. Do