y) = -y**2 - 5*y + 4. Let g(a) = -2*a**2 + 3*a + 3. Let k be g(3). Let z be o(k). Let w be ((-1)/(-2))/(z/4). Which is greater: w or 0.4?
0.4
Let b = 4 - 3. Is b less than 42?
True
Let h(o) = -3*o**2 - o - 8. Let n(l) = 5*l**2 + l + 15. Let d(g) = 7*h(g) + 4*n(g). Let r be d(-4). Is r >= -1/3?
True
Let w = 5.6 + -6. Let o = 133/3 - 44. Which is smaller: o or w?
w
Let b be (-2)/(2/2) - -2. Suppose b - 3 = r. Is r equal to -2?
False
Suppose 0 = 9*h - 5*h. Let f = -246 + 979/4. Which is greater: h or f?
h
Let q be 3 - ((-134)/(-26) - 2). Let n = -2 + 3. Suppose 5*m = -4*u - 3, 3*u + n = 2*m - 7*m. Is m at least as big as q?
True
Suppose 7 = -5*i + 3*h, -h = -5*i - 5*h + 21. Which is greater: 2 or i?
2
Let j = -162 - -167. Which is bigger: j or 70/11?
70/11
Let y(p) = -p**3 - 7*p**2 - 8*p - 8. Let s be y(-6). Which is bigger: s or -1?
s
Let s be 1*3 + (-24)/(-6). Is 7 at most s?
True
Let u = -3.3 + 0.3. Let f = u - -4. Let d = -0.3 - 0.7. Which is smaller: d or f?
d
Let h be 162/(-51) - (-1 - 2). Which is smaller: -1 or h?
-1
Suppose 2*f - 1148 = 4*a, -4*a - 871 = -a - 4*f. Let u be (a/(-21))/5 + -2. Which is greater: u or 2?
2
Let c = 1.3 + -0.3. Let y = 8 - 14. Let i be ((-3)/9)/(4/y). Is c at most i?
False
Let t(z) = -z + 1. Let j be t(6). Let x be j/4*(-1)/(-5). Let w = 1.03 + -0.03. Is x < w?
True
Suppose -l + 6 = l - w, -2*w + 15 = 5*l. Let n = -3 - -3. Suppose 3*s = 5*h - 21, 3*h + h - 4*s - 20 = n. Is h equal to l?
True
Let a = -6 - 0. Let d = a + 9. Suppose -2*m - 5*r = -2*r - 12, -d*m + 3*r - 12 = 0. Is m greater than or equal to 1/11?
False
Let u = -34 + 47. Let g = u - 16. Which is greater: -2 or g?
-2
Let t(p) = 3*p - 6. Let y(c) = -c**2 + 11*c - 13. Let k be y(9). Let g be t(k). Which is smaller: g or 8?
8
Let y = -3/17 + -8/51. Let w be (2/12)/((-1)/(-4)). Is y bigger than w?
False
Suppose 110 = 5*y + 5*y. Which is bigger: 15 or y?
15
Suppose 5*h = -3*y + 7, -2*y - y + 8 = 4*h. Let x be 14/10 - (y - 3). Which is greater: 0 or x?
x
Let a be ((-4)/2226)/(4/12). Let m = -1466/3339 + a. Let s = 1 + -2. Is m smaller than s?
False
Let x = 1 - 4. Let s be ((-2)/14)/(x/6). Which is smaller: s or 1/4?
1/4
Let u(p) = -p**2 + 5*p - 4. Let r be u(3). Let z be r/4 + 45/(-18). Which is smaller: z or 0?
z
Let q(k) = -2*k**2 - 13*k - 16. Let p be q(-9). Let u = p + 181/3. Which is greater: 2/5 or u?
2/5
Let m be 1/((-3)/18*-3). Let u = 55/87 - -1/29. Is u >= m?
False
Let y = 4 + 0. Suppose -5*x + 24 = y*l, x - 21 = -5*l - 3*x. Which is smaller: 2/9 or l?
2/9
Let a(m) = m + 7. Let d be a(-4). Is -1 greater than or equal to d?
False
Let r be (-5)/(20/12)*1. Which is smaller: -2 or r?
r
Let m = 23.9 - 24. Is m at most 16?
True
Suppose 2*h + 3*y = 29, 3*y - y - 10 = 0. Let t = h + -3. Suppose z - 3*z = t. Is z at most 0.1?
True
Let y = 11/58 + -2143/290. Let l(x) = -x**2 - 8*x - 5. Let z be l(-6). Let o = y + z. Is 0 equal to o?
False
Let q = -0.06 + 0.16. Which is smaller: q or -0.2?
-0.2
Suppose -5*u - 50 = 5*l, 0*u + 2*l = u + 16. Let n be 75/u + 1/4. Let x be 1 - -3*n/27. Which is bigger: -1 or x?
x
Let a(l) = -l + 2. Suppose -b + 17 = -3*t, -3*b + 21 = -0*t - 3*t. Let x be a(b). Let k be (-12)/8 + 3/(-6). Is k bigger than x?
False
Suppose i - 1 = 1. Let y = i - 4. Suppose 0 = -44*m + 46*m + 4. Is y at least m?
True
Let f = 0.02 + 1.98. Is f less than or equal to 0.4?
False
Let k be 1461/489 + (0 - 3). Which is smaller: k or -1?
-1
Let l(x) = -x**2 + 17*x - 17. Let m be l(16). Let s be (-1 - m)/(2 + 0). Which is bigger: s or 1/11?
1/11
Suppose -3*g = 2*h - 7*g + 8, 3*h - 2*g = -4. Let y = -2/73 + 227/292. Which is greater: h or y?
y
Let f be (-2 + -18)/(1/1). Let j be (-8)/f + (-4)/10. Is 1/4 smaller than j?
False
Let j = -3 - -5. Let q be 2 - 4 - (-1)/j. Let p(d) = -d**3 + 3*d**2 + 5*d - 5. Let o be p(4). Is o >= q?
True
Let y = 9 - 11. Which is greater: -5 or y?
y
Let j be 8 - ((4 - 1) + 0). Let l = -3 + j. Is l at most 0?
False
Suppose -3*y + 3 = -5*l + 5, 0 = -5*l + 2*y + 3. Let v be l/2 - 2/(-6). Do 0 and v have the same value?
False
Suppose -4*q - q = -25. Let u be -4*((-3)/(-18))/(4 + -3). Which is bigger: q or u?
q
Let a be 8/5*(-7 + 12). Let s = a + -20. Does -12 = s?
True
Suppose 0 = -2*u - 0*u - 4. Are u and -1 equal?
False
Let q = 1 + 0. Let a = 0.42 - -2.58. Which is smaller: a or q?
q
Let m = 11 + -16. Let q(b) = -b**3 - 4*b**2 + 3*b - 4. Let k be q(m). Suppose k*s - s = -10. Is s bigger than -4?
True
Let j = 0.066 - 41.066. Do j and -1 have the same value?
False
Let v = -3.12 + 0.12. Which is greater: v or -5?
v
Let i(m) = -2*m + 6. Let v be i(-7). Let k = 21 - v. Is k less than or equal to 1/8?
False
Let w = 0.1 + -0.3. Let o = w + 0. Let a = -0.4 - o. Is 0 > a?
True
Let o be 8/(-12) - (-2)/3. Let u be 0 + -1*1 - -4. Is u at most as big as o?
False
Let z be (2 + 1)/(3/2). Suppose -q - 9 = -4*t + 1, -z*q + 5*t - 8 = 0. Suppose 3*y + 0 = q. Which is bigger: y or 5/4?
y
Let v = 26 - 10. Let x(j) = 5*j**2 + 128*j - 37. Let u be x(-26). Which is smaller: v or u?
u
Let o = -0.16 - -0.16. Is -50 >= o?
False
Let g be (429/(-24) - 4) + 1/(-8). Which is greater: -21 or g?
-21
Suppose 0*r + 10 = r + 3*q, 0 = -4*r - 4*q + 16. Let h be (5 - 1)/(2 - r). Let s be ((-2)/h)/(6/4). Is s not equal to 0?
True
Suppose -32 = -4*u + 2*u - 2*a, 2*a = -u + 11. Which is smaller: 22 or u?
u
Let f(w) = -w**3 + 5*w**2 - w + 2. Let v = -13 - -18. Let g be f(v). Let s = -27 - -25. Which is greater: s or g?
s
Let u be 14/((-5)/((-20)/(-8))). Let r = u + 7. Which is smaller: r or -1/14?
-1/14
Let u be ((-5)/((-75)/4))/(18/(-27)). Does u = 0?
False
Let o = -77 + 81. Suppose 4*x = 4*z, 3*x = -5*z - 0*x + 24. Which is greater: z or o?
o
Let t(a) = -3*a + 17. Let j be t(6). Which is greater: j or -17?
j
Suppose t - 22 = 2*h - 3, 2*t = -4*h - 2. Suppose -4*j + 5 - t = 0. Which is bigger: j or -1/13?
-1/13
Let d be (-4)/(-22) - (-70)/(-22). Let l be (-4)/(-8) - 13/2. Is d less than l?
False
Let r be (-11 - 1)*(-3)/4. Let i(v) = -v + 9. Let l be i(r). Suppose 3*a + l*a = 3. Is a at least -2/7?
True
Let s(u) = -u**3 + 4*u**2 + 2*u - 7. Let b be s(4). Let g be (b - -1)*(-1)/(-7). Which is greater: g or 1/3?
1/3
Let d = 127/7 + -18. Suppose -1 = 5*u - 3*q, 3*u - 9 = -q - 2*q. Which is smaller: d or u?
d
Let r = 9179/69 - 133. Is r less than or equal to -1?
False
Let g = -1709 - -3231/2. Let s = g + 90. Which is greater: -5 or s?
s
Let w be (-6)/21*1*-7. Suppose 0 = w*u + 3 - 7. Is u at least -3?
True
Let t(o) = -o - 12. Let f be 56/(-6) - 2/3. Let b be t(f). Let a = 1 - 2. Is b < a?
True
Let n = -5 - -4. Which is bigger: n or -3/5?
-3/5
Suppose 3*p + 1 = 4*p. Suppose -4*r - 5 = 4*b + 19, -5*r = 25. Let m be b*(-2 + (-2 - -2)). Which is bigger: p or m?
m
Let s = -1 - 0. Let d = -20 - -19.83. Let r = d - -0.07. Which is greater: r or s?
r
Let w(u) = -3*u + 18. Let i be w(6). Which is smaller: 1/4 or i?
i
Let g(x) = x**2 + 2*x + 8. Let m be g(-4). Which is smaller: 18 or m?
m
Let f = -4.01 - -4. Let l = 3.99 - f. Which is bigger: l or -1?
l
Let n(f) = 3*f**2 - f. Let o be n(1). Let t = -116 - -582/5. Is o greater than t?
True
Let d = 739 - 421. Suppose -5*s + 2*q - 313 = 0, 5*s = -0*s - 3*q - d. Let g be (s/(-12))/(-3) + 1. Are 0 and g nonequal?
True
Let j be 39/15 + (-4)/(-10). Suppose 0 = 2*r - j*r. Let s be -3*(-1 - 0)/(-15). Which is smaller: s or r?
s
Let m(a) = a**3 - 2*a**2 - a + 1. Let c be m(2). Let o be -1*-239*1/6. Let g = o + -40. Is c smaller than g?
True
Suppose -25 = -5*b + o, 0*b - 5*o = 3*b + 13. Let g(u) = u - 2. Let n be g(b). Which is bigger: n or 3?
3
Let d be -3 + 34/12 + -1. Let a = d + 5/6. Which is smaller: -0.1 or a?
a
Suppose z + 2*h = -2, -4*h - 12 = -z + h. Let t(d) = d**3 - 2*d**2 - d. Let l be t(z). Suppose -4*o - 13 = 3*v + 9, 3*o - 4*v = -4. Which is smaller: l or o?
o
Suppose 2*i - 4*i = 4*i. Which is greater: 1 or i?
1
Let n = -321.6 + 305.73. Let b = n - -16. Is b greater than 1?
False
Let z = 27 - 50. Suppose -2*s = -2*k + 56, s + s + 51 = k. Are s and z nonequal?
False
Let l be (-1 + -3)*3/28. Let p = -6 - -22. Let v = 17 - p. Which is smaller: l or v?
l
Suppose 7*q - 5*q - 10 = 0. Suppose -2*m = -3*y + q, 4*y - 2 = 2*y + 2*m. Which is smaller: y or 2?
2
Let a = 23 + -22. Is -3 > a?
False
Let j = -56 - -57. Is j less than or equal to -