ess than or equal to 14?
True
Let o be 2/((-65)/20 - -3). Which is smaller: -20/3 or o?
o
Let z = 3 - 4. Let v(c) = c**2 - 6*c + 5. Let w be v(6). Suppose 0*d + w*d + 14 = -j, 2*d + 2*j = -12. Is z greater than d?
True
Let v = 20.3 - 18.3. Let h(y) = y. Let x be h(-5). Which is smaller: v or x?
x
Let i = 102 - 138. Is -36 at most i?
True
Let l = 70/3 + -356/15. Suppose -b + 3*y - 11 = -3, -3*b + y = 0. Let a = b - 1. Is a bigger than l?
True
Let o = -1 - 5. Let v = 6 + o. Which is smaller: -0.06 or v?
-0.06
Let l(r) = -r**2 + 7*r + 23. Let p be l(9). Is 1 at most p?
True
Let s = 0.7 + -0.76. Let f = -0.08 + s. Let d = -0.04 - f. Which is greater: d or 0?
d
Let n = 80 + 51. Let z = n + -919/7. Which is smaller: -1 or z?
-1
Let v be (-31)/(-3) - 20/(-30). Which is greater: 12 or v?
12
Let h be (2/(-3))/((-2)/(-9)). Let f be (3 - h/(-30)) + -3. Is 0 > f?
True
Let m(y) = -y**3 - 4*y**2 - y - 4. Let a be m(-4). Let c(f) = -f**3 - f**2 + 2. Let u be c(a). Let t be ((1 - 2) + -1)*-1. Is t less than or equal to u?
True
Let u(h) = -5 - 3*h**2 + 5 - h + 4 + h**3 + 0*h. Let t be u(3). Let l be -2 - t/(9/(-12)). Which is smaller: l or -2?
-2
Let m be 5*(-32)/(-10)*-1. Let h be m/(-10)*(-10)/(-4). Suppose 6 = 5*n + y, -n - h*y - 8 = 3*n. Which is smaller: -1/6 or n?
-1/6
Let n = 2 - 0. Let f be (-3 + 0)/(-3 + n). Suppose -2*z + f - 1 = 0. Is 1 equal to z?
True
Let l = 206 + -411/2. Suppose -20 = 4*o - 9*o. Suppose 4*u + 0 = -3*t - 5, 2*t = -3*u - o. Is t at most as big as l?
False
Let a(z) = z + 9. Let y be a(-10). Let v = 7 - 5. Which is smaller: v or y?
y
Let b = -0.0551 + 13.0151. Let t = -9 + b. Let v = t - 4. Is 0 <= v?
False
Suppose -r = -5*p - 21, 3*r - r - 2 = 0. Let b be (p/6)/(2/3). Is -4/3 < b?
True
Suppose -4 = -4*m - 0. Suppose -3 = -3*r, -3*u = -2*r - 2 + m. Is u at least -1/6?
True
Let b be (-1 - 0 - -2) + 1. Let g be 4/14 - (-19)/7. Let o be 1/(-2)*(2 - g). Which is smaller: b or o?
o
Let l = 0.57 - 0.57. Let i(m) = -4*m. Let x be i(-1). Is x at most l?
False
Suppose 21*j + 48 = 5*j. Is -14 greater than j?
False
Suppose -5 = 4*x - 5*v, 0 = 4*x + 3*v - 0*v - 3. Suppose 2*g + n + 1 = 0, -g + 3*n - 7*n - 18 = 0. Suppose -5*w + 8 = -5*i + 3*i, -20 = g*w + 5*i. Is w >= x?
True
Suppose 8*s = 4*s. Let v be 3*(3/9 - -1). Let o be v/(-8) - 1/6. Is s at least o?
True
Suppose -7*j + j = 2*j. Do -5 and j have different values?
True
Let j = 73 - 78. Which is smaller: -7 or j?
-7
Let j = -4560/95161 - 2/2321. Suppose -5*m + 4 = -m. Which is greater: m or j?
m
Suppose 2*g = c + 17, -3*g + 2*g + 10 = -2*c. Suppose -12*n - 4 = -g*n. Which is bigger: n or 0?
0
Let l be (17/(-17))/(2/(-12)). Which is bigger: l or 7?
7
Let l(f) = f**3 - 4*f**2 - 5*f + 1. Let t be l(5). Let a be -3 - -5 - (-1 + 18). Let m be (-6)/(-30) - 7/a. Which is bigger: m or t?
t
Let x = 0.322 + 0.008. Let u = x - 0.4. Let m = u + 0.07. Is -0.1 less than or equal to m?
True
Let f be -11*1 - (7 - 6). Which is bigger: f or -11?
-11
Suppose 4 = 5*l + 34. Is 0 < l?
False
Let u be -7*(-6 + 2 + 1). Suppose 5*f + u = 4*x, -4*x + 0*f + 1 = -f. Which is smaller: x or -3/5?
x
Let h = -6/331 - 1222/5627. Which is greater: 0 or h?
0
Let p = 30 + -29. Which is bigger: p or 3?
3
Suppose -p + 85 = -60. Let j = p + -1307/9. Which is smaller: j or 0.2?
j
Let q = -3 + 3. Suppose 0 = j - 6 - 3. Let u be 24/j*2/24. Which is smaller: q or u?
q
Let w = -40 + 25. Let d be ((-9)/(-15))/((-3)/w). Let c be (-1)/4 - (2 - d). Which is smaller: c or 1?
c
Let w(p) be the first derivative of p**2/2 - 8*p + 4. Suppose -x - 4*l = x, -4*l = 16. Let c be w(x). Which is greater: -1/4 or c?
c
Suppose 0 = 4*z + 3*f + 7 + 4, 0 = z + f + 2. Is z greater than or equal to -7?
True
Let l be (3/(45/12))/2. Which is smaller: -16 or l?
-16
Let p = 28844/91 + -3556/13. Let h = p + -1775/42. Let q = h + -5/3. Is -1 <= q?
True
Let z(a) = 7*a**3 - 10*a**2 - 4*a - 11. Let t(w) = -w**3 + w**2 + 1. Let h(q) = 6*t(q) + z(q). Let g be h(5). Let y = 180 + -2159/12. Which is smaller: g or y?
g
Suppose -5*r - 1 = -11. Suppose 0 = -5*t + r*t + 9. Is 2 < t?
True
Suppose -3*s + 10 = 2*s. Let r = 3 - s. Which is greater: r or 1/11?
r
Let q = -11 + 15. Is 4 at least q?
True
Let g = -22339/33 + 677. Suppose -3*n - 2*n - 5 = 0. Which is smaller: n or g?
n
Suppose 5*q - 3*q = 4. Suppose 6 - 4 = -q*b. Let v = 5 + -7. Do b and v have the same value?
False
Let z be (-1)/(-4) - 5/36. Which is smaller: 1 or z?
z
Let f(w) = -2*w + 2. Let i be f(-4). Is 10 > i?
False
Let p(l) = 19*l - 1. Let b be p(1). Let d = b + -25. Which is smaller: -6 or d?
d
Let x be 22/6 - (-8)/(-12). Suppose x*v = -4*z + 32, 29 = 3*v - 2*v + 5*z. Let m = 253/72 - 1/72. Is v <= m?
False
Let b(t) = 3*t - 2. Let g be b(1). Let i be (1 - g)/(1/1). Which is greater: i or -3?
i
Suppose 0 = 4*l - 25 + 29. Let s be (-4)/(-34)*(2 - 4). Is l >= s?
False
Suppose l + 2*d = 0, -2*d - 9 = -5*l - 3*d. Suppose -l*u + u = -6. Suppose 3*g - g = -u. Is -1 <= g?
False
Let f(y) = y**3 - y**2 - 5. Let q be f(2). Is q bigger than -8/11?
False
Let b = 19 - 5. Let q be 1*1/(4 + -3). Is b less than q?
False
Let n(c) be the first derivative of -c**3/3 + 7*c**2/2 + 9*c + 1. Let a be n(8). Let z be ((-6)/18)/(a/3). Which is greater: z or -2?
z
Suppose 3*i + 10 = 5*i. Is 5 bigger than i?
False
Let a(q) = 2*q - 5 - 2*q + 1 - q. Let t be a(-7). Suppose t*m + 13 = -5*j - 5, -4*m = -3*j - 5. Which is greater: -2/7 or m?
-2/7
Let a(i) = i**2 + 4*i + 7. Let j be a(-9). Let v be j/(-44) - (-2)/11. Is 0.3 less than or equal to v?
False
Let a = 1 - -5. Suppose a*x = x + 75. Let w be 2/x - (-4)/(-12). Which is greater: w or 0.1?
0.1
Suppose -3*x + 0*p + 23 = 2*p, 14 = 2*x + 2*p. Let c = 9 - x. Which is bigger: c or 1/5?
1/5
Let r be (-18)/(-4) - 7/(28/(-6)). Which is greater: r or 0?
r
Let n = -39/2021 - -2/47. Is n at least -1?
True
Let q = 4 + -2. Suppose 3*m - 28 = -4*d, 2*d = -q*m + d + 12. Suppose m*s + 9 = -5*z, -2*z = 4*s - 2 + 8. Which is bigger: z or -2/5?
-2/5
Let y be -5*(368/10 + 8/(-20)). Which is bigger: y or -181?
-181
Let w = 2 + 2. Suppose -3*n + 2*q - 24 = -w, 12 = -5*n - 2*q. Is -4 smaller than n?
False
Let y(i) = i - 12. Let f be y(6). Which is bigger: f or -3?
-3
Let x(n) = n**3 - n - 3. Let y be x(0). Let h = y + 5. Suppose 3*r = -h - 4. Which is smaller: -1 or r?
r
Let k be (-2)/((-5)/(13 + -3)) + -3. Let z be 10/8 + 2 + -3. Which is smaller: z or k?
z
Let c = 10654/15 - 710. Let l = -11/60 + c. Is l less than or equal to -1?
False
Suppose 4*o = 4*v - v + 22, 3*v = 2*o - 14. Let u be (-5 - v)*(-1)/(-6). Is u at most as big as 2/7?
True
Let o(v) = v**2 + 14*v - 49. Let t be o(-17). Which is greater: t or 5/6?
t
Let j(r) = -r. Let t be j(1). Let i = -299/3 - -3298/33. Which is smaller: t or i?
t
Let q = -19/30 + 13/10. Let x(c) = -c**2 + 4*c - 3. Let u be x(3). Suppose u*h = -2*h. Which is smaller: h or q?
h
Let a(h) = 2*h**3 - 2*h - 1. Let b be a(-2). Let c = b - -8. Are -4 and c non-equal?
True
Let x = -223/5 + 231/5. Which is smaller: x or 1?
1
Let b be 0/((-10)/(-15)*-3) + -15. Which is bigger: b or 2?
2
Suppose 22 = 2*r - 4*u, -4*r - 3*u - 2*u - 21 = 0. Suppose 3*d = -0 + 9. Suppose -5*p + 1 = -d*h, 2*h - h + 7 = -5*p. Which is smaller: p or r?
p
Suppose 5*j = -0*j + 70. Which is bigger: j or 16?
16
Let c be (-540)/(-285) - (-2)/(-1). Which is smaller: c or -1?
-1
Let b be (3 + (-1 - 2))/(-2). Which is smaller: 1/5 or b?
b
Let g be 2 + (-10 + 0)/2. Let n(w) = -w**2 - 7*w + 15. Let f be n(2). Does g = f?
True
Suppose 3*h + 2 - 11 = 0. Let y = h + -6. Is y at most as big as -3?
True
Let c be ((12/(-3))/12)/5. Which is smaller: 1 or c?
c
Let o(p) = -p**2 + 5*p + 10. Suppose 0*h - h = -7. Let n be o(h). Which is smaller: n or -5/2?
n
Let y be -1 + -1 + 11 + -5. Let v be (-1*(-2 - -1))/1. Is y != v?
True
Suppose q - c + 0*c = 5, -3*q + 2*c + 10 = 0. Let r be (2/6)/1 - q. Suppose 0 = -4*o + 2*i + 8 - 0, -4*i - 16 = -o. Is r smaller than o?
False
Let z = -15 - -17. Let g = 4 + -3.5. Let q = g + -0.1. Is z != q?
True
Let d = -21 + 41. Is d at most 21?
True
Let b be (-7)/7*6/(-14). Suppose 5*s = y - 24, 4*y + 5*s = -y + 30. Suppose -t + 8 = -4*q, -t - t = -q - y. Are b and q nonequal?
True
Let y = -67/11 + 680/99. Is y greater than 2?
False
Let s = 5 + -1. Suppose -6*k = -s*k. Is -0.5 >= k?
False
Let k 