k - a = 3*d + 3*k. Is d >= 0?
True
Suppose 0 = -5*q + 1 - 21. Let h = q - -3. Is 1/4 at most as big as h?
False
Let y be (-1)/(-8) + 23/8. Suppose -5*d - 3 = -3*b, y*b - 4*b - 6 = -4*d. Is 4 >= b?
False
Let n(i) = -i**2 - 5*i + 5. Let g be n(-5). Suppose -3*d + 3*f = 4*f + 7, -d - g*f = 21. Let k = -2.2 - -2.3. Which is bigger: k or d?
k
Let a = -335/4664 + 2/53. Let y = 549/616 + a. Which is greater: 0 or y?
y
Suppose -3*n + 7 - 31 = -3*z, 0 = 3*n + 6. Suppose 4*d - 2 = z*d. Are -7/4 and d unequal?
True
Let d be 7/(-21)*(-6)/(-11). Which is smaller: -1 or d?
-1
Let a = -0.02 + -0.08. Let b = -0.2 + 0.1. Let h = -0.1 + b. Which is bigger: a or h?
a
Suppose 0 = 3*q - 7*q - 16. Let o be (-10)/q*12/10. Let v be o/12 - 21/36. Which is greater: v or -1?
v
Suppose z + 3 = 2*z. Let w(a) = 5*a**2 + 1. Let n be w(-1). Suppose -2*s + h + 2*h = n, -2*s + h + 2 = 0. Is z < s?
False
Let x = 1.07 - 1. Let w = 1.07 - x. Let m = -0.5 + 0.3. Which is smaller: m or w?
m
Suppose 0 = -2*q - 3*b - 2*b - 29, -2*b - 12 = q. Let c = 3 - 1. Let t be (-2)/(4/c) + 1. Which is smaller: q or t?
q
Let y be 4/14 - (72/42)/6. Let w = -2062/1131 + 24/13. Which is bigger: w or y?
w
Suppose 32 = -3*n + s, 52 = -5*n + s + 2*s. Is -1 >= n?
True
Let h be (-2 - 6)*(-363)/28. Let z = h + -104. Which is greater: z or 2?
2
Let k be 3/(-3)*(2 + 11). Is k at most -11?
True
Let q be (-14)/1197*(-6)/4. Which is greater: q or -1?
q
Suppose 4*g + 0*g - 8 = 5*m, -2*m = 3*g - 6. Suppose -3*l = -4*u + 12, m*l + 4 = 5*u - l. Is u at least -2/5?
True
Let j = -17854/23 + 776. Which is smaller: 1 or j?
j
Let k(m) = -m - 1. Let i be k(0). Are 2/19 and i nonequal?
True
Let l(t) be the second derivative of -t**5/20 + 2*t**4/3 + 4*t**3/3 + 5*t**2 + t. Let i be l(9). Let q be (-1)/(-1) + (0 - i). Is q at most as big as 3?
True
Let u be 173/255 - 2/5. Let m = -4/51 + u. Suppose 0 = f + t - 3, 0 = 3*t - 9 - 0. Which is smaller: f or m?
f
Let h be 0/(-1 + 1/(-1)). Let f be (-5 + 203/42)*16/6. Which is smaller: f or h?
f
Let q be 1/3*(4 + (-308)/80). Is -1 less than q?
True
Let z = 52.5 - 61.34. Let w = -0.16 + z. Which is greater: -1 or w?
-1
Let h(b) = b**3 - 6*b**2 + 6*b - 5. Let o be h(5). Suppose -4*w = -23 + 3. Suppose w*i - 4 = i. Which is smaller: i or o?
o
Let f be 3/(-6)*(4 + -2). Which is bigger: f or -1/25?
-1/25
Let g = 1.7 - 10.9. Let r = g - -9. Which is smaller: r or -0.05?
r
Suppose 4*m + 16 = 4*h, -2*m - 1 = -h + 4. Suppose -4*c = -y + 17, -5*y + h - 14 = 4*c. Is c at most -4?
True
Let n be 261/12*29/(-1698). Let t = 1/283 - n. Which is greater: -1 or t?
t
Suppose 2*k = -5*l + 15, 0*k + k = -2*l + 7. Which is bigger: k or 1?
k
Suppose 5*h + 2*q - 36 = 2*h, -2*q - 4 = -h. Let s(l) = -l + 3 - 4 + 3. Let c be s(h). Which is smaller: c or -7?
c
Let r(x) = -4*x - 7*x**2 + 6*x**2 + x + 1 + 4*x. Let z be r(0). Let s = 61 + -365/6. Which is greater: s or z?
z
Let n = 665465/21 + -31683. Let g = n + -40/7. Let j = -5 - -6. Which is smaller: g or j?
g
Suppose 0*h - h = 5*l - 15, 0 = l - 2. Suppose -3*g = -2*n - 1, 0 = -2*n - 4*g + 9 + 11. Is n < h?
True
Suppose -5*x = -5*z - 35, 4*z = 26*x - 21*x - 31. Let n = 5 - 3. Suppose k + y + n*y + 18 = 0, -1 = 2*k - y. Which is smaller: k or z?
z
Suppose -1 - 5 = -6*s. Let z be (-2)/(-1)*1/3. Do s and z have different values?
True
Let k(c) = -3*c**3 + 2*c**2 + c. Let v be k(-1). Let o be (v/(-54))/(2/(-6)). Let g = -1 - 0. Is o at most g?
False
Let z be (-3)/20 + (-1)/4. Let f = 0.922 - -0.078. Does z = f?
False
Suppose 0 = 2*v + 4*f - 8, -f - 2*f = -4*v + 5. Suppose 0 = -a - 2*d + 25 - 1, 39 = 2*a + d. Suppose -5*s + 4*u = -25, -2*s + 4*u + a = -4*s. Is s at most v?
True
Suppose 5*h = -0*w + 3*w + 42, w = h - 16. Is -20 at least w?
False
Let q be (-9)/18 + 2713/14. Let x = q - 193. Which is smaller: x or -7?
-7
Let t = -6 + 6. Let x be 35/30*(-9)/(-28). Which is bigger: x or t?
x
Let b = 0.15 + -0.08. Let m = -17.07 + 10. Let x = b + m. Is 1/3 bigger than x?
True
Let t = -0.25 - 10.75. Let v = t - -10.96. Suppose -f = -3*f. Is v at least f?
False
Let y(l) = -4*l - 39. Let j be y(-12). Is j < 11?
True
Let s be (-2)/16*2*-1. Let x = 1 + 3. Suppose 0*h = -x*h + 4. Which is bigger: s or h?
h
Let u be (-2)/3 + (-6)/(-27). Let f be ((-2)/(-3))/(4/48). Let h = f - 8. Which is greater: h or u?
h
Let b be 3 + (1 - (-3 + -1)). Let x = b + -11. Which is bigger: -2 or x?
-2
Let f(z) = -z - 9. Let w be f(-8). Let c(m) = -m**3 - 6*m**2 - 3*m + 6. Let t be c(-5). Let v be (-21)/(-55) - t/(-20). Which is smaller: w or v?
w
Let o = -14 + 16. Is o at most as big as 2/3?
False
Suppose -1 - 3 = -4*v. Let c be v/(-5)*-7 - 1. Which is bigger: -1 or c?
c
Suppose 5*b - 5*c - 30 = 0, 3*b - 20 = -c + 2*c. Let p = -16 + b. Let r be -3*((-24)/p)/(-4). Which is greater: 1 or r?
r
Let m = 0.1 - 0. Let s be 13/36 - (-6)/27. Let a = s - 1/12. Which is greater: m or a?
a
Suppose 0 = 6*c - c. Suppose c*y = 2*y - 18. Let r be (-1)/(-2 - (-21)/y). Is -4 < r?
True
Let r = -3 + 6. Suppose -r*z - 147 = 78. Let v = -528/7 - z. Is v != -1?
True
Let j be ((-35)/(-126))/(15/9). Is j at least as big as -2?
True
Let l(k) = -k**2 + 5*k + 5. Let f(j) = -j**2 + 5*j + 4. Let a(d) = -5*f(d) + 6*l(d). Let p be a(7). Do -1 and p have the same value?
False
Let p be 2/(-1) - (-17 + 13). Is 14/5 >= p?
True
Let x = 60 - 239/4. Which is bigger: x or 12?
12
Let t = -166 - -158. Is t smaller than -102/13?
True
Let z(a) = -a - 3. Let m be z(9). Is -12 at most as big as m?
True
Let o = -2/11 - -1/4. Is o at most as big as 1?
True
Suppose 0*i + 6 = i. Let r be (-6)/((45/i)/(-5)). Which is greater: r or 2?
r
Let n = -47 + 43.1. Let g = -0.9 - n. Which is smaller: g or -3?
-3
Let h(c) = 6*c**2 + 2*c + 1. Let u be h(-1). Suppose -u*f + 3*p = -24, -6*f + f - 2*p + 9 = 0. Suppose 2*r + 3 - 7 = 0. Which is smaller: f or r?
r
Suppose 5*t - 12 = 4*t - 3*d, 0 = -5*d + 20. Which is bigger: t or -1?
t
Let o = -205/2 - -103. Let a = 2 - 1. Is a less than or equal to o?
False
Suppose -3*a = 9 - 0. Let f = -2 + a. Let n be (2/(-8) + (-9)/12)*6. Is f less than n?
False
Let i = -5 - -10. Let y be 0/(-1) + (i - 2). Which is bigger: 5 or y?
5
Let w = 1201/9545 + -9/83. Which is smaller: w or -1?
-1
Let u be (2/(-4))/(5/30). Suppose 3*w + 0 = 27. Let l = 9 - w. Which is smaller: u or l?
u
Let p be (24/(-9) + 3)*0. Which is smaller: p or 5/6?
p
Let h(j) = 8*j**2 + 47*j + 9. Let q be h(-7). Which is smaller: 70 or q?
70
Let o = -3 + 5. Let p(u) = u**3 - 3*u**2 + u + 3. Let q(s) = s**2 - s - 1. Let n(l) = p(l) + 4*q(l). Let t be n(-2). Which is smaller: o or t?
t
Let v = -204 + 204. Let n = 664/7 - 95. Is v less than n?
False
Let q be 8/2*(-3)/((-147)/(-14)). Let j(t) = -t. Let h be j(0). Are q and h equal?
False
Let h be 1/3 - (-3)/9. Let q = 10 + -6. Which is bigger: q or h?
q
Suppose 2*x + 2*v - 4 = 0, -4*x = 2*v - v - 14. Let y(w) = 2*w - 5. Let s be y(x). Suppose 0 = -2*k + 4*k - 6. Is s less than or equal to k?
True
Suppose -2 - 2 = 2*p. Is -18/11 smaller than p?
False
Let k(d) = -d + 3. Let y be k(2). Do -2 and y have different values?
True
Let b(v) = 11*v - 3*v**2 + 10 + v**2 + 3*v**2. Let k be b(-7). Let t be (-76)/k + 6/(-27). Is t less than 3?
False
Let m be 8*((-1028)/(-344) + -3). Let g = 130/473 + m. Is g at least as big as -1?
True
Let h = -77 - -88. Is h <= 11?
True
Suppose 5*y - 31 = -b, 3*b - 6*b - 2*y = -67. Suppose -3*i + 2*p + b = 0, 5*i - 4*p - 25 - 8 = 0. Is i at most 9?
True
Let w be (58/(-30) + 2)/((-3)/(-5)). Which is bigger: -3 or w?
w
Let y = 10 + 2. Let u = -9 + 12. Suppose y = 4*f, -u*f + 29 = 3*a + 2*a. Is 3 at most a?
True
Let q(r) = -r**3 + 6*r**2 + 4*r - 8. Let d be q(6). Let n be (150/160)/((-6)/104). Let m = d + n. Which is smaller: -1 or m?
-1
Let i = 41 + -43. Is 1/4 bigger than i?
True
Let z = -71 - -67. Which is greater: z or -6?
z
Let i = -2399/25 + 96. Which is smaller: 1 or i?
i
Suppose -3*p = 4*v - 11, -2*v = 3*v - 2*p - 8. Let d = 1 - 1. Let r be -2 + d + (-6)/(-2). Is r >= v?
False
Let a = 5 + -22. Let v = -18 - a. Let n be (11/(-6) + 2)/(-1). Which is greater: v or n?
n
Suppose 4*a - 2*q - 104 = 0, 0*q - 68 = -2*a + 5*q. Let p = a - 25. Which is bigger: p or -5/4?
p
Let a = 198/5 - 41. Let r = 0 + 1. Is r at least a?
True
Let v(j) = -j - 4. Let g be v(4). Let w be g/(-17)*1/4. Which is s