) = q**2 - 20*q + 30. Let b be z(16). Is b at most 1?
True
Let u = 3 - -2. Suppose -n + 48 = 4*b, u*n - 127 = n - 3*b. Suppose n = -4*s - 12. Is -10 >= s?
True
Let z = -30 - -30.3. Is z less than 9?
True
Let h(c) = -c - 1. Let x be h(-3). Suppose 3*y + 3 = -3*p - 0, x*p = 2*y + 2. Which is smaller: 1 or p?
p
Suppose w + w - 12 = 0. Let f be 4/(-14) + w/(-28). Suppose 4 = -2*d - 0*d. Which is smaller: d or f?
d
Let t = -13.8 - -14. Which is smaller: 2/3 or t?
t
Let h = 0.5 - 0.55. Let o = 0.7 - 0.85. Let b = h - o. Which is bigger: b or -0.2?
b
Suppose 0 = -4*k - 2 - 2. Which is bigger: k or 1/17?
1/17
Let b be (3090/25)/(-6) - (-3)/5. Is b bigger than -20?
False
Let x be (-7)/((-182)/(-162)) + 6. Which is greater: 1.2 or x?
1.2
Let x(v) = v**3 - 10*v**2 - v + 5. Let h be x(10). Which is smaller: -3 or h?
h
Let v = 20 - 28. Is -7 != v?
True
Let p(k) = -2*k**3 - 4*k**2 - 3*k - 2. Let r be p(-2). Suppose -r = -s - 2*l, 0 = 3*s - 0*l + 3*l - 6. Is 1/5 >= s?
True
Let j be (1/2)/(4/(-56)). Let c be 28/(-8)*12/j. Which is greater: 7 or c?
7
Let s = 18/17 + -209/85. Is s not equal to 1?
True
Let x be (-8)/(-3) + (-6)/(-18). Let o(r) = 2*r - 6. Let t be o(x). Is -2/5 <= t?
True
Suppose -139*b = -136*b - 9. Let w be 3/(-1 - 10/(-4)). Suppose 0 = r + w - 4. Is r > b?
False
Let q(p) = p**2 - 8*p + 10. Let i be q(7). Suppose -2*z + 3*z = -4*n + 7, i*z = 4*n - 11. Let v be 0/n - 4/10. Is v at least as big as 1?
False
Let w = 11 - 20. Which is bigger: -10 or w?
w
Let p = 2 - 2.1. Let v = -23 - -23. Is v not equal to p?
True
Let y = -6 - -8. Let s = 1 - 2. Is y equal to s?
False
Suppose -85 = -8*w - 29. Which is smaller: w or 5?
5
Let q be (-2)/15 + 8/60. Is 3 equal to q?
False
Let n be 0/((-10)/2 + 3). Suppose 0 = -3*y + 4*u + 19, -y + 3*y + 2*u + 6 = n. Are y and 1/21 equal?
False
Let z = -17 - -19. Let d = 3 - 1. Let q = 2.2 - d. Does z = q?
False
Let r = 1717/12 - 143. Which is greater: -1 or r?
r
Let p = 8 + -11. Suppose 0 = -2*m + 3*a - 19, -2*a + 3 = 3*m - 1. Do p and m have different values?
True
Let k = 512 - 9730/19. Let d = -0.3 - -1.3. Which is bigger: k or d?
d
Let u = 41 + -39.1. Let w = 0.1 + u. Which is smaller: 0.1 or w?
0.1
Let f = -124.1 + 124. Which is smaller: -0.6 or f?
-0.6
Suppose t + 6 = 2*h - 0, 5*h - 15 = 4*t. Suppose h*r - 4 = 2*r. Suppose 2 = r*n + 6. Is -1/2 equal to n?
False
Suppose -9*h + 3 = -8*h. Which is greater: h or 27/8?
27/8
Suppose -z - 3*z + 14 = -2*n, 11 = 5*z + 4*n. Suppose 4*u = -z*c + 2*c + 21, -c - 5*u = -25. Let s be 2/(-5) - (-64)/10. Is c bigger than s?
False
Let z = 569 - 11947/21. Let q be (1/(-2)*0)/(-2). Let s = -1 + q. Which is bigger: s or z?
z
Let u(i) = -3*i - 29. Let s be u(-8). Is s at most as big as -6?
False
Let k = 12 - 7. Let x = k + -3. Let o be 6*2/16*(-40)/(-75). Which is smaller: x or o?
o
Let q = -5.5 + -1.5. Let j = -11 - q. Which is bigger: j or -1?
-1
Let a(r) = r**3 + 6*r**2 + 7*r + 6. Let k be a(-6). Is k equal to -0.1?
False
Suppose 5*o + 2 = -2*f + 12, f - 8 = -4*o. Is f less than -3/178?
False
Let n = -70/13 + 80/39. Which is bigger: n or -3?
-3
Let m(u) = u**3 - 4*u**2 + 4*u - 2. Let l be m(3). Let w be (-3 - 12/(-3)) + 0. Suppose -v + 5 = 3*g + 1, -2*v = -g - w. Is l bigger than v?
False
Let o = -9 - 5. Which is greater: 1 or o?
1
Suppose 0 = 5*i - i - 12. Let u(y) = -4*y + 4. Let f be u(i). Which is bigger: -13/2 or f?
-13/2
Suppose 3*d = 2*h - 6*h - 22, -d = 2. Which is smaller: -1 or h?
h
Let h = -10 + 31/3. Is h not equal to -1?
True
Let y(k) be the second derivative of k**4/12 - k**3 + k**2 + k. Let l be y(4). Which is smaller: l or -4?
l
Let n(s) be the third derivative of 1/60*s**5 + 1/4*s**4 + 0 + 0*s + 1/2*s**3 + 2*s**2. Let y be n(-5). Is y greater than -1?
False
Let w(a) = 5*a**3 + a**2 + a - 1. Let d be w(1). Let q be d/10 - (-36)/(-10). Let k be (3 - 6)*1/q. Which is bigger: k or 1/10?
k
Let f(d) = d**3 + 1. Let t be f(0). Let c = -1/199 + -391/1393. Which is smaller: c or t?
c
Suppose 0 = 4*m - d - d + 22, 0 = -3*m + d - 14. Is m <= 1/2?
True
Let d = -4/89 - 134/979. Let l(u) = -6*u**2 - 7*u - 6. Let o(b) = 5*b**2 + 6*b + 5. Let n(c) = -4*l(c) - 5*o(c). Let r be n(-2). Which is smaller: r or d?
r
Let l be 4/(-6) - (-6)/9. Is l less than 4?
True
Let w = 133 + -663/5. Let v = w - -1/10. Let u = 4 - 3. Which is smaller: u or v?
v
Suppose -3*w - 5*d = -8, 0 = 4*w - 2*d + 5*d - 7. Is w at least as big as -2/71?
True
Let a(t) = -t**2 + 13. Let v(j) = j**2 - j - 12. Let k(d) = 6*a(d) + 7*v(d). Let m be k(8). Is 2 > m?
False
Let l = -2 + 0. Let s be -1*(0 - (l + 1)). Do 1/11 and s have the same value?
False
Let a = 42 - 21. Suppose 5*c + x = 26 + 1, 5*x = c - a. Let h be ((-1)/(-3))/((-2)/c). Is h greater than -1?
False
Let g = 542/5 - 108. Is g at most -6/43?
False
Let t = 0.3 - -3.7. Let d = -4 + t. Let q = 0.2 + d. Which is bigger: q or -1?
q
Let x(a) = 15*a - 1 - a**2 - a**2 - 4*a**2 + 5*a**2. Let d be x(15). Is 1/33 at most as big as d?
False
Suppose -s - 3 + 1 = 0. Let q = -1944393/11345 + -28/2269. Let v = -172 - q. Which is bigger: s or v?
v
Let r be (12/30)/((-598)/(-10)). Is 0 != r?
True
Let w(q) be the second derivative of -q**5/20 - 2*q**4/3 - 4*q**3/3 - 9*q**2/2 + q. Let a be w(-7). Let h be (-2*1 - a)/(-1). Which is smaller: h or -1/2?
-1/2
Let z be -68 + (-4)/(-8)*6. Which is greater: -64 or z?
-64
Let q be (-1 - (-4)/7) + (-514)/42. Which is smaller: -13 or q?
-13
Let i = -0.03 - 0.97. Which is greater: 0.4 or i?
0.4
Let s(a) = -a**2 - 5*a + 1. Let w be s(-4). Suppose -9 = 2*p + c, w*p + c + c = -20. Which is greater: p or 1/3?
1/3
Let u(m) = -m**2 - 4*m - 2. Let i be u(-4). Let r be (-7)/2 - -2 - i. Is r at least as big as 0.3?
True
Let q = -0.0213 - 0.5787. Let n = 1.1 + -3.2. Let y = n + 2. Is y at most as big as q?
False
Suppose 0 = 5*w - 2*m - 17, -2*w - w + 14 = -5*m. Suppose 18 = r + w*l, 0*l = -3*l + 15. Suppose 4*q = n - 8, 2*n = 4*q - 2*q + 10. Is n <= r?
False
Let o = 0.5 + -0.4. Is -9 != o?
True
Let y(o) = -2*o**2 - 49*o - 26. Let r be y(-24). Which is smaller: r or 3?
r
Let a = -32 - -14. Let g be 3 + -4 - a/14. Is -0.1 greater than g?
False
Let a be (-90)/24 - 6/(-8). Which is bigger: a or -4?
a
Let o = -6 + 9. Suppose w - 1 = -o. Let b = w - 0. Are -1 and b equal?
False
Suppose 0 = -l - 2*l + 3. Let n = 6 - 3. Let m = 3 - n. Is l at most as big as m?
False
Let n = -1 - 0. Suppose x = 2*b + b + 8, -2*x - 2 = 0. Let y be (-6)/90 - n/b. Which is greater: -0.1 or y?
-0.1
Let o be 4*(-2)/(-32)*(-5)/(-3). Which is smaller: 0 or o?
0
Let l(t) = t + 1. Let i(p) = -7*p - 24. Let y(f) = i(f) + 6*l(f). Let s be y(-8). Let w = s - -39/4. Which is greater: 1 or w?
1
Let u be -2 + 2 - (-4)/28. Let m = 0 - -2. Suppose -2*q = -r, m*q + 2*r = -q - 7. Which is smaller: q or u?
q
Let z = 0.046 + -2.996. Let n = -0.35 + 0.3. Let i = n + z. Which is smaller: i or 1?
i
Let j = 5 - 3. Suppose 0 = j*i - 10. Which is smaller: 1 or i?
1
Let o = 65 - 44. Which is smaller: 1 or o?
1
Let h = -73 + 103. Suppose l + l - h = 0. Suppose z - 7 = -0*z - 2*r, -4*r + l = z. Which is greater: -1/2 or z?
-1/2
Let c be (5/15)/(1/18). Which is bigger: 7 or c?
7
Suppose 3 = 2*i + 13. Let g be (-1)/(-3) + (-48)/9. Let a = g - i. Is a > 2/5?
False
Let u = -157 - -53. Let v be 74*(-4)/u - 3. Is 1 at least as big as v?
True
Let q = 2.3 + -5.1. Let p = q + 3. Which is bigger: 0 or p?
p
Let t be 272/44 + 2/(-11). Suppose 0 = -t*i + 3*i. Are i and 3 equal?
False
Let u = -35.6 + 36. Is u > -2?
True
Let r be (-7)/56*((-164)/3 - 0). Are r and 6 unequal?
True
Let l(w) = 2*w - 2. Let d(v) = -3*v**3 + v**2 - v - 1. Let q be d(-1). Let o be l(q). Suppose -o*p = -p - 15. Are p and 3 equal?
True
Let z = -35/4 - -9. Let v = 5 - 0. Suppose -l = 5*h + 2 - 7, 2*l = v*h - 5. Is l at most as big as z?
True
Let s = 0.04 - -2.96. Let k = s - 0. Is 0 != k?
True
Let f = 0.93 + 0.57. Is f greater than 3?
False
Let m be ((-2)/(-3))/((-2)/6). Suppose -16 = -y - 3*y. Let o be y*((-7)/(-6))/(-7). Which is greater: m or o?
o
Let u = 0.44 - -0.26. Let y = -12/23 - -82/69. Which is bigger: y or u?
u
Suppose 3*y + 12 = t, -3*t + 0*t + 2*y = -8. Suppose t = 3*h + 27 - 0. Let k be (-12)/(-54) + 2/h. Is k smaller than -2/5?
False
Let l = -0.12 - -0.72. Let n = l - -0.4. Is n less than -4?
False
Let v be 115/20 + (-6)/8.