Let g be -3 + 0 + (-1 - r). Is v at most g?
True
Suppose 2*f + 3*q = 12, 4*q = 4*f + 2 + 14. Is f at least -1?
True
Let f = -24 + 24.1. Which is smaller: -1/4 or f?
-1/4
Let k = 14 - 8. Let q(d) = -d + 5. Let b be q(k). Is -1 smaller than b?
False
Let y = 1.2 + -1.5. Which is smaller: y or -1?
-1
Suppose -5*d = 16 - 1. Let x = 22 - 16. Let m = x + d. Which is smaller: 4 or m?
m
Let d = 389971006 - 3189962833549/8180. Let g = 3/818 - d. Let t = g + -3/4. Which is smaller: t or 1?
t
Let b = 0.32 + -0.19. Let q = -0.13 + b. Which is greater: q or 6?
6
Let z = -140/117 - -17/13. Suppose 0 = 4*g - 12, -6*s + 4*g = -s + 12. Which is smaller: s or z?
s
Let l = 2.05 - 0.05. Let q = l - 3. Let a be 2/(0 + -1 - 1). Is a at most q?
True
Let r = 5 + -8. Is r greater than 1?
False
Let t be (125/(-4))/(24/(-16)). Let x = t + -43/2. Which is smaller: x or -1?
-1
Let m = 56.1 + -56. Suppose 0 = 5*d - 43 + 13. Let z = d - 25/4. Which is smaller: m or z?
z
Let z = -11 + 47/4. Are z and 0 equal?
False
Let u = 29 + -2. Let a = u - 24.2. Let n = a - 3. Is n greater than or equal to 1/2?
False
Let x be 2/(-3) + 24/9 - 6. Is -22/5 <= x?
True
Let p = -23.2 - -23. Let d = -2.9 + 3. Which is bigger: d or p?
d
Let j be (-17)/2 + 3/6. Let b = 1 + -8. Is j >= b?
False
Let w be 2/(-9) + 87/27. Are w and 0 equal?
False
Let n be -1*(2 + (-48)/20). Is n at most as big as 0.16?
False
Let c = -2.7 - -3. Let b = 0 + c. Which is smaller: b or -1?
-1
Let s(h) = -h**2 + 11*h - 3. Let z be s(6). Suppose 2*o - z = -3. Let d be 2/o - (-1)/(-2). Which is smaller: d or -1?
-1
Let a be -3 - -3*8/6. Let b be 0 + 3 + -6 - a. Which is smaller: b or -5?
-5
Suppose -3*a + 38 = 2*c, c = -a - 0 + 19. Suppose -5*y = -26 - c. Which is greater: y or 10?
10
Let w = -3249/11 + 295. Is w smaller than 1?
True
Suppose -k = 4*k + 45. Let o(f) = -3*f + 5*f - 3*f - 9. Let d be o(k). Is 0 > d?
False
Let f(y) = y**2 + 4*y - 5. Let o be f(-5). Let u = 232 - 1853/8. Which is greater: o or u?
u
Let z be 1/3 + 140/(-444). Are z and 1 equal?
False
Let k = 57 - 56. Is 0 less than k?
True
Suppose 2*q - 40 = -0. Is q less than 19?
False
Let d(x) = -x**2 + 7*x - 4. Let o be d(6). Let j = 1 + o. Let q be (-4 - (3 + -6)) + 3. Which is smaller: q or j?
q
Let u(g) be the first derivative of -g**2 + 7*g + 3. Let s be u(3). Let n be -1*(-1)/(7 - 0). Which is bigger: s or n?
s
Suppose 20 = -4*q - 4*f, 2*q + 5 - 1 = -5*f. Is -7 greater than q?
False
Let v(w) = w**3 + 4*w**2 + 3. Let k be v(-4). Let h = 11 - 7. Suppose -20 = -4*x, -5 + 14 = -h*a + 5*x. Is a greater than or equal to k?
True
Let b = -2/51 - 32/51. Let c = -8 + 8. Let y(d) = -d**3 + d - 1. Let p be y(c). Which is greater: p or b?
b
Let j = -1 - -14. Which is greater: 0 or j?
j
Let j = 0.09 - -0.04. Let d = 10 + -11. Are j and d unequal?
True
Let d = 16 - 6. Let b = 3 - d. Let s = 6 + b. Which is smaller: 0 or s?
s
Let n(x) = x - 8. Let q be n(4). Is q at least as big as -4?
True
Suppose 3*o = -3*r + 15, 5*r - 4*o + 0 = -20. Let c = 1/7 + 17/28. Which is smaller: r or c?
r
Suppose 1 = h - 0. Let i = -79 - -1029/13. Is i bigger than h?
False
Suppose -3*j - 6 + 28 = -2*n, 0 = -n + 3*j - 17. Let o be (30/25)/(2/n). Which is bigger: o or -4?
o
Let c(n) = -n**3 - 17*n**2 - 30*n. Let h be c(-15). Is h bigger than 1?
False
Let j = 0.065 + -5.265. Let h = j + 5. Is h bigger than -0.2?
False
Let r = 7 + -5. Let x = r + -3. Which is smaller: x or -3?
-3
Suppose -4*o = l + 7, 5*o + 4*l = l - 7. Let n be 5 - (o - -1 - -2). Let d be 2/n + (-7)/22. Is 0 != d?
True
Let n = 5/41 - 605/1599. Let w = 18583 - 5073167/273. Let f = n + w. Is f smaller than -1?
False
Suppose 0*b + 5 = b + 5*r, -r - 51 = -5*b. Is b less than 9?
False
Let k = -0.09 - -2.09. Is k greater than or equal to -3?
True
Suppose k - 12 = -2*k. Suppose 5*j = -2*n - 22, 2*n = -k*j + n - 17. Let b be j/(-6) - 1/3. Which is bigger: b or 1?
1
Suppose 0 = -z + 17 + 10. Suppose 0*b + 12 = 4*b, 4*b - z = -3*a. Suppose 5*y + l = 11, a*y = l + l + 8. Which is bigger: 3 or y?
3
Let m(u) = u - 3. Let p be m(2). Let q be 5 - (1 - p) - -1. Let s = q - 5. Is -1 equal to s?
True
Suppose 35 = -3*k - 2*k. Let n = k + 14. Are 7 and n unequal?
False
Let i be (6/9)/(2/3). Suppose -5*y = 4*c - i + 11, -5*y = 2*c + 10. Which is bigger: y or 0?
0
Suppose 0 = 2*s - s - 5*o - 17, 0 = -5*s - 4*o - 2. Suppose w - 9 = -s*w. Let n be (-26)/(-6) - (-2)/(-6). Is w at most as big as n?
True
Suppose -j + 9 - 23 = 0. Which is smaller: -13 or j?
j
Let a(n) = 11*n**3 + n - 1. Let r be a(1). Suppose -5*c + r + 19 = 0. Which is bigger: c or 7?
7
Suppose -4*r + 3*r = 2. Let u be r/(-2) + 1/1. Suppose -5*h + 1 = -4*k - 2, k - h = 0. Which is bigger: k or u?
k
Let h = 5.7 - 5.6. Suppose 3*r + 8 = r. Let g be (-1)/4 + (-2)/r. Which is smaller: g or h?
h
Suppose -3*n + 5*i = -40, 4*n = -2*i + 1 + 9. Suppose 0*c - 2*c = 5*m - 23, 4*c + 2*m = 38. Let w = n - c. Which is bigger: -3 or w?
-3
Let w be 1/(-1 - (-6)/4). Suppose 4*x - 3*x = -w. Which is smaller: x or 1?
x
Let j = -2 - -2. Is 2/19 less than j?
False
Let g = 706/5537 - 4/791. Which is smaller: g or -1?
-1
Let x = 0.07 + 0.03. Let c = -2.1 - -2. Let d = -3.1 - c. Which is smaller: d or x?
d
Suppose g + 12 = 4. Let c be (g/112)/(2/(-8)). Let o = 1.9 + -2. Which is bigger: c or o?
c
Let p = 22 + -177/8. Suppose 3 = v - 2*u - 7, 5*u + 25 = 4*v. Suppose v = g + 1. Which is bigger: p or g?
p
Let c be (-2 + 0 + -2)*(-7 - -2). Is 19 at most c?
True
Let c = -19 - -18.9. Which is smaller: 2 or c?
c
Let t(s) be the first derivative of s**4/4 - 2*s**3/3 + s**2 - s + 2. Let c be t(1). Suppose 0 = -c*x - x. Is x at least -2/9?
True
Let y(o) = -o + 22. Let q be y(7). Is q < 16?
True
Let t = -6.9 + 7.9. Which is greater: -48 or t?
t
Let k be 4/8 + (-14)/12. Let s be 1/2 - (-6)/(-4). Is k at least as big as s?
True
Suppose 0 = 2*l - 2*z + 8, -4*z - 2 = l + 2. Suppose -5*a = 2 + 8. Do l and a have different values?
True
Suppose -o - 4*o = -10. Suppose 0 = -o*z + 6*z + 4. Let n = 5627/25 - 225. Is n less than or equal to z?
False
Suppose 2*w = 4*w + 6. Suppose 0 = 2*a + 3*a + 20. Is a >= w?
False
Let w = -3 - -3.1. Is w at least as big as -0.05?
True
Suppose 0 = -s + 2, -4*r + r = s + 1. Suppose -7*u = -18*u + 15*u. Is u > r?
True
Suppose 0 = -g + 5*g - 4. Which is greater: -4/13 or g?
g
Let k = -0.4 - -0.1. Let r = k + 0.3. Let m = 0.1 + r. Which is greater: m or -0.5?
m
Let b = -113/3 + 37. Which is smaller: -10 or b?
-10
Let y = 8/19 + -29/114. Is y at most as big as -1?
False
Let f = 6.5 - 1.5. Let i = 9.2 + -9. Which is smaller: i or f?
i
Let g = 94 + -99. Is g greater than 5?
False
Let j = 0.9 + -0.7. Which is bigger: j or -1/2?
j
Let y = 10.7 - 10. Let d = y + -0.9. Which is smaller: -1/4 or d?
-1/4
Let n(a) = 2*a + 11. Let w = -6 + 1. Let p be n(w). Is -2 at least p?
False
Let c = -515 + 23. Let t = -17218/35 - c. Is 1 greater than or equal to t?
True
Let v = -15048/35 - -430. Is v smaller than -1?
False
Suppose -32 = -4*r - 0*r. Let g = r + -8. Let x(c) = c**2 + 2*c - 4. Let m be x(-3). Is g equal to m?
False
Let y = -456 - -783. Let z = 3600/11 - y. Suppose 0*i - 3 = -3*i. Which is smaller: z or i?
z
Let m = 0.03 - 6.63. Are 2/3 and m unequal?
True
Suppose 0 = -6*c + 2*c + 252. Let y(q) = -q + 21. Let p be y(0). Let h be (-4)/c + 6/p. Is h at least as big as 0?
True
Let x be (-8)/(-20) - (-6)/10. Let r be -1 - x - 4/(-4). Which is smaller: 3 or r?
r
Let o = 4 + 5. Let f = o + -19. Let d be (-4)/(-16) - f/(-8). Which is bigger: d or 2/3?
2/3
Let m = -23 + -4. Let a be 11/30 + 18/m. Suppose 2*o - 5*g = -7, 5*g + 2 = -3*o + 4*g. Is o greater than or equal to a?
False
Let x be ((-3)/2)/(-10 + 1). Let p = 9.4 - 11. Let r = 0.6 + p. Is x > r?
True
Let w be 14/63 + 426/27. Let i = w + -17. Let t be (2/5)/((-39)/15). Is t > i?
True
Let c = 15/4312 - -6239329/38808. Let h = c - 161. Is h != -1/4?
True
Let b(w) = -w**2 - 6*w + 3. Let s be b(-5). Are 9 and s non-equal?
True
Suppose 8*u = 7*u - 37. Which is bigger: -38 or u?
u
Suppose 4*c - 24 = -i, 0 = 4*i + 5*c - 74 + 22. Let z be (-2)/i - 26/(-8). Is 2 smaller than z?
True
Suppose 5*q = -5*r - 30, -2*q - 5*r = q + 26. Are 5 and q nonequal?
True
Suppose -4*s + 5*h = s - 40, 8 = 3*s + 5*h. Suppose -2*i + 2*x - s*x = 34, 55 = -5*i - 4*x. Which is greater: 0 or i?