 -47. Let k(d) = d**3 + 6*d**2 - d - 3. Let b be k(-6). Suppose -2*f - 3*f = 2*s + 12, -b*s = f - 8. Which is smaller: p or s?
p
Let r = -32 - -76. Suppose 219 - r = 5*z. Let g be 4/z - (-2)/7. Which is bigger: 3/4 or g?
3/4
Let n = 34 + -28. Is n >= 0?
True
Let i = 128/221 - 6/13. Suppose -2*b = -1 - 1. Is b greater than i?
True
Let h = -3 + 3.1. Let b be ((-4)/22)/(-1) - 0. Which is bigger: b or h?
b
Let f = -8 - -9. Are f and 2 nonequal?
True
Let k(f) = -f**3 + 2*f + 1. Let a(p) = p - 5. Let x be a(4). Let o be k(x). Is -2/11 greater than or equal to o?
False
Suppose -8 = 4*k + 4*z, -5*z = k + 3*k + 9. Let f = -7 - -7. Is f at least as big as k?
True
Let c(w) = -w. Let a(g) = -4*g - 7. Let x(b) = -a(b) + 3*c(b). Let z be x(-6). Let f = -4/37 + 142/629. Which is greater: f or z?
z
Let g = 0.22 - 1.32. Let h = -0.2 + 0.3. Let t = g + h. Is 2 smaller than t?
False
Let o = 7.22 + 0.08. Which is greater: 2/3 or o?
o
Let p = 0 + 0. Let q be p - 2/(-3)*1. Suppose -4*d = 3*z - 10, 2*d + d - z - 1 = 0. Which is smaller: d or q?
q
Let p = -0.03 - -24.03. Which is bigger: p or 0.1?
p
Let d(k) = -k - 6. Suppose 1 = n + 3, 2*m = -5*n - 18. Let x be d(m). Which is greater: x or -5/9?
-5/9
Let h = -7 - -10. Suppose 0 = 2*l + l - h. Which is bigger: 3/2 or l?
3/2
Let v(t) be the second derivative of t**3/6 + 9*t**2 - 4*t. Let j be v(-13). Suppose -2*q - 2*i + 2 = 0, -4*q + 2*q - 4*i = 8. Which is smaller: q or j?
j
Suppose 5*h - 7 = 13. Let f be (-7)/h - (1 + -3). Which is smaller: 0 or f?
0
Suppose -11 - 10 = -4*c - v, 2*c + 3*v = 13. Suppose c*m - 8 = m. Is m < 0?
False
Let b = -19 - -17. Is b not equal to 0?
True
Suppose -2*p - 5*p - 35 = 0. Do -5 and p have the same value?
True
Let i(g) = g**2 - 6*g + 8. Let q be i(8). Let c be q/(-112) + 1/6. Which is smaller: c or 1?
c
Let l = 1 - -1. Let d = -5 + 2. Let m = l + d. Is -2 at most m?
True
Let l(m) = m + 6. Let p be l(6). Suppose 2*f - p = 2*g, -f + 3*g - 2 = -12. Which is smaller: f or 6?
f
Let q(f) = f + 4. Let t be q(-8). Let o be -6*((1 - 0) + t). Let d = o + -37/2. Which is smaller: d or -2?
-2
Let n = -0.2 - -0.2. Let b = 0 - n. Suppose -2*s + 4*s + 3*g = -12, 4*s = -5*g - 20. Is s at least as big as b?
True
Let o = 0.08 - -0.02. Let l = o + 0.9. Which is smaller: -5 or l?
-5
Let m be (-4)/(-18) + (-173)/9. Do m and -18 have different values?
True
Let q be (1/4)/((-1)/2). Let h(w) = -4*w**2 + 6*w + 2. Let o be h(2). Which is greater: o or q?
q
Let u = 16 + -11. Suppose -5*a - 5 = -0*a + t, -a - u*t - 25 = 0. Which is bigger: 2/15 or a?
2/15
Suppose -w - 2*i + 3 = 0, 2*w - 4*i - 15 = 7*w. Let p = -10 - w. Let j be ((-30)/4)/(-6 - p). Which is greater: 3 or j?
3
Let p = -0.118 + -0.082. Is p at most as big as 0?
True
Let f = -57/5 + 11. Which is bigger: -14 or f?
f
Let d(n) = -n - 5. Suppose 4*x = -0 - 28. Let v be d(x). Suppose 7*b - v*b = 0. Which is smaller: b or -0.06?
-0.06
Suppose -24 = 4*x + 4*k, -3*x + 2*k = 23 - 5. Which is smaller: -9/2 or x?
x
Let t = -3 - -5. Suppose 0 = -2*s + 2*l - 1 + 5, -t*s + 10 = -5*l. Let f be (124/40 - 3)*-1. Which is smaller: f or s?
f
Let h = -9 - -10. Which is smaller: 4/3 or h?
h
Suppose -4*o = -3*a + 11, 7*a - 3*o - 11 = 2*a. Suppose 4*q - 1 = -5. Which is smaller: a or q?
q
Suppose -4*c + 5*c + 3*v - 12 = 0, 24 = 3*c + 5*v. Suppose -9 = 3*a, c*u + 34 = -u - 2*a. Which is bigger: 0 or u?
0
Let t(b) = -2*b + 1. Let o be t(-2). Suppose -4*i = i - 25. Is i at least o?
True
Suppose 0 = -4*i + 2 - 22. Which is bigger: i or -6?
i
Let m be ((-9)/15)/(1/5). Is -2 bigger than m?
True
Let c be 1/1*(-6)/(-3). Let j = -495.11 - -498. Let b = -0.11 - j. Is b smaller than c?
True
Suppose 2*c + 4*m + 4 = 0, -5*c - 2*m - 2 = -8*c. Is -1 less than or equal to c?
True
Let x = -0.14 - -8.14. Let i = -8 + x. Let t = -3/23 - 14/69. Is t less than i?
True
Suppose h - 387 = -8*h. Is h < 43?
False
Let w(t) = t**3 + 3. Let h be w(0). Suppose 0 = -v - 0 + h. Let p be 10/4 - (2 + -1). Which is smaller: v or p?
p
Let s be (-2 - -4)*(-3)/8. Is 0.04 at least s?
True
Let w = 0.08 + -0.11. Let j = -0.07 + w. Let r = -71/6 - -12. Which is bigger: j or r?
r
Let y = -16 - -18. Is y < -2?
False
Suppose -2*h + 6*h = -8. Is h > -1?
False
Let h(z) = -z**3 + 4*z**2 - z + 3. Let c be h(4). Let m(b) = 9*b + 1. Let p be m(-1). Let i(q) = q + 7. Let o be i(p). Is c at least as big as o?
True
Suppose 0 = -11*d - 80 - 294. Is d < -34?
False
Let h be (8/(-10))/((-6)/15). Suppose -a + h*a = 4. Suppose a*q = 3*q + 3. Is 3 bigger than q?
False
Let o = 1.9 - 2. Suppose -4*d - 2*g + 272 = 0, -3*g = 5*d - 43 - 297. Let t be d/(-144) - (-2)/8. Is o < t?
False
Let v = 5.91 - -0.09. Let w = v - 7. Which is greater: w or -0.05?
-0.05
Let p be 4/(-32) - 2/16. Is p bigger than 0.02?
False
Suppose 0 - 10 = -2*v, -t - 5*v = -51. Which is greater: 24 or t?
t
Let f = 0.33 + -0.13. Which is smaller: f or -1.7?
-1.7
Let g = 0 + -0.9. Let d = -1.1 - g. Is 1/3 equal to d?
False
Let y = 1 + -3. Suppose -g = -6*g. Let i be ((g - -1) + y)*-1. Which is smaller: 0 or i?
0
Let l = -2/633 + 428/1899. Suppose u + 2*w = -u + 2, 3*w = 4*u + 3. Which is bigger: u or l?
l
Let g = 19 - 18. Suppose -2*q + p + 40 = 3*q, 3*p = -2*q + 33. Is q equal to g?
False
Let f be (-29)/(-30) + 20/150. Which is smaller: f or 2?
f
Suppose -29*r + 34*r = -65. Is -12 not equal to r?
True
Let w be 6/14 - (-108)/(-546). Let m = 2 - 2. Which is bigger: w or m?
w
Let y(g) = -g**2 + 105. Let n be y(0). Let p be (-7)/6*15/n. Is 0 at least p?
True
Let y = -1598/93 + 103/6. Is y at most as big as 0?
True
Let h = 8.5 + -8.5. Which is smaller: h or 5?
h
Let u(c) = c**2 - 7*c + c**2 - 3*c**2. Let t be u(-4). Let f = t + -25/2. Do f and -1 have different values?
True
Let s be ((-2)/(-4))/(6/(-12)). Is s <= -30/17?
False
Let q(f) = 2*f - 5. Let z be q(5). Is 6 != z?
True
Let v = 0.9 + -0.79. Let i = 0.01 - v. Which is bigger: 0.1 or i?
0.1
Let a be (-1)/((9/30)/((-2)/(-4))). Let v be (6/4)/(3/(-4)). Is v smaller than a?
True
Suppose 0*t - 5*q - 15 = 2*t, -t - 10 = 3*q. Suppose a = t*s + 7, 4*s + 4*a = 1 + 3. Is s > -5?
True
Let f be (-2)/(-3) + 6/(-9). Suppose -n - 2*n + 27 = f. Let q be (-3)/15 - n/5. Which is smaller: q or -1/2?
q
Let x = 109 - 108.9. Is x < -0.45?
False
Let k = -28222 - -113449/4. Let s = k + -141. Let w = s + 1/2. Is -1 greater than w?
False
Let t = -53 + 3023/57. Which is bigger: 0 or t?
t
Let u(y) = -3*y + 2*y**3 - 2*y**2 - 7*y**2 + 8 - 3*y**3 - 4*y. Let t be u(-8). Is t less than 1/2?
True
Let d = -1 - -0.9. Let u = -304.2 + 303. Is d <= u?
False
Let h(p) = -p**3 - 3*p**2 - p. Let q be h(-2). Is -2/3 at most as big as q?
False
Let t = 0.04 - 0.09. Let v = t - -0.15. Let m = 25/42 - 2/21. Is m less than or equal to v?
False
Let h = -4 + 8. Let c be ((-2)/8)/(3/32). Let u = 2 + c. Is h greater than u?
True
Let i be (-2 + (-14)/(-9))/(-5). Is 1 not equal to i?
True
Let g = -7 - -9. Let l(z) = z**2 - 9*z + 2. Let d be l(9). Let n = -1 + d. Is g bigger than n?
True
Let c(f) = -10*f - 2. Let v(n) = 5*n + 1. Let r(m) = 3*c(m) + 7*v(m). Let s be r(-2). Is -10 bigger than s?
False
Let w = -21 - -29. Let j be (-12)/w*(14 - 0). Let x be (-30)/21 + (-9)/j. Which is bigger: x or -2/9?
-2/9
Let l = 38/3 - 724/57. Let v = l - -7/19. Let j = 1 - 0.9. Is j at most v?
True
Let c be 528/4108 + (-2)/13. Let u = c + 87/316. Let n = -0.02 - -0.42. Is n at most u?
False
Let m be (13 - 3 - 3) + -2. Suppose 0*a = o - a + m, -3 = a. Which is bigger: -10 or o?
o
Let o be -5 + 1 - (-2 + 2). Let z be 3*o/((-36)/3). Which is bigger: z or 4/3?
4/3
Suppose 0 = -5*u - 4*h + 11, u + h = -0*u + 3. Which is bigger: 3/8 or u?
3/8
Suppose -3*y = 9, 9 = -h - 4*y - 12. Let g be 3*1*(-6)/h. Which is smaller: 4/7 or g?
4/7
Suppose 0 = -4*w - 2*o + 4, 4*o - 1 = -9. Let y(v) = -2*v. Let r be y(w). Is -1 at least r?
True
Suppose -2*h = 5*x + 7, h = -3*x - 2*h - 6. Let b = 0.2 - 0.4. Let w = b - -0.2. Which is greater: x or w?
w
Let q(d) = -4*d**2 + 1. Let i = 4 - 5. Let f be q(i). Let z = 3 - 5. Which is smaller: f or z?
f
Suppose -b = i + 2, 0 = 2*b + i - 4*i - 6. Let y = 1 - 13/15. Which is greater: y or b?
y
Suppose -2*d + 16 = -0. Let w be d/(-30) - (-2)/(-5). Do 1/4 and w have the same value?
False
Let b = -133.892 + 134. Which is greater: b or -1?
b
Let r = 152 + -305/2. Is r 