. Let d(j) = -13*j**2 - 28*j + 12. Let m(w) = 9*a(w) + 2*d(w). Let c be m(-7). Is c < i?
True
Let h = -9 + 8.96. Let x = h - -0.04. Do x and 0 have different values?
False
Let x = -72 + 78. Which is smaller: 19/4 or x?
19/4
Suppose -6*v + 9*v = -3. Let p(s) = -s**2 + 6*s + 7. Let y be p(7). Suppose o = -y*o - 1. Is v greater than o?
False
Let j be (1/2)/(302/(-4)). Let g = 297/755 - j. Let z(u) = u**3 - 3*u**2 - u + 3. Let m be z(3). Which is smaller: m or g?
m
Let y(j) = -3*j + 1. Let h(s) = -4*s + 1. Let f(p) = 2*h(p) - 3*y(p). Let a be f(4). Is 3 at most a?
True
Let c = -4 + 6. Let p be (27/12)/(3/c). Which is greater: 3 or p?
3
Let f = 14 - 5. Let j = -22.8 - -23. Are j and f unequal?
True
Let x = 20 + -18. Are 10/3 and x non-equal?
True
Let g be (-10)/35 + 144/14. Suppose 2*i - 3*s + 4*s = g, -5*s = -10. Is i less than 4?
False
Let a be (-2)/(-13) - (-111)/39. Suppose -x = 3*m + 10, 2*m + 3 = a*x - 0. Is -4/5 greater than or equal to x?
True
Let g = -69/2 + 37. Suppose -8*y + 26 = 2. Which is greater: g or y?
y
Suppose 0 = -n - 1, s - n - 1 = -4*s. Is s at least 2/97?
False
Suppose 39 = -6*f + 45. Let k be ((-2)/(-25))/((-6)/10). Which is smaller: f or k?
k
Let r(f) = -6*f**3 - 9*f**2 - 2. Let l(w) = 5*w**3 + 8*w**2 + w + 2. Suppose -c + 0 = 5. Let z(y) = c*l(y) - 4*r(y). Let b be z(-3). Which is smaller: b or 6?
b
Let u be (-5 - -2) + 4*1. Let m = 6 - 9. Let k be -2 - (-1 - m)/(-2). Which is smaller: u or k?
k
Let h be (-14)/24 + 1/4. Let i be (1/(-2))/(2/(-4)). Which is smaller: h or i?
h
Let u = 0.097 + 0.103. Is 4/15 smaller than u?
False
Let o = 21.5 - 22. Let i = 3.6 - 4. Let v = i - o. Which is greater: 0.6 or v?
0.6
Let n = 10.1 - 5.6. Which is greater: n or 1?
n
Let o = -4 + 7. Suppose 2 = -5*v - o. Is 2/5 equal to v?
False
Suppose 3*q + 22 = -2*d, 36 = d - 5*d - 4*q. Let n = -6 - d. Suppose 0 = r - 3 + 2. Which is smaller: n or r?
n
Let y be (5 + -8)/((-2)/4). Let v be (4/(-40))/(1/y). Which is greater: 0 or v?
0
Let l = -13 + 14. Which is greater: l or 4/7?
l
Let l = 30 + -28.3. Let k = l + -2. Let h = -3 - -3.1. Which is smaller: k or h?
k
Suppose -2*t = -1 - 9. Suppose -3 + 8 = t*z. Let c = 2 - z. Is c bigger than 1?
False
Let b = -17 + 12. Is b at most as big as 1?
True
Let f = 481/652 - -2/163. Which is bigger: 1 or f?
1
Let p(x) = -x**2 + 3*x + 4. Let m be p(4). Suppose 5*a + 9 = 2*d - 1, a - d + 5 = m. Which is smaller: -1/6 or a?
-1/6
Let s be 260/(-6)*(-12)/10. Let l = s + -35. Let w = 50/3 - l. Are w and 1 non-equal?
True
Let z = 2010 + -46221/23. Which is greater: z or 0?
z
Let f be 3/(-4 - -2 - -1). Let s = 7 - 11. Which is bigger: f or s?
f
Let n be ((-12)/(-77))/((-6)/(-21)). Which is greater: n or 0?
n
Suppose 2*a + 0*a = 4, -3*x - 4 = -2*a. Are x and 3/56 unequal?
True
Let u be (-3)/(81/21) + (-2)/9. Is 1/6 greater than u?
True
Let x = 4 - 1. Suppose -x*m = -2*j - 14, -6*j = -2*j - 4*m + 20. Which is smaller: j or -1/7?
j
Suppose 4*a = w - 16, -2*w - 6*a + 12 = -4*a. Let h = 15 - w. Which is smaller: h or 6?
6
Let t(q) = -2 + 3*q**2 + 3*q - 6*q + q**3 + 3. Let l be t(2). Let n be (2/10)/(l/25). Is n at least as big as -6?
True
Let o = -1.6 + -5.4. Let b = -7.02 - o. Which is bigger: b or -2/7?
b
Let i = -4 - -3. Let z = 4053/10 + -405. Let v = z + -9/10. Which is smaller: v or i?
i
Let h be (-50)/60*(0 - 16/(-15)). Which is greater: 0 or h?
0
Let l = 36077/116 + -311. Which is bigger: 1 or l?
1
Let m(g) be the third derivative of -7*g**5/60 - g**4/24 - g**2. Let n be m(1). Is -8 <= n?
True
Let k be -1 + -3 + 12/10. Which is bigger: k or -3?
k
Let x = -12 + 6. Let q be 6/(-4)*20/x. Let a = q - 7. Do -0.1 and a have the same value?
False
Let d(u) = -2*u - 4. Let s be d(-2). Which is greater: -1 or s?
s
Let b = 6.8 + 0.2. Which is bigger: -12 or b?
b
Let x = 1446 + -96877/67. Is -1 equal to x?
False
Suppose -7*o + 41 - 181 = 0. Do o and -18 have different values?
True
Let i = 2.96 - 3. Let n = -0.1 - i. Let x = -0.94 + n. Is -1 greater than x?
False
Let d = 39 - 157/4. Which is bigger: d or 15?
15
Let v = 3.91 + 0.09. Which is bigger: 0 or v?
v
Suppose 2*k = -2*k - 3*g - 93, 0 = -k + 5*g - 52. Let h be (-38)/(-30) - 9/k. Is h != 3?
True
Let x(c) = 6 - c**3 - 8 - 2*c**2 - 1 - 2*c. Let u be x(-2). Is 14/9 bigger than u?
True
Let n = -49 + 246/5. Is n > 1?
False
Let z = 2.7 + -5.6. Let w = 2.8 - -0.2. Let h = w + z. Which is smaller: h or 2/9?
h
Let n(z) = 8*z. Let o be n(1). Is 8 less than o?
False
Let p be (-2*(-1)/4)/((-9)/2). Which is greater: 1 or p?
1
Let n = 0.1 + -0.16. Let f = 3.94 - n. Let p = -139 + 139. Is p at most f?
True
Suppose 3*z + 3*q - 48 = 0, 2*z + 0*q + q - 33 = 0. Let b = 52/3 - z. Is -9/4 greater than or equal to b?
False
Suppose 3*h + 0 = -3. Let v be (3 + 1)*2/2. Suppose 2*z + 3 = 2*j - 1, v*z - 5*j = -10. Is z <= h?
False
Let o = 4.3 + -3.3. Which is greater: o or -1.5?
o
Let r = 24 - 97/4. Let t = 0.14 + 0.06. Which is greater: t or r?
t
Let d = 5 + -5. Suppose d = -t - t. Let u = 107/3 + -36. Which is bigger: t or u?
t
Let m = 0.51 + -1.51. Is m greater than or equal to -21?
True
Let w be 77/34 + (-9)/6. Is w less than or equal to 0?
False
Let r be (2/(-28)*4)/1. Let m be 50/6 - 6/18. Which is greater: r or m?
m
Let b = 9 - 11. Is -2 at least as big as b?
True
Let x = -6 - -7. Do x and 1/30 have the same value?
False
Let q = -5 - -7. Let k = -32 - -36. Which is smaller: q or k?
q
Suppose 4*k - 158 - 24 = -5*c, 0 = 3*k - 4*c - 152. Suppose k = -0*h + 3*h. Let l be -2 + (h/6 - 0). Which is bigger: l or 0?
l
Suppose 0*r = r. Let g(m) = 5*m - 35. Let s be g(7). Is s > r?
False
Let c(z) = 6*z**2 + z + 1. Let f be c(-1). Let m = f + -2. Suppose 0*n - 3*n + 6 = 0. Is m <= n?
False
Let n = 299/63 + -34/7. Let w be 0/1 + -1 + 1. Let j be w/(0 - 3)*1. Is n < j?
True
Let j(f) = f**3 + 9*f**2 - 11. Let n be j(-9). Let o be n/(-8)*(-47 - -1). Let z = -63 - o. Which is smaller: 1 or z?
z
Let x be (-4)/(-21)*(-6)/4. Let a = 105/452 - -2/113. Which is bigger: a or x?
a
Let i = -2 - -1.9. Is i smaller than -1?
False
Suppose -9*g = -7*g + 16. Let h = -4 - g. Is 4 <= h?
True
Let z = -0.043 - 26.957. Let h = 24 + z. Is h >= 1/10?
False
Let b(q) = -q**3 + 9*q**2 + 1. Let a be b(9). Suppose 0 = -3*l + 4*f - 5, -l - 2*f = 3*f - 30. Which is greater: a or l?
l
Suppose g - 6*g - 15 = 0. Let a be 65/20 - (-6)/8. Suppose a*w - 9 = -25. Which is smaller: g or w?
w
Suppose n - 5*n = -48. Suppose -2 = -4*k + t, -4*k - 5*t = -2*k - n. Which is bigger: 1/5 or k?
k
Suppose -5*f + 6 = 21. Let q(b) = -b**3 - 5*b**2 - 6*b - 10. Let o be q(-4). Is o >= f?
True
Let g = 19 + -12. Let x = g - 9. Let i be 1 - (x + 4 + 0). Is -1 < i?
False
Let c(y) = 4*y**3 - y**2 + y - 6. Let a(l) = l**3 - 1. Let n(k) = 3*a(k) - c(k). Let i be n(0). Which is smaller: i or 5/3?
5/3
Let a = 16 - 9. Let n = 8 - a. Are 1 and n equal?
True
Let j(f) = -f + 7. Let n be j(3). Let l be -4*(2 + 1*-3). Let p = l - n. Is p at least 2/5?
False
Let i be 2/(-4)*((-35)/(-15) - -3). Which is smaller: -4 or i?
-4
Suppose 0 = 11*v - 10 + 32. Let n be 10/(-4) - 2/(-4). Are v and n equal?
True
Suppose -h + 349 = -5*k - 111, 3*k + 276 = -2*h. Are k and -92 equal?
True
Let u = 1.15 + -0.15. Is u <= 0.02?
False
Let l = 96/265 - -2/53. Are l and -5 equal?
False
Suppose 16 - 61 = 3*z. Suppose -45 = 4*n + f, 5*f = -3*n - 2*n - 75. Let w be 6/z + (-6)/n. Is 0 at least w?
False
Let c = 0.2 - 0.4. Let q = c + 1.2. Let f = 0.09 + -1.09. Which is smaller: q or f?
f
Suppose 4*v - 36 = -0*v. Which is bigger: 10 or v?
10
Let p = -0.215 + 0.163. Are p and 2 unequal?
True
Let j be (-2 - 1*-2)/(-2). Let p(g) = j*g**2 + 6 + 2*g**2 - 6*g - g**2. Let s be p(5). Are 2/3 and s non-equal?
True
Let j = 81 + -69. Let b = 2 + -2. Is b < j?
True
Let p(r) = -r + 2. Let k be p(2). Let z be 0 - (1 - 1 - k). Are z and -2/5 nonequal?
True
Let d = 0.129 - 0.029. Is d >= -1/3?
True
Let f = 21 + -3. Suppose 2*h = u + 6, -2*u + 2 = 4*h - f. Suppose -6 = -4*t + u. Which is bigger: 4 or t?
4
Suppose -10 = 2*c - 12. Are c and -2/7 unequal?
True
Let p be (10 - 6) + 20/(-7). Is 1 less than p?
True
Let u = -1 + 2. Let h(m) = 2*m**2 - 1. Let w be h(u). Suppose -a + 2*k = -6 + 15, 3*k = 12. Which is smaller: w or a?
a
Suppose -o = -4*s - 18, 0*s = 4*o - 3*s - 7. Suppose 2*j + 12 = -2*j + 4*t, -5*j + 2*t = 