ter than or equal to m?
True
Let o(g) be the first derivative of -g**2/2 + 6*g - 3. Let s be o(4). Does 0.1 = s?
False
Let g = 0 - 1. Let i be 26/25 + (-2 - g). Is i < -1?
False
Suppose 8*t = 3*t + 25. Let i(y) = 6*y + 1. Let z be i(t). Let h = 281/9 - z. Which is bigger: h or 0?
h
Let h(v) = -v**2 + 3*v + 1. Let r be h(3). Let g = -1637/189 - -224/27. Let b = -2/9 - g. Are r and b unequal?
True
Let f = 33 + -36. Let u = -0.16 - 0.04. Is u less than or equal to f?
False
Let k = 278 - 5283/19. Is 1 less than k?
False
Let a = 71.3 + -78. Let f = a - -7. Let t = 55 - 56. Which is greater: t or f?
f
Suppose -b = -2*k + 59, 2*b - 2*k - k = -115. Which is smaller: b or -54?
-54
Let f be 3/(1/4*6). Let h(s) = f + s**2 + 9*s - 5 - 14*s. Let r be h(6). Which is smaller: 1 or r?
1
Let q be (-2)/(-81)*3*-3. Suppose -4*z + 0 = j - 4, 0 = -2*z - 5*j + 20. Suppose 3*d + d = z. Is d <= q?
False
Suppose -5*g = 3*n + 2 + 2, 5*g + 4*n + 7 = 0. Which is smaller: -6/13 or g?
-6/13
Let f(i) = -i**2 + 7*i - 2. Let s(w) = w**2 - w. Let b be s(-2). Let n be f(b). Let m(v) = -v. Let c be m(-3). Which is greater: n or c?
n
Suppose 3*n = 6 - 3. Which is bigger: 0.6 or n?
n
Let k = 8.44 - 9. Let g = k - -0.06. Which is bigger: g or 1/2?
1/2
Let o(h) be the second derivative of h**4/12 + h**3/2 - h**2 + h. Let c be o(-4). Let u = 3 - c. Is 0 greater than u?
False
Let h = 1.3 + -0.3. Let c = -0.9 + h. Let x be -4*(-1 - (-34)/36). Which is smaller: c or x?
c
Suppose 0 = -0*h - 3*h - s + 53, 75 = 5*h - s. Let c = 14 - h. Is -2 less than c?
False
Let a(s) = -2*s - 6. Let n be a(-5). Let c be n/(-10) - 1/5. Let g = 4/5 + c. Which is smaller: 1 or g?
g
Let d(h) be the third derivative of h**4/24 - h**3/3 - 3*h**2. Let m be 1*(1 - 2)/(-1). Let j be d(m). Which is bigger: -1/4 or j?
-1/4
Let c(w) = w - 4. Suppose 5*l - 5*m - 35 = 0, 3*l + 3*m + 3 = 12. Let s be c(l). Suppose 7 = -4*v - s. Which is smaller: v or -1?
v
Let z = -0.14 + 13.14. Let q = 13 - z. Let x = -19/186 - 2/31. Which is smaller: q or x?
x
Let k be -2*3*9/(-6). Suppose -3*v = 4*a + k, -7*a - 15 = -2*a. Which is smaller: 6/13 or v?
6/13
Let f be (1772/1953)/(-4) - 10/(-45). Is -1 less than f?
True
Let p be (12/20)/(3/(-32)). Is -6 equal to p?
False
Suppose -l + 5 = 2. Let j be (1*(-9)/l)/(-5). Let i(n) = n**3 - 8*n**2 + 1. Let w be i(8). Is j equal to w?
False
Let l = -2 + 1.8. Let j = 3.2 - 1.4. Let o = l - j. Which is smaller: o or 0.1?
o
Let c = -2 + 19. Let h = c - 12. Which is smaller: -2/7 or h?
-2/7
Let x(s) = -s**2 - 6*s - 2. Let y be x(-6). Let v = y - 1. Suppose -3*r = -l + 13, 2*r + 4 + 0 = -4*l. Which is bigger: r or v?
v
Let q be 741/18*1 + 0. Let r = 41 - q. Is r at most 1?
True
Let g = -1 - -4. Suppose 5*t - 6 = -c, -3*t + 0*c + 6 = g*c. Which is greater: 6/7 or t?
t
Let x be 1/(-3) - (-247)/(-285). Let l(s) = -s**3 + 5*s**2 + 7*s - 8. Let r be l(6). Does x = r?
False
Let k be ((-1)/(-381))/(-5 + 42/9). Is k smaller than 1?
True
Let j(m) = m**3 + 5*m**2. Let d be j(-5). Let w(q) = q + 2. Let a be w(d). Is a greater than or equal to 2?
True
Suppose 0 = -2*l + 2 + 4. Which is bigger: l or 1?
l
Suppose s - 3 = 0, -3*q + 3*s + 1 = 13. Let h = -17.14 + 0.14. Let v = 24 + h. Which is smaller: q or v?
q
Let s = -13 - -19. Suppose 4 = -j, 0*m = 3*m + 5*j + 5. Is s less than m?
False
Suppose -3*x = -m + 10, 0*x + 4*x = -4*m - 8. Which is smaller: m or 7/4?
m
Let k = 2.06 + -2. Let o = 0.07 - k. Let s = 0.09 + o. Which is greater: s or -1/4?
s
Let d = -9 - -8.84. Let r = d - -3.16. Is -0.4 != r?
True
Let l = -3.9 - -4. Which is smaller: -0.13 or l?
-0.13
Let p be -1 - -1 - 10/2. Which is greater: -0.4 or p?
-0.4
Let u = 29 - 262/9. Let w = -1/10 + -3/20. Is w greater than u?
False
Let n be 4/(-16) - 18/(-8). Suppose 0 = n*c - 1 + 5. Let b = -2 - 0. Is c at least b?
True
Let o = 1 - 3. Let l = -3 - o. Let q = -59 + 179/3. Which is bigger: l or q?
q
Let l(o) = -o**2 + 4. Let c be l(0). Suppose -w - c = -2*w. Suppose -2 = w*d - 3*d. Which is greater: d or -4/7?
-4/7
Let p(f) = -f**3 + 8*f**2 - 8*f + 8. Let i be p(7). Which is smaller: -54 or i?
-54
Let q be (-6)/(-39) - 5 - (-2)/(-13). Is -5 > q?
False
Suppose -4*l + 16 = -2*u, -3*u - 20 = -u - 5*l. Let n = u + 1. Is n smaller than -3/2?
False
Let j = -7.3 - -7.69. Let s = j + -0.6. Let l = 0.01 + s. Is l > 2/17?
False
Suppose -2*w - 12 = -3*x + w, 5*w = x - 16. Which is smaller: 2/31 or x?
2/31
Suppose -m + 4 = 4*m - 3*q, -3*q + 6 = 0. Suppose 0 = -m*b - 4 + 10. Is 9/4 greater than or equal to b?
False
Let k be (-1 + 21)*10/25. Let t be ((-9)/2)/((-6)/k). Suppose -t*o = -5*y - o, -5*o - 3 = -2*y. Is -2 greater than y?
False
Suppose 10 - 1 = -3*x. Let t = x + 0. Is t != -2?
True
Let n be (44/(-385))/(4/(-10)). Which is greater: n or -4/49?
n
Let s be (12/32)/((-6)/(-20)). Which is smaller: s or 1?
1
Let w be 3/(-42)*(-8)/(-2). Which is smaller: 29 or w?
w
Let q(w) = w**2 - 9*w + 10. Let x be q(8). Let n = 0.6 - 0.8. Which is greater: x or n?
x
Let k(c) = -c**3 + 8*c**2 + 4*c - 14. Let r be k(8). Is r equal to 21?
False
Suppose 5*j = -t + j + 4, 0 = 4*t - j - 33. Let f be 7/(-6) - (-4)/t. Let s = 0.01 - 2.01. Are s and f equal?
False
Let t be 15/(-2 + -2*69/(-60)). Is t at most 50?
True
Let k = 2.2 + 0.8. Let v = 5 - k. Which is bigger: v or 1?
v
Suppose -4 = 4*h, -17 = -b - 0*b + 5*h. Suppose -b = -q - 3*q. Suppose 2*p + 1 = q. Which is smaller: p or 2?
p
Let l = -5 - 2. Suppose -4*k = 13 + 11. Let x = l - k. Is 1/2 less than or equal to x?
False
Let p(a) = a - 11. Let h be p(2). Which is bigger: h or -4?
-4
Suppose -3*f = 4*w - 8, -6*f + 5*w - 10 = -3*f. Let p be (f + -2)/(3 - 2). Is -5/8 <= p?
False
Suppose 0 = h - 5, -3*h = w - 4*w - 87. Which is bigger: -2 or w?
-2
Let r = 0 - -5. Let m be 19/4 + 2/8. Suppose 0*u - r = -m*u. Which is smaller: 0 or u?
0
Let a = -2.9 + -1.1. Let m = -6 - a. Do m and -4 have different values?
True
Let z = 0.5 + -0.3. Let w = 56.4 + -57. Let u = z - w. Is u greater than or equal to -1?
True
Let t = 25 - 43. Is t equal to -18?
True
Suppose 0 = m - 4*m - 27. Is -10 less than or equal to m?
True
Let p(j) = j + 4. Let i be p(7). Which is smaller: i or 10?
10
Let z be (7 - 3)*1/(-2). Let l(v) be the third derivative of -v**6/120 + v**5/20 + v**4/8 + v**3/2 + v**2. Let w be l(4). Which is smaller: z or w?
z
Suppose -4*c + 2*c - 30 = -4*f, 2*f - 25 = 3*c. Are f and 7 equal?
False
Let z(r) = r**2 + 3. Let q be z(0). Suppose 8*h = q*h + 20. Suppose -2 = h*i - 2*i. Is -1/7 smaller than i?
False
Suppose -12 = -o - 0*o. Let n be 2/o*(-3 - -9). Is 4 < n?
False
Let v be (-5 - (1 + -4)) + 1. Is -1 smaller than v?
False
Let d be (-2)/3*21/(-119). Let g = 1 + -1. Suppose c - 4*c + 10 = 4*k, -4*k + 3*c - 2 = g. Which is smaller: d or k?
d
Let l(x) = x + 4. Suppose -2*a + 3 = -1. Suppose 2*q + a*q = -16. Let t be l(q). Is -1/2 equal to t?
False
Let m be 46 + (-1 - -1 - 1). Let r be (m/12)/((-2)/8). Let p be 2 + 1 + r/3. Is p <= 0?
True
Let r be ((-49)/(-14))/(2/4). Let s = r + -8. Are s and 0 non-equal?
True
Let c = 12 + -6. Let j be (2/15)/(c/(-10)). Is 0 at most j?
False
Let q = 0.15 - -3.85. Is 4 less than q?
False
Suppose 2*h - 7*h - 11 = 2*l, 0 = -2*h + 5*l + 13. Which is bigger: h or -4?
h
Suppose 3 = -2*m - m. Let r be 10/(-475)*5*m. Is 0 > r?
False
Suppose 0*r = -4*r - 40. Let m be (1/6)/(r/520). Is -10 less than or equal to m?
True
Let x(f) = 4*f**3 + 2*f**2 - 3*f - 3. Let d be x(-2). Let i = d + 4. Which is smaller: -1 or i?
i
Let a be 56/(-126) + 24/27. Which is smaller: a or -0.07?
-0.07
Let n = 11 + -7. Suppose 0 = c - n*b, 6*b + 8 = -c + 2*b. Let l be (2*1/c)/2. Which is greater: 0 or l?
0
Suppose -3*p + 0*p = -6. Let v be -6*(-2)/((-6)/(-1)). Suppose -4*j - 29 = n - 4*n, -13 = -n + v*j. Which is smaller: p or n?
p
Let x = -5.9 - -6. Does -0.1 = x?
False
Let h be 6/(-2) - (-4 - -2). Which is bigger: h or 2/9?
2/9
Let a = -77 - -540/7. Suppose -n + 4 = -5*n. Are n and a equal?
False
Let b = -6 - -11. Suppose 0 + b = -p. Let h = 6 + p. Is h at most 1?
True
Let i(g) = g**2 - 5*g + 4. Let f be i(4). Let d = 202 + -1007/5. Which is bigger: d or f?
d
Let z(k) = -2*k**3 - 3*k**2 - 2*k - 2. Let q be z(-2). Let l be q/14*(-4)/3. Let u be 0 + 0*(0 + -1). Is l smaller than u?
True
Let l be ((-315)/(-12))/(2/8). Let v be ((-20)/l)/(2/3). Le