)/60)/(4/(-10)). Which is smaller: 30/13 or y?
30/13
Suppose 19 + 2 = 4*l + 5*h, -5*l + 3*h = 20. Let g = -1 + l. Let o be 3/6*(0 + g). Which is smaller: o or 0?
o
Let n be 1/(-2)*(-6 - -6). Is n less than -5/4?
False
Let o = 44560/7 - 6430. Let v = o - -64. Is -1/8 equal to v?
False
Let l(z) = -20*z. Let t be l(-1). Which is smaller: t or 0?
0
Let z(t) = t**3 - 5*t**2 - 7*t + 5. Let m be z(6). Let x = m - -9. Which is smaller: 9 or x?
x
Let i = -0.07 + -0.03. Is -0.04 smaller than i?
False
Let d = 6 + -6.2. Let r be 4/(-14) + 2/56. Is d at most as big as r?
False
Let g = 4/23 + -65/506. Is 0 equal to g?
False
Suppose -2*w + 6*w = 40. Suppose 5*t = w*t - 10. Which is smaller: 1/2 or t?
1/2
Let j be 1/1 - (1 + -3). Let z(r) be the second derivative of -r**4/12 + r**2 + 3*r. Let y be z(0). Which is smaller: j or y?
y
Suppose 5*h + 4 = -6, -2*u - 5*h - 42 = 0. Which is smaller: u or -14?
u
Suppose 5*s - s - k - 18 = 0, -4*s + 16 = -2*k. Suppose 7 = 3*x - s. Do 5 and x have the same value?
False
Let p = 3.5 + -3. Let k = p + -0.3. Let n = k - 0. Is n greater than 0.1?
True
Let x be (4/30)/((2 + -3)/(-1)). Let n be (1 - 0) + 2/(-1). Which is bigger: x or n?
x
Let k be (-14)/(-4)*(-8)/1. Which is bigger: -29 or k?
k
Let s = -0.1 + -1.3. Let t = -3.6 + 4. Let x = t + s. Which is smaller: x or 3?
x
Let l = 37 - -1. Let s = l + -23. Which is smaller: s or 16?
s
Suppose -3*d - 4 = -d + 3*j, -5*j - 6 = 3*d. Let o be ((-6)/12)/(d/(-8)). Which is greater: o or -3?
o
Let w = -6 + 5. Do w and -9 have different values?
True
Let o(u) = u**2 + 2*u - 4. Let p be o(5). Which is smaller: p or 30?
30
Suppose 0 = w - 6*w + 15. Suppose 0 = -i + w*i. Is i != -4/5?
True
Let x be (6/261)/((-10)/(-105)). Which is greater: 1 or x?
1
Let j be 36/48*(-16)/42. Suppose 4 = -3*l + 3*d - 5, -2*d = -l - 5. Are l and j equal?
False
Let x be 7/(28/(-60)) + 0. Which is greater: -12 or x?
-12
Let x = 3 - 3. Suppose 2*s + 3*n - 6 = -x*s, -3*n + 15 = 5*s. Suppose 3*c - 6 - 6 = 0. Are c and s unequal?
True
Let p = 132 + -922/7. Do 0 and p have different values?
True
Let u(x) = -x - 1. Let q be u(3). Let j be (-2)/(q/(0 - -2)). Let l = -303/5 - -61. Which is smaller: l or j?
l
Let r = -6 + 5. Let h be (0 - (-1)/r)*1. Do h and -2 have the same value?
False
Let f = 2.04 - 0.04. Let t = 17 - 17. Which is smaller: t or f?
t
Let z = -9.941 + -0.059. Let t = 2 + -2.1. Is z equal to t?
False
Let b(f) = -4*f**2 + f**3 - 8 + 0*f - 4*f + 0*f**2. Let a be b(6). Let y = a - 122/3. Which is smaller: y or -1?
-1
Let o = 52 - 52. Let n = 0.1 - 0.6. Which is smaller: o or n?
n
Let k be ((-3)/(-18))/((-16)/(-24)). Is k <= -0.017?
False
Let i be 3 + -1 + 1/1. Suppose -3*y - 102 = -111. Let b be i/(y - 6)*1. Is -5/4 not equal to b?
True
Suppose 0 = 2*k - k - 4, -4*m - 24 = -4*k. Let n(h) = -h - 1. Let v be n(m). Let b = v - 6. Which is bigger: b or -4?
-4
Let c(w) = -2*w**3 + w**2 + w + 2. Let t(m) = -m**3 + m**2 - m. Let h(s) = c(s) - t(s). Let g be h(-2). Let n = g - 6. Is -1 greater than n?
False
Let i = 0.14 - 0.02. Let a = 3.92 - i. Let c = 4 - a. Which is bigger: 0 or c?
c
Let w = -4 + 11. Let o be (w + -6)/((-1)/(-5)). Is o <= 0?
False
Let q be (-2)/(-3) + 7784/(-48). Let n = -20993/130 - q. Let r = n - 71/390. Is -1 less than or equal to r?
True
Suppose 0*a + 12 = 2*a. Let w be (5 - a)*0/1. Which is bigger: w or 2?
2
Suppose -4*y - b = 5, -5*y = 2*b + 3*b + 25. Which is greater: y or -3/7?
y
Let w = -3.4 - -4. Let c = -0.6 + w. Are -2/5 and c non-equal?
True
Let a = -1.93 + -0.07. Let o = 0 - a. Which is greater: 0.3 or o?
o
Let o = -0.11 - 0.01. Which is smaller: 1 or o?
o
Let o = 0 - -2. Let t = o + 4. Let y be 4/t + (-6)/9. Are y and -1 equal?
False
Let s = -0.1 + -0.1. Let p = 0.2 + s. Which is smaller: p or -1/5?
-1/5
Suppose 0 = -2*x - 4*o - 16, 6*o = 2*x + 2*o - 16. Which is bigger: 1/4 or x?
1/4
Let f(d) = d**2 - 6*d + 1. Let h be f(6). Let l be 4/10*(-105)/(-63). Is h not equal to l?
True
Let y be (-1)/((-14)/(-24))*7. Is y >= -11?
False
Let d = -2672/605 - -2/121. Is -3 < d?
False
Suppose 3*h = -t - 2*t + 132, -5*h - 102 = -2*t. Let u = t + -183/4. Which is smaller: u or -1?
-1
Let v(m) = m**3 + 2*m**2 - 1. Let j be v(-1). Let c be 0 - ((-3)/948 + j). Let l = c - -941/2212. Is l less than or equal to -1?
False
Let z be 6/9 - (-1)/3. Is z greater than 3?
False
Let i = 17 - 26. Let q = -9.4 - i. Let j = -0.2 - -0.3. Which is bigger: q or j?
j
Let c(y) = -y + 13. Let w(n) = -2*n + 3. Let f be w(-3). Let q be c(f). Is q < 4?
False
Suppose -4*o = 11 + 5. Which is smaller: 1 or o?
o
Let w be ((-2)/4)/((-3)/6). Let h = 30 + -25. Let r be h - w - (0 + 0). Does 4 = r?
True
Let k = 4.9 - 5.2. Which is smaller: k or 3/8?
k
Let q = -1 - -1.7. Let w = 2.3 + q. Let h = 2.8 - w. Are h and 0 nonequal?
True
Let h be (-2)/80*-67 - 1. Let o = 7/8 - h. Which is greater: o or 0?
o
Let s = 75 - 74.87. Is s at least -1?
True
Let h be (2/(-15))/((-68)/85). Which is smaller: 1 or h?
h
Let q be 0 + (0 - -1) + 2. Let l be (-170)/(-45) - (-4)/18. Suppose 6 = -l*s + 22. Is q >= s?
False
Let p be (-6)/8 + (-46)/(-8). Suppose -5*c = -0 + p. Is c bigger than 0?
False
Let x be (2/10)/(12/(-20)). Suppose -3*a + 73 = -14. Let b = -86/3 + a. Is b at most as big as x?
False
Let w(o) be the second derivative of -o**3/6 - 13*o**2/2 + 5*o. Let r be w(-11). Let s be 0/(-2) - 8/14. Is s greater than r?
True
Let s = 0.8 - 0.74. Let q = 0.04 + s. Let z = q - -0.9. Which is bigger: z or -0.1?
z
Let m be 3 + (0 - (0 + 2)). Do m and 10/9 have different values?
True
Let k = -0.11 + 1.11. Let y(r) = r + 1. Let s be y(-3). Which is smaller: s or k?
s
Suppose 3*p - d = -3 - 3, -2*d + 7 = -p. Let q = -2 - -8. Let r = -8 + q. Which is bigger: p or r?
p
Suppose -5*u = -4*u + 5*b - 1, 0 = -u + 3*b + 1. Let y = -1/261 - -12355/261. Let m = y - 47. Is u equal to m?
False
Let j(v) = v**2 - 2*v - 27. Let k be j(10). Which is greater: 0 or k?
k
Let m = -21 + 23. Do 1 and m have different values?
True
Let z(b) = -b - 3. Let r be z(-5). Suppose -r*q = -0*q. Which is greater: 1 or q?
1
Let f be (-3 + 13 + -2)/2. Suppose -f*w + 2*w = -14. Suppose 0 = -4*n + w*n - 3. Which is smaller: n or -2/5?
-2/5
Let s be (-32)/272 + (-32)/17. Let a(v) = 2*v**2 - 3*v + 1. Let z be a(3). Let m be 3/z*(-2)/1. Which is greater: s or m?
m
Let p be -2*1 + 16/10. Let y = -4.05 - -0.05. Let k = y + 6. Which is bigger: k or p?
k
Let l(q) = -5 - 1 + 1 + 4*q - q**2 + 10*q. Let v be l(13). Is 8 != v?
False
Let s(z) = -z**3 - 4*z**2 - 3*z - 1. Let l be s(-3). Let m(x) = -x**3 + 8*x**2 - 7*x. Let o be m(7). Which is smaller: o or l?
l
Let f be ((-3)/(-3))/(1/10). Is 9 at most f?
True
Let g be (-1)/2 - (-2)/4. Let r be 165/132 - 8/6. Is r <= g?
True
Let q(v) = 2*v + 28. Let r be q(-14). Is r < 4/7?
True
Let p(c) = -c**3 + 7*c**2 - 7*c + 9. Let l be p(6). Let z = 55 - 50. Which is bigger: z or l?
z
Let z(g) = -g**3 + g - 8. Let o be z(0). Let u be (9/(-45))/(o/(-90)). Is -3 < u?
True
Let x = -992/7 - -142. Let i(f) = f + 0*f + 1 - f**2 + 2*f**2 - 2*f. Let l be i(1). Is x at least as big as l?
False
Suppose 0*y + y = 5. Suppose 0 = 4*h - 4, -4 = -2*g - h + y. Let t(n) = n + 6. Let v be t(-4). Is v <= g?
True
Let c(d) = d + 4. Suppose -3*l + 3*x - 4*x = 3, 0 = 4*l - 2*x - 6. Let h be c(l). Suppose 0 = -q - q + 6. Is h greater than or equal to q?
True
Suppose 2*c + 2*c = 4. Let p = -3 + 2. Let r be 6*(c - p/(-2)). Which is smaller: r or 0?
0
Suppose -x = 2*x - 3. Let f be x/((-33)/(-6) - 0). Let n(p) = p**2 + 5*p. Let q be n(-5). Is q != f?
True
Let n = 53 + -372/7. Which is smaller: 0 or n?
n
Suppose -4*t - 2*x - 9 = -5*t, 0 = 5*x + 15. Let p be (t/(-18))/((-2)/(-8)). Let d = 1.1 - 1. Is d less than or equal to p?
False
Let g(l) = l**2 + 7*l + 3. Let p be g(-7). Let n(m) = m + p - 3. Let d be n(-6). Is -5 at least as big as d?
True
Let y = -3.8 - 0.2. Is -2/9 equal to y?
False
Let r = -33271/18 + 1849. Let o = r + -1/9. Let a = -0.1 + 1.1. Is o greater than a?
False
Suppose 3*x - 4*l = -0*l + 3, x - 9 = 4*l. Let u = 4 + x. Let p = -9 - -10. Do u and p have different values?
False
Let b(s) = 3*s - 5. Let m be b(3). Suppose -m*t + 3*t = -10. Which is smaller: t or 11?
t
Let n = -11 - -12. Let a(k) = 0*k + 3*k - 2*k - 5. Let i be a(5). Is i greater than or equal to n?
False
Supp