 7. Let o(i) = 13*i**2 - 7*i + 13. Let s(r) = -11*f(r) - 6*o(r). Let q be 1 - -2*(1 - 2). Let v be s(q). Which is greater: v or -1/2?
v
Let v = -0.56 - -0.66. Is 2/3 not equal to v?
True
Let m = -8.2 - -8. Let h = -0.3 - 8.7. Which is bigger: h or m?
m
Let p(g) = -g**2 - 4*g + 17. Let u be p(-7). Are u and -2 nonequal?
True
Let z = -7 - 1. Is -0.06 not equal to z?
True
Let d be (-8)/(-20) + (-8)/(-5). Let j = -1 - -5. Suppose 0 = 2*n + 2*a - 0*a, 2*a = d*n + j. Does 1 = n?
False
Let j = -253 - -5061/20. Is 0 not equal to j?
True
Let g(t) = -2*t + 5*t**2 - 6*t**2 + 5*t. Let v be g(3). Suppose -p - 5*z + 7 = 0, 2*z = p - v*z. Which is smaller: p or 7?
p
Let c = 23.1 + -22. Let k = -3.1 + c. Is k bigger than -2/5?
False
Let s be 6/(-4) - (-2038)/228. Let r = s - 22/3. Which is bigger: r or 0?
r
Let l = 123 + -26. Which is bigger: 98 or l?
98
Let f be ((-6)/4)/(6/8). Let l be (3 + f)/((-5)/2). Let a = 0.26 + 0.04. Which is greater: l or a?
a
Let y be 4/(-6) - 2/(-12). Let b = 1 + -6. Let q be b + (-1)/2*-6. Is q less than y?
True
Suppose -5*z + 3*k = -4, z + 8*k - 3*k - 12 = 0. Suppose -3*b + 0*b + o = 9, o - 3 = b. Let h be b - (z - 9/3). Which is bigger: h or -1/2?
-1/2
Let h be (-23)/69 + 4/3. Are -1/33 and h nonequal?
True
Let o be (-24)/(-112)*(1 - -1). Let z = 1.1 + -0.1. Which is smaller: z or o?
o
Let q be 972/24 + (-3)/(-4)*-2. Is q equal to 38?
False
Let s be ((-24)/6 - -9) + -3*1. Which is bigger: 11/9 or s?
s
Let q = 0.08 - -4.92. Let v = q - 4.94. Let a = v + -0.06. Which is greater: 4/7 or a?
4/7
Suppose -12 = -3*j, 5*r = -3*j + j + 3. Let b = -7 + 11. Let z = b + -3.6. Which is smaller: z or r?
r
Let d = -0.3 - -0.1. Let z = d + 0.4. Let y = -77 + 79. Is z not equal to y?
True
Let h = -3647/6 - -610. Is -1/5 > h?
False
Let z = -36 + 22. Let n = z - -14.2. Which is smaller: -1 or n?
-1
Let h = -4.8 - -5. Let n = -1.4 + 1.6. Do n and h have the same value?
True
Let m be (1 + 0)/((-12)/(-44)). Which is smaller: 4 or m?
m
Suppose -14 = -5*s + 11. Suppose -s*k = -k - 20. Suppose -l + k*l - 4 = 0. Is l > 0?
True
Let c = 4.045 - -0.055. Let z = -4 + c. Which is greater: z or 6?
6
Let b(a) = 5*a**3 + 10*a**2 - 7*a - 10. Let v(k) = -4*k**3 - 9*k**2 + 6*k + 9. Let y(m) = -5*b(m) - 6*v(m). Let q be y(3). Let i be 17/6 - q/(-12). Is i < 3?
False
Let h = 5.14 - 5. Let n = 0.54 - h. Let x(k) = k**2 + 4*k - 6. Let l be x(-5). Is l not equal to n?
True
Let l be -2*8/20 + (-187)/(-215). Which is greater: l or 1?
1
Let s(h) = 3*h - 12. Let t(z) = -z + 1. Let m(f) = -s(f) - 5*t(f). Let r be m(-6). Suppose 0 = 7*j - 5*j + 12. Is r bigger than j?
True
Let z be (-6)/38*(20/(-12) + 1). Let a(p) = 2*p + 1. Let i be a(-1). Which is smaller: z or i?
i
Suppose g + 4 = 0, g = -2*n - 0*g - 28. Let m = n + 21. Suppose 4*i = -m - 7. Are i and -2 equal?
False
Let k = 0.08 + 2.92. Let j = k - 2.9. Which is smaller: j or 0?
0
Let s = -11 - -21. Let o = -10.1 + s. Which is smaller: o or 1?
o
Let i = -3 - -5. Suppose 2*g + 4*n + 16 = 0, -i*g + 0*g = 3*n + 12. Let q = 107/35 - 20/7. Which is smaller: g or q?
g
Let k(l) = -l**2 - l - 1. Let h be k(-1). Let g = 3 + h. Is g equal to 2/5?
False
Let k be (3/4)/(1/4). Suppose -k*n + t + 3*t = -38, 5*n = 3*t + 45. Let f = n + -5. Are f and 1 unequal?
False
Suppose -21 + 7 = 4*d + 2*t, 5*d + 13 = -t. Let z = d - 0. Which is bigger: z or -2/3?
-2/3
Let q = 234 + -360. Let r = -55/212 + 241115/1908. Let v = q + r. Are 0 and v equal?
False
Let n(h) = h**2 + 4*h + 6. Let b be n(-4). Let t be 8/3*b/(-4). Which is smaller: t or -2/7?
t
Let v = -40 + 29. Are v and -11 non-equal?
False
Let d be (-2 + 3)*(2 - 2). Which is smaller: -2/25 or d?
-2/25
Let w = 2 + 0. Let a be w*-1 - (-7 - 0). Suppose 0 = 11*j - 25 - 30. Is j at most a?
True
Suppose 0 = -8*w + 4*w - 8. Let s be -1*(-99)/(-2 - 1). Let v be 22/s + w/6. Which is smaller: -3 or v?
-3
Suppose 3*n - 5 = -2*n. Let m(f) = -3*f**2 - f. Let r be m(n). Let c be -1 + 1 - (-1 + 0 + 4). Which is greater: r or c?
c
Let m = -7.8 + 5.8. Is 7 less than m?
False
Let f(b) = -3*b**3 - 12*b**2 - 13*b - 2. Let g(j) = -j**3 - j**2 - j + 1. Let l(o) = f(o) - 2*g(o). Let q be l(-9). Which is bigger: q or 15?
15
Suppose 4*y - 34 = -2*s, -s - s + 3*y = -6. Which is bigger: s or 10?
10
Let c = 0 + 0. Let z = -1865027/426 + 4378. Let s = 1271/2982 + z. Is s > c?
True
Let s(i) = i**3 - 19*i**2 - i + 16. Let q be s(19). Let x = -29 - -21. Let c be 2/q*(-12)/x. Is 0 smaller than c?
False
Let k = -3.64 - -0.64. Which is bigger: -9 or k?
k
Let s = -0.59 - -5.59. Which is smaller: 0.04 or s?
0.04
Suppose -5*z + 2*q = -21, -7*q + 2*q + 30 = 4*z. Suppose 0 = 5*b + 3*l + 9, -6 = -z*l + 4. Let m be ((-1)/b)/(7/6). Is -1 equal to m?
False
Suppose 2*i - 74 = 4*i - a, 4*a = i + 44. Let g be 1/2 - i/(-104). Which is smaller: 1 or g?
g
Let q(h) be the second derivative of h**3/3 + 4*h. Let v be q(-2). Let d(z) = -z + 6. Let t be d(8). Is v greater than or equal to t?
False
Let o be -1*12*(-8)/(-12). Let j be (0 + 1)*o/4. Is j greater than -2?
False
Let y(x) = -3*x + 3. Let s be y(1). Let t = -14 - -29/2. Is t less than s?
False
Let i = -1.44 - -0.04. Let s = -0.4 - i. Is s smaller than -2/9?
False
Let i = -13 - -18. Is i less than or equal to 1/2?
False
Let u = -70 - -559/8. Let a = 31 + -32. Which is smaller: u or a?
a
Let w be (-6)/(-33) + 210/(-66). Does -2 = w?
False
Let d be (-2)/3*(-999)/36. Let u = -19 + d. Which is bigger: u or 2/15?
2/15
Let q be 1/(-2 + (-33)/(-18)). Let j be (1 + q/8)/1. Is -0.1 greater than or equal to j?
False
Let p be 1/3*169*1. Let t = 52 - p. Is -3 != t?
True
Let l be -5 + (-1 - 0) + 2. Let o be 15/3*l/30. Let f = 5 + -5.1. Is o <= f?
True
Let h = 575 + -6319/11. Let p(w) = w**2 - 5*w + 4. Let d be p(4). Which is greater: h or d?
h
Suppose -2*t + 0 + 6 = 0. Suppose -3*x + 1 = t*l - 4*l, 28 = 4*l + 4*x. Suppose 5*i = a - 6, -a + 2 = -l*i + a. Which is smaller: i or -3?
-3
Let j(d) = -d**3 + 3*d**2 + 4*d + 3. Let v be j(4). Suppose 2*r = -r + v. Are 1 and r non-equal?
False
Suppose 0*x - 2*x = -10. Suppose v = x*v - 16. Is v at most 4?
True
Let v be (-6)/(-21) + (-5)/7. Let a(r) be the first derivative of -r**2/2 + r + 1. Let b be a(1). Which is smaller: b or v?
v
Let l be (40/(-140))/((-4)/(-10)). Do -1 and l have different values?
True
Suppose -4*r + 9*r = -3*r. Let a be 1*-1 + 2 - 2. Which is greater: a or r?
r
Let k be 3*2/6*3. Which is smaller: k or -3?
-3
Let x = -7/5 - -6/5. Let r be 84/(-80) - (-3 - -2). Let m = x + r. Which is smaller: m or 1?
m
Let m(n) = -n + 2. Let s be m(0). Suppose s*z - 4*f + 18 = 0, 5*z + 36 = 2*f - f. Let l = z + 4. Is l smaller than -2?
True
Let w = -2/47 + 57/235. Let c be (-6 - -5) + (-115)/(-4). Let i = -28 + c. Which is smaller: w or i?
i
Let w = -26 + 30.4. Let v = 4 - w. Let a = 0.6 - v. Is a at least as big as -2?
True
Let p be (40/3)/(-4)*-3*1. Is 10 <= p?
True
Let m = -4 - -7. Let h = m + -4. Let p be 78/70 + 4/14 + -1. Which is bigger: h or p?
p
Suppose -18 = 9*y - 11*y. Does y = 9?
True
Let i be (-2)/(3/(-3)) - -22. Let z be (i/15)/(6/15). Let r be 3*(-2)/(-6) - -3. Is r at least as big as z?
True
Let w be -3 + 1 - 5*-1. Let g = -7 + 7. Let c = w + g. Which is bigger: 2 or c?
c
Let x = -0.13 - -1.18. Let l = 0.05 - x. Is 1/4 less than or equal to l?
False
Let y = 0.14 - 0.44. Let l = 37.71 - 38. Let v = l + -0.01. Is v at most y?
True
Let l be (-21)/(-63)*102/(-4). Suppose -2*q + 50 = -7*q. Is q greater than l?
False
Let g(n) = 6*n**2 - n + 1. Let i be g(1). Let z = 28 - 29. Which is smaller: i or z?
z
Let m = 2.06 - 0. Let z = -0.06 + m. Let q = -0.3 + 0.5. Which is bigger: q or z?
z
Let p(t) be the second derivative of t**4/12 - t**3/2 - 3*t**2 - 2*t. Let k be p(5). Let f = -4 + k. Which is bigger: 1 or f?
1
Let f be ((-9)/(-8))/(3/1). Let r be -9*(1/3)/(-1). Suppose r*n - 5*h = -h + 8, 0 = -2*n + h + 2. Which is smaller: n or f?
n
Suppose 62 = -2*g - w - 31, 3*g + 3*w = -132. Which is bigger: g or -50?
g
Suppose -20 = 4*l, 0 = -2*j - j + 4*l + 35. Suppose -3*q - 3*k = -5*q - 9, 0 = -2*q - j*k + 15. Which is smaller: -1 or q?
-1
Suppose 0 = -5*t + 4*w - 106, 4*t - 18 = -3*w - 109. Is t greater than -23?
True
Let a = 224 + -1783/8. Let q = a - 37/40. Let d = 0 + 0. Which is smaller: q or d?
d
Let r(m) = -m**3 + 6*m**2 + m - 6. Let f be 