 be m(-14). Which is bigger: k or j?
k
Let l be (-1 + 3 + -2)/(-2). Which is smaller: l or -3/13?
-3/13
Let f(c) = -2*c. Let g be f(-2). Suppose -2*y + 4 = -0, -y = g*d + 22. Which is smaller: d or -8?
-8
Let y(i) = 10*i - 22. Let z be y(14). Which is greater: z or 119?
119
Suppose 21 = -c - c + 5*a, 5*c = a + 5. Suppose 0*p - c*b + 2 = p, -5*p + 85 = -5*b. Suppose -5*j + p = -j. Do 0 and j have the same value?
False
Let m = -17/14 + 1/14. Are -0.1 and m non-equal?
True
Let o be ((-60)/(-18))/((-7)/3 - -2). Which is smaller: 2/5 or o?
o
Let p = -7 - -2. Let n(d) = 2*d + 11. Let h be n(p). Which is smaller: h or -1?
-1
Let c = 2.8 + -1.5. Let j = 0.3 - c. Suppose x - 2*t = -1, 0*t - 11 = 4*x - t. Are x and j unequal?
True
Let i(f) = -f**2 - 2*f. Let j = -7 - -5. Let g be i(j). Let r = -5 + 5. Is r greater than g?
False
Suppose 7*g = -0*g + 7. Which is smaller: g or -2/19?
-2/19
Let w = -25 - -26.1. Let z = w + -1.3. Which is bigger: z or -0.02?
-0.02
Let s(m) = 3*m - 3. Let k be s(2). Suppose -5*r + 3*t - 20 = 0, -3*t - 3 - 9 = k*r. Do -5 and r have the same value?
False
Let t = 3 - 1. Suppose -y + 0*r = t*r + 4, -18 = 2*y - r. Let f be y/(-36) + 4/(-18). Are f and -2/9 equal?
False
Suppose -b = c, -5*b - 27 = -5*c - b. Let o be (-2 + 5/c)*-1. Let v = 0.08 - -0.12. Which is smaller: v or o?
v
Let u = -3 - -3. Let x(y) = y**3 - 5*y**2 + y + 6. Let q be x(5). Suppose -3*d = 2*v - 8 + 25, -3*d + 5*v = -q. Which is smaller: u or d?
d
Let y be (-266)/6 + 5/15. Let b be (-204)/(-33) + 8/y. Is b less than or equal to 6?
True
Let i be 2/3*(-3)/(-1). Suppose -6 = -i*d + 10. Suppose d + 12 = 4*b + 4*h, h = 3*b - 3. Is b > 1/3?
True
Let u(t) = 5*t**2 - 1. Let o be u(1). Suppose v + v = 0. Is o greater than v?
True
Let b = -901 + 205427/228. Which is greater: b or -1?
b
Let r = 10 - 4. Let s be 18/(-63)*(-49)/3. Which is smaller: r or s?
s
Suppose 2*o - 6*o = 0. Let u be 0 - -3 - 1 - o. Suppose 3*f = u*f + 1. Is 2/5 at most f?
True
Let z = -0.3 - -0.4. Let s = 0.7 + -2.7. Which is smaller: s or z?
s
Let d = -50 - -43. Are d and -1 unequal?
True
Let k = -14 - -14. Which is smaller: -31 or k?
-31
Suppose -2*j - 5*b = -15, j = 4*j + 3*b - 9. Suppose 7 = 4*s + 3. Suppose 0 = -t - s + 2. Which is smaller: j or t?
j
Let n be 40/(-21) - (-30)/(-70). Is n equal to -1?
False
Let t(l) = 5*l**2 - l. Let c be t(-1). Let p(g) = -g**3 - 5*g**2 + g. Let m be p(-5). Let r be (-25)/10*8/m. Which is bigger: r or c?
c
Let j be ((-2)/6)/(3/6). Suppose 0*w - 3*w + 3 = 0. Which is greater: j or w?
w
Let h(z) = 3*z - 7. Let s be h(5). Suppose -2*o - 4*r = 12, 4*r - 2*r = -s. Suppose 2*n + 2 = -o. Is n greater than or equal to -2?
True
Let l = 13.54 - -0.46. Which is bigger: l or 1?
l
Let q = 2 - 7. Which is bigger: q or -4?
-4
Suppose 7*v = 3*v + 48. Suppose 3*p - 4*r + v = 0, -3*p + 2*p - 2*r + 6 = 0. Do p and 2 have the same value?
False
Let c = -19/12 + 11/6. Which is bigger: c or -2.9?
c
Let p(a) = 2*a**2 + 16*a - 11. Let f(k) = k**2 + 8*k - 6. Let r(s) = 5*f(s) - 3*p(s). Let x be r(-7). Let g = 9 - x. Is g equal to 1?
False
Let o be (1/(-3))/((-21)/(-4203)). Let l = o - -67. Is l smaller than -2?
False
Let d = 19 - -6. Suppose 0 = 5*c - 0*c - d. Which is smaller: 4 or c?
4
Let h be (21/(-36))/7*(3 - -7). Suppose -5*f = -3*u - 12, 4*f - u = -3*u - 8. Is h smaller than f?
True
Let q be 133/18*(-8)/(-546). Let y = q - 5/27. Which is bigger: 1 or y?
1
Let f = -54 + 54.2. Are 3 and f equal?
False
Let l = 25 + -44. Let h be ((-12)/(-30))/((-12)/555). Let c = l - h. Is c equal to -2?
False
Let l(s) be the second derivative of s**4/12 + 3*s**3/2 + 9*s**2/2 - 4*s. Let g be l(-8). Do g and 4 have different values?
True
Let l be (-2)/(-6)*305/(-3025). Let f = -4/121 + l. Is 0 greater than f?
True
Let i = 2 + -4. Let w = 3 + -4. Which is smaller: i or w?
i
Let x(s) be the third derivative of -s**2 - 7/6*s**3 + 0*s + 0 - 1/24*s**4. Let f be x(-5). Is f at least as big as -2/3?
False
Let f = -38.2 + 38. Let o = -2.1 + 0.1. Which is smaller: o or f?
o
Suppose 0 = -2*u - 3*l + 19, 5 = -4*l + 25. Let a = -1 - -3. Is a <= u?
True
Let k(x) = -4*x + 2. Let s be k(1). Is -1 equal to s?
False
Let x = -16 + 8. Let l = -16 - x. Let i be (12/16)/(2/l). Which is smaller: i or -4?
-4
Let f be (-2 - -52) + -7 + 5. Is 48 bigger than f?
False
Suppose -3*s = 4 + 2, 6 = 4*k - s. Are k and 5/3 equal?
False
Let t(y) = y + 1. Let j be t(-2). Let x be (-26)/40 - (-2)/5. Is x != j?
True
Let a(p) = p**3 + 6*p**2 + 8*p + 5. Let j be a(-5). Let m = 7 + j. Are m and 1 equal?
False
Let n(s) = -s + 2. Let r(f) = -f**3 + f**2 + 2*f + 1. Let p be r(-1). Let d be n(p). Is d not equal to 3?
True
Let n(y) = -2*y**3 - 4*y - 3. Let b be n(-3). Is 63 at least b?
True
Suppose -c - 3*y - 18 = 2*c, 2*c + y + 13 = 0. Is -6 greater than or equal to c?
True
Let c = -31 - -43. Is c <= 13?
True
Suppose -s = -2*x + 22, -2*s = 3*x - 24 - 16. Let l = 13 - x. Which is greater: -2/17 or l?
l
Let z = -11 + 21. Let t = 10 - z. Is t less than or equal to 2/45?
True
Let w(v) = v**2 + 6*v + 2. Let a be w(-6). Suppose 0 = 4*t - 12*t + 8. Which is bigger: t or a?
a
Let v = -11 - 6. Let l be ((-4)/(-16))/(v/8). Suppose 20 = -5*o, 3*x + 0*o - 23 = 5*o. Which is bigger: x or l?
x
Let f(d) = d**3 - 4*d**2 - 6*d + 6. Let c be f(5). Let t be (-12)/36*-1*9. Is t < c?
False
Let w(a) = -a - 2. Let v be w(-5). Suppose -v*d = -8*d + 10. Which is greater: 1 or d?
d
Let a = 61 + -61. Let s = 2183/19 + -115. Which is smaller: a or s?
s
Suppose v + 1 - 3 = 0. Let b = 74 - 73. Which is smaller: v or b?
b
Let b = 4.5 + -4.4. Which is greater: -1.2 or b?
b
Let k = 1 - 3. Let q be (-3)/(-3) + k - 2. Let j(u) = u + 1. Let f be j(q). Is f > -1?
False
Let k be (-6 - -3)/((-22)/(-4)). Are k and -2 non-equal?
True
Let a be 1 - 1 - (-3)/5. Let z = 5 - 3. Suppose 0 = 4*t, z*i + 2*i = -2*t. Which is smaller: a or i?
i
Suppose 0 = -3*m + 7*m. Suppose 0 = -0*a + 2*a. Suppose a = 3*o + 7 - 4. Which is greater: o or m?
m
Let b be (-109)/(-310) - (32/10)/8. Do -1 and b have different values?
True
Let l be 2/8 + (-42)/8. Let a = 6 + l. Let f = 0.06 - -1.94. Is a greater than f?
False
Let m be (-4)/(24/(-10))*-1. Let q = 19 + -22. Which is bigger: q or m?
m
Suppose -2*l - 8 = l + b, 3*l - 22 = 5*b. Let f be 0 + 6 + 3/l. Is f greater than 3?
False
Let n(j) = 5*j - 1. Let o be n(-1). Let s = -6 - o. Is s less than -1?
False
Let t = 27 + -18. Is t >= 7?
True
Let f = 10.97 + -11. Is f at least -1?
True
Let r be 3/4*(-26)/(-18). Let q = -5/4 + r. Suppose 0 = u - f + 2, 2*u + 0 - 8 = -4*f. Is q equal to u?
False
Suppose 0 = -5*s - 3*h - 75, 5*s + 27 + 13 = 4*h. Let t = s + -1. Let w = t + 37/3. Is w greater than or equal to -2/7?
False
Let k be ((-5)/15)/(-1 + 12/9). Let g = 77/3 + -26. Which is smaller: g or k?
k
Suppose -2*j = -0*j + 24. Let i be (-3)/j*20/8. Let u = i + -23/24. Is 0.4 at least u?
True
Suppose -2 = -5*t + 8. Let a be ((-8)/10)/(t/(-10)). Let f(h) = h**3 + 6*h**2 - 2*h - 9. Let x be f(-6). Which is smaller: x or a?
x
Let k = 13571/301 - -543/43. Let n = 58 - k. Let r(p) = p. Let s be r(1). Which is smaller: n or s?
n
Let m be 1/(-4)*-6*12/81. Let c = -6.97 - -7. Is c < m?
True
Suppose -4*h + 2*h + 5 = z, 2*z = 2*h - 8. Let b be ((-1 - h)*-1)/(-2). Let v be 2*b*9/12. Which is smaller: 1 or v?
v
Let t(y) = y**2 - y + 2. Let h be t(0). Suppose -h*q + 4 = -q. Suppose -d + 2*s = -3*d - 10, -5*d - 20 = q*s. Is d equal to 1?
False
Let d be 0 + 3 - 8/2. Is 0.7 bigger than d?
True
Let m = -13/70 - -9/10. Suppose 0 = -2*p - 0*p + 4. Is p bigger than m?
True
Suppose 7 + 157 = 4*b. Which is smaller: b or 42?
b
Suppose 4*k + k - 375 = 0. Let l be (-10)/4*(-12)/k. Which is greater: -1 or l?
l
Let v be 15/(-6)*(1 - 3). Suppose 3*a - 9 = -v*q - 1, q = 5*a - 4. Is -1 greater than or equal to a?
False
Let f = 312 - 1883/6. Is f not equal to -1?
True
Suppose -26 = -4*c - 6. Suppose q = 3*w - 10, 3*w - 4 = w + 2*q. Is w less than c?
True
Let a = -59 - -59.1. Is -5 != a?
True
Suppose 5*i - 23 = -3. Let s = i + -2. Suppose s = -2*d + 4*d. Which is smaller: -2/7 or d?
-2/7
Suppose 3*q = q - 2. Let t(v) = v**3 - 5*v**2 + 1. Let f be t(5). Suppose 2*r - r = -f. Is r bigger than q?
False
Suppose 5*w + 6 = 8*w. Is w at most 1?
False
Suppose -4*g - 4*n = 12, -6*g = -g - 4*n + 51. Let r =