11 - 11. Let p be 66/(-20) + m + 3. Which is smaller: 0.1 or p?
p
Let f = 6 + -7. Is 0.4 > f?
True
Let w(u) = u + 2. Let h(i) = -i**3 - 5*i**2 - 3*i + 4. Let k be h(-4). Let o be w(k). Is o < 4/7?
False
Suppose -q + 1 = -0. Is 4/7 smaller than q?
True
Suppose 65 = -8*l + 3*l. Let g be 1/(-3) + l/(-57). Is 1 <= g?
False
Suppose -2*y + 5*y = 1080. Let a be (-224)/y + 4/18. Let m be ((1 - 0) + -1)/2. Which is greater: a or m?
m
Let t(y) be the first derivative of 3*y**2/2 - y - 2. Let g be t(3). Suppose 3*x - 3*a - g = 2*a, 4*x - 9 = 5*a. Is x greater than 1?
False
Let v = -176 + 259. Which is bigger: 84 or v?
84
Let a(v) = v**3 - 7*v**2 + 5*v + 5. Let z be a(6). Which is greater: z or -2/23?
-2/23
Let m = -1 + 31. Which is bigger: m or 31?
31
Let t = -0.17 - 4.83. Let s = 5.2 + t. Which is smaller: 0 or s?
0
Let p be (-10 + 1)/(12/8). Is p not equal to -16/3?
True
Suppose -12*h = -11*h + 21. Is -20 equal to h?
False
Let o(x) = x**3 + 4*x**2 + 3*x - 2. Let h be o(-3). Let m = 0.02 + -0.12. Which is smaller: h or m?
h
Let q be (4 - 1 - 3)*1. Is 6/7 <= q?
False
Let o = 297/5 - 59. Let d be (-9)/4 + 1/4. Is o at most d?
False
Let x = 1.5 + -1.1. Let h = 0.2 - x. Which is smaller: -2 or h?
-2
Suppose a + 15 = 5*y, -3*a + 3 = 5*y - 12. Which is bigger: y or 6?
6
Let r = 0.34 + 0.06. Let s = -2.17 + -0.23. Let v = s + r. Which is smaller: v or 1?
v
Let p be (-1)/(3/18) + 2. Let h(j) = j + 4. Let y be h(p). Suppose -2*n - 3 + 5 = y. Is 1 at most n?
True
Let p = -9 + 10. Which is greater: p or -3?
p
Let h = 3 - 1. Suppose -2*b - 14 = 3*k + h*k, -3*b + 17 = -2*k. Let q be (2 - b)*(-4)/16. Which is smaller: -1 or q?
-1
Suppose -31*n + 28*n = 27. Which is bigger: -10 or n?
n
Let p(c) = c - 17. Let b be p(8). Let a be (1/b)/(7/21). Let x(t) = -t + 3. Let v be x(3). Which is greater: a or v?
v
Let z(a) = 3*a**2 + a - 1. Let l(i) = -4*i**2 - 2*i + 1. Let o(u) = -4*l(u) - 5*z(u). Let y be o(-3). Which is greater: y or 2?
2
Suppose -5*n - 3 = -3*b, -2*n - 2*n - 8 = -b. Let q be -1 + 1 + (4 - 4). Let i = q - b. Is i at least as big as 4?
True
Let w = -927/10 - -112187/1210. Let k = 248/363 - w. Which is bigger: k or 1?
1
Suppose -8 = 5*x - 3, -5*x = 2*g - 1. Let d = 3 - g. Which is bigger: -4/17 or d?
d
Suppose -5*r + 2*n + 22 = n, -4*r = n - 14. Let k be (r/5)/(0 + -2). Which is bigger: -1 or k?
k
Suppose 9*w - 13*w = -52. Which is smaller: 10 or w?
10
Suppose -4*k - 20 = 2*u, 5*k = 2*u - 3*u - 10. Which is smaller: u or -11?
-11
Let c = 144073/85 + -1695. Which is smaller: c or 1?
c
Let y = -172 + 247. Suppose j = -4*j + y. Is 14 equal to j?
False
Let y = 8 + -8. Which is bigger: 3/17 or y?
3/17
Suppose -5*y - 3*j = -25, y - 5*j = -1 + 6. Suppose 4*q + 9 - 1 = -y*l, -5*l = 0. Let c = -27/5 - -71/15. Is q at least c?
False
Let s = -0.2 - -0.8. Let n = -0.6 + s. Is n at most 0?
True
Let d = 11.2 + -1.2. Let z = 10.1 - d. Which is bigger: 10 or z?
10
Let l(n) = -n**3 + 10*n**2 - 4*n - 10. Let q be l(10). Let u be 3/((-66)/q) + -2. Which is smaller: u or -1?
-1
Let g be (2 - 5)*4/(-12). Is 1 less than or equal to g?
True
Let h be 1/2 - (-34 + 0). Let r = -33 + h. Are r and 0 unequal?
True
Suppose -2*d = 1 - 3. Let u(q) = -4 - 7 + 2*q - 8 + 18. Let s be u(d). Which is greater: s or 1/7?
s
Let q(j) = -j + 6. Let a be q(6). Let y be 4/(-8) + 7/2. Let p = 1 - y. Which is greater: p or a?
a
Let q = 3 - 2.96. Let t = q + 0.06. Are 4/3 and t non-equal?
True
Let g = 1286/23 + -56. Which is greater: g or 2/13?
2/13
Let m(l) = l**2 + 4*l - 2. Let s(y) = -y**2 + 11*y - 13. Let o be s(10). Let d be m(o). Does d = -5?
True
Let l be (-3)/2*(-2)/(-3). Is l at most 1.7?
True
Let s = 0 + 6. Let k(x) = -x**3 + 5*x**2 + 4*x + 6. Let w be k(s). Let b = 7 + w. Are b and 0 equal?
False
Let g = 1 - 2. Let f = g - 0. Is -2 > f?
False
Suppose 0*t = -2*t - 64. Let h be 0 - (-2)/(t/390). Let w = h - -3331/136. Which is greater: -0.1 or w?
w
Suppose -3*s + 7*s = 0. Let f be 3*1*3/3. Let g be ((-2)/2)/(f/(-6)). Is s equal to g?
False
Let i(y) be the second derivative of y**4/12 - y**3/2 + 3*y**2/2 + 9*y. Let o be i(2). Which is smaller: o or -1?
-1
Let k = -10 - -10. Suppose k = 3*o - 3. Which is smaller: o or -0.1?
-0.1
Let d be (-2)/(-5) + (-3)/(-5). Let n(q) = q + 6. Let u be (0 + 4)*(-1)/1. Let z be n(u). Which is bigger: d or z?
z
Let a = -13 - -12.3. Let w = a + 0.9. Is 0.1 not equal to w?
True
Let g = -274/7 + 39. Which is bigger: 1/2 or g?
1/2
Suppose -d + 234 + 15 = 0. Let n = 2737/11 - d. Which is smaller: 1 or n?
n
Let h be (136/119)/((-2)/(-14)). Is h not equal to 8?
False
Let o = -60 - -61. Is 4/7 less than or equal to o?
True
Let n = 65 + -58. Is n bigger than 9?
False
Suppose -3*j - 62 = -j + 4*u, -5*j - 103 = -3*u. Is -23 > j?
False
Let q = -0.95 + 0.35. Is 1 at least q?
True
Let z be 6/(162/(-5))*2/25. Are 0 and z unequal?
True
Let b be 4 + -2 + 0/2. Let v = 190/3 - 62. Is b smaller than v?
False
Suppose -x + 11 = 2. Let v be 2 - (16/x)/1. Let p = 0 + 0. Is p equal to v?
False
Let j(v) = -v**3 - 11*v**2 - 28*v - 2. Let p be j(-7). Suppose 2*a + 3 = 7. Let g be (-3)/a + 1 + -1. Is p bigger than g?
False
Suppose -4*t - 12 = 0, 5*z = 4*t + 23 + 9. Let f be z/2 - 0/(-2). Let h be 1*f/(28/(-6)). Which is bigger: h or 1?
1
Suppose -3 = -2*v + 1. Suppose -5 = -4*o - 17. Let p = o - -6. Is v greater than p?
False
Let p(o) = -o**2 + 7*o + 1. Let v be p(6). Let d be (v - 13)/(6/4). Is -5 at least d?
False
Suppose -4*d + 3*d = 15. Let c be (1 - 3) + (3 - d). Let h be 4/c + (-34)/8. Is -3 at least h?
True
Let g be 3256/66 - (-2)/(-6). Is g at most as big as 48?
False
Let j be (-8)/(-28) + (-26)/42. Is j greater than or equal to -1?
True
Let p = -2833.862 + 2839. Let h = 0.038 - p. Let w = 5 + h. Do w and -0.07 have the same value?
False
Let g = -6 - -8. Which is greater: 1/2 or g?
g
Let y = -2 - -6. Suppose -v + 5*u - 16 = 6, -5*u + 28 = v. Which is smaller: v or y?
v
Let z be 45/105 - 75/77. Is z less than 0.1?
True
Let h = 10 + -12. Let v = -0.11 - 0.89. Is v equal to h?
False
Let i be (-14)/(-21) + (-256)/78. Let h = -2/5097 - -183518/66261. Let v = i + h. Which is greater: -1 or v?
v
Let k = 7/34 - -87/238. Is 0.1 at least k?
False
Let n be (-11)/(4/(-8)*-2). Is n at most as big as -12?
False
Let q be ((-2)/3)/(4/(-6)). Let m be (4/34)/((-1)/3). Is m >= q?
False
Let s = 0 + 3. Do s and -0.4 have different values?
True
Let f = 30 + -30.16. Is f less than -1/3?
False
Let p = -1 + 2. Suppose -21 = -3*c + 3. Let z be (c/18)/((-4)/(-6)). Which is smaller: p or z?
z
Let d be 1*(-9)/6*-2. Suppose -5*s - l = -11, -s + 0*l = -l - 1. Let y be 4/(-6)*-6 - s. Which is greater: y or d?
d
Let n be (-6)/(-2) + (-170)/20. Which is smaller: n or -6?
-6
Let v be -27 + 27 + (-23)/(-6). Is 4 greater than v?
True
Let o = 16 - 23. Let m = 13 + o. Which is smaller: m or -2/5?
-2/5
Let t be (-1*(-1)/(-3))/(-1). Suppose 4*x + 9 - 1 = 0. Let o = x + 1. Is t at most o?
False
Suppose -4*d + 3*d + 2*d = 0. Are d and -4 equal?
False
Suppose -3*w = -2*u - 6, -2*u = -5*u + 2*w + 1. Which is smaller: u or 0.4?
0.4
Let u(z) = -z**2 - 11*z + 4. Let x be u(-10). Suppose 2*s = -0*s + x. Is 6 smaller than s?
True
Let v = 23 - 24. Which is bigger: v or 2/89?
2/89
Let v = 10 - 8. Let x be ((-2)/(-6))/((-2)/(-6)). Suppose 0 = 5*q + f - x - 0, -3*q + 2*f = -11. Is q != v?
True
Let f(d) = -2*d**3 - 3*d**2 + 5*d + 4. Let a be f(-3). Let h be a/30 + 6/(-18). Let g be 1/(-3 - (-2 - 0)). Does h = g?
False
Let h = 2 + -9. Let f(y) = -y**3 - 7*y**2 - 2*y - 10. Let s be f(h). Let l be (-76)/(-14) - (-3)/(-7). Does l = s?
False
Let m = 18 - 13. Suppose m*v + 12 = v. Which is smaller: v or -2?
v
Let q = 1915/6 + -320. Which is greater: q or -2?
q
Let n = -0.3 + -1.1. Let s = -0.6 + n. Which is smaller: s or 1?
s
Let n(v) = v + 1. Let c(g) = -g**2 - 3*g + 4. Let x be c(-4). Let w be n(x). Let d = -2.5 + 3.5. Is w at most as big as d?
True
Let q = 76.7 - 80. Let z = q + 3. Is -0.2 not equal to z?
True
Suppose -5*w + 8 = -3*v, 5*w + 7*v = 2*v. Is w at least as big as 0?
True
Let r = -0.007 + -12.993. Which is greater: 0.7 or r?
0.7
Suppose 4*d = -12, -13 = 3*f + 4*d - 1. Let w = f - 3. Let q(o) = -o**2 + o - 2. Let h be q(0). Which is smaller: h or w?
w
Let f = 1/3 + -1. Let b(o) = 2*o + 2. Let v be b(-2). Is v >= f?
False
Let w be (