d. Let h be v(4). Let q(n) = -n**2 - 9*n - 6. Let g be q(h). Is g bigger than s?
True
Suppose 5*c - 4*i = -3*i + 12, -5*i = -5*c. Let u be ((-40)/(-12))/5*-6. Let m(d) = d**2 + 3*d. Let f be m(u). Do f and c have different values?
True
Let l be 1/(-2 + 2 - -1). Suppose -g - 2034 + 2035 = 0. Is l equal to g?
True
Let z(h) = -5*h**3 + h. Let c be z(-1). Suppose -26 = c*r + 5*x, -3*r = 2*x + 9 + 14. Let g = r - -9. Which is smaller: g or -2?
-2
Suppose 0 = -h + 46 + 134. Which is greater: -1 or h?
h
Let j(q) = q - 5. Let f be j(9). Let s be 1208/12*3/f. Let l = s + -74. Is l > 0.1?
True
Let c(t) = t**2 + 41*t - 532. Let q be c(-51). Which is smaller: 3 or q?
q
Let r be (-68)/(-2)*1/2. Suppose 228 = -420*a + 432*a. Which is greater: a or r?
a
Suppose -6*t = -3*t + 27. Let c = 6 + t. Let p be (1/c)/(9/27). Which is smaller: 2/33 or p?
p
Let x = -0.2563 + 27.4363. Let m = x + -27. Let v = m - 1.18. Which is bigger: 2/5 or v?
2/5
Let h be (1 - -11) + -7 - 344/68. Is 2.2 at most h?
False
Suppose -4*m - 5*y - 34 = 0, -5*m = -4*y - y + 65. Is 0 <= m?
False
Let x(b) be the second derivative of 5*b**3/3 + 13*b**2 + 11*b. Let w be x(6). Let v = -2665/31 + w. Which is smaller: v or 1?
v
Let z = 3.45 - 1.95. Are z and 1/6 unequal?
True
Let i = 102 + -103. Let p = -0.7 + 0.4. Is p equal to i?
False
Suppose f - 6 = 3*f. Suppose -5*g = -g + 8. Let l be (g/f)/((-32)/12). Are l and 0.6 unequal?
True
Let i be (-1)/((-3)/(-18)*(-4)/(-18)). Let v = 27 + i. Which is smaller: v or 2/57?
v
Let g = 331 + -109. Is g < 222?
False
Let i = -0.25 + 0.35. Let f = -425 + 239. Let u = f + 3908/21. Which is bigger: u or i?
i
Let h = 13 + -18. Let i(x) = x**3 - 6*x**2 - 5. Let t be (-1)/6*-3*12. Let g be i(t). Is h at least g?
True
Let s be -1*(3 + -2)*2. Let i be 2/s - (-12)/(-2). Let r be i/3 + 5/15. Is -2 equal to r?
True
Let l = -9.17 - -57.07. Let i = 9.1 + l. Which is smaller: -0.2 or i?
-0.2
Let j = 62 + 105. Let w = -162.76 + j. Let r = w - 0.24. Is 3 at least as big as r?
False
Suppose -w + 146 = -v - 157, w + 897 = -3*v. Is v bigger than -299?
False
Let r = -76 + 53. Let m = r - -5. Let d = -19 - m. Is -2/67 at least d?
True
Let f(d) = -2*d**2 - 15*d + 30. Let o(n) = n**2 + 7*n - 15. Let c(x) = 3*f(x) + 5*o(x). Let h be c(-11). Suppose 2*s = 2 + h. Are 3 and s equal?
True
Let q be 2 + (-6 - (-3 - 1)). Suppose q = -123*w + 124*w + 2. Is -4 at most w?
True
Let n = -21.6 + 0.6. Which is bigger: n or -0.1?
-0.1
Suppose 0 = 20*x + 6*x - 1378. Do 380/7 and x have different values?
True
Let n(w) = 3*w + 18. Let c be n(-10). Let g be ((-2)/12)/(54/c). Which is bigger: g or 2/7?
2/7
Let m be (-34)/6*(-9)/(-3). Let b = -36677/6 - -6096. Let r = m - b. Is r at most as big as 0?
True
Let b = 553 + -552.98. Which is smaller: b or -23?
-23
Suppose -3*c + 3*l = -3, 5*c - 23 + 26 = 3*l. Is c at most -20?
False
Let i be 19/5 + 3/15. Let v be (-141)/(-12) - (20/(-5))/16. Suppose -v = -i*z + 20. Is z <= 11?
True
Let g = 63 - 101. Let t = g - -37.8. Is t != -22?
True
Let f = 30 - -1. Suppose -n = -f + 4. Let y = n - 14. Which is smaller: y or 1?
1
Suppose -4*q + 4*u + 8 = 0, 0 = -5*q + 4*u + 7 + 5. Suppose 0 = 2*o - 4*o - 3*k + 25, q*k - 35 = -3*o. Which is greater: 27/5 or o?
27/5
Let c = 12 + -10. Suppose -2*i + 2*h + 2*h = 0, -c*i = 5*h + 9. Let m be (-5)/i - (-60)/(-40). Which is smaller: m or 2?
m
Let l = 2 - 1.5. Let v be -5*(4 - (7 - 2)). Let y be (-4 + v)/(1 + 0 + -2). Which is bigger: l or y?
l
Suppose -2*x - 2*n = 8, 3*n = 2*x + 2*n + 17. Let a be (6/18)/((-2)/12) - 4. Which is smaller: a or x?
x
Let k = 98 - 70. Let x = k + -28. Is 25 > x?
True
Let y = -40 - -35.6. Which is smaller: -2 or y?
y
Let r be (5/(-25))/(24/10). Let o(u) = -u + 10. Let h be o(11). Which is bigger: h or r?
r
Let x be (4/12)/((-2)/(-42)). Let b(m) = m**3 - 9*m**2 - 2*m + 11. Let o be b(9). Let t = 14 + o. Is t bigger than x?
False
Suppose -7*c - 45 = -2*c. Let a(p) = -p - 5. Let i = -9 + 13. Let q be a(i). Is q not equal to c?
False
Let p = -3136/3 - -1046. Let a = 3 + -5. Is a at most as big as p?
True
Suppose 0 = -n + 5*k + 10, -3*n - 4*k + 3 - 11 = 0. Let t = -49/12 + 5023/1236. Let f = -295/721 + t. Is n less than or equal to f?
False
Suppose 44 = s + 3*s. Let r = s - 7. Suppose 8 = r*f + 4. Is f at least 4?
False
Suppose 0 = -3*j - 4*h - 17, -9*j + 4*j + 5*h + 30 = 0. Is -7/79 at least as big as j?
False
Let b be (2 - 7)/(5/(-2)). Which is bigger: b or -193?
b
Let n be -2 - (-1 - -1 - 5). Let r be n/(-6)*(-12)/(-285). Is r smaller than 0?
True
Let o = 37 + -35. Suppose -o*i - 166 = 4*j, -j - 4*j - 201 = -4*i. Is -41 != j?
False
Let d(j) = -7*j**2 + 7*j - 2. Let n(q) = q**3 + 4*q**2 + q - 1. Let y be n(-2). Let w be d(y). Let v = w - -712/5. Which is greater: v or 0?
v
Let z be -2*591/24 - 1. Let c = z - -50. Which is smaller: 0 or c?
c
Let v = 0.8 + -1. Suppose 7 = -t + 5. Is v equal to t?
False
Let r = -134.29 + 93.28. Let n = 1.01 + r. Is -2/7 >= n?
True
Let u(w) = -8*w**2 - 58*w - 21. Let i be u(-10). Are -479/2 and i nonequal?
True
Suppose 4*f - 2084 = 2*t, 5*f = -5*t - 244 + 2849. Is f > 521?
False
Let b be (6/5)/(2/290). Let l be b/54 - (-4)/(-18). Let a(p) = -p + 7. Let z be a(5). Is l >= z?
True
Let i = 111 - -42. Let y be i/315 - 2/7. Is -0.03 at least y?
False
Let s be (-8)/39 - (-4)/6. Let k be (-12 - -3)*4/(-12). Let n be 1/(-5) - (k - 42/10). Is s less than n?
True
Let a(z) = z**2 - 8*z - 15. Let j be a(10). Suppose 0 = 3*x - b - 163, 5*x - 245 = -0*x - j*b. Which is bigger: 52 or x?
x
Let h be (-37)/(-70) + 8/80*-5. Is 0 > h?
False
Suppose 0 = 57*c - 58*c - 1. Which is greater: -30/13 or c?
c
Let q(z) = z**3 + 7*z**2 + 10*z + 7. Let g be (40/8)/(1*-1). Let w be q(g). Let j(p) = 7*p - 1. Let r be j(1). Is r less than w?
True
Let d = 5.51 + -2.51. Is d less than or equal to 12?
True
Let t(q) = -q**3 + q**2 + 9. Let m be t(0). Let b = 40 - m. Let r be 2/7 + b/(-35). Which is bigger: r or -1/6?
-1/6
Let u = 164 - 14. Which is greater: 0 or u?
u
Suppose 26*x = 24*x + 2. Is 1 smaller than x?
False
Let f = 40 + -52. Let b = -44/5 - f. Which is bigger: b or 2?
b
Let s = 12 + -10. Let r(t) = 4*t**2 - 2*t. Let d be r(s). Suppose 3*l + d = 0, -m - 2*l = -6*l - 15. Which is bigger: -2 or m?
m
Suppose -2*u = 4*a - 10, 0 = 3*u - 5*a + 19 - 89. Let o = u - 27. Is -12 less than o?
False
Let z = -3.15 + 0.15. Let h be ((-1)/3)/(5/3). Is h at least z?
True
Let f = -11 - -322/29. Let j be (-1)/(-2) - 19/(-38). Which is smaller: j or f?
f
Let p = -3 + 7. Suppose -18 = -p*t - 2. Let o(m) = -m**2 + 7*m - 4. Let l be o(6). Which is greater: l or t?
t
Let d(u) = -3*u**3 + 5*u**2 - u - 4. Let t be d(3). Suppose 0 = 5*h + 5*l + 190, -l = 3*h - 6*l + 154. Is t greater than or equal to h?
True
Suppose -4*x = -f, -4*x = f + 4*f. Which is greater: f or 8/55?
8/55
Let w be 0 + 4/(-2)*-6. Let n be w/(-3)*(-1)/4. Let j = 81/14 + -1201/210. Is j greater than or equal to n?
False
Let d(g) = 44*g + 619. Let h be d(-16). Is h less than -83?
True
Let m be (-2 - -1)/((-1)/8). Let p = -4 + m. Is p greater than 2?
True
Suppose 0 = -3*n + 2 - 5. Suppose 2 = -2*y - 4. Let o be y/6 - 6/(-20). Which is bigger: o or n?
o
Let z = -39 + 38.67. Let g = 0.209 - -0.221. Let a = z + g. Is -20 smaller than a?
True
Let b = -270904/91 + 2977. Let r = 131/1547 + b. Let m be 12/(-105)*10/(-4). Is r less than m?
True
Let b = -12 - -47/4. Let i(v) = v**2 - 7*v - 1. Let r be (15/9 + -2)/(3/(-63)). Let n be i(r). Which is smaller: n or b?
n
Suppose 0 = 5*p - 3*f - 9, 3*p + 4*f - 11 = 2*p. Let q(c) = -c**2 + 5*c + 9. Let l be q(6). Suppose l*a = -0*a + 6. Is p != a?
True
Let p = 109.49 + -110. Which is smaller: -1/4 or p?
p
Suppose -y - 15 = 5*q - 3, 4*y = q - 6. Let j = 26 - q. Suppose -5*z = 3 - j. Is 7 != z?
True
Let p = -0.5479 + -0.4521. Let n = 0 + -8. Which is smaller: p or n?
n
Let x = 1034 + -1034.1. Which is smaller: x or -599?
-599
Suppose -7*p - 9*p + 112 = 0. Suppose -26 = -4*a - 3*g, 4*a = -5*g + 23 + p. Are 16/3 and a unequal?
True
Suppose -3*h + 36 = 4*l, 4*h = -l + 5*h + 16. Let z be 2/12 + 4/(24/65). Which is bigger: z or l?
l
Let i be (5/2)/(6/4). Let w be ((-32)/(-48))/(1/(6/2)). Which is bigger: w or i?
w
Let g = 1 - 5. Let j(a) = -3*a + 20. Let v be j(8). Let c be g/(-5) + 4 + v. Which is smaller: 0 or c?
0
Let t be ((-7