p(k) - 3*v(k). Let q be j(8). Is q less than or equal to -31?
True
Let d be 2/(-4 - (-12142)/3035). Let v be d/175 - 6 - (-2)/(-10). Which is bigger: -0.1 or v?
v
Let x be (1/(-2))/(2/(-4)). Let c(w) = w**3 + w - 1. Let a be c(0). Let l be (26/30 + a)*-12. Which is greater: x or l?
l
Suppose 32693 = -43*o - 8802. Is o < -965?
False
Let x = -25.2 - -25. Let k be -2 + ((-4)/6)/(136/(-444)). Is k at most x?
False
Let b be 10/(-2 + (2 - -2)). Suppose 3*s + 55 = -b*g, -g + 1 = -4*s - 11. Let u = -1554 + 1546. Is g less than u?
False
Let i(r) = -r**2 + 9*r - 22. Let w be i(5). Let j(m) = -m**3 - 4*m**2 - 3. Let z be j(-4). Let c be z + 6 + 3 - w. Which is smaller: c or 7?
7
Suppose 16*h - 39 = -23. Is h at most 62/27?
True
Suppose 4*v = -2*k + 20, 0*k = 2*v + 4*k - 16. Let f be (2 - (-6)/(-4))*(v - 2). Let r be (1/4)/(5/4). Is f less than r?
False
Suppose 0 = 11*f + 17*f - 4340. Which is smaller: 157 or f?
f
Let k be (3/((-3)/(-4)))/(-6 - -4). Let b be -8*(10*(-4)/16 - k). Which is smaller: b or 10/3?
10/3
Suppose 5*b = 5*p + 15, b + 3*p + 9 = -4*b. Suppose b*h - 4*h - 5*z = 59, h + 5*z = 4. Do -21 and h have the same value?
True
Suppose -4*i = -3*o - 165, -3*i - 37 + 139 = 5*o. Which is smaller: 41 or i?
i
Let i = 88.09 - 88. Let u = 7.81 + -8. Let l = u + i. Which is bigger: l or -1/5?
l
Let c be 5 + -2 - (-17 + 5). Suppose 4*h = -5 - c. Is h at least as big as -5?
True
Let c = -15 + 26. Let x = c - 27. Let t be (-7)/(-4) + (9 - 11). Which is greater: t or x?
t
Let r = -37.4 - -37.4. Which is smaller: -77 or r?
-77
Let r(v) = -v**3 + 8*v**2 + 23*v + 123. Let h be r(16). Do -1558 and h have different values?
True
Let x(i) = i**3 + 6*i**2 + 3*i - 7. Let f be x(-5). Suppose 98 = -4*n - 5*k + 334, -n + 3*k + 42 = 0. Let r be (-1 - 2)/6 - n/(-12). Which is smaller: r or f?
f
Suppose -d + 2 = -0. Suppose -4*t = 2*v + 12, d*t + 2*t = -5*v - 24. Which is smaller: -3.3 or t?
-3.3
Let y be (-22)/33*(-738)/8. Let c = 63 - y. Is 1 >= c?
False
Let l = 257/8 - 32. Suppose 3*g + 2*g + 3*b = 46, -g + 3*b = -2. Suppose 0 = -3*j + g*j. Which is smaller: j or l?
j
Let f = 0.516 - 0.47. Let w = f + 0.054. Is 2/15 greater than or equal to w?
True
Let d = 0.082 - -0.118. Is d bigger than -2/1147?
True
Suppose 9 = -3*k - 0. Let m be (3 - (k + 8)) + 5. Is 0.2 >= m?
False
Let c(v) = 6*v**2 - 5*v**2 + 4*v**2 - 4*v**2 + 19*v + 9. Let m be c(-18). Is m less than -10?
False
Let x be 1338/(-180) + (-2)/3. Is x at least as big as -8?
False
Let q = 0.27 - -18.73. Let v = -19.08 + q. Let o = 2.92 - v. Is o at most 4?
True
Let u be (-18 - (-1 + 1)) + (146 - 145). Let o = -0.2 + 0.3. Is u at least as big as o?
False
Let w be 252/(-42)*(2 + -1 - -8). Let q be w/(-72) + 15/(-4) + -1. Is q bigger than -4?
False
Let q be 25/(-10)*32/(-5). Let x = q - -4. Which is greater: x or 19?
x
Let z = 0.3 - 0.2. Let f = 106 + -160. Let h = f - -53. Which is smaller: h or z?
h
Let r = 35 - 29. Suppose r = 3*y + 9. Are y and -5 equal?
False
Let k = -261.15 - -261. Is 13 greater than or equal to k?
True
Let z = 3 + 0. Let w be 67/13 - 10/65. Suppose -w*q = -z*q + 4. Which is smaller: -3 or q?
-3
Suppose 0*g = g - 3. Suppose -34 + 1 = -g*n. Which is greater: n or 8?
n
Let g = -1945 + 1940. Is g bigger than -88/15?
True
Let a(g) = g**3 - 10*g**2 - 2*g - 3. Let n be -8 + -3 + 7 + 14. Let u be a(n). Which is greater: u or -22?
-22
Let w(c) = c**2 + 4*c - 6. Let y(k) = -2*k + 5. Let l be y(5). Let o be w(l). Let p = -1242 + 7451/6. Is p at most as big as o?
False
Let j be 5/(-8)*8/(-20). Let h = 13 - 28. Let g = -14 - h. Which is smaller: j or g?
j
Let a = 6 - 17. Let o be (-2)/(-1) + (0 - a). Let u = -15 + o. Which is smaller: -1 or u?
u
Let b = 35 - 50. Let j be (-6)/15 - 126/b. Suppose 0 = 5*n - 3*o - 31, 0 = 4*n - 4*o + 2*o - 26. Is n at least as big as j?
True
Let n = -323/25420 + 1/1640. Is n bigger than 1?
False
Let y = -0.02 + -20.98. Suppose 5*a - 20 = -5*p, a - 5 = -0*a. Is y < p?
True
Let h = 0.75 + -0.05. Let j = 1505 + -1503. Is j greater than or equal to h?
True
Let s = 41 + -48. Let w = -7 - s. Which is greater: 0.2 or w?
0.2
Let y(j) = j**3 + 9*j**2 + j + 8. Let a = -10 - -11. Suppose -r - 8 = a. Let q be y(r). Are q and -9/4 equal?
False
Suppose 3*l = 5*f + 675, -l - 4*f = -2*f - 214. Suppose 151 - 175 = -c. Let h be 2 - 11/(l/c). Which is greater: h or 1?
1
Let t = -211 + 212. Which is smaller: t or -3/53?
-3/53
Let q = 470.94 - 465. Let w = 6 - q. Let r = w + -2.06. Is 4 greater than or equal to r?
True
Suppose -4*q + 60 = -q. Suppose 0 = 4*o - 2*g + 32, 0 = -2*o - 0*o + 2*g - q. Suppose 0 = 11*n - 4*n + 49. Is o >= n?
True
Let l(o) = o**3 - 15*o**2 + 27*o + 33. Let u be l(14). Which is greater: 0.2 or u?
u
Let x = 28.1 - 2.1. Let w = 24.722 - -0.278. Let u = w - x. Is u not equal to 1?
True
Suppose 5*l - 7*l = -2. Let z be -1 - -2 - (l + -5). Is 5 greater than z?
False
Let x = 13 - 14.3. Let j = x + 1.2. Is j bigger than -0.1?
False
Let d = -1.67 + -0.33. Which is greater: -1/10 or d?
-1/10
Let q be ((-88)/(-40))/((-2)/(-10)). Let u be ((-1804)/56)/q*-32. Let o = u + -94. Which is smaller: 0 or o?
o
Let c be -3 + (-12)/(-3) + 2/2. Let f be 5/(8 + c)*(-8)/(-10). Is f greater than 1?
False
Let g(f) = 3*f + 3. Let r(y) = -y + 1. Let a be r(6). Let z be g(a). Let l be (9/z)/(54/(-16)). Which is smaller: l or -1?
-1
Let l be (-8)/(-12)*(-6)/(-4). Suppose -z - 5*h + 0 = 6, z + 6 = h. Let u be 3/((-10)/(-8)*z). Is u at most as big as l?
True
Let t(j) = -13*j**3 + 12*j**2 + 3*j. Let y be t(2). Which is smaller: y or -51?
-51
Let w = 1092 - 1103. Does -136/13 = w?
False
Let s(j) = -7*j - 65. Let c be s(-9). Which is smaller: -18/13 or c?
c
Suppose 0*r - 5*r = 60. Let d = r - -13. Suppose 0 = 2*z - 0 - 2. Is z smaller than d?
False
Let p = 0.51 + -0.01. Let k = p + -0.3. Let n = -0.1 - 0. Is n less than k?
True
Suppose -5*r + 1820 = 5*l, -4*r + r - 4*l = -1094. Which is greater: 361 or r?
r
Let p(s) = s**2 + 8*s + 12. Let o be p(-6). Let a be -2 - -4 - 128/68. Let t = -32/561 + a. Which is smaller: o or t?
o
Let r = -87 - -100. Suppose 7*t + r + 8 = 0. Is -22/9 less than or equal to t?
False
Let q(a) = a**2 + 2*a + 1. Suppose -2*w + 29 = -w. Let p = w + -30. Let c be q(p). Is c bigger than 0?
False
Let y = 3.4 + -3. Let n = y + -0.3. Let l = -188 + 194. Which is bigger: l or n?
l
Let i = 464 + -464.4. Let s be ((-12)/8)/((-6)/(-8)). Which is bigger: s or i?
i
Let d(y) = -y + 62. Let w be d(27). Let f(z) = -z**2 + 7*z + 8. Let x be f(7). Suppose -x*i + w = -13*i. Is -6 at most i?
False
Let i = -1482 - -69648/47. Is 0 greater than or equal to i?
True
Let w(a) = -5*a**3 - a**2 + 5*a - 11. Let l be w(3). Is -140 greater than or equal to l?
True
Let g be (-33)/(-6) - (-1 + 2). Suppose -4*s = -0*w + 2*w - 4, 4*w - 19 = 3*s. Is g > w?
True
Let u(v) = -6*v**3 + 4*v**2 + 9*v + 16. Let t be u(-4). Let y = t + -26535/62. Which is smaller: y or 1?
y
Let a be (-1 + 5)*15/(-20). Let n(b) = -2*b - 1. Let d be n(1). Is a less than or equal to d?
True
Let z = -4510 - -166896/37. Which is greater: 0 or z?
z
Let r = 720 - 704. Which is smaller: r or 0.02?
0.02
Let q be 2/7 + -122*(-5)/70. Which is smaller: 13 or q?
q
Suppose -n - 15 = 4*s - 1, -n + 5*s + 31 = 0. Let h be 5 - (n - 2) - (-101)/(-99). Is h equal to 1?
False
Let w = -30 - -32.6. Let k = -4.4 + w. Which is smaller: 0.2 or k?
k
Let t be 1 - 4/8*-2. Let o(f) = -3*f**2 + 4 - 6*f**2 + 14*f - 2*f**t - f**3. Let i be o(-12). Which is bigger: i or -19?
-19
Let o be (6/4)/(0 - (-12)/640). Let f = -81 + o. Are -11/6 and f unequal?
True
Let i be (-172)/3 - 8/(-24). Let c = 64 + i. Do 7 and c have the same value?
True
Let d(c) = -c + 8. Let b be d(6). Let i be -3 - -1*(6 - b). Let v be i - -3*13/(-27). Which is smaller: v or 0?
v
Let l be 2/(-6) - (-16)/12. Let m(z) = -z**3 - z**2 + 2*z - 1. Let i be m(l). Let g be (-175)/21 + 3 + i. Which is smaller: -5 or g?
g
Let t(n) = -8*n + 32. Let f be t(2). Let b be 0 + (-4)/f - 2/8. Let h = 1/3 - 7/12. Which is greater: b or h?
h
Let k = 3.1 - 3. Suppose w = -o + 8 - 2, -5*o + 18 = w. Suppose -8*z - o = 109. Which is greater: k or z?
k
Let w(u) = u - 20. Let r be w(6). Let m = -9 - r. Suppose 2*y = -m*t - 11, -t + 2 = 3*y - 1. Which is smaller: -2 or t?
t
Let p(l) = 15*l + 154. Let b be p(-12). Let c = -0.9 - -0.1.