 Which is greater: t or v?
v
Let q be 2 + (-8)/5*1. Suppose d + d = -5*n + 7, 5*d - 3 = 2*n. Suppose 0*w - w = -d. Is w bigger than q?
True
Suppose -q - 5 = -0*q. Let u = 10 + q. Suppose c = 2*h - 11, u*c + 5*h - 10 = 2*h. Is 0 greater than or equal to c?
True
Let k = 2 - 2. Let d = -4 + 5. Let o = -4 + d. Is o < k?
True
Let s(t) = -t**2 - 2*t - 13. Let w be s(0). Is w > -27/2?
True
Let x = -0.173 + 0.073. Let c = -1 - 3. Is c > x?
False
Let n be (-12)/(-8)*(-8)/6. Which is greater: -4 or n?
n
Let g(l) = -l**3 + 7*l**2 - 5*l - 4. Let j be g(6). Suppose 2*x - 6 = -j. Let o = -1 + x. Which is greater: 0 or o?
o
Let d = -10 - -16. Let h = -5 + d. Which is smaller: 2 or h?
h
Let n be (-7)/21 - 16/6. Which is smaller: -2 or n?
n
Let s be (-1)/((-58)/(-8)*-2). Let r = -82 + 81. Is s > r?
True
Suppose 4*n = q + 2, 3*n + 8 = -4*q + 6*n. Is -4 less than q?
True
Suppose 5*p + 2*f - 20 = 0, 0 = 3*p - 4*f - 12. Suppose 5*q = l - 1, 2*q - 2*l + p = 2*l. Which is bigger: q or -3/13?
q
Let c(j) = -j**3 - 5*j**2 + 7*j + 4. Let g be c(-6). Do -1 and g have different values?
True
Let l(f) = f**2 + 15*f + 21. Let t be l(-15). Is t equal to 21?
True
Let p(i) = -i**3 + 2*i + 19. Let m be p(0). Suppose 3*d + m = -2*n, -3*d - 8 = 4*n - 7*d. Which is bigger: n or -3?
-3
Let o be ((-3)/(-6))/((-1)/(-2)). Let q be 2 + o*-8*1. Let x = q - -6. Is x less than -1/6?
False
Let d(b) = 2 + b + 0*b + 4*b - 4*b. Suppose 5*q - q = 0. Let y be d(q). Which is smaller: y or 4?
y
Let t(d) = -d**3 - 7*d**2 - 6*d - 4. Let f(o) = o**3 + o - 6. Let m be f(0). Let w be t(m). Let c be w/(-14) - 2/56. Which is smaller: c or -1?
-1
Let m = -13.4 + 11.4. Is -0.41 at least as big as m?
True
Let n be (4*(-5)/(-8))/(1/(-2)). Is 2 <= n?
False
Let d(q) = -2*q**2 + 15*q - 14. Let b be d(6). Let s = 793/3 + -261. Do b and s have different values?
True
Suppose -11 - 16 = -3*r. Let k be (8/16)/(-1)*-18. Does r = k?
True
Suppose p - 24 = 5*s, 2*p + 2*p - 24 = -4*s. Which is bigger: p or 10?
10
Let t = 137/2 - 69. Is -1 > t?
False
Suppose -9 + 1 = -4*l. Let j be (l/5)/(1/(-5)). Is j less than 1?
True
Let r be (-2)/(-8) - (-1)/12. Let d = 4 + 0. Let c(b) = b**2 - 5*b + 5. Let x be c(d). Which is greater: x or r?
x
Let d be 5 - (0/3 - -2). Let n be 20/(-12) + d/(-9). Let i = -5 - -3. Is i <= n?
True
Let p(t) = 3*t**2 + 3*t - 3 + 1 + 5 + t**3. Let n be p(-2). Is n < 1?
False
Let j be 5894/(-72) + (-24)/108. Suppose o + 9 + 73 = 0. Let k = j - o. Is k at most -1?
False
Let l = -4.6 + 3.6. Is l bigger than 1/4?
False
Let p be (-30)/(-9) - (-3)/(-9). Let s = -3 - -8. Suppose s*i + 44 = 2*b + 13, -3*i - 6 = 3*b. Is p at least b?
True
Suppose -2*i = 2*i - 4. Which is smaller: i or -2?
-2
Suppose 2*d - g - 10 = -5*g, 0 = 2*d - g. Suppose 0 = 6*l - l. Which is bigger: l or d?
d
Suppose -6 = -3*u + 5*l, -3*l + 3 = 2*u - 6*l. Let s(o) = 5*o - 1. Let b be s(u). Let c be 2/(-8)*b/(-12). Is -1 > c?
False
Let k(l) = -3*l**3 + 6*l**2 - l + 2. Let c(g) = -13*g**3 + 25*g**2 - 3*g + 9. Let x(d) = 2*c(d) - 9*k(d). Let a be x(3). Let p = 8 + -6. Are p and a unequal?
True
Let i(c) = -c**3 - 9*c**2 + 12*c + 8. Let a be i(-10). Which is greater: -14 or a?
a
Suppose i + 45 - 48 = 0. Is i at least -2?
True
Let l(q) be the first derivative of 2*q**3/3 + 3*q**2/2 + q - 2. Let h be l(-2). Suppose -c = h*c - 4. Is c <= -1/5?
False
Let b = 36 + -36. Let u be 0 + 1 + 5/(-6). Which is smaller: u or b?
b
Let z = 36 + -51. Is -14 not equal to z?
True
Let b(n) = 9*n + 13. Let g(m) = -4*m - 6. Let w(q) = -3*b(q) - 7*g(q). Let x be w(9). Which is smaller: x or 11?
11
Let x = 6/7 + -8/7. Is -23 less than x?
True
Let n be 4/12*79/2. Let s = n + -13. Which is bigger: -1 or s?
s
Let f(a) = a**3 + 4*a**2 - 5*a + 3. Let o be f(-5). Let m(c) = -c - 15. Let w be m(-19). Which is smaller: o or w?
o
Let z(b) = 24*b - 6. Let r be z(-2). Let t = 11 + -7. Let o be -2*((-8)/r)/t. Is o smaller than -1?
False
Let g = 203/2 + -105. Let m = g + 3. Let j be (-21)/12 - (-2)/(-8). Is m smaller than j?
False
Let a(r) = -2*r**3 - 2*r - 1. Let h be a(-1). Suppose -3*b + 0*b - h*f = -15, 2*b + 5 = 3*f. Are 3/2 and b non-equal?
True
Suppose -4*m + 0*m - z = 25, 3 = -3*z. Which is greater: -3 or m?
-3
Let w(y) = -y**3 + 4*y**2 + y - 1. Let g be w(5). Let t be g/(-15) + 6/(-15). Are 1 and t equal?
True
Let l be 3 + -5 - (-1 + -1). Suppose 3*q + 1 = u, 5*u + 3*q - 8*q + 5 = 0. Let v = u + 2. Is v >= l?
True
Let a be 24/36*(-6)/(-20). Let i(m) be the first derivative of -m**2/2 + m - 1. Let b be i(1). Is b smaller than a?
True
Let u(v) = v**3 + v**2 + v + 1. Let k be u(0). Let o(h) = 325 + h + h - 326 - h**2. Let q be o(k). Which is bigger: 2/7 or q?
2/7
Suppose -12 = -2*d + 14. Suppose -d*j = -10*j. Which is bigger: j or -1/3?
j
Suppose -3*y = -4*x, 2*x - 3*x = 4*y. Is -1/89 not equal to x?
True
Let p = -7 + 12. Let t(s) = -s**3 + 4*s**2 + 6*s - 3. Let j be t(p). Let l be (-1)/j*(-12)/3. Is 4/5 at least as big as l?
False
Let s(b) = 2*b + 3. Let o be s(-3). Let u = 9 + o. Suppose 2*y = u*y. Which is bigger: y or -1/4?
y
Let v be ((96/(-140))/(-6))/(2/(-5)). Is -1 greater than or equal to v?
False
Let o be (-1)/(-2) + (-63)/(-14). Let u = -4 + o. Let n be 3/(-5)*8/(-6). Which is smaller: u or n?
n
Let p = 463 + -2308/5. Let b = 7 - 7. Is p <= b?
False
Let r be 0/((-2)/3*3). Do -4 and r have the same value?
False
Suppose 3*a - 24 = -105. Which is smaller: -26 or a?
a
Let h = -457/33 + 156/11. Which is smaller: h or -3.2?
-3.2
Let l(c) = -c**3 - 5*c**2 - 3*c + 2. Let r be l(-4). Let p(y) = y**3 + 2*y**2 + 2*y + 3. Let m be p(r). Do -3 and m have different values?
True
Let f = 4 + 1. Let s = 5.2 - f. Let o = 0.1 + 0.1. Is s equal to o?
True
Suppose 3*b - 43 - 17 = 0. Suppose b = -4*p + 4*x, p + 4*p + 21 = x. Which is bigger: p or -3?
-3
Suppose -2 = -b - k - 0, -5*k = -4*b + 35. Let q = b - 3. Suppose 0 = -u - q*f - 6, -2*u + 0*f - 3 = -5*f. Is u >= -4?
True
Let x = -864/5 + 172. Does x = 0?
False
Suppose 4*o - 29 = 2*a - a, o - a - 11 = 0. Let q(l) = -l**2 + 4*l + 12. Let h be q(o). Which is smaller: h or -2/15?
-2/15
Let j be ((-4)/6)/(6/9). Let s be j + 0*(-2)/(-4). Is s > 0?
False
Let z(p) be the first derivative of p**4/4 + 2*p**3/3 - 3*p**2/2 - p - 2. Let r be z(-3). Is r equal to -1?
True
Let s = -1 - -1. Suppose -2*b = -s*b. Is b >= -5/7?
True
Suppose -7*a + 11*a + 20 = 0. Is -3 at least as big as a?
True
Let l be ((-4)/6)/(506/6). Which is smaller: l or 0?
l
Let l be -4 - 146/(-18) - 4. Is 0 >= l?
False
Suppose -3*w + 5*w - 10 = 0. Suppose 0 = -2*v + 1 - w. Let m be 7/21 - v/(-6). Is m < 1/3?
True
Suppose -k - 2*k + 6 = 0. Suppose -r - k = 1. Let i = r + 0. Is -3 at least as big as i?
True
Let o(u) = u**2 + 4*u + 1. Let k be o(-3). Suppose 3*y + 12 = 15. Let l be ((2/y)/k)/1. Which is smaller: l or 2/9?
l
Let n = 0 - -1. Let d be (3/(-4))/((-42)/(-16)). Which is smaller: d or n?
d
Let b be (-418)/(-660) + (-2)/15. Are b and 5 unequal?
True
Let p = -14/45 - 1/45. Are -1 and p equal?
False
Let b = -35 - -34. Which is bigger: 14 or b?
14
Let v be (7 - 3)/(1 - 2). Let m(b) = b**2 + 3*b - 5. Let q be m(v). Is -1 bigger than q?
False
Suppose 4*i - 2*a + 3*a + 3 = 0, 0 = -4*i + 5*a - 33. Let p(u) = 17*u + 12 - 3*u + u**3 - 4*u**2 - 6*u**2 - 6*u**2. Let o be p(15). Does o = i?
False
Let w = 2/1125 - 7909/19125. Let i = -33/85 + w. Let a = i - -2/5. Which is greater: a or 1/3?
1/3
Let c = 14.6 + 0.4. Let m = c - 16. Is -1 less than or equal to m?
True
Let v(j) be the first derivative of j**4/4 - 2*j**3 + 3*j**2 + 5*j + 1. Let z be v(5). Suppose 0*h - 5*h + z = 0. Which is smaller: 1 or h?
1
Let k be (-2 - -1)*(-4)/10. Let r = -24 - -19. Is r smaller than k?
True
Suppose -3*p - u = -2, 2*p - 7 = 3*u - 2. Is 6/79 > p?
False
Suppose -5*q + 3*g + 6 = 2*g, q - 3*g = 4. Let d(z) = z - 4. Let f be d(8). Which is smaller: q or f?
q
Suppose 5*w = r + r - 25, 2*w + 21 = 3*r. Suppose -r*u + 20 = -3*i - i, -2*u - 5 = i. Let x = 117 - 937/8. Which is greater: x or u?
u
Suppose -q = 5*q - 0*q. Which is smaller: q or 2/23?
q
Suppose 2*j + 2*l - l = 0, -3 = -5*j - l. Let m be ((-140)/(-16))/(-7)*j. Which is smaller: -2 or m?
-2
Let t = -0.07 - -0.09. Let x = t - 0.03. Let v = x + -3.99. Is -1/3 at least v?
True
Suppose -5*u + 3*c = -28 - 29, 2*u + 5*c - 29 = 0. Suppose -r + 11 - u = 