t m be r(n). Which is smaller: m or z?
m
Let v(x) be the first derivative of -x**4/4 - 7*x**3/3 + x**2/2 + 7*x + 2. Let t be v(-7). Which is greater: t or 1?
1
Suppose 69*z - 68*z = 0. Which is smaller: z or -1/20?
-1/20
Let v = -3/8 + -1/40. Suppose -3*z - 5 = -14. Suppose 5*c + 2 = -z. Is v <= c?
False
Let k = -13 + 12.3. Let p = 0.7 + k. Which is smaller: 0.1 or p?
p
Let j = 688/53 - 97223/7314. Let w = j + -1/46. Which is smaller: w or -1?
-1
Suppose 2*z + 0*z + 2 = 0. Which is smaller: z or 5?
z
Let l = 26 - 17. Let q = 15 - l. Does 6 = q?
True
Let x = -5 - 1. Let g be (-8)/x*9/30. Which is smaller: g or 3?
g
Let w be 0/7 - (-1)/(-5). Is 0 less than w?
False
Suppose 2*z - 18 = w, 2*w - 2*z = 3*w + 6. Do w and -12 have the same value?
True
Let p = 14 - 12. Is 2/5 greater than or equal to p?
False
Let y(a) = 2*a**2 + 2*a - 1. Let j be y(1). Suppose 1 + j = 2*p. Let k = -4 - -7. Is k less than or equal to p?
False
Let m = -9 + 14. Let a = 11 - 9. Suppose -m*g + 3*s - 2 = 0, -4*g = -a*g - 4*s - 2. Which is bigger: -2/23 or g?
-2/23
Let v(p) = -p**2 - 4*p + 4. Let w be v(-6). Let a be w/(-12) - (-2)/(-3). Which is bigger: -3/7 or a?
a
Let s = -6.02 - -6. Let q = s - 1.98. Let a = q - 0. Which is smaller: -2/7 or a?
a
Let t(l) = 4*l + 2. Let q(s) = -3*s - 2. Let f(c) = 3*q(c) + 2*t(c). Let h be f(-1). Is 4/11 smaller than h?
False
Suppose w = 5*a - 3*w + 18, 0 = -2*a + w - 6. Let q = 6 + -2. Let x = 1 - q. Which is smaller: x or a?
x
Let w be (-2 - (52 + -4))/(3 + -2). Is w at most as big as -50?
True
Let y(b) = b**3 + 12*b**2 + 12*b + 7. Let w be y(-11). Let z be 84/(-90) - w/(-10). Is z smaller than -1?
True
Suppose -2*z = -3*z. Suppose z*n = -n. Suppose n = -j + 5*j. Which is smaller: j or -4?
-4
Suppose 4 = -5*l - 16. Which is smaller: 2 or l?
l
Let v(z) = -z**3 + 4*z**2 - 4*z + 3. Let c be v(3). Which is smaller: c or 0.6?
c
Let h = 1/4 + -1/20. Which is smaller: 8 or h?
h
Let t be (-28)/(-12) + (-2)/6. Let u(k) = -3*k + 3. Let m be u(t). Which is bigger: 0 or m?
0
Let d = -7 + 13. Let v = 8 - d. Which is smaller: -3 or v?
-3
Let o(n) = 8*n**2 + 4*n + 2. Let b be o(-2). Suppose 4*q + b = -2. Which is smaller: -6 or q?
q
Suppose 2 = -4*h - 2*n, 3*h = -n + 6*n - 21. Let t be 0/(1 - (h + 4)). Suppose -3*c - 8 = 2*b + 2*c, c + 1 = -b. Is b >= t?
True
Let d = -0.04 + -0.16. Which is smaller: -1/3 or d?
-1/3
Let u(p) = -3 + p + 0 + 4 + 0*p. Let h = -1 - 1. Let s be u(h). Which is bigger: s or -2?
s
Let s = -0.4 + 0.5. Let f = s + -0.2. Let q = f + 0.2. Is q at most 0.1?
True
Let x = -6.03 - -0.03. Let b = x - -6. Which is smaller: -1/4 or b?
-1/4
Let w be (-1 - -3)/((-2)/(-4)). Suppose 48 = -0*c + w*c. Suppose -2*d + y - 4 = 5*y, c = d - 5*y. Which is greater: 1/2 or d?
d
Let z be (-1)/7 - (20/7 - -1). Which is smaller: z or 1?
z
Let a = 63 - -28. Is a <= 91?
True
Let i = 0 + 4. Which is smaller: i or 3?
3
Let s be (1/3*3)/1. Let l = -73/36 + 16/9. Is l < s?
True
Let o(p) = p**2 + p - 5. Let h(r) = 2*r**2 + 3*r - 11. Let g(m) = 6*h(m) - 13*o(m). Let q be g(5). Let d = -20 + 20. Which is bigger: q or d?
d
Let x(w) = w**2 + 3*w - 6. Let h be x(-5). Let d = h - 1. Which is greater: 2 or d?
d
Suppose -3*t - 3*q = 633, -q - 89 = 4*t + 761. Let r be (-2)/10 - t/15. Let i be (-18)/(-63) + (-4)/r. Do -1 and i have the same value?
False
Let p = 0.12 + 0.02. Let b = -0.04 + p. Let q be (5/(-3) - -1) + 0. Is b < q?
False
Let t(n) = n**3 + 9*n**2 + 4. Let x be t(-9). Suppose x*f + 3*y = 9, 0*y - 3*y - 6 = -f. Suppose 0 = -m - f + 8. Is m smaller than 5?
False
Let p(v) = v + 6. Let x be p(0). Let g be (9/x + 1)/2. Let t be (14 - 14)/(2*1). Which is bigger: t or g?
g
Let r = -2 - -4. Suppose 0 = -3*z + r*n + 19, 5*n - 5 = -4*z - 18. Let j be 2/(-6) + 7/z. Which is greater: j or 1?
j
Suppose 4*y - 5 = -y. Let p(b) = -1 + 2*b - b - y. Let d be p(5). Do d and 4 have the same value?
False
Let s = 0 - 4. Let o be 1434/936 + (-1)/4. Let l = -8/13 + o. Which is greater: l or s?
l
Let h be (-4)/(-6) + 600/(-9). Let y be (-4)/(-6) + (-1598)/(-24). Let j = h + y. Are j and 1 equal?
False
Suppose 0*c - 3*c = -0*c. Is -6 < c?
True
Let a = -55 - -43. Is -2 at most a?
False
Let x = 20 + -10. Which is bigger: 11 or x?
11
Let d be ((-2)/(-4))/((-2)/(-12)). Which is greater: d or -1?
d
Suppose -4*b - 9 - 15 = 0. Let c be (4 + b)*(-2)/(-38). Let y = -3 + 2. Which is smaller: c or y?
y
Let h be (16/(-96))/(1/3). Which is greater: -4 or h?
h
Let c be (-19)/10*-4*-1. Let s = -8 - c. Are 1 and s unequal?
True
Let p(z) = -8*z**3 - 6*z**2 + 7. Let m be p(4). Let y = m - -25845/43. Which is greater: y or 0?
y
Let o be ((-4)/(-4))/((-2)/8). Let n be (-10)/(-6)*o/(-10). Is 2 greater than or equal to n?
True
Suppose -5*a - n + 3*n = 5, -4*n + 2 = -2*a. Let t be (0 - -2) + -5 + 4. Which is greater: t or a?
t
Let l be (24/(-14))/(3/21). Let b be (2/(-6))/((-16)/l). Is b >= 1?
False
Let v = 0.152 + 3.768. Let a = v + 0.08. Is 2 at most as big as a?
True
Let b(w) = 6*w. Let s be b(-1). Let o = s - -5. Which is greater: 2/7 or o?
2/7
Suppose -4*o + 15 = 5*t - o, 4*t - 5*o = 49. Let g be t/9 + 20/6. Let w be 6/4*g/24. Which is bigger: w or 0?
w
Let d = -8 + 4. Let q = 2 + d. Let y = q - -1. Which is greater: y or 2?
2
Let d be (-1 + -4)/5 - -4. Suppose 5*l = 2*l + 9. Let m = d - l. Which is greater: 1/2 or m?
1/2
Let v be 0 - (-4 - -2) - -7. Let p be 26*(-2 + 10/4). Let t = v - p. Is t != -4?
False
Let j be (6/4)/((-2)/(-4)). Let p(s) = -s**2 + 2*s + 1. Let b be p(j). Let y(r) = -r**2 - 2*r. Let c be y(b). Which is smaller: 0.1 or c?
c
Let f = 1.7 - 0.7. Is f at most as big as -4?
False
Let u = 3 + -1. Let w be 4 + 0 + 9/(-3). Is w at least u?
False
Let k = 5.8 - 5.14. Which is smaller: 1 or k?
k
Let h(f) = -f**2 - 10*f. Let r be h(-9). Suppose -r = 2*d - 3. Is d < -5?
False
Let r = -5 + 3. Let a = -1.9 - r. Let f(d) = -3*d**2 + d. Let q be f(1). Is q < a?
True
Let r be 3/(-12) + (-3)/(-4). Which is greater: -2 or r?
r
Suppose -d + 5 = 2*u, -5*d + 27 = 5*u + 7. Suppose r - 10 + 1 = -4*z, -5*z + 30 = -5*r. Let l be (z/7)/1*-1. Are l and u nonequal?
True
Let p = 105.1 - 110. Let r = p - -5. Which is greater: r or -0.1?
r
Let c = 27.2 + -27. Which is smaller: c or 2.8?
c
Let j be (60/70)/(-1 + (-24)/(-14)). Is j equal to 2?
False
Let d be (-22)/11*63/2. Is d at least -62?
False
Let t = 57 + -49. Which is smaller: t or 2/15?
2/15
Let d be (-2)/(-2)*4/(-8). Does 1 = d?
False
Suppose 3*f + 0 = -12, 0 = -5*x - f - 29. Let p = 2 + x. Which is greater: -4 or p?
p
Let w(r) = -r**3 + 15*r**2 + 15*r + 13. Let j be w(16). Which is greater: -18/11 or j?
-18/11
Let a = 0.08 - -38.92. Is -0.1 at least as big as a?
False
Let g be (-3*2)/2 + -2. Let x = g - -13/2. Let r = 11 + -8. Is r greater than or equal to x?
True
Let i be (-2)/(-62)*(-5 + (0 - -6)). Are -1 and i equal?
False
Let x be 4/(-6)*18/(-48). Let r = 0.1 - -0.1. Let c = 0 - r. Which is greater: c or x?
x
Suppose 8 = -4*s - 8. Let v be (-12)/8 + (-17)/(-14). Are v and s equal?
False
Let s(t) = t**2 - 4*t + 1. Let l be s(4). Suppose -g - 40 = -3*g. Let q be (-8)/(-20) - 13/g. Is l greater than q?
True
Let o be (2/(-4))/((-1)/(-4)). Suppose d - 26 = -24. Which is smaller: o or d?
o
Suppose 3*z - 3*v = -0*z - 3, 2*v = 5*z + 11. Let p be (1/(-14))/(z/(-12)). Suppose 4*u = 5*g - 6 + 35, -2*g = 10. Is p not equal to u?
True
Let b be -3 - (-3 + -2) - 0. Let u = 1 + b. Is 3 > u?
False
Let l(x) = -2*x - 12. Let k be l(-7). Let c = 3 - k. Are 0 and c nonequal?
True
Let n = -2.55 + 2.5. Let a = 0.42 + -0.4. Let c = -0.98 - a. Which is smaller: n or c?
c
Suppose 0 = 2*p - 1 - 1. Suppose 5*z = 3*k - 263, 79 = -2*z - 3*k - 22. Let r be 21/z - (-11)/44. Which is bigger: r or p?
p
Let t(i) = -i**3 + 8*i**2 - i + 7. Let w be t(8). Which is bigger: w or 1/2?
1/2
Let j be ((-2)/20*1)/((-1)/(-8)). Which is bigger: -2 or j?
j
Let d be 2/(2 - (-2 + 3)). Suppose -w - 2*u = -d*w - 5, -3*w - 7 = -2*u. Is w less than 0.2?
True
Suppose 0 = -4*q + 7 + 1. Does 11 = q?
False
Let f(m) = m**3 + 4*m**2 - 2*m - 1. Let s be f(-4). Let x = 11 - s. Which is smaller: 5 or x?
x
Suppose 7*j - 25 = 2*j. Let k(i) be the third derivative of -i**4/12 + 5*i**3/6 + 9*i**2. Let o be k(j). Is o greater than or equal to -5?
True
Suppose -f = 2*p + 3*p - 87, -32 = -2*p + f. Suppose p = 4*t - 