(v) = 3*v**3 + 14*v**2 - 8*v - 14. Let w be d(-5). Is w > k?
True
Let i = -1 - 1. Let v = -5.7 + 6. Which is smaller: i or v?
i
Suppose 10*u + 21 = 13*u. Which is bigger: u or -3/7?
u
Suppose 3*x + 3*d + 4 = -8, -4*x - 7 = d. Suppose 5*z - 215 = 5*a, a - 108 = 4*a + 4*z. Let c be 2/(-5) - 6/a. Which is greater: x or c?
c
Let y be (-254)/(-272)*-2 + 2. Let a = -2/17 - y. Is a > 1/4?
False
Let g = -207 + 224.2. Let q = g + -17. Does q = 0.05?
False
Suppose 0 = y + 2 - 5. Let f = -0.08 + -0.92. Which is smaller: f or y?
f
Let n = -0.2 - -0.3. Let h = 24 - 21. Are h and n equal?
False
Suppose 8*d - 6*d - 4 = 0. Let q be d/(-12) + (-4)/6. Do q and -2 have the same value?
False
Let k = -33 - -32. Let v = 31/75 - 2/25. Which is greater: k or v?
v
Let q = 9 + -4. Which is bigger: 1 or q?
q
Suppose 0 = 5*i - 278 - 3667. Let g = i + -9473/12. Let h = g + -1/12. Which is smaller: -1 or h?
-1
Let l(v) = -v**2 - 2*v. Let b be l(-4). Which is smaller: b or -9?
-9
Let w = 1/158 + 305/1738. Let y = 1 + 4. Suppose -5*b - y = -0. Are w and b unequal?
True
Let f = -9 - -9.04. Let a = f - -0.06. Are -0.1 and a unequal?
True
Let m be 20/(-8) - -4 - 2/4. Is 6/7 <= m?
True
Let k be (-52)/80 - 2/(-8). Suppose -4*t = -4*p + 8, -5*t + 18 = 4*p - 8. Suppose -t*w - 5*f = -7*w - 10, -3*f + 8 = -w. Does w = k?
False
Let n = 4 + -5. Let z = -5 - n. Let d be 2/(-9)*(-3 + 18/4). Is d at most z?
False
Let v = 3/82 - -71/2542. Let w be (-1*(0 - 0))/(-1). Let b be w - 0 - (-1 + 0). Is v not equal to b?
True
Let u be ((-4110)/80)/((-18)/8). Let b = u - 115/6. Is b greater than or equal to 5?
False
Let m = -106 - -740/7. Is m at most 64?
True
Let m = -32556/7969 - 42/613. Does -5 = m?
False
Let k(z) = -z**3 - 8*z**2 - 8*z - 7. Let d be k(-7). Which is greater: d or 1/2?
1/2
Let m(n) = -n**2 + 2*n - 3. Let f be m(2). Let i be 0 + 2 + 9/f. Let q = -37/66 + 5/6. Which is bigger: q or i?
q
Let x = 7 + -7.18. Let o = -0.08 - x. Is o less than 2/21?
False
Let c = -0.2 + 1.2. Let a = c - 1. Let q = -69/4 - -17. Which is bigger: a or q?
a
Suppose -3*s = 17 + 1. Let w be 39/s + 6/3. Is -6 less than or equal to w?
True
Let w = -70914/11 + 13051927/2024. Let h = w + -34/23. Do -1 and h have the same value?
False
Suppose -4*h = 4*v - 44, v - 4*h + 2 = -2. Let c be ((-10)/8)/(v/32). Is 0.1 >= c?
True
Suppose -2*b = 2*b - 36. Let d be 8/b*3/(-4). Which is smaller: -1 or d?
-1
Suppose -2*r + 0*s - 58 = -s, 0 = 5*r + 4*s + 132. Which is smaller: -26 or r?
r
Let x = 48 - 45. Which is bigger: -3 or x?
x
Let l(z) = 2*z. Let d be l(1). Let j be ((-2)/3)/(d/3). Is 2/17 >= j?
True
Suppose -2*q + 4 = 3*j + 80, -3*q - j - 107 = 0. Is -35 > q?
False
Let h = -123/2 - -65. Is h bigger than 3?
True
Let f be ((-188)/(-6))/(20/(-24)). Let h = f + 38. Which is smaller: -1 or h?
-1
Let p(x) = -3*x**3 - 3*x**2 + 5*x + 6. Let j be p(-3). Which is greater: j or 46?
46
Let b = -15.2 + 17. Let x = 0.09 + 0.11. Let j = x + b. Is j > 2/9?
True
Let d = -5 - -4.7. Let z = d + 0.4. Is z != 0.03?
True
Let g = 5 + -3. Suppose -j = j. Is j less than g?
True
Suppose -8*u - 61 = -45. Suppose 0 = -h - 5 + 2. Do h and u have the same value?
False
Let v be (2 - 4) + 2*-1. Suppose 4*n - n = -6. Let a be 12/(-5) - n/5. Which is bigger: v or a?
a
Let y be (-2)/6 + (-1257)/9. Let n be (-2)/7 - 5/y. Is n less than -0.2?
True
Let c = -5 + 19. Which is smaller: c or 15?
c
Let g = 0.2 + -2.2. Let k = -26 - -105/4. Is g <= k?
True
Suppose -5*u + 125 = 5*p, -4*u = p + p - 90. Suppose -i - 2 = -3*k + i, -5*i + 4 = -3*k. Suppose 6*d = k*d - u. Are d and -4 unequal?
True
Let w = -4.9 + 5. Let c = -1 + 0.8. Let m = c - 0. Which is smaller: m or w?
m
Let a(z) = z**3 + 5*z**2 + 4*z + 4. Let o be a(-4). Let u(p) = -p**2 + 2*p - 1. Let h be u(3). Let l = o + h. Which is greater: 1 or l?
1
Suppose 0 = -5*b - 20, 0*b + 4*b = 5*l + 24. Let x(r) = -r - 8. Let p be x(l). Is p greater than or equal to 2/5?
False
Let a be 1*-1 + (-6696)/(-6700). Let i = -413732/11725 - a. Let s = i - -35. Is -1 greater than or equal to s?
False
Suppose 6 = 2*h, 6*c - 3*h = 3*c. Suppose 21 - 3 = c*r. Is r > 6?
False
Let d = -3 + 2.8. Let j(y) = y. Let m be j(10). Suppose 5*q = m*q. Which is smaller: q or d?
d
Suppose -14*o = -8*o - 96. Is 16 equal to o?
True
Let n(c) = c - 1. Suppose 0 = -2*p - 5*l - 9, 4*p - 24 = 4*l - 0*l. Let q be n(p). Let a = q - 2. Is 2 equal to a?
False
Suppose -6 = 4*r + 22. Let p = -3 + -4. Let t be 2/p - (-160)/(-28). Are t and r equal?
False
Let m be 6 - (2 + -2 + 2). Let z(n) = -m - n + 5 - 6 - 3. Let q be z(-7). Is -4/5 bigger than q?
True
Let d be 13*(3 - (88/(-7))/(-4)). Which is smaller: -1 or d?
d
Let v = 3 - 3. Let y be (v - (3 - 4))*-279. Let k = y + 2515/9. Which is greater: 1 or k?
1
Let q be (6 - (1 - 1)) + -1. Suppose 5*n - 5*t = 0, q*n - 1 = 4*t + 3. Let i(r) = r**2 - 7*r + 9. Let w be i(6). Which is bigger: n or w?
n
Let q = 47 + -47.2. Are -1 and q equal?
False
Let m = -2 + 2.05. Let d = m - -1.95. Let w = 0.32 + -0.22. Which is smaller: w or d?
w
Suppose k = n - 3 - 2, 3*n - 5*k = 17. Suppose -5*z + t = n, t + t - 8 = -4*z. Let p = -1218/5 - -243. Which is smaller: p or z?
p
Suppose -2 - 58 = -6*p. Suppose -11*l + 3 = -p*l. Is 14/5 less than or equal to l?
True
Let b = -1.03 - 0.07. Let j = -0.3 + 1.3. Let k = b + j. Are 0.1 and k equal?
False
Let s(p) = p**2 + 5*p - 6. Let l be s(-5). Let i be (-2)/l - 10/(-15). Suppose -4*y - 3 = i. Which is smaller: y or -3?
-3
Suppose 0 = 4*u + u + n - 10, 0 = -3*u + 5*n - 22. Is 3 <= u?
False
Let o(h) = h + 18. Let v be o(-16). Which is smaller: v or 1?
1
Let f = -163.9 + 156. Let d = -8 - f. Is -3/4 greater than d?
False
Suppose 6*q - 9 = 3*q. Suppose -8*g + q*g + 10 = -o, g = -5*o - 24. Let r be (15/(-40))/(g/(-4)). Is r <= 2?
True
Suppose 0 = -2*z + 3*t - 11, -3*z + 5*t + 5 = 23. Let a be (-26)/(-14) + 1/z. Is 0 < a?
True
Let m be (8/1)/4 + -6. Let d = m - -1. Suppose 3*k = -k - 12. Is k at least as big as d?
True
Let f be (-1)/(2 - 3) - 3. Which is smaller: f or -10/3?
-10/3
Suppose -21 = d - 5. Is -15 at most d?
False
Let a = 7 - 5.2. Let p = a + 0.2. Does 2/5 = p?
False
Let x = 1.9 + -2. Let l be 0/(-3) - 3/(-12). Which is greater: x or l?
l
Let p be (-99)/45 + (1 - 0). Which is smaller: p or 0.1?
p
Let k = 6.75 + -0.45. Let u = -7 + k. Let b = 0.3 - u. Which is smaller: -1/2 or b?
-1/2
Let o = -93/4 - -47/2. Suppose -2*u + 3*z - 3 = -0*z, 3*u - 5*z + 5 = 0. Is o <= u?
False
Let h(y) = y**3 - 28*y**2 + 51*y + 23. Let z be h(26). Let t(k) = k**2 - 4*k + 3. Let b be t(4). Suppose 1 - b = m. Is z at least as big as m?
False
Let j = -36 + 36.2. Is j >= 1/8?
True
Let q = -6 - -1. Let o be 316/(-108) - (2 + q). Is o <= 1?
True
Let d(g) = 0*g + 2*g - g**2 + 2*g + 2*g**2 - 4. Let t be d(-4). Which is greater: t or -3?
-3
Suppose 6*t - t = 20. Let z = -11 + 15. Let a = t - z. Is a at least as big as -3/5?
True
Let p = -12 + 13. Let z be (-1)/6 + 1 - p. Which is smaller: 0 or z?
z
Let b = 10 + -4. Let r be 0/(b - 3)*-1. Is r smaller than 2/3?
True
Let m = -166 + 169. Let x = 134 + -395/3. Do x and m have the same value?
False
Suppose 6*v = 3*v. Are v and -1/6 equal?
False
Suppose n - 2*n = -1. Suppose a = -2*q - 4, -2*a - 3*a = 3*q + 6. Suppose a*c = -5*c. Which is smaller: n or c?
c
Let u = -4.9 + 5. Are u and -1.9 equal?
False
Let r = 2 - 1.9. Suppose 2*n - 3*w + 2 = 0, w = -0*n - 3*n - 14. Which is smaller: n or r?
n
Let m be -21*(-2 + 3) + -1. Do m and -21 have the same value?
False
Let n = -549 + 1613/3. Which is smaller: -11 or n?
n
Let l be (-1)/(-3) + (-2)/18. Suppose 2*b - 17 = -b + 2*q, 3*b + q - 14 = 0. Suppose -b + 3 = -2*n. Which is bigger: n or l?
n
Let n = 0.04 + 0.36. Let i = 0.6 + n. Let a = i + -3. Which is greater: 1 or a?
1
Let g be 7/63*25/(-7). Let y = 1/9 + g. Is 1 at least as big as y?
True
Let y = -40 - -42. Which is smaller: -14 or y?
-14
Let l = 4.7 + -5. Let d = 0.03 - -0.17. Let b = d + l. Which is bigger: -0.01 or b?
-0.01
Let w = -2 - -6. Let c = w - 5. Are -2/5 and c non-equal?
True
Let b(h) = -12*h - 1. Let n be b(-1). Let o = -9 + n. Which is greater: -3 or o?
o
Suppose 3*y = g + 27, -5*y - 17 = g - 54. Are 1 and y non-equal?
True
Suppose -6*o - i - 4 = -3*o, 2*i = -2*o. Is 2/5 at most as big as o?
False
Suppose v = -2*v + 3. Let z = 1 - -2. Suppose z - 5 