 Let d(n) = -3*n**2 - 27*n - 19. Let t(p) = -2*d(p) - 5*k(p). Let z be t(12). Is 5 >= z?
True
Let t = -6 + 6. Let c = -7 + 12. Let v be (2/5)/(7/c). Which is smaller: t or v?
t
Suppose 0 = n + 3*n. Suppose 2*u + 5*d - 21 = n, 3*d - 4 = -u + 9. Is u equal to 0.3?
False
Let q = 564/4505 - 2/265. Let o(y) = -y**2 - 5*y - 1. Let c be o(-5). Which is greater: q or c?
q
Let q be 1/((-5 - -3)/(-18)). Is q at least 7?
True
Suppose -q - 3 = -2*q. Let a(r) = r**2 - 4*r + 0*r**2 - 3*r + q*r. Let n be a(4). Is n bigger than -2/7?
True
Let i = -0.125 - -0.025. Is i > -14/9?
True
Let u = -67 + 65. Let y = -3 + 1. Is y <= u?
True
Suppose 3*v + 0 = -4*u + 24, 3*v - 2*u - 6 = 0. Is v < 21/5?
True
Let q be (-4)/(-6)*3*460/(-40). Is q equal to -0.1?
False
Let n = 7 + -7.9. Is n greater than -1/2?
False
Let t = 3833/13 - 295. Let d(s) = s**3 - 7*s**2 + 6*s + 5. Let w be d(6). Suppose -2*v + 20 = -w*j, 2*v - j - 2 = 2. Is v greater than or equal to t?
True
Suppose -4*z - 2*l + 8 = 0, -4 - 5 = -3*z - 3*l. Suppose 0 = -9*q + 6*q. Is z at most q?
False
Let n = -437/3 + 147. Which is greater: n or 2?
2
Let u be ((-2)/(2 - 3))/8. Is 0.1 bigger than u?
False
Let o = 1 - 4. Let l = -3 - o. Which is smaller: l or 0.1?
l
Let r = -26 - -46. Let t be 56/r + (-1)/(-5). Which is bigger: t or 1?
t
Let r = -60 + 365/6. Is r smaller than 0?
False
Let r(j) = j**3 - 6*j**2 - 2*j + 11. Let f be r(6). Is -1/20 < f?
False
Let n = -83/3 - -28. Suppose -2*h + 0*h + 2 = c, 5*c - 2*h + 26 = 0. Let o be (-10)/35 + c/(-14). Is o equal to n?
False
Suppose 2 + 1 = 3*v + 3*z, -v + 4*z - 4 = 0. Suppose 1 = -2*w + w, 0 = -2*a + 5*w + 13. Suppose -3 = a*q + 5. Which is smaller: q or v?
q
Suppose 3*l + 5*k - 5 = 0, -2*k = -0*k + 4. Suppose 31 = -3*d - l*t, -17 + 7 = 2*t. Is 6 equal to d?
False
Let q = -473.97 + 472. Let h = q - 0.03. Let l = -0.3 + 0.4. Which is greater: h or l?
l
Let c = 6 - 11/2. Suppose 4*h - 5 + 1 = 0. Which is greater: c or h?
h
Let u = -0.5 + 0.5. Suppose 2*j = j - 3*c - 13, 4*j - 4 = 2*c. Which is smaller: u or j?
j
Let k = -0.1 + 0. Let d = 8.4 - 8. Which is smaller: d or k?
k
Let t = 11 - 4. Let z = -7.5 + t. Which is bigger: z or 2/7?
2/7
Let g(q) = q + 8. Let m be g(-8). Which is bigger: -1 or m?
m
Let i(m) = m**3 - 10*m**2 + 10*m - 5. Suppose d - 11 = -2*y, -2*d = d - 3*y - 24. Let r be i(d). Suppose 2*c + 0 + r = 0. Which is greater: c or -3/2?
-3/2
Let n(d) = d**3 - 7*d**2 - d + 6. Suppose -5*h = -29 - 6. Let j be n(h). Let z = -0.1 - -1.1. Is z > j?
True
Let u = 0.8 - 0.3. Suppose -3*l + 8*l = 0. Is u equal to l?
False
Let w be 6/10 - 3*(-74)/30. Which is bigger: w or 1?
w
Let r(v) = -v**2 + 2*v + 2. Let q be r(3). Let d be 5/5 + 33/(-45). Is q greater than or equal to d?
False
Let g = 4/125 - 499/3875. Which is bigger: g or 1?
1
Suppose -3*k = k - 2*w - 12, -k - w = 0. Let f be (4/(-24))/(k/6). Which is greater: -1 or f?
f
Suppose h = 5*h - 4. Suppose 4*s = 9 - h. Let x(i) = 2*i**2 - 2*i + 1. Let k be x(s). Is k <= 4?
False
Let u be 1 - 3 - (-78)/36. Which is smaller: -1 or u?
-1
Let k be (34/6 - 5) + (-97)/(-3). Which is smaller: k or 34?
k
Let o = 5 + -7. Which is smaller: o or 0.1?
o
Let y = -30839/9 - -3431. Which is greater: y or 4?
y
Let p = 0 + 20. Suppose 5*v + 0*v = 15, 0 = -r + 5*v - p. Which is smaller: r or -3?
r
Let y be 2/(0 - 1/4). Suppose -2*m = 5*j + 33, 5*m - 5*j + 12 + 18 = 0. Is y <= m?
False
Let v be 27/6 - 1/(-2). Suppose 3*l - 10 = -0*l + q, -4*l + 24 = -4*q. Suppose v*d - 8 - l = j, -3*j + 3*d - 6 = 0. Which is smaller: 1 or j?
j
Let r = 0.32 + -0.74. Let g = 0.02 + r. Let t = 0.4 + g. Which is smaller: t or -0.2?
-0.2
Let k(l) = 3*l**2 + 5*l**3 - 2*l**2 - 3*l**3 + 1 - 3*l**2. Let z be k(1). Which is greater: z or 3?
3
Suppose 0 = 4*f - 2*f. Which is smaller: -3 or f?
-3
Let l = 12 - 16. Is l != -4?
False
Let v = 110 + -328/3. Let h = -4 + -1. Let j = h - -8. Is j smaller than v?
False
Let v be (0/(0 + 2))/(-1). Let l be 4*(0 + 1/4). Let a be 1*(1 + v) + l. Do a and 2/3 have different values?
True
Let z be 12/4 + -4 + 9/6. Which is smaller: -0.03 or z?
-0.03
Suppose 2*v + 10 = -3*y - 2, -20 = v + 5*y. Let s be (-3778)/2212 + (-4 - -6). Let l = s - 1/158. Which is smaller: l or v?
v
Let f = 1.8 + -2. Let x be ((-4)/3)/(2/(-30)). Let o be (-13)/x - 1/(-4). Which is smaller: o or f?
o
Let m = 95 + -51. Is 1 <= m?
True
Let u be ((-4)/30)/(2 - 1). Let r = -9.78 + -0.22. Let n = 10.1 + r. Which is bigger: n or u?
n
Let h be 29/33 + 0 - 25/75. Which is bigger: -1 or h?
h
Let r be 2 + -8*1 + 0. Let k(m) = -m**2 - 5*m + 8. Let j be k(r). Is j bigger than 1/2?
True
Let d = -5 - -3. Let p = 1.9 + d. Which is smaller: -1 or p?
-1
Let w be -38 + (4 - 6)*-1. Which is smaller: -34 or w?
w
Suppose -2*v - 6 = -8*v. Let c = v + -6. Which is smaller: c or -6?
-6
Let t = 2 + -9. Let x = 7.2 + t. Let r = -0.6 + x. Is 0.1 less than or equal to r?
False
Let j = 197/300 - -1/100. Let c = 2 - 2. Which is smaller: c or j?
c
Let j = -1255/3 + 414. Let o = 5 + j. Is 2 at least o?
True
Let l(j) = j**3 - 4*j**2 + j. Let d be l(4). Which is greater: d or 15/4?
d
Let x = 438 - 3946/9. Suppose 3 - 3 = -7*g. Which is greater: x or g?
g
Let c = 40 - 321/8. Is c > -1?
True
Let t(k) = -3*k + 2. Let o be t(-2). Suppose 5*b - 27 + o = -4*f, 5*b - 16 = -f. Which is smaller: b or 2?
2
Let h = -8 - -8. Suppose h = 5*a - 2 - 18. Do 0 and a have different values?
True
Let k = 0.36 + -0.16. Is 5 less than or equal to k?
False
Let r be 1*(2 - (3 + 0)). Let s(u) = u**3 + u**2 + u + 1. Let b(k) = -5*k**3 - 8*k**2 - 7*k - 5. Let p(w) = r*b(w) - 4*s(w). Let c be p(-3). Is c < 0?
False
Let r be 10/12*(-117)/(-30). Let d = -15/4 + r. Which is greater: d or -2?
d
Suppose 0 = -3*p - 0*d + d + 14, -p + 2*d + 8 = 0. Let r(s) = -s + 4. Let j be r(p). Is j less than or equal to 1?
True
Let r(m) = -m**3 - 7*m**2 - m - 7. Let f be r(-7). Suppose f = -4*y - 5 - 7. Is y greater than -3?
False
Let j = -1.01 + 0.01. Let v = -3 - j. Is v greater than 2?
False
Let a = -834/7 + 120. Are -4 and a nonequal?
True
Suppose 3*i = -3*l - 0*i + 12, -17 = 2*l - 3*i. Which is greater: -2/53 or l?
-2/53
Let d(q) = q**3 - 27*q**2 - 27*q - 38. Let b be d(28). Which is bigger: b or 0.2?
0.2
Suppose 4*i + 4 = -3*m - 28, 4*i = 3*m - 8. Let o = m + 9. Suppose c = o*c. Is c less than or equal to 2/7?
True
Let y = -36 - -139. Let n = 96.7 - y. Let s = n + 6. Which is bigger: s or -2?
s
Let j = -20 - -20. Suppose j = 2*w - 0*g - 3*g + 10, 3*w = -4*g + 19. Which is greater: 3/13 or w?
w
Let a be (-2)/7 + 219/7. Is 32 > a?
True
Let a = -176 - -2286/13. Is 1 greater than a?
True
Let l = 2 - 2. Let a be 0/(3 + -1)*-1. Let x = -1 + a. Is x smaller than l?
True
Let s be 40/(-4)*14/16. Let d = 9 + s. Is d greater than or equal to 1?
False
Suppose 0 = -4*c + 2*b + 12 + 2, 0 = 3*b - 3. Let m be c/6*(-6 + 3). Let u = -20 - -18. Is m bigger than u?
False
Let s be 6/(-24) - (-11)/12. Which is greater: 2/5 or s?
s
Suppose 5*a = 20, -3*z - 4*a = -7*a + 3. Suppose -z*k - 2 + 5 = 0. Suppose k - 4 = -3*w. Which is smaller: w or -4?
-4
Let s be (-2)/(-3) + (-26)/3. Let v = 1 - s. Is v smaller than 9?
False
Suppose -j + 5*u - 8 = -0*j, 0 = -5*j - 5*u + 20. Let p be j/5 - 44/10. Let s = 62 + -66. Is s <= p?
True
Let s = 273 + -829/3. Which is smaller: s or -3?
s
Suppose -4*q - y - 44 + 3 = 0, 3*q = -4*y - 34. Which is smaller: -32/3 or q?
-32/3
Let q(x) = -x**3 - 14*x**2 + 2*x + 28. Let g be q(-14). Let c = -0.39 + -0.01. Does g = c?
False
Let p(t) = -t**2 + 20*t + 6. Let j be p(21). Are -15 and j unequal?
False
Let p(o) = -o**3 + 16*o**2 + 17*o - 24. Let g be p(17). Is g less than -25?
False
Let i = -91/960 - 1/192. Which is smaller: -1 or i?
-1
Let x = -3.2 - -3.3. Let b = 0.4 - 0.7. Which is greater: b or x?
x
Let x = 2.3 + -6.3. Is x > 1?
False
Let y(l) = l - 18. Let d be y(14). Which is smaller: -5 or d?
-5
Suppose 5*m = 5*d + 10, -8*d = -2*m - 4*d + 4. Let f(p) = p**3 - p**2 - p + 1. Let j be f(m). Let c = -3 + j. Is 0 at least as big as c?
True
Suppose 8*h - 4 = 12*h. Is h != 1/22?
True
Suppose 9 = 2*h - 5. Is h greater than 8?
False
Let h = 9.96 - 10. Let b = 0.3 - 0.34. Let f = b - h. Is f smaller than 1?
True
Let g = -0.15 - 0.85. Is -0.04 at least as big as g?
True
Suppose -2*s = -3*m - 91, 4*m = 3*m + s - 29. Are -34 and m non-eq