h) = -4*h - 4. Let f be a(-1). Which is smaller: f or -7?
-7
Suppose 0*i = 6*i. Is -2/71 > i?
False
Suppose 0 = -4*x + 3*x - 2. Let d = -10 - -18. Let c = d - 8. Is c at most x?
False
Let b = 61 - 51. Is b less than or equal to 3?
False
Let d be -1 + -1 + -7 + 4. Do d and -2 have different values?
True
Suppose -4*m = -16, -s + 2*m - 14 = -4*s. Let b(o) = o**2 - 2*o - 4. Let i(r) = 1. Let c(u) = -b(u) - 5*i(u). Let n be c(s). Which is smaller: n or -3/4?
n
Let u be (-50)/35 - (-1)/1. Let o(m) = -m + 1. Let f(t) = 5*t - 3. Let d(s) = -f(s) - 4*o(s). Let j be d(-1). Is j <= u?
False
Let b = -2741/598246 - 1/1562. Let l = b + 419/6894. Which is smaller: l or 0?
0
Let t = -4 + 3.7. Let u = 1 + 1. Which is greater: t or u?
u
Let b(c) be the third derivative of -c**4/24 - c**3 + 6*c**2. Suppose 5*y + 12 = t, 6*y - 20 = 4*t + 3*y. Let h be b(t). Which is smaller: -1 or h?
-1
Suppose -a = -3*k + 1, 0 = -0*a - a - 4. Suppose -3*v - 2 = -4*v. Let c = v + k. Which is bigger: c or 3/2?
3/2
Let b = -15 + 11. Let t(d) = 5*d**2 + d + 9. Let y(i) = 14*i**2 + 4*i + 26. Let h(k) = -11*t(k) + 4*y(k). Let r be h(b). Which is bigger: r or 2/11?
r
Let d = 18/11 + -313/198. Which is bigger: 0 or d?
d
Suppose 2*t = -h + 4*t + 55, 3*h = -2*t + 133. Which is greater: 48 or h?
48
Let d = -3.4 - -4. Let j = d - -2.4. Let t = 1 - j. Is t less than or equal to -1?
True
Let r be 1/(-28)*(-7)/(140/(-8)). Are r and 0 unequal?
True
Let k(b) = -b**2 + 6*b - 7. Let p be k(4). Let m be 1/4*2/(-5). Which is bigger: m or p?
p
Let b be (-1 + (4 - 5))*10. Is -20 bigger than b?
False
Let r = 55 + -55.2. Which is bigger: -1/2 or r?
r
Let n be 2 + -2 - 50/(-5). Suppose 2*f + i - 2 = -1, -5*f = -5*i - n. Is f less than 1?
False
Let f be (-3)/(-4) + (0 - 1). Suppose 2 - 17 = -5*w. Suppose -7*v + w*v = 0. Are f and v equal?
False
Let c be ((3 + -1)*-1)/(-2). Which is bigger: 2 or c?
2
Let f = -4.6 + 3. Let z = -0.6 - f. Which is greater: -3 or z?
z
Let l be ((-36)/(-27))/((-356)/(-6)). Which is greater: l or 1?
1
Let c be (-8)/10 - (-68)/(-140). Is c bigger than -1?
False
Let v be (4 + (-6 - -2))/(-2). Do 0 and v have the same value?
True
Let t(i) = i**2 + 5*i + 6. Let w be t(-3). Let a be 0/2 + 27/45. Is a equal to w?
False
Let v(p) = -p - 4. Let a be v(-7). Is a at least as big as 2?
True
Let d(t) be the first derivative of t**2/2 + 5*t + 4. Let m be d(6). Let v be 1/2*22/m. Which is greater: v or 2?
2
Let x be 1*-2*(-5)/(-15). Does x = 5?
False
Suppose 11*i - 10 = 10*i. Is i greater than 1?
True
Let j(k) = -k**3 + 2*k**2 + 2*k + 4. Let p be j(3). Let i be 282/69 - p - 3. Is i <= 0?
False
Let f = 15 + -44. Which is greater: -32 or f?
f
Suppose -a + 21 = -8*a. Which is greater: a or -19/9?
-19/9
Suppose -p = 4*p + 5. Suppose 4*c + 0 - 12 = 0. Suppose 0*k + u = 4*k + 13, c*u = 3*k + 21. Which is bigger: k or p?
p
Let p(k) = k**3 + k**2 - 4*k - 1. Let z be p(-3). Let j be (-2)/z - (-38)/14. Let d be (j/(-4))/(3/(-2)). Is d greater than or equal to 2?
False
Let l = -5/4 - -11/12. Is l less than or equal to -0.11?
True
Suppose -8 = 2*y, -2*j = -3*y + 2*y. Suppose -3 = -3*w + 12, -4*w + 10 = 5*d. Is d > j?
False
Let f = -1403/4 - -356. Which is greater: f or 4?
f
Let s be (-6)/8 - (-77)/(-28). Is s less than -3?
True
Let q(h) = h**3 + 6*h**2 + 4*h - 4. Let k be q(-5). Is k at most as big as 1/3?
False
Let m = -0.07 + 0.04. Let j = 10 - 9.97. Let y = m + j. Is y >= 1?
False
Suppose 22 = 2*f + k, 0 = f - 0*k - 3*k - 4. Let b be 8/(-6)*3/f. Let t = -34.2 - -34. Which is greater: b or t?
t
Let a = 18.8 - 19. Let h = -1.8 + a. Is -1 less than h?
False
Suppose 4*o - 2 = 2*u, u = 5*o - 5 + 1. Is -2/67 at least as big as u?
False
Let m be (-9)/3 - (-10)/3. Suppose -3*o = -r - 0*r + 15, -3*r + 15 = -3*o. Suppose 0 = 2*h - r - 2. Which is greater: h or m?
h
Let k(b) = 3*b + 15. Let u be k(-10). Which is bigger: -14 or u?
-14
Let w(u) = 2*u**2 - 7*u - 4. Let s(g) = g**2 - 4*g - 2. Let b(y) = 11*s(y) - 6*w(y). Let d be b(2). Let r be 2*(-1 + 9/d). Which is bigger: -2/3 or r?
-2/3
Suppose -w = -5*o + 4*o - 26, 4*o - 103 = -5*w. Which is smaller: -0.1 or w?
-0.1
Let f = -4450942 + 2764034399/621. Let d = -23/27 - f. Let b be ((-2)/4)/(2/4). Which is bigger: d or b?
d
Let b = -25/6 + 9/2. Let o = -2.1 - -0.1. Which is smaller: o or b?
o
Suppose 4*t + 5 + 23 = 4*x, -4*t - 4*x = 20. Let o be t/8 - (-35)/84. Which is bigger: o or 2?
2
Let z = -165 + 1323/8. Does 0 = z?
False
Let w(m) = 4*m. Let p be w(5). Suppose -4*g = -2*g - p. Is 1/4 not equal to g?
True
Let l be (9 - 8) + 16/(-18). Suppose 4*v + v = 0. Which is smaller: l or v?
v
Let u(g) = -3*g + 4. Let n be u(3). Let x = 25 + -12. Suppose -1 = -3*m - x. Is n equal to m?
False
Suppose -5*z + 3*d + 25 = 0, 3*d - 5 = -z - 18. Suppose 3*f - c = 2*c + 24, -3*c - 17 = -z*f. Are 6 and f non-equal?
True
Let o(m) = m**2 - 3*m - 5. Let j be o(9). Let w = j - 31. Suppose t = -5*i + 19, -4*t = -3*i + w - 2. Which is smaller: i or 1/2?
1/2
Let d be (2/33)/(8/12). Which is smaller: 1 or d?
d
Let o = 3 - -3. Let b be 43/(-5) - o/15. Which is greater: -10 or b?
b
Let x = 3 + -1. Let n = 11 - 13. Let h = x + n. Which is greater: h or 2/7?
2/7
Let z = 355337/5195 - -1/5195. Let u(w) = -33*w + 2. Let g be u(-2). Let y = z - g. Is y not equal to 0.4?
False
Let a = -3 + 2. Let u = 0.69 + -0.6. Let c = u - -0.21. Are a and c unequal?
True
Let b be (-10)/(-25) + 112/(-5). Is b less than or equal to -22?
True
Suppose 5*r + 0 - 5 = 0. Is 2/19 less than or equal to r?
True
Let i = 29 - 44. Let q be (-6)/i - 96/190. Does 1 = q?
False
Let t = 1/2643 - 5353/177081. Which is greater: t or -1?
t
Let y(n) = n**2 + 6*n + 1. Let w be y(-6). Suppose -2*s - w = -c - 4*s, 4*s = -5*c - 7. Let u be c/(-20) - (-6)/(-15). Are -2 and u unequal?
True
Suppose 0 = -4*m + 5*m. Is 1/24 at most m?
False
Suppose r - 1 = -3. Let n(q) = 2*q**2 + 3*q + 1. Let z be n(r). Suppose -2*y - z*b + 8 = -0*b, -4*b + 11 = 3*y. Which is smaller: 0 or y?
0
Let i(k) = k**2 + 1. Let a be i(-1). Let j(u) = -u + 9. Let p be j(7). Let g be (4/6)/(3 - p). Which is smaller: g or a?
g
Let l(z) = -2*z**3 - 3*z**2 + 3*z - 2. Let w be l(-3). Suppose -4*h + w = -0*h. Suppose -h*d - d + 25 = 0, 14 = -4*c + 2*d. Which is smaller: 1/6 or c?
c
Suppose -3*z - 4*f = -0*z + 16, 4 = -z - f. Let i be (-1 - 0)*z/1. Suppose 2*w + 3 + 5 = -4*s, -5*s + w = 3. Is s greater than i?
False
Let r be (-2)/(-11) - 994/(-462). Is 3 > r?
True
Let l = -27 - -40. Is l bigger than 14?
False
Suppose -2*k + 6 = 4. Let t be (-2 - (-2 + -12)) + k. Is 11 <= t?
True
Suppose v - 1 = 5. Let z be (0/(v/2))/2. Which is smaller: 1/10 or z?
z
Let k = 0.2 + -0.5. Let h = k + 1.3. Let l = 1.1 - h. Which is smaller: l or -2?
-2
Suppose 2*c + s - 3 = 0, 0 = -c - 2*s + 3 + 6. Let z be (-1)/((c - 0) + 2). Is z != 1?
True
Let l = 6 - 6. Let m = -5 + 4. Is l != m?
True
Let f = 3 + -9. Is -6 greater than f?
False
Suppose -3*z - 2*y = 4, -2*z - 2*y - 2 = 2*z. Let l be z + (0 - (-18)/(-10)). Is l greater than 0?
True
Let g = -1.3 + 0.9. Which is greater: 0.1 or g?
0.1
Let i be -1 + 0/(2 - 3). Let y = 1251/7 - 179. Is y at least i?
True
Let c = -0.26 + 0.16. Is -2.4 bigger than c?
False
Let b(r) = -r**3 + 3*r**2 + 2*r - 2. Let s be b(4). Let h be (0 - 3)*s/15. Suppose -h*j = -0*j - f + 6, -3*j + 17 = 5*f. Which is smaller: j or -1/2?
j
Let s = 7.05 - 0.05. Let n = -8 + s. Are n and 0.2 nonequal?
True
Let z be (4/(-7))/(2/(-7)). Suppose 3*s = z*s + 13. Do s and 12 have the same value?
False
Let k(c) = 2*c - 1. Let x be k(-1). Let q be x*(0 + (-4)/(-6)). Let n = 3 - 5. Is n smaller than q?
False
Suppose -6*m + 5*m - 3 = 0. Suppose -4*t = -4*c + 40, 2 = -3*t - 2*c - 3. Do t and m have different values?
True
Let s = 23 - 27. Which is smaller: s or -1?
s
Let s(b) = -2*b**2 + 5*b - 2. Let j be s(3). Suppose 0 = -3*l - 4*f - 15, 5*l - 4*f + 16 = -9. Is l greater than j?
False
Let w(a) be the third derivative of a**6/120 + a**5/15 - a**4/24 - 2*a**3/3 - 8*a**2. Let z be w(-4). Is 2/7 != z?
True
Suppose -2 = 4*n + 14. Suppose l - 3*z + 15 = 0, 3*l - 4*z + 29 = z. Is l at least as big as n?
True
Let c(o) = o**3 + 8*o**2 + 6*o - 6. Let j be c(-7). Let m be (-2)/6*(-1 - -4). Let t be 1/(-3)*1 - m. Do j and t have the same value?
False
Let a be ((-3)/2 - -2)*14. Suppose -d = 4*k + 13, -