er: -7 or l?
l
Suppose 0 = m + 2*m - 756. Let s be 16/m + (-2)/7. Let j(r) = -r. Let x be j(-1). Which is bigger: s or x?
x
Suppose 4*f - a = 0, f = a - 0*a. Let t = 4/15 + -38/255. Is f <= t?
True
Suppose 5*a + 17 = 2*t, -2*t = -t - 2*a - 7. Let l be 0 + 1 + (-22)/18. Which is smaller: l or t?
l
Let d = -9/124 - -10/31. Suppose -4*n - 14 = -2*r, 2*n = -2*n - 16. Which is greater: r or d?
d
Let o(t) = -t**2 - t - 4. Let b be o(0). Let z be 2 - 6*(-1)/b. Which is smaller: z or 0?
0
Let i be 16/5 + 7/(-35). Which is smaller: i or 5?
i
Let y(v) = -v**3 - 5*v**2 + 4*v - 9. Let s be y(-6). Is -4 smaller than s?
True
Let t = -6 - -4. Let n = -1 + t. Let i(z) = z - 2. Let u be i(-2). Which is smaller: n or u?
u
Let n(q) = -q**3 + 5*q**2 + 8*q - 6. Let c be n(6). Suppose 6 = y - v, -y + 0*y = 5*v + c. Do 4 and y have different values?
False
Suppose 2*m = 4*b - 108 - 46, 0 = -2*b - 5*m + 95. Is b equal to 40?
True
Let a = 267 - 2667/10. Which is bigger: -1 or a?
a
Let v be (-2)/(-8) - (-3)/20. Let r = 8 + -6. Let c = -3 + r. Which is greater: c or v?
v
Suppose 2*t + 4*g = 28, -8*g = -t - 3*g + 7. Suppose -t = 2*o - 7*v + 3*v, 0 = -3*o - 2*v + 6. Let i = 0 - -1. Is o > i?
False
Let q = -0.02 - -0.22. Let b = q - -0.3. Let p = 3.5 - b. Is p less than -2?
False
Let c be 16/209 - (-4)/(-22). Let t be -1*0/((-3)/(-6)*4). Is c > t?
False
Let j = 1847/9 + -205. Is j != 17/3?
True
Let u = -80.1 + 75. Let l = -0.06 + 5.06. Let n = u + l. Which is smaller: n or -1/3?
-1/3
Let c(s) = s**2 + 7*s - 7. Let h be c(-7). Which is bigger: -9 or h?
h
Let c = 5 + -5. Suppose c = -0*g - 3*g + 15. Suppose -g*v = 4*p + 13, 9 = -v - 8*p + 4*p. Are v and -1 nonequal?
False
Let q be 0 + (0 - 1) + 1. Let h be (-2)/4*-18 - 0. Let f be 3/h + 0 + 0. Is q at most f?
True
Suppose 3*m = 4*z + 7, 7 + 30 = 3*m + 2*z. Let w = -54 - -94. Let u be (16/(-10))/((-8)/w). Is m greater than or equal to u?
True
Suppose -3 = -o + 2. Is 0 at least as big as o?
False
Let h(p) = 3*p + 2. Let o be h(-2). Suppose -4*d + 2*d - 10 = 0. Which is smaller: d or o?
d
Let v = 2 + -1.6. Let r = -5.4 - -6.4. Does r = v?
False
Let j be 34/66 + (-1)/3. Let n(q) = -q**3 + q**2 + 2*q - 2. Let i be n(1). Is i at least as big as j?
False
Suppose -2 = -2*a - 2. Which is smaller: 1/17 or a?
a
Let m = -3 + 2.98. Let c = 0.18 - m. Which is bigger: c or -1/5?
c
Let z(a) = -a**3 + 2*a**2 + 1. Let g be z(0). Which is smaller: g or 1/72?
1/72
Let m(x) = -3 + 2*x + 2 - 6. Let l(o) = 2*o - 7. Let g(s) = 6*l(s) - 5*m(s). Let j be g(5). Is 3 > j?
False
Suppose 0*q - 3*h = -5*q + 17, 2*h + 5 = -3*q. Let i(r) = 4*r**2 - 1. Let m be i(q). Let l = -2 + 6. Is m at least as big as l?
False
Suppose 0*m - 3*m = 30. Which is smaller: -11 or m?
-11
Suppose -45 = -3*p - 0*p. Suppose 0 = -3*h + p. Let n = 9 - 3. Which is bigger: h or n?
n
Let w = 4 - 4. Suppose -4*z + 3*z + 4 = w. Suppose 5*r - r - z = 0. Which is greater: r or 0?
r
Let l = -12 + 3. Which is bigger: -8 or l?
-8
Let l be 1/(-2)*(2 - 2). Let i = -37 - 11. Let h be 68/i + (-4)/(-6). Are h and l non-equal?
True
Let d = 2 - 4. Let i(q) = -q**3 - 2*q**2 - 3*q - 3. Let l be i(d). Suppose 3 = -0*r + l*r. Is r smaller than 2/13?
False
Let h(x) = -x - 6. Let t be h(-8). Let a be -2*t/(-1 + 9). Let p = -111/4 + 28. Which is greater: a or p?
p
Suppose 0 = 4*x - 2*g, 4*g = -0*x - 5*x. Suppose -6*j - 17 = 5*m - 3*j, 4*m + 5*j + 24 = x. Let z = 0 - m. Which is greater: z or -1/7?
z
Let n = -0.3 - -0.3. Let k be (4/6)/((-3)/(-27)). Suppose k*i = 5*i. Is n bigger than i?
False
Let d = 2225.06 + -2487. Let k = d + 256. Let m = -0.06 + k. Is m bigger than 0.1?
False
Let w(q) = -7*q - 15. Let y(k) = -10*k - 22. Let x(v) = -7*w(v) + 5*y(v). Let a be x(-4). Let r be 2/(a + 1/2). Which is smaller: -3 or r?
r
Let g = 0.5 + 1.5. Let v = -169.13 + 170. Let w = -0.13 - v. Which is greater: g or w?
g
Suppose 29*n - 25*n + 4 = 0. Which is smaller: n or 1/130?
n
Suppose 0 = 5*z - 0*z - 15. Suppose -q + z*q = -6. Let b be (q + 6)/(3/2). Is b >= 0?
True
Let m = 0.01 - -0.79. Let p = m + -1. Let f = p - 0.1. Is 1/2 bigger than f?
True
Let m be (-90)/(-429)*3/5. Let o = 13/36 - 1715/5148. Let l = m + o. Which is smaller: 1 or l?
l
Let u(m) be the first derivative of m**2 + 8*m - 2. Let j be u(-6). Is j at least -4?
True
Let p = 141 - 129. Which is smaller: p or 13?
p
Suppose 4*d + 34 = 86. Let b = d - 18. Suppose 3*z = 5*c - 33, -3*z + z + 2*c - 18 = 0. Which is bigger: b or z?
b
Let c = -8 - -9. Is c at most as big as 2?
True
Let x = 1 + -0.94. Let c = x + -3.06. Are 0 and c nonequal?
True
Let q = -13 - -18. Suppose 3 = 2*p + q. Let i be (p - -4)*(-2 + 3). Is 2 bigger than i?
False
Let z(g) = -g**2 - 8*g - 10. Let p be z(-7). Is p at least -3/2?
False
Suppose 5*m - 5 = 2*d - 0, -5*m + 5 = 5*d. Suppose d = 3*u - 8*u. Is u less than or equal to -2/9?
False
Let o be (17 - (-1)/1)*1. Let q be o/4 - (20 - 16). Which is bigger: 2 or q?
2
Let t = 5 - 4. Let k be (t - 0)*(5 - 4). Let w = -43/21 + 12/7. Is k greater than w?
True
Let y = 11 + -7. Let m = y + -4. Suppose 3*p + 0*p - 13 = 2*j, m = 4*j + 5*p - 29. Is 1 less than j?
False
Let k = 1 + -4/3. Suppose -3*s - 4*j = 0, 0*s - 5*j - 11 = s. Suppose 0 = 5*d - 2*f - 9, -4*f = d + 3*d + s. Is k > d?
False
Let i be -7 - (-2 - (-3 + 2)). Let p(o) = o + 8. Let q be p(i). Let a be 0/(-2*(1 + -2)). Which is bigger: q or a?
q
Let s = 247/4 - 62. Suppose 0 = -4*x + l - 4*l - 3, 3*x = -4*l - 11. Let j be x + -4 - -1*1. Which is greater: s or j?
j
Let n = 52 + -58. Is -2 not equal to n?
True
Let a = 776/21285 - -7/387. Is a >= -1?
True
Let w = -44 - -130/3. Let o = -5 + 2. Let q = o - -2.8. Which is smaller: w or q?
w
Let s be (41 - -2) + 5/5. Let r = 224/5 - s. Is r equal to 0?
False
Let i(j) = 3*j**2 - 4*j + 3. Let l be i(2). Suppose 3*a = -2 - l. Let g = 5/3 - 19/6. Are g and a nonequal?
True
Let k = 0 + 5. Suppose 0 = 4*f - 4*s + 28, -k*s = f - 0*f - 23. Which is greater: f or -1?
-1
Let k = 34 - 52. Let c be (1 - k/22)/(-6). Let n = -116/165 - c. Is n greater than or equal to 1?
False
Let k be (-8)/(-12) - (-14)/6. Let s = k + -2. Which is greater: 1/2 or s?
s
Suppose -1 = -5*j - 6. Let p(f) = f - 1. Let d be p(j). Let y be (-3*d/(-3))/2. Which is smaller: y or -1/3?
y
Let m be (-13 - -1)*3/(-9). Suppose 3*i + 3*n - 21 = 6*n, 2*i = -4*n - 10. Suppose -m = 2*f + a, f - a + 2 = i*a. Which is smaller: -2/3 or f?
f
Let m = -13/4 - -173/52. Is -1 > m?
False
Let q = -2 + 2.2. Let i = 137/22 - 74/11. Which is bigger: q or i?
q
Let v(f) = -f - 9. Let g = -7 + 2. Let o be v(g). Let q be ((-1)/(-5))/(o/(-12)). Which is greater: 1 or q?
1
Let g be ((-22)/4)/(3/(-6)). Let m = -4 + g. Let l(k) = -k + 6. Let d be l(0). Is d at most m?
True
Suppose -n + 5*p = 6, 3*n - 2*p = -3 + 11. Suppose -n*u = -z - 7, -z - 4*u = -3*z - 6. Suppose -19 = -5*s - 4. Is s at most z?
False
Suppose 8*i = 12*i + 8. Is i at least 0?
False
Suppose 2*f = 3*f + 4. Let m(i) = 2*i**3 + 4*i**2 - i - 1. Let r(x) = 3*x**3 + 9*x**2 - 2*x - 1. Let g(d) = -5*m(d) + 3*r(d). Let c be g(7). Is f < c?
False
Suppose -k = 3*k. Suppose 4*g = -k*g + 12. Suppose -g*z + 6 = -z. Which is smaller: z or -0.1?
-0.1
Let d be 5/5 + (-1 - 16). Let t be 4/(-6)*(-4)/d. Which is greater: t or -1?
t
Let x be (-1 + 2)*1 - 1/6. Is x bigger than 2?
False
Let j(d) = d + 9. Let b be j(-6). Let s(h) = -h + 1. Let i be s(8). Let c = 8 + i. Which is smaller: b or c?
c
Let z(a) = -7*a - 17. Let l be z(-15). Let f = 266/3 - l. Is f at most 0.3?
False
Let z be (-4 - (-98)/24)*15/(-2). Which is bigger: z or -2?
z
Let y be 3/3 + (-18)/33. Let v = y - 26/33. Which is smaller: v or 2?
v
Let s be (11 + -3)/(-2*(-2)/(-24)). Which is smaller: s or -47?
s
Suppose -4*c + 5*d = 5, -30 = -4*c - d - 5. Let r = -24 - -32. Suppose 16 = r*f - 16. Is c >= f?
True
Suppose 2*k - 2*g = 800, -g - 775 = -4*k + 840. Let n be 3/((k/(-6))/5). Which is smaller: -0.2 or n?
n
Let u be 2 - (6 + (0 - 1)). Let b be (2/(-5))/((-1)/15). Let y be (-4)/6 - 8/b. Which is smaller: y or u?
u
Suppose -16*c = -11*c. Which is smaller: 8/11 or c?
c
Let g be 14 + (-1)/(1/2). Suppose 2*j = g - 4. Let f be (0 + -3)/(-12)*j. Is -2/19 < f?
True
Let y = 6 - 0. Let b = y + -8. Is -0.1 != b?
True
Let x = 0 - 0. Which is smaller: x or 0.04?
x
Let i(y) = y**3 - 5*y**2 + y - 2. Let f be i(5)