 5*r + 3. Let n be m(6). Is y at most n?
False
Let j = -23 - -43. Is -0.3 at least as big as j?
False
Suppose 3*c - 2*c - 7 = 3*j, 2*j - 4*c = -8. Suppose 13 + 17 = -5*i. Let f(m) = -m**2 - 6*m - 3. Let y be f(i). Is j at most as big as y?
False
Let p = -0.01 - -2.01. Is p greater than or equal to -0.5?
True
Let f = -429 - -3427/8. Suppose 5*p - 5*m + 10 = 0, 6*m - 2*m = -4*p. Which is bigger: f or p?
f
Let g be 712/10 + (-4)/(-10). Let b be 1/(-4) - 574/8. Let l = b + g. Is 0 at least l?
True
Let m(f) = 5*f**2 + f - 7. Let w(o) = -11*o**2 - 3*o + 15. Let g(t) = 9*m(t) + 4*w(t). Let a be g(3). Do -4 and a have the same value?
False
Let f = 12 + -11. Is 2 at least f?
True
Let w = -8.12 + 8. Let i = w + -14.88. Which is smaller: -0.1 or i?
i
Let s be 50/(-98)*28/(-24). Let j = s - -1/14. Which is smaller: 5/2 or j?
j
Let o(x) = x + 2. Let c = -5 + 12. Suppose -3*b + 20 = -c*b. Let u be o(b). Is u <= -1?
True
Let u = -0.4 - -0.3. Let g = u - 0.1. Let z = g - -0.4. Is z not equal to 2?
True
Let d = 4 - 4.4. Let x = -3.6 + d. Let v = x - -3.8. Is v > -1/4?
True
Let a = -14 + 13. Which is greater: 2/143 or a?
2/143
Suppose 0*b = b. Let s = -1.4 - 2.6. Let o = s + 4.3. Which is bigger: o or b?
o
Let w = 12 - 20. Let j = w - -11.2. Let q = j - 3. Which is smaller: 1/4 or q?
q
Suppose -1 = 5*k - 16. Is k greater than 1?
True
Let c be 3 + 49*(-33)/(-537)*-1. Are c and 1 unequal?
True
Let z(n) = n - 3. Let r be z(10). Let f = r - 7. Is 1 less than f?
False
Let s be (6/10)/(13/(-65)). Is -3 <= s?
True
Let j(k) = k - 6. Let x be j(3). Let f be (4 - 65/20)*-4. Is f bigger than x?
False
Suppose -4*f + 4 = 0, 0 = 4*w + 3*f - 27 + 4. Suppose -2*k = 3*j + 2, -3*k - w = 5*j + 2*k. Let g be 4/6*3/8. Is j at least as big as g?
False
Let f(i) = i + 3. Let t be f(-2). Suppose -2*b + 0*b - 16 = 0. Let m = b + 8. Is t bigger than m?
True
Let y = -4.87 - 0.13. Let m = y + 4.9. Let t = 0.1 - 0.1. Are m and t equal?
False
Let s = 0 - 0.05. Let y = s + -0.02. Which is bigger: -0.1 or y?
y
Let n be (5 - 1) + (-118)/30. Is -1 != n?
True
Let r(f) be the third derivative of f**6/120 + f**5/15 + f**4/12 - f**3/3 - 3*f**2. Let v be r(-2). Suppose v - 4 = 2*d. Is d less than -2?
False
Let h = -15 - -14.96. Is h equal to 0?
False
Suppose 3 = -2*c - 3. Let u be ((-2)/c)/((-2)/(-6)). Suppose -z + 4 = -3*h + 2, -3*z + 4*h + 6 = 0. Is u <= z?
True
Let v = 0.1 + 0.4. Let p = v + -1. Let q = -0.6 - p. Which is smaller: q or -2?
-2
Let m be 4/(-3)*(-36)/24. Let v be 2/4 + 2/(-4). Suppose v = -m*b - b. Which is bigger: b or 2/5?
2/5
Suppose 3*t + 135 = -2*t. Which is greater: t or 1?
1
Let z = 52/35 - 6/5. Are z and -1 nonequal?
True
Suppose 5*l + 30 = 95. Is l > 11?
True
Let r be (22/12)/(16/24). Suppose -x - 16 = -9*x. Which is bigger: x or r?
r
Let d(c) = c - 1. Let t be d(0). Let m = -1 - -1. Is m < t?
False
Let c be (-24)/6 - 93/(-9). Do 7 and c have the same value?
False
Let m = -1.85 + 0.25. Are -1/2 and m equal?
False
Let a = -8.6 - 0.4. Let v = 7 + a. Is -4 smaller than v?
True
Let u be 106/36 - (-1 + 4). Which is bigger: u or -1?
u
Suppose 4*h + f = -345, h + 33 = 4*f - 49. Is h != -85?
True
Let z = 6 - 4. Is 2 equal to z?
True
Suppose -4*c + 7 = -5*c. Suppose -2*t = -3*h - 1, -3*t = -2*t + 2*h + 10. Let p(f) = f**3 + 3*f**2 - 3*f - 3. Let w be p(t). Is w at least as big as c?
True
Let r = -8 + 85. Let a = 845/11 - r. Is a greater than -2?
True
Let g = 1.5 + -0.8. Let w = 0.3 - 0. Let j = g + w. Which is smaller: j or -3?
-3
Let l(c) = c**2 - 8*c + 7. Let n be l(7). Let x be -1 - (-1 + n/(-1)). Is 3/4 <= x?
False
Suppose 0 = -4*i + 3*i - 2. Let t be (-1)/2*24/i. Let d(c) = c**2 + 6*c - 9. Let g be d(-8). Which is smaller: g or t?
t
Let l be -1 + 4/(-13)*-3. Let k be 2*((-4)/8)/(-1). Which is greater: k or l?
k
Let p(c) = 1 - c**2 - 1 + 9*c - 8. Let z be p(7). Let v be 6/4 + z/(-3). Which is greater: v or 1/4?
1/4
Let v(c) be the third derivative of c**5/30 + c**4/12 - c**3/6 + 5*c**2. Let w be v(-2). Which is smaller: w or 1?
1
Let c = -44 + 91/2. Let l = -2/7 - -13/21. Which is smaller: l or c?
l
Suppose 0 = -5*l + 5*o - 45, -2 - 2 = 4*l + 4*o. Which is smaller: l or 1?
l
Let m(j) = -j + 6. Let r be m(10). Let s be (3 + r + -3)*-1. Let y be 7/(-3) - s/6. Is y less than or equal to -1?
True
Let k = -3 - -2. Let l be (0 - 2) + 4 + -2. Suppose -4*i - 3*d - 27 = l, -3*i + 6 = -0*i - 3*d. Which is greater: i or k?
k
Let k be 12/(-9) + 4/12. Let c be ((3 + -3)*1)/k. Is -1 at least as big as c?
False
Let i = 23 + -29. Which is smaller: -7 or i?
-7
Let j be -2*(-3 + 0 + 2). Let m(a) = a + 0*a**2 + 9 - a**j + 6*a + 2*a. Let u be m(10). Which is smaller: u or -2?
-2
Let b(n) = n**3 + 8*n**2 - n - 6. Let i be b(-8). Let f be ((-1188)/(-10))/(4011/30). Let s = f + -6/191. Is s < i?
True
Suppose 7*q - 18*q = 0. Which is smaller: q or -14/11?
-14/11
Let d be (-8)/(-36) - 86/(-18). Suppose 4*u + 2*o - o = 22, -d*u - 2*o = -26. Suppose 0 = -i + 5, -n = 3*i - 9 - u. Which is smaller: n or 2/5?
n
Let j(p) = -p - 11. Let g be j(0). Which is smaller: g or -12?
-12
Suppose 4*n - 215 = 17. Let j = 176/3 - n. Which is smaller: 2 or j?
j
Let a(g) = g**3 + 8*g**2 - 5. Let z be a(-8). Do -8 and z have the same value?
False
Let p = -4575/8 - -575. Let h = -13/4 + p. Is 0 greater than h?
True
Let v = -0.36 - -0.32. Is v < -2/7?
False
Let u(p) be the third derivative of p**4/4 - 5*p**3/6 - p**2. Let q(h) = 7*h - 6. Let y(j) = 5*q(j) - 6*u(j). Let o be y(-2). Is 0 smaller than o?
True
Let a be 4/12 - 6/(-9). Let q(l) = -l - 2. Let b be q(-2). Is a less than or equal to b?
False
Suppose 2*r - 6*r = -3*k + 35, -31 = 4*r + k. Is -8 at least as big as r?
True
Let d(g) = -8*g**3 - g**2 + g - 1. Let f be d(1). Which is smaller: -11 or f?
-11
Let a = -8 + 8.2. Let s = -39 + 155/4. Which is bigger: a or s?
a
Suppose -5*k - 5 = -a + 4, 0 = 3*a - 3*k - 3. Which is smaller: a or 2/5?
a
Let l = 4/357 + 622/8211. Which is smaller: l or -0.2?
-0.2
Let p = -9/4 + 7/4. Which is bigger: p or 0.01?
0.01
Let p be ((-1)/(-36))/((-18)/264). Let o = -2/27 - p. Let j = 34/3 - 12. Is j at most o?
True
Suppose -2*h = -z + 2 - 0, 0 = 5*h + 15. Is z less than -4?
False
Let o(m) = 11*m + 4. Let t be o(4). Suppose 4*b + 50 = 3*z, -3*b = 3*z - 0*z + t. Let h = -44/3 - b. Is h not equal to 0?
True
Suppose -w = -8 + 6. Let p be 0*((-3)/2 - -2). Which is smaller: w or p?
p
Suppose n - 11 = -0*v + v, 2*v = -4. Let f = n - 11. Suppose 2*d + 0 = -2. Which is smaller: f or d?
f
Let i be -2 + (4/6 - -1). Suppose 5 = 5*g - 5. Suppose -g*u + 0 - 2 = 0. Which is smaller: i or u?
u
Suppose -6*g = -0*g - 60. Is 17/2 < g?
True
Suppose 3 + 2 = 5*l. Let a be ((-7)/5 + l)*-5. Suppose a*j = -n + 4, -3*n + 16 = n. Is j greater than or equal to 2/7?
False
Let o be 0/2*(-2)/4. Suppose o = -5*m - 15. Let s(y) = y**3 + 2*y**2 - 5*y - 4. Let x be s(m). Is 3 less than or equal to x?
False
Let h = 7.7 + -7. Let o = h + -0.5. Is 0.2 smaller than o?
False
Let y be -2 + 0 - (3 + -9). Suppose -y*b = -3*b. Is 0 smaller than b?
False
Let p = -71/360 + -1/40. Suppose 3*m = n + 9, 2*n - 5*m + 7 = -8. Suppose 0*t + 3*t = n. Is t less than p?
False
Let u = -7 + 14. Let x = 2 - 6. Let b = u + x. Which is smaller: b or -0.1?
-0.1
Let t = -8 + 7. Which is smaller: 7/3 or t?
t
Suppose 0 = -0*p - 2*p + 16. Suppose -5*d + p = -d. Which is greater: -2 or d?
d
Let k = -153 + 1992/13. Is k bigger than -1?
True
Suppose 13 + 43 = 4*s. Let n be ((-21)/s)/(2/(-4)). Is n less than 4?
True
Suppose 0 = 4*b - 0*b + 20. Let h be (-4)/(-10) + 12/b. Is -2 <= h?
True
Let o be 4/(-6) - (-112)/6. Let g be o/5 + 4/10. Is 4 less than g?
False
Suppose t = -g - 1, 2*t - 2*g = -6*g. Let q = 1 + t. Which is bigger: 0.01 or q?
0.01
Suppose 5*c + 18 = -13*c. Which is smaller: c or 2/77?
c
Let m be (-1 - 0)/((-2)/50). Let v be m/(-7) + 10 + -7. Which is bigger: v or 0?
0
Let j be 1 - (-10)/(-15) - 24/45. Let q be (-6)/(-27)*6/8. Do q and j have different values?
True
Suppose -3*c - 14 = -2. Let a = -12 - -10. Is c <= a?
True
Let a(x) = x**2 + 8*x + 13. Let u be a(-6). Is u > 2/23?
True
Let v = -1 - 4. Which is bigger: v or -4?
-4
Suppose -4*p = -3*c + 3, 5*c = -4*p + c + 32. Let u be -1 + (-1*p)/3. Which is smaller: u or 0?
u
Suppose 90 = 5*v - 0*v. Let g be (-5)/10 + 5/v. Which is bigger: g or -1