*r + 3*r, 4*r = 3*s - 3. Let t = -5 - s. Suppose -2*d + 3 = -d, -18 = h - 5*d. Is t >= h?
True
Let m(q) = 2 + q**2 - 1 - 2*q**2 - q. Let p be m(0). Let c = -2.1 - -3.1. Is p less than c?
False
Let u = -32 - -13. Are -19 and u nonequal?
False
Let x be (33/12 - 3)*4. Let f = -4 + 7. Let g be f*x/(-1 + 4). Are g and -4/7 equal?
False
Let k be 3/3*(-2 - -3). Suppose 5*q + i = 19 + k, -i = q. Suppose q = -r + 3. Are -5/3 and r equal?
False
Let r(d) = -2*d**2 - d**2 + 3*d**2 + d**2. Let v be r(1). Let p = -319/6 + 53. Which is smaller: v or p?
p
Let f(q) = q - 4. Let l be f(6). Suppose v - l*v = -8. Suppose 0*w + v = 4*w. Is w equal to 3?
False
Suppose 3*k + 0*k = -7*k. Which is greater: k or -1/26?
k
Let h(p) = p**3 + 7*p**2 + 4*p - 8. Let l be h(-6). Suppose 2 = 5*b - 23. Which is smaller: l or b?
l
Let k(d) = d**3 - 4*d**2 - 3*d - 2. Let y be k(5). Let i = -5 + y. Suppose -3*s - 15 + i = -3*m, 0 = 2*s + 8. Which is greater: m or -2/9?
m
Let f = 1.77 - 3.77. Let j = -50086 + 3706249/74. Let z = j + 2/37. Are f and z nonequal?
True
Let p = -1.1 - -1.1. Which is smaller: -1 or p?
-1
Let b = 11 + -17. Let f(o) = o**3 + 6*o**2 + 1. Let w be f(b). Is 2 greater than w?
True
Let x = 0 + -0.2. Let d = x - -0.1. Let r = d + 0.1. Is r bigger than -0.1?
True
Let a be ((-106)/6)/(154/21 + -7). Are a and -54 nonequal?
True
Let q = -5.3 + 5. Let w = -0.5 - q. Let z = -0.3 - w. Is z less than or equal to -1?
False
Suppose 3*k - 2*k - 16 = 0. Which is smaller: k or 15?
15
Let t = 40 - 42. Which is smaller: t or 0.3?
t
Let d = -2230463399/5 + 17348544243511/38890. Let v = -2/3889 - d. Let t = -13/20 + v. Is t < 0?
False
Suppose -14 = 5*c + 3*a, -c - 3*a - a - 13 = 0. Let m = -3 + 3. Suppose m = 4*o + o. Is o equal to c?
False
Let i be ((-1)/3)/((-6)/(-9) + -1). Let v(b) be the second derivative of b**5/20 + 7*b**4/12 + 7*b**3/6 + 7*b**2/2 - b. Let s be v(-6). Is i smaller than s?
False
Let d = -0.1 - 0.1. Let q = 0.6 - 0.2. Let j = 0.4 - q. Is d <= j?
True
Let f = -4.3 - -4.6. Is -0.3 >= f?
False
Let y = 5/34 - 143/510. Let o = 0.87 - 2.09. Let x = -0.22 - o. Which is smaller: x or y?
y
Let z be (0 - 90/4) + (-9)/6. Which is smaller: -1/5 or z?
z
Suppose 3*i + 0 - 9 = 0. Let q = -5 + i. Let g = 4 + -3. Is g < q?
False
Let t = 5 + -3. Suppose 0*k - t*k = 0. Are 1/8 and k unequal?
True
Let f = 35 - 14. Suppose -2*p - 3*u = -14, 59 = 4*p - 3*u + 13. Suppose z - 4*z + 3*v = -f, -2*v - p = 0. Is z >= 2?
True
Let n(s) = s**3 - 9*s**2 - s + 9. Let q be n(9). Is q not equal to -5/8?
True
Let p = 4 + -8. Let o be p*(1 + 3/(-6)). Is o at most -4/3?
True
Suppose 0 = -5*f + 5*j + 10, -j + 4*j = f - 10. Let i be f*(3/6 + -1). Do 1 and i have different values?
False
Let g be (3 - 0) + (5 - 29). Let r = 13 + g. Which is smaller: r or -6?
r
Let j(p) = p**2 + p + 1. Let q be j(-1). Let r be (0 - 2) + 3 + -1. Which is bigger: r or q?
q
Let q = -2 - -1. Let a(s) = 6*s**3 - s**2 + 1. Let z be a(q). Let f(m) = -m**3 - 6*m**2 - 1. Let x be f(z). Which is smaller: x or 3?
x
Let z = -0.12 + 0.02. Let j = 1.1 + z. Let m = 1 - 0.9. Is m <= j?
True
Let x = 205 + -10457/51. Which is greater: x or 0?
0
Let s be (-2)/(-3) - 4/6. Let l(b) = b - 3 + 6 + s*b. Let o be l(-2). Which is smaller: 10/7 or o?
o
Let z = -344/11 + 57470/1837. Which is bigger: 1 or z?
1
Let q = -5 + 9. Suppose -3*v + q*v - 1 = 0, -4*v = -2*x - 4. Is -1 < x?
True
Suppose 3*y = 4*b + 5, 2*y + 2*b - 4*b - 4 = 0. Is y greater than 5?
False
Let i = 12 + -13.6. Let m = 2.8 + i. Let v = -0.2 + m. Is v smaller than 0.1?
False
Suppose -3*s - 5*a = -1, 5*s + 5*a - 4*a + 13 = 0. Let q be (2 + -5)/s + 2. Suppose 2 = -q*c - 1. Which is smaller: c or 2/11?
c
Suppose -v + 1 = 2. Let w be 5 - (v + (-2)/(-2)). Let r = -10 - -15. Is w equal to r?
True
Suppose 0 = -4*y + 9 + 3. Suppose -k = -5*k. Suppose k*l + y = -l. Is -3 bigger than l?
False
Let w = 22 - 23. Which is greater: w or -0.37?
-0.37
Let s = -59/2 - -29. Which is greater: s or 0.2?
0.2
Let q be (-47)/(-30) + (-39)/26. Let b = 79/60 - q. Which is greater: b or 1?
b
Let s be ((-2)/(-4))/((-2)/4). Let z be (0 - 0)/(-3) - 0. Which is smaller: s or z?
s
Let n be (-58)/(-19) + 9/(-6)*2. Which is smaller: n or -1?
-1
Let w be (-1 - (-36)/28) + (-9)/7. Let z be (-1 + 3)/(26/(-2)). Which is bigger: w or z?
z
Suppose -j = 2*r - 8, -5*r + 0*j = -j - 13. Suppose 3*g = 2*g. Suppose g = -u + 2*a + 6, 0 = -u - 2*u - a + 4. Which is bigger: u or r?
r
Let x = -584 + 263. Let q = -4813/15 - x. Is 1 greater than q?
True
Let w = 2/59 + 55/118. Let r = -5 + 4.5. Let f = 3.5 - r. Which is smaller: f or w?
w
Let u = 2.6 + -2.44. Let h = -0.26 + u. Which is greater: h or 3?
3
Let q be (-2 - 16/(-5))*(-15)/(-9). Which is bigger: 7/3 or q?
7/3
Let p(v) = v**3 + 6*v**2 + 5*v + 2. Let i be p(-5). Let b = 30 + -31. Is b at most i?
True
Let z = -6 + 7. Suppose -4*i = -0*i + w - 1, 0 = 4*i - w + z. Which is greater: i or 4/5?
4/5
Let u = -4.9 - -2.9. Let f = 0.06 - 2.06. Is u < f?
False
Let j = -1 + 1.03. Let b = -1.03 + j. Is -6 >= b?
False
Let k = -11 - -8. Let g = -0.83 + 0.9. Let i = g + 0.03. Which is smaller: i or k?
k
Let r be (-15)/10 - (-4)/(-2). Let y = 45/14 + r. Let t = 3 + -1. Do t and y have the same value?
False
Let d(h) = -h - 18. Let r be d(-15). Is r <= 2/9?
True
Let v = 9 - 18. Are -7 and v non-equal?
True
Let n = -13.6 - -15. Let s = n + -2.45. Let g = s + 0.05. Which is smaller: g or 0?
g
Let z = 0.1 + 0. Let u = z + -0.2. Which is smaller: 1 or u?
u
Let c be (1 + -1 + 3)*1. Suppose 5*d = -5*m + 5, 1 = -c*m + 4*d - 10. Let g be 0/1 + m/3. Which is smaller: g or -2?
-2
Suppose -5*c + 2*c = 0. Suppose 0 = b + 4*p - 2*p + 4, -4*b + 3*p = 5. Let m be -2 + (2 - b/9). Which is smaller: m or c?
c
Suppose 0 = 2*w + r + 69, -3*w + w = -5*r + 87. Which is smaller: w or -35?
w
Let a be -1*(2/(-2) - 0). Suppose 14 = 2*m - 4*w - 10, -5*w - 17 = 4*m. Let j be (-1 + 7)*m/6. Which is smaller: a or j?
a
Suppose -4*k + w = -9, 3*w = -4*k - 2 + 7. Suppose 0*r = r + x - 2, 2*x + k = 4*r. Which is smaller: -1 or r?
-1
Let a = 1.5 - -0.5. Let u = a - 1. Let j be (-33)/(-42) + 4/(-14). Which is bigger: j or u?
u
Let a(h) = h**2 + 8*h - 10. Let z be a(-9). Which is greater: -2/5 or z?
-2/5
Let a = 2 - 2. Let g be (2 - 745/385) + 6/(-14). Which is bigger: g or a?
a
Let m = 30 + -44. Let a be 6/21 + (-24)/m. Let c = 29/5 - 43/10. Which is smaller: c or a?
c
Let t be 100/15 - (-2)/6. Is t >= 7?
True
Let z(g) be the third derivative of -g**6/120 + g**5/60 - g**4/24 + g**3/3 - 4*g**2. Let j be z(0). Suppose a + j = -0*a. Which is smaller: -1 or a?
a
Let o(n) = -n**2 - 8*n + 4. Let f be o(-9). Let k be (f/25)/(3/5). Is -2 at least k?
False
Suppose -4*o = o - 20. Let b be ((-6)/o)/(9/36). Which is bigger: b or 1?
1
Let w(o) = o**3 + 4*o**2 - 6*o - 5. Let v be w(-5). Suppose t + v = -1. Let q be ((-7)/((-175)/(-10)))/(-2). Which is smaller: t or q?
t
Let l(c) be the first derivative of c**4/4 + 3*c**3 + 7*c**2/2 - 8*c + 3. Let s be l(-8). Is s < 2/7?
True
Suppose -g = -3*g - 124. Let c = 127/2 + g. Is c greater than or equal to 3?
False
Let x = -55/27 + 874/27. Which is smaller: x or 30?
30
Let t(x) = -x**3 - 14*x**2 - 2*x - 28. Let b be t(-14). Which is bigger: -7/11 or b?
b
Let q(k) = k**3 + k**2 + 2. Let f be q(0). Suppose f*t + 4 = -2*t. Suppose 5*a + 3*z = -6, -2*a - 3*a - 4 = 2*z. Are a and t equal?
False
Let b = -3.92 - 0.08. Let c = 7 - 6.85. Let v = 0.05 - c. Which is smaller: v or b?
b
Let s = 6 + -8. Let x = 11 + s. Do x and 10 have the same value?
False
Let h be (0 + 6)/((-18)/24). Which is smaller: h or -0.1?
h
Let z = 4 + -4.1. Let t be 1 - (-1*2 + -1). Suppose 6 = t*w - w. Which is smaller: z or w?
z
Let j be ((-32)/6 - -6) + 2/(-6). Let b = -0.06 + -4.94. Is b greater than j?
False
Let m = -0.4 - -0.6. Which is smaller: -1/5 or m?
-1/5
Let k = 177/1295 + -4/37. Is k at most -1?
False
Let w(d) = 1 + 3*d + 4 + 0 + 1. Let q be w(-4). Is -6 smaller than q?
False
Suppose 5*r + 1 = -2*a - 1, -2 = 2*r + 2*a. Let h(j) = -j - 1. Let y be h(r). Let z = 27/140 - -2/35. Which is smaller: z or y?
y
Suppose 0 = -3*h + 8*h + 90. Let t be 2/(-6) - (-107)/6. Let k = h + t. Which is smaller: k or -2?
-2
Let d(i) = 2*i**2 - 11*i + 4. Let n(b) = -b**2 + 10*b - 4. Let c(l) = -2*d(l) - 3*n(l). Let h be c(-9). Let g = 2 