 -46 - -44. Which is greater: z or w?
z
Let a(x) = 1 - 2*x**3 - 2*x - 3*x**2 + x**3 + 0. Let p(c) = -c**3 - 5*c**2 - 4*c - 2. Let k be p(-4). Let l be a(k). Which is greater: l or 2?
2
Let y(j) = -j**3 + j + 1. Let o be y(0). Let b = -1 - o. Suppose 2*v = 3*v + 1. Which is smaller: v or b?
b
Suppose 22 = 3*u + p, -p = -u + p - 2. Which is greater: u or 9?
9
Let p(l) = -2*l + 14. Let z(q) = 2*q - 13. Let f(i) = 4*p(i) + 5*z(i). Let r be f(4). Which is bigger: -2/19 or r?
-2/19
Let n = -9 - -19. Let l be n/6 - (2 - 0). Which is smaller: -1/4 or l?
l
Let s = -0.1 + 0.15. Let b = -8.95 - s. Is b at least 0?
False
Suppose -5*w = -5 - 5. Suppose 0 = -3*t - 6, 0 = -w*n - 5*t - 7 + 3. Suppose n*x - 5 = -2*x. Which is bigger: x or 2?
2
Let m be (21/(-6))/((-4)/(-32)). Let j(r) = r + 1. Let y be j(-4). Let a be m/15 - (y - -1). Which is greater: a or 1?
1
Let n(m) = -2*m**2 + 18*m + 5. Let h be n(9). Which is smaller: 4 or h?
4
Let f(u) = -2*u**2 + 3*u - 1. Let n be f(3). Let b(a) = -2*a - 5. Let w be b(n). Let s be w/(-25)*(-8)/(-6). Which is bigger: s or -2?
s
Let r be (-8)/2 + (-34)/(-8). Which is smaller: 40 or r?
r
Let l = 12 - 3. Let h = l + -9.9. Let f = 0.9 + h. Is -0.1 < f?
True
Let k = -2.1 - -2. Let s = -4.2 + -12.8. Which is smaller: s or k?
s
Let s = 0.07 - 0.14. Let x = -0.07 - s. Let h = 0 + 0.2. Is x at most as big as h?
True
Let c(b) = -7*b. Let o be c(1). Let h = 2 + o. Which is smaller: -4 or h?
h
Let j = -6 - 0. Suppose -z = -2*z. Which is bigger: z or j?
z
Let w = -13 + 23. Suppose 0 = 4*u - 5 - 3. Suppose f + w = 4*g, 4*f - 11 = -u*g + 3. Is 2 smaller than f?
False
Let s = -0.95 + -0.05. Let d = 1.1 + s. Let p = -0.08 + -2.92. Which is smaller: d or p?
p
Suppose 5*g = -4*h - 60, -h = 8*g - 3*g + 60. Is g less than -12?
False
Suppose -12*c = 94 + 38. Let h(u) = u + 2. Let n be h(-4). Is n greater than or equal to c?
True
Suppose -5*s - 4*l + 9 + 36 = 0, -s - 5*l = -30. Suppose s*z + 3 = 2*z. Let p = 0.07 - -0.23. Is p at least z?
True
Let x = 1 - -9. Let h(q) = -20*q. Let f be h(-1). Suppose 4 + f = 2*m - 5*r, -5*r = 5*m + x. Is m at most 2?
True
Let k(d) = -4*d. Suppose -22 = 5*i - 5*b + 3, 0 = 3*i + 2*b + 15. Let n(x) = 2*x. Let t(f) = i*n(f) - 3*k(f). Let q be t(-1). Do q and 0 have the same value?
False
Let g = -1 + 1.1. Let a be (1 + -1)*(-1)/(-2). Are g and a equal?
False
Let b be (((-27)/14)/(-9))/(-3). Which is smaller: b or 0?
b
Suppose 0 = -3*j - 3 - 0. Let l = 1 + j. Let a = 846.4 - 846. Which is smaller: a or l?
l
Suppose 2 + 13 = 3*h. Suppose 4*y + 8 = h*a - 6, 5*y - 2*a = -9. Is y less than or equal to -3/5?
True
Let p = 3 + -2.8. Let x = -4 - -9/2. Do x and p have the same value?
False
Suppose 4*v = -4*m - 24, 5*v + 6 = 5*m - 14. Which is bigger: -1 or v?
-1
Let b = -7.13 - -0.13. Let q = b - -11. Let i = 4 - q. Is 6 < i?
False
Let s(h) = -h + 2. Let l = 0 + 0. Suppose l = -0*g + 2*g + 10. Let o be s(g). Is 6 equal to o?
False
Let o = 9.04 + -0.04. Let p = -6 + o. Which is bigger: p or 0.1?
p
Let w be (3/(-1))/((-2)/(-138)). Let v = w + 1039/5. Which is smaller: 1 or v?
v
Let b = -67/33 - -15/11. Is 0.15 less than b?
False
Let u = 0.1 - 0.1. Let d = u - -0.2. Let l = 0.8 + d. Which is bigger: l or -1/6?
l
Let x be (19 + -13)/((-3)/(-4)). Are 9 and x unequal?
True
Let f(o) = 13*o**3 - o - 1. Let g be f(-1). Suppose 42*u = 39*u - 36. Is g at most u?
True
Let r(d) = -d - 4. Let j be r(-4). Let z be -1*(1 - 1 - j). Is -3/7 at most z?
True
Suppose 29*v + 570 = 19*v. Which is smaller: 1 or v?
v
Let y = 2 - 16. Which is smaller: -13 or y?
y
Suppose 150 = 6*d + 30. Which is smaller: d or 19?
19
Suppose t = -3*t + 12. Let r be (t - -3) + -1 + -1. Let j be ((-7)/(-3) + -2)*r. Is j <= 1?
False
Let l = 2912 - 20332/7. Which is bigger: l or 6?
l
Let m be -1*(1 + (-9)/(-15)). Is -2 < m?
True
Let u = -239.4 - -212. Let o = u + 30. Let r = o - 0.6. Which is smaller: 2/7 or r?
2/7
Let g = 27.7 + -28. Which is smaller: g or -12?
-12
Suppose 5*h = 2*k + 18, -3*h - 5*k - 12 = h. Let b(i) = 6*i**h - 3*i + 4*i**3 + 2*i + 8*i - 5*i**3. Let n be b(7). Which is bigger: n or 3/8?
3/8
Suppose 4*b + 126 = -5*b. Is b greater than -17?
True
Let a be -2 + ((-28)/4 - -1). Let i be (-4)/8*a/(-6). Is i at least as big as -4?
True
Suppose 3 = -3*h - 6. Let x = -20 - h. Is -18 greater than or equal to x?
False
Let g = -15 + 14. Which is bigger: 2/35 or g?
2/35
Let p be (-9)/6 - (-2)/4. Suppose 2*l = 5*l - 6. Let z = l + p. Is 0 not equal to z?
True
Suppose 1 = -3*i + 7. Which is smaller: i or 2/3?
2/3
Let s = 3126/11 + -284. Let c be (-1)/2 + 6/4. Is c at most as big as s?
False
Let g = 47.3 + -50. Let d = 8 + -5. Let i = g + d. Is -1/2 < i?
True
Let w = -5 + 6.4. Let f = 1.4 - w. Is -1/2 > f?
False
Suppose -2*h - 4*z + 56 = 0, 0*h + 2*h + z - 56 = 0. Are h and 29 unequal?
True
Suppose 23 = 2*w - 3*r, r = -5*w + 3*r + 30. Does 4 = w?
True
Let t(p) = p**2 + p. Let h be t(-1). Let y = -1465/336 + 3/112. Let q = 5 + y. Which is greater: q or h?
q
Let v(u) = 3*u - 7. Let h be v(8). Which is greater: h or 16?
h
Let q = -234 + 1174/5. Let j = -6 + 8. Suppose -j*w = 2*b - 0*b + 8, 0 = w - 5*b - 26. Is q equal to w?
False
Let m = -2437/6 + 406. Let s = -0.2 + 1.2. Is m at least s?
False
Let r be 6*(-1)/(2 + -3). Suppose 3*j = -j + 16. Suppose -j*c = -c + r. Do c and -2 have the same value?
True
Let g be (-1)/(9/6 + -1). Let k be (g - 0)/2 + -2. Let i = 1/68 - 103/68. Is k equal to i?
False
Suppose 0 = -0*t - 5*t. Suppose -2*n - 1 = 2*g + 7, t = 2*n + g + 4. Is n greater than 3?
False
Let y(n) = n**3 + 12*n**2 - 14*n - 19. Let b be y(-13). Which is bigger: 2/17 or b?
2/17
Let y = 38 - 38.7. Is y != -1?
True
Let o be (-1 + 0)*(-2)/(-2). Let p = 3 + o. Let l be p/(-3) - (-8)/12. Which is smaller: 2/3 or l?
l
Let l = 19.45 + -0.45. Let g = l - 20.8. Let t = 2.5 + g. Which is bigger: t or 1?
1
Let r(m) = -10*m**3 - 2*m**2 + m. Let u be r(1). Which is smaller: -3 or u?
u
Suppose 10*o = 817 - 267. Which is smaller: 56 or o?
o
Let x = 18.08 - 19. Let q = x + -0.08. Which is smaller: 1 or q?
q
Let w = 57.2 - 57. Is w bigger than 0.2?
False
Let y be (-24)/(-10)*(-120)/(-9). Let d be (1/2)/((-216)/y). Is d at least as big as -0.2?
True
Let m = 4/37 + -752/111. Is -6 bigger than m?
True
Let r(z) = z**2 + 6*z + 1. Let f be r(-5). Let t be (1 + f/(-2))/(-5). Suppose -p + 4*p = 0. Which is bigger: t or p?
p
Let y = 0.5 - 0.3. Let o = 145 - 146. Is o smaller than y?
True
Suppose 12*l = 10*l - 2. Is l bigger than -5/4?
True
Let o be (5 - 2 - 1)*3. Let m(b) = -o*b + 3 - 7*b**2 + 0*b**3 - 7 - b**3. Let y be m(-6). Which is bigger: y or -2?
-2
Let h = 432 + -3911/9. Let f = 20/9 + h. Is 0.4 at least f?
True
Let n = 475/4 + -120. Do -1 and n have different values?
True
Let u be 1 + (54/(-26) - -1). Let y = u - -44/65. Is y smaller than 1?
True
Let o be -21 + 4/(-8)*-2. Let g be (-50)/o*(-8)/(-190). Which is greater: 1 or g?
1
Let y = -64 + 61. Are -1 and y unequal?
True
Let u = 5 + 4. Suppose 2 = 2*z - 2*h - 4, z + u = -3*h. Is z < 6/13?
True
Let j = 83 + -84. Is j at least as big as 12?
False
Suppose 2*l = -3*k + 8 + 7, 3*k + 5*l - 24 = 0. Let f = k - 2. Is f >= 2/9?
True
Let l(p) = 3*p**3 + 7*p**2 + p + 6. Let j(t) = -10*t**3 - 22*t**2 - 3*t - 18. Let c(v) = -2*j(v) - 7*l(v). Let m be c(-5). Which is bigger: m or -15/7?
m
Let j be 9/15 + 33/(-5). Which is bigger: -5 or j?
-5
Suppose 2*f + 15 = -3. Let x be f/(-21)*(-8)/12. Let l = 9 + -4. Is l <= x?
False
Let h be ((-76)/44)/(0 + 1). Let s be ((-4)/(-20))/(11/(-62)). Let q = h - s. Are 3/5 and q unequal?
True
Let t(x) = x**2 + 8*x - 5. Suppose -16 = 2*a + 2. Let k be t(a). Which is smaller: k or 5?
k
Let c = 5 + -5.7. Is c bigger than -0.1?
False
Let p = 635/284 + 1/71. Is -0.1 less than p?
True
Let f be 0 + (0/(-3) - -3). Let c(p) = -p. Let t be c(f). Let k = t - -3. Which is greater: -1/7 or k?
k
Let d = 12 + -19. Let s(t) be the second derivative of t**3/6 + 3*t**2 + t. Let r be s(d). Is 0 < r?
False
Let i be (10/2)/(2/4). Suppose -4*l - 2*w - i = 0, 5*l = -4*w - 15 - 2. Is -2/39 smaller than l?
False
Let j = -46 - -181/4. Let h(v) = 3*v + v**3 - 2*v - 2*v - 5*v**2 + 4. Let t be h(5). Which is bigger: t or j?
j
Let r = 0.2 + -0.22. Let v be -6*(-8 + 7)*(-1)/(-6). Is v greater than or equal to r?
True
Suppose 0 = 6*u - 12*