eater: h or m?
h
Let h = 4 - 9. Let f = -3 - h. Is f at least 2?
True
Let v(g) = -g**3 + 3*g**2 + 2*g + 1. Suppose 0*f + 2*j = 2*f, -3*j + 9 = 0. Let i be v(f). Which is smaller: 6 or i?
6
Suppose m + 3*m + 5*i - 12 = 0, -2*m + i = -6. Suppose m*q + u = 3*u + 27, 5*u = -q + 26. Suppose -2*l + 2 = 4*o, -3*o - 4*l + 0 = q. Is 2 at least as big as o?
False
Suppose 0 = 2*b + 2*b - 8. Suppose 5*t - t = 16. Suppose 2*g = -b*g - t. Does 2/5 = g?
False
Let t(r) = -5*r**2 - 61*r. Let m(w) = -w**2 - 15*w. Let f(c) = -9*m(c) + 2*t(c). Let d be f(13). Is 13 greater than d?
True
Let l = -9/38 + -5/19. Is -2/19 at least as big as l?
True
Suppose 22 - 2 = 2*a. Suppose -4*p - 1 + a = 3*c, 4*p = -2*c + 6. Is c at least 3/2?
True
Suppose 3*z - 33 = 21. Is z greater than 20?
False
Let c(n) = -n**3 + 5*n**2. Let o be c(5). Suppose -4*f = -3*q - 6*f + 19, -2*q + f + 15 = o. Suppose -4 + 16 = 2*b. Is b > q?
False
Suppose 2*i + 10 = i + 3*n, 4*n = 12. Is -15/8 > i?
False
Let l = -70 + 31.9. Let v = l + 36. Let p = -2 - v. Is -1/3 less than p?
True
Let i = -36 + 16. Is -19 greater than i?
True
Suppose -5*z + 0*z = -10. Suppose 2*v + 16 = 5*o, z*v - 4*v = 3*o. Is 1 less than or equal to o?
True
Let f be (-4 - 1*(-4 - -3)) + 3. Which is smaller: -2/7 or f?
-2/7
Suppose -4*t + 9 = -v, 5*v - 7*v - 2 = 0. Suppose f - 182 = -4*f + 4*a, -74 = -t*f + a. Let x = 115/3 - f. Which is greater: 0 or x?
x
Let x be (-16)/(-12)*(-6)/44. Let m = 2 + -2.1. Let h = m + -0.9. Is h at most as big as x?
True
Let h be 4/10 - 24/(-15). Let p = 5 - 4.7. Let s = 0 + p. Is s at most as big as h?
True
Let v = 38/3 - 12. Which is smaller: v or 2?
v
Suppose 9*l + 9 = -9. Which is smaller: -5/7 or l?
l
Let o(b) = b + 4. Let i be o(-3). Suppose 0 = -2*c - 5*z + 6 - i, -c + 2*z - 11 = 0. Let w = 2 + c. Is w not equal to -3?
False
Let z(w) = w**3 - 2*w - 1. Let g be z(-1). Which is smaller: g or -1/2?
-1/2
Suppose u + 82 = -u + 2*f, 0 = -5*u + 3*f - 211. Is u bigger than -44?
False
Let y be (-4)/6 - 6/(-9). Let v be 4 + (-2)/2 + y. Suppose -1 = 2*s + v. Is 0 at most s?
False
Let j(y) be the third derivative of -y**6/120 - 7*y**5/60 - 5*y**4/24 + y**3/3 - y**2. Let b be j(-6). Let v = 34 + -39. Which is smaller: b or v?
v
Let a(m) = 3*m**2 - m - 7. Let c(d) = 10*d**2 - 2*d - 22. Let p(l) = -7*a(l) + 2*c(l). Let s be p(4). Let n be (-2)/8 + (-34)/(-40). Which is smaller: s or n?
n
Suppose 0 = -5*i + 2*b + 11, -10*i - 7 = -9*i - 5*b. Do 3 and i have the same value?
True
Let j(r) = -r**2 + 4*r + 5. Let m be j(5). Let b(z) = z**3 - 5*z**2 - 6*z + 1. Let u be b(6). Is u not equal to m?
True
Let y = -7 + 10. Suppose -6*w = -3*w - y. Which is greater: w or -2/5?
w
Let d(b) = b**2 - 3*b + 6. Let u(c) = -c**2 + 2*c - 5. Let y(a) = -6*d(a) - 7*u(a). Let j be y(-4). Let f = -22 + 23. Which is bigger: j or f?
f
Suppose 6 = -2*b, 2*h + 2*b + 16 = -2*b. Let z be 344/(-72) + h/9. Which is smaller: -6 or z?
-6
Let t = -161/5 - -33. Let z(m) = 6*m + 7*m**2 + 0*m**2 + 6 - m**2 + m**3. Let w be z(-5). Is t != w?
True
Let f(i) = -11*i + 21. Let q be f(2). Which is greater: -3/118 or q?
-3/118
Let d be 1*(-6)/4*-4. Let w be (-2)/d*-3*12. Let b = 35/3 - w. Is b at least as big as 3?
False
Let f = -41 + 41.1. Is f greater than 18/11?
False
Let l(w) = w**2 + 5*w - 4. Let s be l(-6). Let m(c) = 4*c - 6. Let h be m(5). Let a = h - 12. Is a greater than s?
False
Let c = -0.06 + 0.26. Let p = -0.13 + -2.07. Let y = c + p. Do y and 0 have the same value?
False
Let n = 3 + -2.5. Let t = -44 + 43.7. Let j = t + n. Which is smaller: j or -2/3?
-2/3
Let f = -136/693 - 2/77. Is -7 greater than f?
False
Let p = -13/66 - -1313/132. Is p equal to 10?
False
Let j = 4 + 4. Let p = -8 + j. Suppose -m = 4*u - 2*u - 3, p = u + 4*m - 5. Which is smaller: u or 0?
0
Let a = 5.1 + 2. Let g = -0.1 + a. Is g <= -1?
False
Let t = 95/3 + -32. Let o = -12.06 + 0.06. Let h = -17 - o. Is t at most h?
False
Let f(z) = -z**3 - 9*z**2 - 9*z - 6. Let n be f(-8). Are 3/5 and n nonequal?
True
Suppose -2*v - 8 = 4*c, -6*v = -3*v + 4*c + 8. Let n = -1304/5 - -262. Which is greater: v or n?
n
Suppose 3*c = -2*c - 370. Let t = c - -519/7. Is t at most as big as 1?
True
Let c = 14 - 7. Let l be 2/c + 51/42. Let j be (-4)/(5/(10/(-4))). Is j bigger than l?
True
Let s = -7 + 6. Let z be ((-1)/2)/(s/2). Is z equal to 1/2?
False
Let i = -2 - -2. Let j be i - (-2 + 0) - -2. Suppose 0 = -j*x + 3*x. Which is greater: 2/13 or x?
2/13
Let j(o) be the second derivative of o**5/20 - 3*o**4/4 + 3*o**3/2 - 7*o**2/2 - 3*o. Let l be j(8). Let z = 1 - l. Which is greater: z or -0.1?
z
Let y(s) = s**2 + 7*s + 3. Let d(q) = -q - 1. Let p be d(5). Let o be y(p). Are o and -3 nonequal?
False
Let f = -225 + 2923/13. Is 0 less than or equal to f?
False
Let g be ((-2)/(-3))/((-400)/(-96)). Which is smaller: g or 1?
g
Let o = -0.32 - -0.3. Let s = 0 - o. Which is smaller: 1/4 or s?
s
Let w be 16/12*1 + -2. Which is bigger: -4/11 or w?
-4/11
Let o = 5 + -4. Let r(s) = o + 2 - 6 + s - 2*s. Let q be r(-3). Which is bigger: q or 2/9?
2/9
Let k be 0 - 1 - 1*(-2 - 3). Suppose c - 2*c = 0. Suppose -2*o - k = -3*w - o, c = -4*w + 3*o + 7. Which is greater: w or -2/5?
w
Suppose -2*p + 75 = -7*p + 5*b, 0 = -3*p - 2*b - 25. Let l be (-8)/44 + (-2)/p. Is 0.04 at least as big as l?
True
Let m = 10 - 1. Do m and 9 have the same value?
True
Let x be 30/8 + 6/(-8). Let j(z) = -x + 0 - 1 - z. Let d be j(-2). Are -3/2 and d non-equal?
True
Let h be 8 - (-3)/6*-4. Let q(y) = 0*y + 0*y - 5 - 3*y. Let o be q(-4). Which is smaller: h or o?
h
Let h = -30 + 29.7. Do h and 2 have the same value?
False
Suppose p + 8 = 3*p. Suppose -2*g + 2 - p = 0. Is g equal to 1?
False
Let f = 50 + -1051/21. Let k(m) = -m**2 - 5*m - 5. Let b be k(-4). Do f and b have different values?
True
Let u = 5127/22 - 233. Let h = u - 6/11. Which is smaller: h or -2?
-2
Suppose -2*d - 2*z = 3*d - 38, 0 = z + 1. Let j be (-6)/d + 26/24. Let h = -0.1 + 0.2. Which is greater: j or h?
j
Let b = -4.6 - 0.4. Let n = 0.05 + 1.95. Let h = n + b. Is 0 bigger than h?
True
Suppose -10*p - 6 = -7*p. Which is smaller: p or 5/2?
p
Let d = 17/14 - 13/14. Let o(v) = v**2 - 7*v + 5. Let x be o(4). Which is bigger: d or x?
d
Let v be (-2)/4 - 6/(-20). Let g(x) = -x + 1. Let m be g(2). Which is bigger: m or v?
v
Suppose -3*c + o = -0*o - 13, 0 = c + 5*o - 15. Let p be (2/(-5))/(-4 + c). Which is greater: 0 or p?
0
Let l(f) = -f**3 - 5*f**2 - 5*f - 4. Let z be l(-4). Let u be 1 - z*3/(-6). Is 0.1 greater than or equal to u?
False
Let s be 0 + (0 - (-1)/2). Let h = 0.05 + -0.05. Which is greater: s or h?
s
Let g(p) = -2*p**3 + 4*p**2 - 1. Let f be g(2). Which is smaller: 5 or f?
f
Suppose -5*q + 32 = -4*x, 4*x + 32 = q - 3*q. Let h(s) = -s**3 - 9*s**2 - 9*s - 9. Let g be h(x). Let b = -19/39 + 2/13. Which is greater: g or b?
b
Let q = 10 + -10. Suppose -4*g - o = 4*o - 16, 2*g - 5*o + 22 = q. Which is smaller: g or -5/6?
g
Let r = -1 - -0.8. Let c = -0.6 + 0.5. Which is bigger: r or c?
c
Let x(l) = l - 1. Let c be x(4). Is c less than 5?
True
Let w = 1.2 + -0.2. Let z = w + -1.1. Let d(r) = r + 6. Let b be d(-7). Which is bigger: z or b?
z
Suppose 0*h - 5*h = 0. Let m(w) = -2*w**2 - w + 6*w**2 + 5*w + 4 + h*w**3 - w**3. Let g be m(5). Is g at most -1?
True
Suppose -1 = -a - 4. Let y be 2/a*(-6)/(-28). Is 1 at most as big as y?
False
Let g be (-10)/6*(-4)/(-10). Suppose 2*y + 17 = -u, 3*u + 2*y + 42 = 5*y. Let l be (9/u + 1)/1. Is l smaller than g?
False
Suppose 4*d = -8 - 0. Let c(p) = -p**2 + 6*p + 7. Let g be c(7). Suppose g = -3*o + r, -4 - 8 = 4*r. Is d at least o?
False
Let n = -0.2 - -0.1. Let k = 32 + -43. Which is smaller: k or n?
k
Let t = -170 + 159. Which is smaller: t or -12?
-12
Suppose 0 = 4*a - 8, 3*u - 12 = -2*u + 4*a. Suppose -g + 15 = u*g. Suppose 6*j = g*j. Do 1/9 and j have different values?
True
Let p = 286 - 272.02. Let c = p - 15. Let b = -0.02 - c. Is 1 equal to b?
True
Let c be (28/(-112))/((-1)/4). Which is smaller: 2/97 or c?
2/97
Let j be 8/(-24) + 34/(-6). Let q be (-2)/(-3)*9/j. Which is bigger: -3/4 or q?
-3/4
Let r be -2 + 1*(-5 + 2). Let u be 8/27*(13/(-4) + 4). Which is smaller: r or u?
r
Let u = 0 - 0.1. Let m = 163 + -170. Is u != m?
True
Let q = 157/3 - 53. Which is greater: -1 or q?
q
Suppose -2*x + 3*x = -3. Let o b