pose -5*p - 28 = 3*z - 0, -8 = 2*z - 2*p. Let q be (2/(-4))/(z/4). Suppose 0 = a + 3*a - 2*i - 6, -3*a - 12 = 4*i. Which is bigger: q or a?
q
Let y be 2 - 5 - (-3)/2. Which is greater: -4/5 or y?
-4/5
Let s(p) = 3*p - 20. Let o be s(8). Let r be ((-5)/(-10))/((-47)/o). Is 1 at least as big as r?
True
Suppose 0 = -5*a + 2*z - 51, -3*z = -2*a + 2*z - 33. Let i be a/6 - 1/(-2). Are 1/5 and i nonequal?
True
Suppose -11 = -3*f - 8. Are -1/13 and f nonequal?
True
Suppose -o = -3*o - 2. Which is greater: 2/5 or o?
2/5
Suppose 0 = -4*o + 24 - 0. Suppose r = o*r. Which is smaller: 3/5 or r?
r
Let w(i) = -2*i. Let l be w(-3). Suppose 6*g = 4*g + l. Let v = g - 2. Do v and 1 have different values?
False
Suppose 5 = -2*y - 3*y. Let a = y - -3. Is 1/2 at most as big as a?
True
Let y = 2.2 - 2.1. Which is bigger: -13/2 or y?
y
Let v be (-6)/4*(-12)/(-9). Let o(j) = -j - 1. Let a be o(-3). Suppose -a - 7 = 3*w. Which is smaller: w or v?
w
Suppose 0 = m + 5*r - 6, -2*r + 2 = 2*m - 2. Let z be 3 + 46/(-18) - 0. Is m <= z?
False
Suppose 5*g - 4 = w + g, 0 = 3*w - 5*g - 9. Which is bigger: w or 7?
w
Suppose 4*r - 5*m - 29 = 0, 2*m = 5*r + 3*m. Let f = -4/9187 - -284949/349106. Let k = -6/19 + f. Is k < r?
True
Let w = 51 - 55. Is -1 > w?
True
Let r be 5/((-60)/(-8))*6. Suppose -q + 4*h = 16, r*q + 14 + 5 = h. Is q > -2?
False
Let x be 6/(-8) + 1/(-4). Let p be -2 + 1 + x/(-1). Let l = -5 + 4. Which is greater: l or p?
p
Suppose -2*j - n = 17, 1 + 13 = -2*j + 2*n. Is j at least -10?
True
Let y = -21 + 20. Is 2/9 > y?
True
Suppose 0 = 4*h - 3*h - 16. Which is smaller: 15 or h?
15
Suppose 3*g = 2*g - 53. Let n = g - -211/4. Are n and -1 non-equal?
True
Suppose b + 1 + 2 = 2*r, -5 = b - 3*r. Are 1/24 and b equal?
False
Suppose -2*r - 3*f = -14, r - 2*f - 4 = -r. Let k be (-60)/63 + r/14. Do k and -1/6 have different values?
True
Let n be (2 - 1)*(0 + 15). Let l be (-6)/n + 288/795. Let v = l - 92/371. Which is greater: -0.2 or v?
-0.2
Let a = -11 - -15. Let s = a - -5. Is s not equal to 1?
True
Let k be ((-4)/20)/((-1)/5). Which is smaller: 5/8 or k?
5/8
Let l be 6 + -7 - (-5 - 2). Suppose -4*m + 6 = 5*d, -l*m - 4*d = -3*m - 5. Which is smaller: m or -7/4?
-7/4
Let a = 29 - 117/4. Let t = 6 - 6. Which is bigger: t or a?
t
Let z be 2/(2 - 2520/1262). Let q = z - 19563/31. Suppose 8 = -13*o + 21. Is q less than o?
True
Let u = 38 - 58. Let h be (u/(-2))/(3 + -5). Is -4 less than or equal to h?
False
Suppose 16*z = 14*z - 2. Let u be (-24)/(-14) + -1 + -2. Which is greater: u or z?
z
Let q = 26 - 22. Is 6 greater than or equal to q?
True
Let k = 3367/17 - 198. Is k greater than 0?
True
Let f be (0 - 2)/(2/5). Let m be f/(((-18)/2)/1). Is 2 bigger than m?
True
Let b(j) = 2*j**2 - 7*j + 4. Let u be b(4). Suppose -u*q = -c - 3*q - 16, -5*c - 5*q = -10. Is c greater than or equal to -2?
True
Let r = 40 + -44. Is -12 greater than or equal to r?
False
Suppose -2*k - 1 + 11 = 0. Suppose 2*r - 4*z = -r + 9, 3*z - 44 = -k*r. Is 7 not equal to r?
False
Suppose 5*b + 4*n - 23 = 0, 0 = -3*b + 2*n + 3 + 2. Let s(c) = -c**2 + 6*c + 10. Let q be s(7). Let j = q - b. Is -1/4 greater than j?
False
Let g = 35/2 - 16. Let v be (-2)/(-6 - (-1 - 1)). Is v != g?
True
Let s(j) = -j**2 - 6*j + 6. Let r be s(-7). Let h = 337.06 + -340. Let n = h + -0.06. Is n less than r?
True
Let i be -3*2*(-9)/6. Let l be (-2)/9 + (-7)/i. Which is smaller: 1/5 or l?
l
Let o(q) = q**3 - 5*q**2 + 5*q - 4. Let w be o(3). Let u = w - -6. Which is greater: u or -2/39?
-2/39
Suppose -3*u + 1 = -2*p - 2, 3*p + 5*u - 43 = 0. Let o = p + 0. Let w be ((-2)/o)/(2/6). Is w < 2/5?
True
Suppose 4*y = 3*y + 2. Suppose 2*a - 2*h = -150, -y*a - 3*h = -3*a - 65. Let k = a - -242/3. Is 1 >= k?
True
Let i(w) = -w**3 + 4*w**2 - 3*w. Let y be i(3). Let l = -18 + 12. Let g be (4/l)/((-1)/(-3)). Is y greater than or equal to g?
True
Suppose 10*d - 1 + 11 = 0. Which is smaller: d or -1/99?
d
Let a = -211 - -215.96. Let b = 0.04 + a. Which is smaller: -1 or b?
-1
Let p(j) = -13*j**3 + 27*j**2 - 49*j + 53. Let d(s) = -3*s**3 + 7*s**2 - 12*s + 13. Let l(k) = 9*d(k) - 2*p(k). Let m be l(8). Is -5 bigger than m?
False
Suppose -i + 9 = 5*y, 2*y + 19 = 5*i + y. Suppose -2*v + 3*n + 2*n - 22 = 0, -2*n = -i*v - 12. Is v < -1/6?
True
Let p = -18 - -18.5. Let d = p + -1.9. Which is bigger: 0 or d?
0
Let n = -32 - -98/3. Let y be 1 + -1 + (-2)/2. Let q be 1*(2 + y + -1). Which is greater: n or q?
n
Let z = 13 - 8. Let s = -4.9 + z. Let l = 0.2 - 0.1. Are s and l equal?
True
Let d be (-14)/8 - 2/8. Let p(c) = -c + 1. Let w be p(d). Let i be (w/20)/((-12)/(-30)). Is i at most -1?
False
Let v = 1.183 - -0.117. Is v not equal to 2/7?
True
Suppose -3*c = -113 - 58. Let s = -2 + -1. Let h be -3 + (s - c/(-9)). Is h not equal to 1/3?
False
Suppose -6 = -6*x - 0. Are x and 6 non-equal?
True
Let w be ((-4)/10)/(6/210). Is w > -14?
False
Let k = -28 + 41. Is k equal to 12?
False
Let s be (8/10)/(5 - (-738)/(-150)). Let g(w) = 9*w**2 + 1. Let y be g(-1). Is s < y?
False
Let p be 1/(((-3)/(-6))/1). Let m be 0 + 0 + p + -4. Which is smaller: -3 or m?
-3
Let s(d) = d**2 + 2*d. Let l be s(-4). Let u be l/(-200) + -1 + 1. Do u and -1 have different values?
True
Let i(z) = 8*z + 10. Let d be i(-6). Which is greater: -39 or d?
d
Suppose 0 = -4*p - 3*r + 24, -4*r - 2 = p - 8. Suppose l - 4 - 1 = 0. Which is smaller: p or l?
l
Let q = -140 + 100. Which is bigger: q or 0?
0
Let d = 29 - 14. Let n be 6*(d/(-6))/5. Let t be (-3)/6 + 7/(-2). Is n less than t?
False
Let v(g) be the second derivative of g**4/12 - 5*g**3/3 + g**2 - 3*g. Let b be v(10). Let u be 3 - -3 - b - 1. Which is smaller: 1 or u?
1
Let u be (0*4/(-12))/(-4). Let p be (-10)/(-26)*4/10. Is u < p?
True
Let c(g) = -g**3 - 2*g**2 + g + 75. Let b be c(0). Is b != 74?
True
Suppose -i - 5 = 8. Which is bigger: i or -11?
-11
Let s = 33/5 - 7. Suppose -6*r + 10*r = 0. Do r and s have the same value?
False
Let y = 137.98 - 135. Let i = 0.02 + y. Is i smaller than -2/3?
False
Let s(j) = 2*j + 9. Suppose -m = 4*u + 3 - 9, -5*u - 3 = 3*m. Let f be s(m). Which is greater: f or -2?
-2
Let b(r) = -r**3 + r**2. Let m be b(1). Suppose m = 3*a - 4*a. Let z be 6/(-22)*10/15. Which is smaller: a or z?
z
Suppose 3*t = 8*t - 25. Let y = t - 4. Does y = 1/6?
False
Let a(q) = q + 23. Let t be a(-23). Which is smaller: -5/23 or t?
-5/23
Let h(o) be the third derivative of -o**4/12 - 2*o**3 + 7*o**2. Let x be h(-7). Is x greater than 2?
False
Let f = -39 - -39.04. Which is smaller: -1 or f?
-1
Suppose 11 = p + 3. Let n = -7 + p. Is n at least as big as 2?
False
Let l = -5 + 9. Let p = 4 - 4. Suppose 3*u + u + l = p. Is -2 less than u?
True
Let v = -1 - 1. Let d be (v/3)/(2/12). Suppose 9 = -3*j - 3. Is d < j?
False
Suppose k - 28 = -49. Which is smaller: -20 or k?
k
Let b(y) be the second derivative of -y**5/20 + y**4/2 + 5*y**3/3 - y**2/2 - 4*y. Let v be b(7). Let i be (-16)/v*15/(-42). Which is smaller: 1 or i?
i
Suppose 5*g + 195 = -4*d, 2*d = -g - 0*g - 33. Which is smaller: g or -42?
g
Let m(r) = r + 9. Let x be m(-8). Is -3/59 < x?
True
Let j(i) = -i**3 - 4*i**2 + 9*i - 10. Let r be j(-6). Suppose 3*u - 16 - 5 = 0. Is u equal to r?
False
Let p(q) = 2*q**3 + 3*q**2 - 3*q - 1. Let x be p(2). Which is bigger: 20 or x?
x
Let b be (-4)/(-14) - 124/(-7). Let d be b/8 - (0 + 2). Let t be 8/(-4)*2/(-4). Which is bigger: t or d?
t
Let y = 9 + -13. Let x be (y/8)/(4/(-8)). Let h = 2/167 + -515/1169. Which is smaller: h or x?
h
Let j(q) = q - 6. Let s = -2 + 8. Let k be j(s). Let n be (-2 + (k - -2))/1. Is n at least -1?
True
Let x = 2 - 6. Let y be (36/8)/(3/x). Which is greater: y or -5?
-5
Let g = 3.1 + -2. Is g >= 2/3?
True
Let a = 22 - 44. Let x = 15 + a. Let l be (0 - 1 - x) + -3. Is 3 less than l?
False
Let l = -1.1 + 2. Let c = -0.5 + l. Which is greater: c or 1?
1
Let g be 93/165 + (-1)/5. Suppose 10 = -5*h + n, -h + 0*h = n - 4. Which is smaller: g or h?
h
Let n be 1 + (3/6 - 1). Let q be (9/(-24))/((-3)/2). Let b = q + n. Which is greater: 0 or b?
b
Let z(m) = m + 7. Let n(i) = i + 6. Let b(v) = 3*n(v) - 2*z(v). Let x be b(-4). Which is bigger: 3/4 or x?
3/4
Let o(d) = d**2 - 23*d - 5. Let w be o(16). Is w greater than -117?
False
Let r = 0.3 - 0.21. Let k = 0.02 + r. Is 0.1 bigger than k?
False
Let v = -89 + 97. I