-6 + 8. Which is smaller: p or l?
p
Suppose 4*s + 3 = 23. Let q be s/4 - 1/4. Let r = 346/585 + 1/117. Which is greater: q or r?
q
Let a(s) = -2*s**2 + 4*s - 2. Suppose 3*h + 2*t = 0, 2 = 5*h + t - 5. Let z be a(h). Suppose 2*n + 1 = n. Is n greater than z?
True
Let q be ((-512)/10)/(-8) + (-2)/(-1). Is 7 smaller than q?
True
Let m be (-2)/2 - 212/(-5). Let y = m - -111/10. Let s = 51 - y. Is -1 <= s?
False
Let v be -1 + (-412)/(-66) + 8/(-24). Is v greater than or equal to 4?
True
Let c be (6 + -2)*(-34)/(-8). Let d = 27 + -24. Suppose -8 = -d*q - m, -3 = 5*m + c. Does -1 = q?
False
Suppose 0 = -4*p - r + 16, -3*r - 4 = -4*r. Are 18/11 and p non-equal?
True
Let n = -0.3 + -6.7. Let m = 3 + n. Let k = m - -1. Which is smaller: 0.2 or k?
k
Suppose -20 = 4*g + 4*y, -2*y + 4*y = -3*g - 12. Suppose 33 = 3*r - 2*i + 5, -4*i - 50 = -5*r. Let t be r/4 - 65/30. Which is greater: g or t?
t
Let n = 2/305 + -744/20435. Which is smaller: 1 or n?
n
Let d be 9/21*(-2)/(-6). Let i be 12/(-8)*12/(-9). Suppose -i*m + 4*y + 16 = -6*m, -m + 12 = -3*y. Is d > m?
True
Let i(m) = -m**3 - 17*m**2 - 15*m + 16. Let q be i(-16). Which is smaller: -1/25 or q?
-1/25
Let p = -166 - -165. Which is smaller: -84 or p?
-84
Suppose -8 = 4*b - 0. Let t = 1.95 + 0.05. Is t less than b?
False
Let f = 3.8 + -9. Let h = 5 + f. Let y = h + 0.2. Is 3 bigger than y?
True
Let t be 31 - (0 - -2) - 0. Let y = t + -85/3. Which is greater: -0.5 or y?
y
Suppose -4*l + 5*z = -7, -4*l - 5*z = -23 + 6. Suppose 0 = 4*t + 3*o + 2, -l*t = -2*o - 5 + 15. Let f be (4/(-5))/((-4)/(-10)). Is f at least as big as t?
True
Suppose 0 = 2*x - 7*x. Suppose -4*h - 16 = -3*p, -12 = -x*p - 3*p + 3*h. Suppose j = -3*d, p = 2*d - j - j + 8. Is d > -1/7?
False
Let x = -2 + 2. Let a = -5.96 - -6. Which is bigger: a or x?
a
Let i = 535/1157 + -1/1157. Which is smaller: i or 1?
i
Let p = 9083/38 - 239. Is p less than -1?
False
Let h(g) = 8*g**2 + g - 6. Let b be h(2). Is b <= 26?
False
Let f(n) = n - 1. Let c be f(4). Suppose -3*w = 3*q + c, 3*q - 5 = w - 2*w. Let u be w/6*(0 + 3). Is -2 less than or equal to u?
True
Let o be (-60)/(-28) - 1 - 2. Which is greater: -1/4 or o?
-1/4
Suppose 2*n = -2*n + 20. Suppose 2*g + n*w + 23 = -g, -5*g - 9 = w. Which is smaller: 1/16 or g?
g
Let v = -26 - -46. Let z = 20 - v. Is z at least -2/49?
True
Let m = -3.98 + 4. Let l = -0.42 + m. Let g = l + 0.4. Which is smaller: -1 or g?
-1
Let q be 49/(-15) - 3/9. Which is bigger: q or -5?
q
Suppose -3*c + d = -54, -4*c - 3*d = -2*c - 36. Let w = c - 18. Let r be (0 + 2)/((-7)/2). Are r and w equal?
False
Let q = -95/6 + 10919/690. Let c = q + 581/690. Which is smaller: c or 2?
c
Let s = -3.8 - -4. Do -0.1 and s have the same value?
False
Let l(x) = -x**3 - 8*x**2 - 6*x + 4. Let i be l(-7). Let f = i + 1. Let d = f - 0. Which is smaller: d or -3?
-3
Let c be 1/(0 + 2/4). Let d = 7 - c. Let p be 2/4 + (-18)/(-4). Is d greater than or equal to p?
True
Suppose -c + 2*w = -13 - 5, -15 = -c + 5*w. Suppose -5*g = -3*b - b - c, 20 = 4*b + 5*g. Suppose b = -4*z + 3*s + 10, z - s - 2*s - 7 = 0. Is z != 1?
False
Let l be (-4)/10*150/15. Is -16/3 != l?
True
Let n = 14.6 - 17.66. Let r = 0.06 + n. Let m = 2 + r. Is m at most -5?
False
Let c = 62.982 - 63. Which is smaller: c or 0?
c
Let v be ((-965)/(-260) - 4) + (-1)/(-4). Is -1 less than or equal to v?
True
Let y = 2 - 2. Let i be (-12)/(6/(-3) + y). Let s be ((-3)/i)/((-7)/2). Which is greater: -1 or s?
s
Let l = 0.9 - -0.1. Is -7 > l?
False
Let x be (-8)/40 + 14/20. Are -2 and x equal?
False
Let q be 17/10 - (-7)/(-3 - 11). Is -9 smaller than q?
True
Let j(i) = 6*i - 5. Let l be j(7). Suppose 0 = 4*f - 5*r + l, f - 14 - 3 = -4*r. Suppose 24 = -3*p + 3*t, -2*t - 4 + 12 = 0. Which is greater: p or f?
f
Suppose 10*n = 11*n + 39. Are -39 and n nonequal?
False
Let x(h) = 2*h + 2. Let w be x(-2). Let o be (-3 + w + 4)/1. Suppose -1 = -2*t - 3. Is t bigger than o?
False
Suppose x + 27 = 4*z, 6*z - 2*z - 39 = 5*x. Is z greater than 4?
True
Let t be (4 - 1)*28/(-12). Let x be 4/2 - (t + -1). Let w be (-2)/3 + x/6. Are w and 0 non-equal?
True
Let w = -120 + 118. Are w and 9 equal?
False
Let v be (-16)/8 + 1 + 2. Which is greater: v or -36?
v
Let d = 0.13 - -0.57. Let u = -0.056 - -2.356. Let a = d + u. Which is smaller: -0.1 or a?
-0.1
Let x = -29 + 30. Let d = 1 - 1. Which is bigger: x or d?
x
Suppose -3*l = 15, 8 = -b - 5*l - 4. Suppose 0 = 5*w - 12 - b. Suppose -4*m - 10 = -w*m - 5*j, -m - 3*j + 6 = 0. Do m and 0 have different values?
False
Let r(a) = a + 12. Let v be r(-7). Suppose 4 = v*y - 6. Is 1/2 smaller than y?
True
Let v = -1 + 0. Let b = -3 + 1. Is b less than v?
True
Let j be -1*8 - 1 - -4. Which is smaller: j or -2?
j
Let x = -12 + 18. Let q = x + -5. Let j = 2.6 + -0.6. Which is smaller: q or j?
q
Suppose -j - 2*w - 20 = 0, -w = -2*j - j - 39. Is -68/5 less than j?
False
Let g be (-1 + 1 + 0)*-1. Let l = 1842/5 + -367. Which is greater: g or l?
l
Let d = -7859/30 - -262. Let q = -6 - -5. Which is smaller: d or q?
q
Let t be (-4)/14 + 108/84. Which is smaller: -4/13 or t?
-4/13
Suppose 12 = -4*x + 4*w, 2*w = -2*x + x. Let i be (11/(-12))/(3/9). Which is bigger: i or x?
x
Suppose 4*g = -12, 14 + 10 = -3*o - 5*g. Let v be 7 - o*(-1)/3. Which is greater: v or 7?
7
Suppose 7*a - 4 = 3*a. Suppose 18 = 3*c + 3. Let n be 8/30 - (-2)/c. Which is smaller: n or a?
n
Let i(m) = -4*m**2 + 3. Let x(o) = -5*o**2 - o + 4. Let b(g) = -4*i(g) + 3*x(g). Suppose 0 = -j - 4*j + 15. Let f be b(j). Which is smaller: f or -1?
-1
Let m(h) = h**3 - 4*h**2 + 3*h - 2. Let r be m(3). Suppose 4 = -8*z - 4. Which is smaller: z or r?
r
Suppose 0 = -6*j + 2*j + 16. Let q be ((-6)/(-8))/((-5)/(-20)). Which is greater: q or j?
j
Let v = 42 + -63. Let x be (-4)/14 + 8/v. Which is smaller: x or 0?
x
Let m = 0 + -1. Let c = 6.04 - 0.04. Let n = -5.7 + c. Do m and n have the same value?
False
Let f(l) = -2*l**3 - 4*l**2 - 4*l - 2. Let a be f(-2). Suppose a - 2 = 2*b. Let u be (-26)/6 + b/6. Which is bigger: -3 or u?
-3
Let m(p) = -p + 31. Let n be m(10). Which is smaller: 19 or n?
19
Suppose 0*y + y - 27 = 0. Let c be 3/(-2)*4/y. Which is greater: c or -0.2?
-0.2
Let f = -104 + 105. Does -2/185 = f?
False
Suppose 3*t + 11 = -u, 1 = -4*t - 19. Are 5 and u unequal?
True
Suppose -x + 1 + 0 = 0. Suppose 3 = -2*c + x. Let i be 1 + 1*3/c. Do i and -1/2 have the same value?
False
Let t = 60 + -56. Are 0.3 and t non-equal?
True
Let g(v) be the second derivative of -v**4/24 + 2*v**3/3 - v**2/2 - 2*v. Let a(s) be the first derivative of g(s). Let d be a(4). Is 0 != d?
False
Let l be (-2)/20 - 1/(-2). Let y(k) = -k - 1. Let s be y(-6). Let i(z) = z**3 - 4*z**2 - 6*z + 6. Let o be i(s). Is o <= l?
False
Let x be 6/(-33) - (-159)/(-33). Which is greater: 0.3 or x?
0.3
Let g be ((-1)/2)/((-13)/(-702)). Let b be -4 + -2 + (-156)/g. Which is smaller: b or 0?
b
Let f(g) be the third derivative of g**5/60 - 3*g**4/8 + g**3/2 + 8*g**2. Suppose 0 = -p + 4*p - 27. Let s be f(p). Are 2 and s equal?
False
Let q = -12 - -12. Let t be -3 + (753/126 - 3). Which is smaller: t or q?
t
Let x = -43 - -43. Is 2/7 at least as big as x?
True
Let n be ((-19)/(-627))/((-2)/18). Which is greater: n or 2/5?
2/5
Let c = -6.1 + 6. Let x = -1 + 1.1. Let p = x - c. Is 1 > p?
True
Let a(c) = -11*c + 21. Let j be a(-5). Is j greater than 77?
False
Let q = 23 + -20. Suppose -q*r = r. Is r greater than or equal to -1/4?
True
Let c be (6/4)/(5/10). Suppose n = 2*x + 1, n - c*x = -0*n - 1. Suppose 3*k - n*u = 20, 4*k = 2*k + 2*u + 8. Is k bigger than -2/3?
True
Suppose 5*v = 25, 35 = 4*x + 3*v + 168. Which is greater: -38 or x?
x
Let r be 42/(-70) - (2 + (-98)/5). Is 15 > r?
False
Let y be 30/(-63) + ((-24)/9 - -3). Is y at most as big as -2/3?
False
Suppose 6*q - q + 15 = r, 3*r + 2*q + 6 = 0. Suppose 8 = -f - 4*f + 4*o, r = -4*f + o - 2. Which is smaller: f or 1/7?
f
Let i(t) = 23*t**2 - 1. Let h be i(1). Let o be h/36 + 1/(-2). Is 0 bigger than o?
False
Let n be (0 + 1)*2/2. Let k be (1/(-7))/(n - 0). Suppose 0 = -2*v - 2*v. Which is smaller: v or k?
k
Let k = -1.5 - -1.71. Let s = -0.11 + k. Which is greater: -0.02 or s?
s
Let n = -17.1 + 17.05. Let u = 0.2 + -0.2. Which is bigger: n or u?
u
Let t be (-2)/55*10*(-3)/(-18). Which is bigger: t or -1?
t
Let t = -3 