 4*a - 6. Let l be h(-3). Is -4 at least l?
True
Let f(v) = v - 9. Let l be f(4). Let k be l + 3 - 1/1. Is k smaller than -4?
False
Let g = -0.09 + 33.09. Which is smaller: -0.1 or g?
-0.1
Suppose -5*c + 5 = -5. Which is smaller: -0.15 or c?
-0.15
Let i = 0.5 + -0.2. Let r = -0.3 + i. Let o = -0.2 + r. Is o less than or equal to -0.1?
True
Let p(b) = -13*b**3 + b**2 - 1. Let w be p(-1). Let h = 11 - w. Is 0 at most as big as h?
False
Let p = 3.7 + -3.8. Does p = -0.21?
False
Let u(r) = -r**3 - 3*r**2 + 2*r - 1. Let x(t) = t**3 - t**2. Let i be x(-1). Let a be u(i). Let l(v) = -v - 9. Let h be l(a). Is 1 <= h?
False
Let t = -46 - -26. Let w = t - -103/5. Which is greater: w or 2?
2
Let v = -2.7 + 2.3. Are 1 and v non-equal?
True
Suppose -4*m = l - 2*l - 32, 5*m = 2*l + 49. Let s = -6 - l. Suppose 0 = -r + 3*y - 7, -5*r - 3*y + s*y = 11. Which is bigger: r or 0.1?
0.1
Suppose -8 = -n - 4. Suppose -2 = -l + 4*g - 10, -n*g + 8 = 0. Which is bigger: -1 or l?
l
Let r be (-11)/(-14) - (-2)/(-4). Let g be ((-15)/9 + 2)/(2/(-6)). Is r > g?
True
Let p(u) = u**3 - 7*u**2 - 5*u - 10. Let f be p(8). Let t = -12 + f. Which is smaller: 1 or t?
1
Let x be (9/(-6))/(2/(-20)). Let o = x + -13. Let g be (-2)/(-4) + (-2)/(-20). Which is greater: g or o?
o
Suppose -2*p = 2*p - 64. Suppose -5*n = -p - 4. Suppose -3*j - j = -n. Is 1 at least as big as j?
True
Suppose f - 4 = x - 0*x, 4*f - 5*x = 19. Are f and 7 unequal?
True
Let t be (-3)/24*(-2 - -164). Let n = -20 - t. Which is bigger: n or -1?
n
Suppose -3*v = -3*y + 35 - 14, 2*v - 21 = -5*y. Let o be (-2 - -2)*((-5)/(-2))/5. Suppose -5 + o = -y*h. Do h and -1/6 have the same value?
False
Let a(s) = s**2 + s - 1. Let v(j) = j**3 + 8*j**2 + j - 8. Let n(g) = -5*a(g) + v(g). Suppose 0*m = -5*m - 20. Let p be n(m). Is -3 less than p?
False
Let f be (-7)/14*(0 + 2). Let u be 40/(-14) - (-1 + f). Which is greater: u or -1?
u
Let o(u) = 7*u**2 + 4*u - 5. Let y = -7 - -3. Let c be o(y). Let t = c - 1185/13. Is -1 > t?
False
Let j be (4/(-10))/((-5)/55). Which is smaller: j or 3?
3
Let q = 7.4 - 0.4. Let c = q + -8. Let u = -0.05 + 0.35. Are u and c unequal?
True
Let a(r) = -r**3 + 3*r**2 + 3*r + 1. Let k be a(4). Let n be k - (1 + 21/(-5)). Which is smaller: 0.1 or n?
0.1
Let x = -246/1111 + 4/101. Let t be 2 + 0 - (-3 - -4). Which is greater: t or x?
t
Let h(z) = -z + 4. Let o be h(3). Suppose -13*g = g. Is g less than o?
True
Let a = 21 + -15. Suppose a*i - 62 = -14. Is 8 at least as big as i?
True
Let t = 2 - 1. Let d be 8/(-12)*3 - -1. Which is bigger: t or d?
t
Let s(f) = -f**2. Let x be s(-1). Let a be (5/(-10))/((-1)/(-2)). Let b = -4 - a. Which is bigger: x or b?
x
Let z(i) = i**2 - 6*i + 3. Let o be z(6). Let h = 3 - o. Does h = 2/7?
False
Suppose 0 = 4*u - 2*c - 22, -2*u - 3*c + 5 - 6 = 0. Suppose -u*m = -7*m. Which is greater: 1 or m?
1
Suppose -a + 15 = -0*g - 5*g, a = g + 3. Which is smaller: 0.1 or g?
g
Let q be (140/(-42))/(5/3 + -1). Which is greater: 0 or q?
0
Let d be (1 - 3)*(-5)/(-2). Let i = -9 - d. Let g(u) = -3*u**3 - u**2 - u + 2. Let a be g(1). Does i = a?
False
Suppose 2*o - k + 8 = -0*k, 0 = -4*o - 5*k - 2. Let j = -58 - -57. Do o and j have the same value?
False
Let v(m) = -4*m + 6 + m**2 - 6. Let o be v(5). Suppose o - 13 = 4*k. Is k less than -2?
False
Let w = -130 + 132. Let n be 2 - 2 - 1*-4. Let k = n + -2. Is w > k?
False
Let y = 1.3 - 0.3. Let k = 11 + -10.9. Are y and k equal?
False
Let w = 0.2 - 0.2. Let z = -7 - -7.5. Let p = z + -0.5. Is p != w?
False
Let i be ((-52)/3)/((-2)/6). Let g = -367/7 + i. Let k = -33 + 32. Is g greater than k?
True
Let v = -492/11 + 145118/3245. Is v > 0?
False
Let d(j) = -2*j**3 + j**2 + 2*j - 1. Let h be d(0). Are -1/132 and h nonequal?
True
Suppose 2*t = -0 - 4. Let d be -1*(0 - t)/1. Suppose 0 - 9 = 3*p. Which is bigger: p or d?
d
Let a = 167 + -174. Is a not equal to -90/13?
True
Let g be (1/(-2))/((-1)/(-28)). Which is greater: -16 or g?
g
Suppose 3*c - 6*c = -108. Suppose -c - 14 = 5*q. Which is smaller: -9 or q?
q
Let z be 4 + -1 + -3 + 2. Let t = z - -5. Is t equal to 7?
True
Let n = 4.9 - -12.1. Which is greater: -0.5 or n?
n
Let w = 814/3 + -255. Let p = -16 + w. Let b be ((-2)/(-3))/((-4)/(-6)). Does b = p?
False
Let r = -0.122 - -0.122. Is r greater than -100?
True
Suppose -4*n = -3*d - 2*d - 2, 4*n - 4*d - 4 = 0. Suppose -n*f - 6 = -0*f. Do -2 and f have the same value?
True
Suppose -3*h = -5*h + 16. Are h and 9 equal?
False
Let o(v) = -v**3 + 5*v**2 - 2*v + 8. Let g be o(5). Do g and -7 have the same value?
False
Let d(b) be the second derivative of -b**5/20 + 5*b**4/6 - b**3/6 + 2*b**2 - 10*b. Let g = 9 + 1. Let f be d(g). Are f and -6 unequal?
False
Let u = 0.3 + -0.2. Let n = -16 - -16.9. Let s = n - 4.9. Which is smaller: u or s?
s
Let g be ((-1)/(-2))/((-14)/2020). Let u = g - -72. Is 1 != u?
True
Let u be -3*(-4 - 366/(-90)). Let k(f) be the third derivative of -f**5/60 + f**3/6 + f**2. Let o be k(1). Are o and u equal?
False
Let h = 7 + -5. Let k = 0 - -7. Suppose 3 + k = 5*a. Is a at least as big as h?
True
Let l be (11 + -1)/((-1)/2). Is -20 < l?
False
Suppose -5*u + 7 = -m + 74, -4*u = -m + 64. Does m = 52?
True
Let s be (-2)/5 + 2/10. Suppose 0*b = 2*b - 10. Suppose -11 = q + 5*m, 0*m + 15 = -5*q - b*m. Which is smaller: s or q?
q
Let w = 15 + -14. Let f = -6 + 17. Is f greater than w?
True
Suppose 2*z + 12 = -4*c, -9 = -z + c - 0*c. Does -12 = z?
False
Suppose 2*m - 15 = -3*m. Suppose -29 = -m*q + 5*q - 5*r, -3*r = -2*q - 19. Is -2 not equal to q?
False
Let y = -44 - -46. Which is smaller: y or 1/12?
1/12
Let z be (-12)/(-4)*(-1 + -2). Is z > -11?
True
Let r = 0.087 - 36.087. Is r <= 2/3?
True
Let q(k) = -4*k + k + 0*k - k**2. Let n be q(-3). Suppose 3*v - 4*v = n. Is v != -2/7?
True
Let d(k) = -3*k. Let s be d(2). Let m be 3/12 - s/8. Let n = -1.1 + 0.1. Which is greater: n or m?
m
Let y be 2/(47*(-2 - -1)). Which is bigger: 0 or y?
0
Let u = 1.8 + -2. Let r = 0.1 - u. Let j = r + -0.2. Are j and 0.1 equal?
True
Suppose 6*a - a = -5. Let f be ((-81)/(-36))/(a/4). Which is smaller: f or -10?
-10
Let i = 3 - 5. Which is smaller: 0 or i?
i
Let x(z) = -z - 4. Let n be x(-3). Is n at least as big as -1/6?
False
Let z = -5731148 + 9519437152/1661. Let n = 2/151 - z. Let k = -40 + 40. Which is smaller: k or n?
n
Let l(s) = 3*s**2 + s. Let u(g) = -g**2 + 0*g**2 - 5*g + g**3 - g**2 - 7 - 3*g**2. Let t be u(6). Let z be l(t). Is z at most as big as 2?
True
Let i be (2/3)/(6/9). Let f = -1 + i. Which is greater: f or -2/13?
f
Let f = 3.2 + -3. Let q be (-2)/7 + (-1551)/35. Let u = -45 - q. Which is smaller: u or f?
u
Let v(t) be the third derivative of 5*t**4/24 + t**2. Let d be v(1). Let f = d + -5. Is -1/6 smaller than f?
True
Let t be (2/4)/(2/20). Let v = -38 - -42. Which is greater: v or t?
t
Let l(q) = q**2 - 27. Let w be l(0). Let t be ((-9)/w)/(2/(-12)). Is t equal to -3/4?
False
Let x(c) = -c**2 - 15*c. Let n be x(-15). Is 2/15 less than n?
False
Let q be (-6)/30*15/18. Let f = 9/2 - 5. Is f bigger than q?
False
Let y be -5*((-12)/(-5) - 2). Let u = 17 + -20. Do u and y have the same value?
False
Let o = 1 + 1. Suppose -25 = -o*h + 5*t, 3*h - 5*t - 20 = 5. Suppose -4*g + 5*f + 18 = h, 3*g + 0*f = -f + 4. Is g at least as big as 2?
True
Suppose c - 42 = s, -4*s + 5 - 128 = 5*c. Do -37 and s have the same value?
True
Let y be -5 + (1 - 1) + 0. Is -1 >= y?
True
Suppose 2*b - 3*w - 17 = 0, -2*b + 5*b = w + 15. Which is bigger: b or 3?
b
Let o = -2 + 2.1. Let m(p) = p**3 + 3*p**2 - 2*p - 3. Let s be m(-3). Is o != s?
True
Suppose 0 = 3*y + 2*y + 45. Let m(a) = a**2 + 9*a - 13. Let g be m(y). Which is smaller: -12 or g?
g
Let v = 35 - 23. Suppose -2*o - 6 = 5*l + v, -o + 2*l = -9. Which is smaller: -3/10 or o?
-3/10
Let j be 22/24 + 8/(-32). Is j <= 1/2?
False
Suppose -2*w = 2*j - 2, -4*j + 2*j = 0. Let b be (-10)/(-26)*6 - 2. Which is smaller: b or w?
b
Let r be 1/1*-2*1. Let a(w) be the third derivative of -w**4/24 - 2*w**3/3 + 2*w**2. Let o be a(r). Which is smaller: o or 0?
o
Suppose 0 = 2*g - g + 4. Let x be (-2615)/798 - (1 - 4). Let n = -1/114 + x. Which is bigger: n or g?
n
Suppose 3*t + 388 = 5*t. Let b = -1744/9 + t. Let d = -1 - -1. Which is smaller: d or b?
d
Suppose -3 = 5*m + 7. Let s be 55/44 - 1/4. Let d be (-2 - 