< j?
False
Let r be ((-6)/(-12))/(1/10). Suppose 0 = -f - r + 4. Let d be (-22)/(-56) - 2/8. Do f and d have the same value?
False
Let l be 2 + -2 - -55 - -3. Does l = 58?
True
Suppose i - 4 = 4*o, o = 5*i - 3*o - 20. Suppose -1 - 3 = i*g. Is g at least as big as 1/19?
False
Let v(y) be the third derivative of -y**4/24 + 2*y**3/3 + 3*y**2. Let h be v(8). Let w be (-32)/66 - h/6. Which is smaller: -1 or w?
-1
Suppose 2*g + 4 + 0 = 0. Let f be g*3/18*3. Is -1/6 greater than f?
True
Let w(m) = -m**3 - 5*m**2 + 7*m + 4. Let r be w(-6). Do -3 and r have the same value?
False
Suppose 5*l = -10 - 0. Suppose b = -0*b + 5. Suppose 0 = 4*m - 4*k + 20, -m + 2*k + 7 = b*k. Is l equal to m?
True
Let o = -27.74 - -28. Let x = o + -0.16. Is 3 less than x?
False
Let y(h) = 2*h**2 - h - 1. Let v be y(2). Let f = v - 3. Which is smaller: f or 1?
1
Suppose 0 = 2*r - 3*r + 5. Which is greater: r or 3?
r
Let r = -5.4 - -4. Let l = r + 3. Let n = 0.6 - l. Is -4 at most as big as n?
True
Suppose -8 = 3*r + r. Suppose a = -2*a. Suppose a = -v - 3*u + 2 + 14, -2*v = 3*u - 17. Which is smaller: r or v?
r
Suppose 0 = x - 2*w - 0 + 1, -2*w = 0. Let k be (-178)/36 - (-3)/6. Let y = k + 164/45. Which is greater: y or x?
y
Let j = -4426/19 - -233. Which is smaller: 1 or j?
j
Let o be 8/4 + 21/(-8). Which is bigger: o or -2?
o
Suppose -6*w + 2*w = 8. Let q be w - (-4)/((-112)/(-36)). Is q less than or equal to -1?
False
Let p be (-2 - 4)/(4/(-6)). Is 10 at least as big as p?
True
Let g = -34/3 + 12. Let f = -6 - -7. Is f bigger than g?
True
Let x be ((-2)/(-36))/((-2)/(-16)). Let l be 9 - (-1 - (-2 - 0)). Suppose 0 = -5*w + l*w. Which is smaller: w or x?
w
Suppose 0 = 3*b + 2 - 5. Let c = 2 - b. Let p = 97/66 - 3/22. Is p <= c?
False
Let r(z) = -4*z + 3. Let f(h) = h - 1. Let d(y) = -3*f(y) - r(y). Let w be d(-5). Do w and -5 have the same value?
True
Let h = -11.25 - -13. Let n = 1.7 - h. Which is smaller: n or -1/3?
-1/3
Let h = -9 + 10. Let w be h + 1 + (-110)/40. Let r be (1/(-3))/((-2)/(-6)). Which is smaller: r or w?
r
Let f(v) be the second derivative of 3*v**4/4 + v**3/6 + 2*v. Let n be f(-1). Suppose 2*s = -2*m - 4, -n = m + 2*m + 5*s. Which is bigger: m or 4/9?
4/9
Let m be (-6)/102*(3 + -1). Suppose 2*y + 5*f + 13 = 0, 4*y + 5*f + 10 = -y. Which is bigger: y or m?
y
Let w = -31 - -25. Is -6 > w?
False
Let l be 2/(-4) + (-517)/22. Which is smaller: -23 or l?
l
Let l = -10 - -8. Which is smaller: l or -22?
-22
Suppose 3*r + 2*r - 5 = 0. Which is smaller: r or 6/11?
6/11
Let u = 81 - 485/6. Which is greater: u or 0?
u
Let k = 8 - 9. Let f(h) = h - 1. Let z be f(-2). Is k <= z?
False
Suppose 3*q + 96 = -q. Let i be 0/(-2) - q/(-66). Which is smaller: i or 1?
i
Let u = 22 + -19. Is 13/4 greater than or equal to u?
True
Let c = 1 - 6. Let n be 1/3 + (-26)/(-6). Let g = n + c. Is g greater than 0?
False
Suppose -55 = -5*b + 2*u + 3*u, -5*u = 2*b + 6. Is b <= 8?
True
Let z(k) = -k**2 - 7*k. Let n be z(-5). Let m(x) = -7 - 9*x + 2*x**2 - x**2 + 0*x - 2. Let t be m(n). Is t bigger than -1/11?
True
Let i(a) = -a**3 - 3*a**2 + a + 3. Let r(h) = -2*h**2 + h + 2. Let g(t) = -2*i(t) + 3*r(t). Let x be g(-1). Let u be x*1 + 2 + 2. Which is bigger: 1/3 or u?
u
Suppose -4 + 0 = -g. Suppose 0 = -4*z - 2*p - 4, g*z + 2*p + 2 = -p. Do 1 and z have the same value?
False
Let d = 2/125 - 256/375. Which is smaller: 0.17 or d?
d
Let f(k) = -k**3 - 4*k**2 + k + 2. Let z be f(-4). Let q(b) = -b + 12. Let h be q(14). Is h at most as big as z?
True
Suppose 0*i - 3*i + 12 = 0. Let h(t) = -t**3 - t + 3. Let u be h(0). Suppose -i*b + 3*s + u = -3*b, -5*b - 5 = -5*s. Which is smaller: b or -2?
b
Let y be (0 - -2) + -2 + 4. Suppose c = -y*c. Are c and 4 equal?
False
Let q(m) = m**3 + 8*m**2 - 6. Let g be (4/(-3))/((-2)/(-12)). Let v be q(g). Let w = 4 + v. Which is smaller: w or -1?
w
Let x = -12 + 13. Let i = -6 - -8. Is i >= x?
True
Let g = 1 - -3. Let z be (-1)/(-12) - 3/g. Let y = 0.1 - 0.1. Is y bigger than z?
True
Let v = 0.08 + 2.92. Let q = v - 4. Let f = -0.1 - 0.9. Are q and f unequal?
False
Let o(c) = c**3 - 8*c**2 + 6*c + 8. Let v be o(7). Let i be (2 - -1)/3*v. Suppose 2*b = 5*b - 3. Are b and i unequal?
False
Suppose -15 = 4*w + w. Let k(z) = 3*z. Let m be k(-1). Is m at most as big as w?
True
Let u = 15 + -8. Let s = u + -1. Which is smaller: s or 7?
s
Suppose 0 = -5*q + 2*q + 15. Suppose -14*i + 6 = -12*i. Is i greater than or equal to q?
False
Let n = 6 - 17. Are n and 0.1 nonequal?
True
Suppose 6 = 3*c + 3. Which is smaller: c or -1?
-1
Let i = 0.8 - 0.6. Let x = -1.8 + i. Is x bigger than -0.1?
False
Let t be 20/35 - (-6)/21*-30. Which is bigger: -3 or t?
-3
Suppose 5*m - m = -4*k + 8, 4*m - k + 2 = 0. Let q(x) = x**3 - 5*x**2 + x + 12. Let d be q(4). Is d != m?
False
Let d be (-4)/(-10)*-1 - -1. Which is smaller: 0 or d?
0
Suppose -2*j - 1 = -3*m, 2 = j - 3*m - m. Let n be j/3 - (-34)/24. Which is greater: n or -1?
n
Let j = 9/10 + -17/30. Which is smaller: -12 or j?
-12
Let l(y) = 2*y**2 - 3*y + 2. Let p be l(2). Suppose 3*m = -m - p. Let x be (5 + -5)*4/8. Which is greater: m or x?
x
Let d be (-4)/2 + (-15)/(-9). Let p = 0.5 + -0.56. Let l = -0.16 - p. Are l and d equal?
False
Let t = -2 - -1. Let m be t/(2 + (0 - 1)). Let z be m*(-2 + 2 - 1). Which is smaller: z or 3/4?
3/4
Let q = 11 + -1. Let x = -10 + q. Which is smaller: -0.1 or x?
-0.1
Suppose 2*h - 11 + 1 = 0. Is h smaller than 6?
True
Let v = 1.4 + -0.4. Let w(d) = d**3 + 5*d**2 - 1. Let j be w(-5). Let b = j - -1. Are b and v non-equal?
True
Let f = -124 - -124. Let i = -4 + 7. Suppose 5*k - 5 = i*y - 8*y, -y = 2*k - 1. Are k and f nonequal?
False
Let y(n) = n**3 - n**2 + n + 2. Let s be y(-1). Which is smaller: s or 0.21?
s
Let x = -4 + 1. Let d = 5 - 5.5. Let t = 0.5 + d. Which is smaller: x or t?
x
Let y(m) = -m**3 - 6*m**2 + 8*m + 8. Let s(h) = -h + 4. Let r be s(11). Let u be y(r). Let g = 156 - 1094/7. Which is greater: g or u?
u
Let b = -11.55 + -0.15. Let a = 12 + b. Which is smaller: -2/7 or a?
-2/7
Let w = 82 + -47. Which is smaller: -0.1 or w?
-0.1
Suppose -11 - 64 = s. Let v be s/(-132) + 3/(-4). Let n = 1 - 1.1. Do n and v have the same value?
False
Let y be (-14)/(-28)*(-24)/(-37). Let i = y + -158/259. Which is smaller: 7 or i?
i
Let q = -19/30 + 3/10. Let g be -1*2 + (-3 - -9). Let r be (-8)/g*1/2. Are q and r non-equal?
True
Let d = -69 - -29. Let o be ((-2)/4)/(4/d). Is 3 at least as big as o?
False
Let f be (-3)/86*(1 + -3). Which is smaller: 1 or f?
f
Let n be 0*3*(-3)/(-9). Suppose 5*x - 3*u = -6*u - 20, n = -5*x - 2*u - 15. Is 1/9 bigger than x?
True
Let y = -44 + 65. Is 19 <= y?
True
Let m = -2787/16 + 174. Which is smaller: -1 or m?
-1
Let f = -31 - -31.19. Is f < -2/7?
False
Let x be (-2)/11 + 91/77. Are 3/4 and x equal?
False
Let a(w) = 3*w + 23. Let v be a(-7). Is v at most 3?
True
Let h = -7 + 13. Which is smaller: 1 or h?
1
Suppose 7*r = 78 - 64. Are 3 and r unequal?
True
Suppose 3*d - 35 = 13. Which is smaller: d or 0.1?
0.1
Let y = 26 - 22. Which is greater: 3 or y?
y
Suppose -j = -4*j. Is -0.3 less than or equal to j?
True
Suppose 4*t = -t - 25. Let r be 4/t + 4/4. Suppose i = 2*d + 7, 4*i = 3*d - 5*d + 18. Does d = r?
False
Let v = -2/37 - -189/74. Is v greater than or equal to 2?
True
Suppose 5*a + 24 = -4*l, 17 = 4*l - l - 5*a. Is 3/8 smaller than l?
False
Suppose 3*q - 3*d + 2 = 32, -4*d - 20 = 0. Is 5 less than q?
False
Let r = 173238105/1417 - 122257. Let y = r - 2/327. Which is smaller: 0 or y?
y
Suppose -95 = -0*y - 5*y. Let a be y - (1 - (0 - 0)). Suppose 5*v = -m + 37, -3*v - 4*m + a = -2*m. Which is bigger: v or 9?
9
Let g(a) = a - 6. Let j(r) be the second derivative of r**3/6 + 2*r**2 - r. Let v be j(0). Let q be g(v). Which is greater: q or -2/3?
-2/3
Suppose t = 2*s + 1 + 3, 0 = -2*s - 3*t - 4. Let q be (s/(-8))/(22/8). Which is greater: -1 or q?
q
Let r = -100 - -296. Let x be 1/4 - (-7)/r. Which is smaller: -1 or x?
-1
Let b be (120/100)/(2 - 56/30). Which is smaller: b or 48/5?
b
Let q(l) be the first derivative of -l**3/3 - 5*l**2/2 - 5*l - 1. Suppose u = 1 - 5. Let p be q(u). Is 0.1 greater than or equal to p?
True
Let f = -67 + 57. Which is bigger: f or -4?
-4
Let j be (4/(-3))/(1/(-24)). Let f = 27 - j. Which is greater: f or -4?
-4
Let g = -159 + 2387/15. Let