Which is greater: v or d?
d
Suppose -j + k - 4 = -1, j - 3 = -5*k. Suppose -3*n - 3 = -3*o, 3*n + 37 - 13 = -4*o. Is j < o?
False
Let p(r) be the third derivative of -r**6/120 + 3*r**5/20 - 3*r**4/8 + 4*r**3/3 + 2*r**2. Let a be p(8). Is a bigger than 1/6?
False
Let d = -0.4 - -0.2. Let j = d + 0.4. Let m = 62 - 247/4. Which is greater: m or j?
m
Suppose -24*w + 21*w = 9. Is w greater than -3?
False
Let q be (2/(-12))/(5/20). Are 0 and q non-equal?
True
Let o = -5.62 - -0.42. Let r = -5 - o. Let y = 3 + -2.9. Is y not equal to r?
True
Let b(p) be the second derivative of p**3/2 - 5*p**2/2 - p. Let u be b(4). Is 8 greater than u?
True
Let y be (4/(-57))/(2/3). Is y <= 1?
True
Let m be 8/112 + (-8)/14. Let h = -1 - -1. Is m at most as big as h?
True
Suppose -2*y + 5*w = 37, -4*w + 10 = -y - 10. Is -15 < y?
False
Let m = 1 + -2. Let j = -3/4 + 1/4. Is j greater than m?
True
Suppose 0*g + 3*g - 12 = 0. Suppose -2*f - 32 = g*v, -f - 9 - 3 = v. Let j be (12/f)/(6/(-8)). Are j and -1/2 equal?
False
Let g = -96 + 91. Which is bigger: g or -11/3?
-11/3
Let d be 3/(21/7) - 2*1. Which is smaller: 22 or d?
d
Let w be 0 + (2 - -2) - 3. Which is greater: 4 or w?
4
Suppose 8*r = 5*r. Which is bigger: r or -4?
r
Let i be (1/(-2))/(5240/(-1312) - -4). Which is smaller: 0.1 or i?
i
Let t be (27/(-6))/(3/(-8)). Suppose 3*a - t = 6*a + 3*o, 3*o = a - 12. Let l be ((-2)/(-7))/(6/14). Is a less than l?
True
Let s be (-1)/(-4) - ((-15)/4 + 4). Is 2/33 at least as big as s?
True
Let h be 2/2*(2 + 3). Suppose -h*p - 4 = 1. Let f = 1 + p. Which is greater: -1 or f?
f
Let c(d) = -d**3 + 6*d**2 + 7*d. Suppose -b + 35 = 4*b. Let m be c(b). Let g be 12/(-15)*5/(-2). Is g less than or equal to m?
False
Let k(g) = g**3 - g + 4. Let m be k(0). Suppose 0 = 2*s, -m*c - c - 10 = 3*s. Let y = -1.9 + 2. Which is greater: c or y?
y
Let c(j) = j**2 + 11*j + 10. Let t be c(-10). Is 3 > t?
True
Let i = 0 + 3. Is 4 at most as big as i?
False
Let v be (-5)/((-15)/6) + -5. Let w = -5 - v. Which is bigger: -3 or w?
w
Let d = -25 - -20. Let z(u) = -u**3 + 7*u**2 - 6*u - 4. Let k be z(6). Which is bigger: d or k?
k
Suppose w + 2*g - 4 = 6*w, 2*g = -5*w + 4. Let n(v) = -v**3 + 4*v**2 + 4*v + 6. Let m be n(5). Let d be 3/(15/(-7)) + m. Which is smaller: d or w?
d
Let x be 2/(-9) - 50/18. Let n be -1*2/(-12)*x. Which is greater: 0.1 or n?
0.1
Suppose 2*j + 386 = -2*h + 3*j, -5*h - 950 = 5*j. Let z = 1340/7 + h. Let q = -18 + 17. Which is smaller: z or q?
q
Suppose -6*w + 6 = -5*w. Is 22/3 > w?
True
Let n(u) = u**2 - 17*u - 8. Let r be n(18). Which is smaller: 12 or r?
r
Let a be ((-6)/134)/(1/(-4)). Let n be 1672/(-1474)*((-29)/22 - -1). Let i = a - n. Does 0.2 = i?
False
Let k be (0 - -1 - 2) + 12. Let c = k + -8. Let l be 1 + (2 + -3 - -3). Is l <= c?
True
Let b = -12 - -12. Let u be 1 - 3/(-1 - 0). Let k be (2/u)/((-17)/(-2)). Which is smaller: b or k?
b
Let x = 45 + -44.7. Which is greater: x or -10?
x
Let g(w) = w**3 - 16*w**2 + 3*w - 18. Let z be g(14). Let y = z - -2580/7. Is y at most 2?
True
Let l = -147/176 - -13/16. Which is greater: 1 or l?
1
Let m be (12/15)/(6/(-15)). Let p be m - 12/21 - -3. Suppose d - 3*d + 4*k = 16, -3*d + 3*k = 12. Which is bigger: d or p?
p
Let n = 3 + 1. Let i be 36/24*n/6. Let g be (-56)/(-66) + 2/(-3). Which is smaller: g or i?
g
Let h be 1 + -2*-2*1. Suppose 0*a = 5*a - 30. Let v = h - a. Is 1/3 less than or equal to v?
False
Suppose 25*s - 27*s = -6. Is s bigger than 3?
False
Let c = 0.16 - -0.64. Let j = c + -0.8. Which is smaller: -2/9 or j?
-2/9
Let w(c) = c**2 + 15*c - 37. Let u be w(-17). Let s be ((-3)/(-1) - -2) + 2. Suppose -s*v = -2*v. Which is greater: u or v?
v
Let v = 10 + -128/13. Are v and -1 unequal?
True
Let k(t) = 4*t**3 + 10*t**2 + t - 2. Let z(s) = -5*s**3 - 11*s**2 - 2*s + 3. Let x(c) = 6*k(c) + 5*z(c). Suppose 3*q + 4 = 4*q. Let w be x(q). Is w at least 2?
True
Let r be 0*(-2)/4 - 2. Let k = 0 - r. Suppose -5*n + 3*n = k*a, 3*n = 0. Which is smaller: -6/7 or a?
-6/7
Let m(i) = i**3 + 3*i**2 - 10*i. Let v be m(-5). Let g = -9 + 13. Let z = g + v. Are z and 4 equal?
True
Let c = 0.41 + -0.11. Is c < 2/13?
False
Let f be (-8)/(-28)*(-75536929)/790. Let w = -136593/5 - f. Let j = -6/79 + w. Is j not equal to 1?
True
Let l be 2 + (-4 - (4 - 9)). Suppose -l*v = 2*v - 35. Which is smaller: 0.2 or v?
0.2
Let i(r) = r**2 + 6. Let k be i(0). Let m be (3/(9/k))/(-4). Which is smaller: m or 0?
m
Let m be 2/(-8) + (-4)/((-64)/1620). Are m and 102 nonequal?
True
Let v(b) = -b + 6. Let l be v(6). Let p = 345/247 + -28/19. Let f = p - 23/39. Are f and l nonequal?
True
Let w(a) = -a**2 - 2*a - 2. Let z be w(-2). Is z greater than or equal to -2?
True
Let z = 15 - 14.9. Which is bigger: -0.03 or z?
z
Let f be (-2)/(-3) - 32/(-6). Let k be (-352)/456 + 4/f. Is k greater than 1?
False
Let t = -8 - -8.03. Let f = t + -0.33. Are 1/5 and f unequal?
True
Suppose 0 = 4*q - 0*q. Let l be q + 1 + (-3)/3. Which is smaller: l or 1?
l
Let r = 1.86 - 0.86. Which is greater: -12/31 or r?
r
Let t = -3/94 + -19/141. Let a = 0.7 - -0.2. Let w = a - 1. Is w less than t?
False
Let b = -74 + 76. Is b >= 1?
True
Let i(s) = 3 + 1 - 1 - s. Let u be i(7). Do -5/2 and u have different values?
True
Let d = -834 + 15840/19. Is -1 greater than d?
False
Let l(i) = i**3 - 8*i**2 - i + 7. Let q be l(8). Let j be (-1)/6*(q - 2). Let z = 18 + -236/13. Is j at least z?
True
Suppose 0 = w - o - 3, 3*w - 2*o - 6 = -0*o. Suppose 2*g = -3*b - 0 - 4, 2*g = -4*b - 2. Does b = w?
False
Let s = 857/9 - 95. Which is smaller: s or 0?
0
Let t(n) = -n**3 + 5*n**2 - 4*n - 3. Let d be t(4). Let y be 1 + 0 + 2/d. Let o be ((-18)/(-4) + -6)*(-2)/(-3). Is o at least as big as y?
False
Suppose 0*a - a + 6 = 0. Let w(y) = -y**2 - 4*y + 2. Let k be w(-4). Suppose i - 22 = -4*q, -k*i + 4*i = -3*q + 14. Is q <= a?
True
Let u(b) = b**3 + 5*b**2 - 7*b - 4. Let z be u(-6). Let v(m) = -m**2 - 6*m - 5. Let k be v(-5). Which is smaller: k or z?
k
Let h be (-2)/7 + 65/7. Let r = -427 - -429. Is h less than or equal to r?
False
Let u be (8/(-2))/(2 - 3). Let f be 3/6*(-6)/u. Suppose 7*k = 4*k. Which is smaller: f or k?
f
Let n(y) = -y + 1. Let p be 6/1*(-3)/9. Let z be n(p). Let l = z - 2. Which is smaller: 1/2 or l?
1/2
Let b be 9/(-6)*772/(-14). Suppose k - 5*f - 103 = 0, -k + 3 = f - 76. Let o = k - b. Is -0.2 at most o?
True
Let d = 18.9 - 20. Do d and 0.1 have the same value?
False
Let p be -1*2*3/(-6). Let y = 1634/221 + -110/17. Let t = y + -97/91. Is p at least t?
True
Let a(z) = -2*z + 12. Let n be a(8). Let b be 1/(-4) - (-55)/(-20). Is b at least n?
True
Let o be 40/12*(-12)/(-8) - 4. Is -8/19 at least as big as o?
False
Let n be 1/(-2) + 25/20. Suppose 9 - 1 = 4*p + 4*t, 3*p = 3*t + 18. Suppose -2*m + m + w = 5, 3*w - 15 = -p*m. Is n at least m?
True
Suppose -4*u + 16 = 4*p, 4*u = 5*p + 5 + 2. Suppose -6 = -u*o - 3. Let g = 2/157 - -139/1413. Is g bigger than o?
False
Let u = -8.1 + 8. Is -0.1 at most as big as u?
True
Let g be 980/(-248) + (-4)/1*-1. Is 0 at least as big as g?
False
Let y(u) = u**3 - 2*u**2 - 4*u + 3. Let o be y(3). Suppose -3*c + o*c - 30 = 0. Let x be 3/(-18)*8/c. Is -1 bigger than x?
False
Suppose 3*m = -0 - 3. Are m and -5/44 equal?
False
Let g(y) = y**2 - 5*y + 3. Let l(n) = n**2 + 9*n - 6. Let b be l(-10). Let f be g(b). Let v be (-2)/10*(-5)/(-2). Is f smaller than v?
True
Let l be (2 - 5) + (-1 - (-7 - -4)). Is -2/123 at least as big as l?
True
Let s be 3 - 0 - (-1)/(-1). Suppose 6*k - 3*k - 23 = -s*z, 20 = 5*z. Does k = 5?
True
Suppose -2*r - 8 = 2*r. Which is bigger: -6 or r?
r
Suppose 4*g + 22 - 6 = 0, 5*s - 3*g - 2 = 0. Let i be (((-2)/(-1))/s)/(-5). Suppose 0 = -0*v - 5*v. Do i and v have different values?
True
Let g(o) = o**3 + 4*o**2 - 2*o - 2. Let m be g(-4). Let i(r) = -r**2 + 6*r - 1. Let l be i(m). Let s be (4/5)/(-4 + 2). Which is smaller: s or l?
l
Let r = -0.6 - -6.6. Which is smaller: 1 or r?
1
Let u(i) = -3*i - 8. Let s be u(-6). Suppose s*l = 5*l. Which is greater: -3/17 or l?
l
Let t = -0.2 + 0.2. Let f(d) = 13*d - 53. Let g be f(4). Is t at most as big as g?
False
Let y = -4331/212 + -70/53. Let p = -289/12 - y. Which is bigger: p or -2?
-2
Suppose -4*m + 2 - 4 = -3*y, 3*y = 3*m - 3. Let l(k) = -4*k**2 + 7*k + 1. Let q(w) = -w**2 - 1. Let t(a) = -l(a)