(2/1). Suppose -4*m - 16 = 0, i*s - 3*m - 17 = 5*s. Let w be (-2)/(-10) - 0/(1 + 0). Is w >= s?
True
Suppose 0 = 3*d + 4 + 2. Is d bigger than -4/3?
False
Let j(k) = k**2 + 6*k + 1. Let d be j(-6). Let b(m) = 2*m. Let o be b(1). Is o bigger than d?
True
Suppose -4*q + 10 = -42. Is 12 less than q?
True
Let w(o) = -o**2 - 6*o - 1. Let s be w(-3). Suppose -10*z + s*z + 2 = 0. Which is smaller: 1/7 or z?
1/7
Let v = -0.4 + -0.2. Let o = -0.12 - -0.12. Which is bigger: o or v?
o
Let b = -1 - -19. Is 19 at least as big as b?
True
Let i = 213/2 - 104. Which is smaller: 3 or i?
i
Let v = -15 + 18. Suppose p + 6*g = g + 6, p = 4*g - v. Does p = -1?
False
Let l be (6/15)/(((-24)/(-25))/4). Let t = 4 + -1. Which is smaller: t or l?
l
Suppose p = 4*p. Which is smaller: 3/25 or p?
p
Let h = 10 - 17. Suppose 18 = -2*n + 2*l, 4*n + 14 + 1 = -3*l. Is h != n?
True
Let j(w) = 28*w**3 - w**2 + 2*w - 1. Let g be j(1). Which is greater: 57/2 or g?
57/2
Let r be 9 + (-2*1 - -3). Suppose 2 = c + 5*x, r*c - 10 = 5*c - 5*x. Let f be -2 + 4 + (-5 - -4). Is f at least as big as c?
False
Let a = 47.08 + -51. Let h = 0.08 - a. Which is greater: 0.1 or h?
h
Suppose 4*x - x - 12 = 0. Is 4 smaller than x?
False
Let p be (2/6)/((-4)/6). Let h(j) = j**3 + 4*j**2 + j + 4. Let b be h(-4). Which is greater: b or p?
b
Let k be (14/(-12))/((-4)/(-22)). Let m = k + 17/3. Which is smaller: -2 or m?
-2
Suppose -2*k - 2*k = -3*l - 7, -5*k = -5*l - 15. Which is greater: k or 1/2?
1/2
Suppose -3*d + 3*r = -2*d + 1, -r = -d - 7. Let o = 5 + d. Let t be (4/5)/(2/o). Is t greater than -1?
False
Suppose 15 + 5 = -4*m, 2*d + 2*m + 26 = 0. Which is smaller: 1 or d?
d
Let p be 3/(-18)*-6 - (-2)/(-1). Let s(u) = -u**2 - 5*u - 6. Let k be s(-4). Which is bigger: k or p?
p
Suppose -24 = -2*n + 3*b, 4*b - 19 = -n - 2*n. Let c(a) = a - 8. Let s be c(n). Is 0 != s?
True
Suppose -4*u - 4 = b, u + b + 3 = 2. Which is bigger: -24/11 or u?
u
Let l = 35 + -1577/45. Is l at least as big as 0?
False
Let o = 6 + -3. Suppose y = o*u + 15 - 4, y - 10 = 2*u. Which is smaller: y or 9?
y
Suppose 4*m - 5*j - 2 = 0, -5*m + j = 5*j - 23. Let f be ((-14)/(-8))/(2/4). Which is smaller: m or f?
m
Let h(i) = 6*i**2 + i + 1. Let f be h(-1). Which is smaller: 3 or f?
3
Let j = 4 + -9. Let u(g) = -g - 6. Let h be u(j). Is h equal to -0.8?
False
Let x(q) = -q + 5. Let i be x(6). Do -9/7 and i have the same value?
False
Let c be (-298)/184 - (-1 - 0). Let f = c - 3/23. Which is smaller: f or 0?
f
Let x(v) = v. Let d be x(-1). Is d < 3/13?
True
Let v = 1 + -1. Let s be ((-49)/(-14))/((-2)/20). Let a = 243/7 + s. Is v at most as big as a?
False
Suppose -2*j + g = 5, j - g = -3*j - 15. Let o = 6 + j. Which is greater: o or -4?
o
Let y be 216/(-21) - (-8)/28. Let j be 6/(-9) - y/6. Is 0 at most j?
True
Let a = -41 + 23. Let w be (-7)/9 - (-4)/a. Let r = -352/5 + 70. Which is bigger: r or w?
r
Suppose 52*b - 50*b = -6. Suppose -a - 5*v = -2, -5*a - 17 = -a - 5*v. Do b and a have the same value?
True
Let c(z) = -z**3 - 8*z**2 + z + 5. Let t be c(-8). Let f = -1 - 0. Let n = f + t. Is n at most -3?
True
Suppose -z + 3*g + 10 + 2 = 0, 3*g = 2*z - 15. Suppose z*p + 5 = -2*p. Let w be (p/6)/((-3)/(-12)). Are w and 1 unequal?
True
Suppose -18 = -z - 3*d - d, -2*d + 4 = 3*z. Which is bigger: z or -2/3?
-2/3
Let g be (-3149914398)/(-13467944) - (-8)/(-4). Let b = 1/396116 + g. Let i = b - 232. Is i at most 0?
True
Let y be (-1)/(-3*9/(-3)). Suppose -2*m - m = 0. Which is smaller: y or m?
y
Let j be 14/(-8) - (-1)/(-4). Suppose 4*x = 3*s + 23 - 0, 5*x + 5 = -3*s. Let b be (x/6)/(j/(-6)). Is b less than or equal to 0?
False
Let o = 29 - 21. Is 12 != o?
True
Let x = 2/17 - 23/51. Let n = 18 + -14. Suppose -k - 1 = 3*o, 0 = -n*o + 3*o - 4*k - 15. Which is greater: o or x?
o
Let u = -0.2 - 1.8. Let f be 10/35 + 8/(-14). Which is smaller: f or u?
u
Let k = -6 - -61/10. Let t = k + 3/70. Is t less than or equal to 1?
True
Let w be (-1)/(4/40) + -3. Let i = w - -28. Is 16 equal to i?
False
Let w = 28 + -24. Suppose -5 - 7 = -3*n. Is w at least n?
True
Let n = -7914/23 - -344. Are -1 and n equal?
False
Let n(r) = r**2 - r. Let u be n(2). Is u != 13/9?
True
Let w(f) = 4*f**2 - 2*f - 16. Let r be w(-7). Let h = 9/2900 + 559111/2900. Let d = h - r. Is d < 0?
True
Let k = 3/19 + -103/171. Is 1 less than or equal to k?
False
Suppose -10 = 5*k + 2*u, -3*k + 0*k - u - 5 = 0. Suppose i - 5*i - 4 = k. Let q be -2 - (1 - (1 - i)). Is 0 >= q?
True
Let x(i) = 12*i**3 - i**2 + i. Let n be x(1). Let h = 56 + -44. Is n smaller than h?
False
Let c(j) = -j + 3. Let w be c(5). Let r be 112/(-52) - 1*w. Which is bigger: r or -1/3?
r
Let u(c) = -c**3 - 6*c**2 - 6*c + 6. Let v be u(-5). Let r be (4 + -2 - 1) + 10. Is v < r?
False
Let r = 0.83 - -60.17. Which is smaller: r or -1?
-1
Let c(q) = q - 2. Let z be c(3). Let x be z + 34/30 - 2. Suppose -3*m = -2*w - 3 - 4, -3*m - 23 = 4*w. Which is greater: m or x?
x
Suppose -3*l + 8 - 44 = 0. Let v = l + 58/5. Is v less than or equal to 0?
True
Suppose 0 = -5*k - 75 - 5. Let v = 10 + k. Which is greater: v or -5?
-5
Let w = 2.1 - 2. Let z be ((-10)/70)/(-1*2). Is w greater than or equal to z?
True
Let m be 2/(38/43 - 2). Let i = m + 9/8. Let y(x) = -2*x**2 - 2*x + 2. Let k be y(-2). Is i bigger than k?
True
Let h = -6 - -6. Which is greater: -5 or h?
h
Suppose -3*t + 3*k - 1 = -t, 0 = -5*t + 4*k + 1. Let i = 2 - 0. Which is smaller: t or i?
t
Let w = 20 + -36. Let r be (-4)/w - (0 + 0). Which is smaller: r or 2/5?
r
Let f(m) = m**3 - m**2 - m - 10. Let s be f(0). Is s less than -10?
False
Let y = -13 - -12. Suppose -5*o + 2*o = -234. Let d be (8/o)/((-8)/12). Is y smaller than d?
True
Let w be (-2 + 3)*(2 + -3). Let b be (w/(-2))/(4/8). Do b and -1 have the same value?
False
Let w be (10/5)/(-20 - 1). Which is bigger: w or 0?
0
Let m(o) = o**3 - o**2 - 2*o + 1. Let h be m(1). Is -2/9 at least as big as h?
True
Let i = 22 + -21. Which is smaller: -7 or i?
-7
Let t(b) = b**3 + 8*b**2 - 8*b + 9. Let c be t(-9). Is 2/25 at most c?
False
Let k be -1*3 - ((-5)/(-15) + -4). Is 16 at least as big as k?
True
Let o be 13/30 + (-4)/(-24) + 2. Is o >= 1?
True
Let r = 4 - 2. Let a(o) = o**2 + 8*o + 3. Let k be a(-8). Which is smaller: k or r?
r
Let t = 1.953 - -0.047. Which is bigger: t or -1/5?
t
Suppose -5 = 3*z + 4*t + 2, 3*z - 2*t + 19 = 0. Do z and -5 have different values?
False
Let u be 3 - 40/12 - (-1)/3. Which is bigger: 1/49 or u?
1/49
Let b = 0.08 - 7.08. Let a = -10 - b. Let t = 1 + a. Which is bigger: 1/4 or t?
1/4
Let y = -201.1 - -213. Let a = -12 + y. Which is smaller: 2/9 or a?
a
Let b(k) = k**2 - 3*k + 2. Suppose -2*p = r - 5, -6*r + r - 2*p = -17. Let x be b(r). Are 2 and x equal?
True
Let h = -95 - -854/9. Which is smaller: -1 or h?
-1
Let z(l) be the second derivative of -2*l + 0 + 1/6*l**3 - 3*l**2. Let p be z(5). Is 2/7 smaller than p?
False
Let y = 2 + -7. Which is greater: y or -1?
-1
Let h(g) = 4*g**2 + 2*g. Let p(m) be the third derivative of m**5/30 + m**4/24 + 2*m**2. Let x(n) = 4*h(n) - 9*p(n). Let z be x(1). Is z equal to -3?
True
Let h(q) = 2*q**3 + 2*q**2 - 2*q + 5. Let v(z) = z**3 + z**2 - z + 2. Let b(j) = -4*h(j) + 11*v(j). Let g be b(2). Let c = -127/4 + g. Which is bigger: c or 0?
c
Let g = 0.28 + -0.38. Is g greater than 1?
False
Let o(u) = u**3 + 2*u**2 + 5*u + 1. Let w(h) = -2*h**3 - 3*h**2 - 11*h - 2. Let n(x) = -5*o(x) - 2*w(x). Let g be n(-3). Which is smaller: g or 1?
g
Let t be -3 + 4 + -1 - -2. Which is smaller: t or 4?
t
Let a = 2 - 2.2. Which is smaller: a or -3?
-3
Let b = -304 + 11858/39. Suppose 0 = -2*v - 2*v. Is b at least v?
True
Suppose 8 = r + 3*r. Let l be (-1)/r + (-35)/(-14). Suppose 10*w + 5 = -l*t + 5*w, -5*t + 2*w + 2 = 0. Which is bigger: t or 1/4?
1/4
Suppose 3*k + k - 4 = -4*o, -3*o = -5*k + 13. Suppose 10 = k*q - 2. Suppose -q = 4*u - 2. Is u != 1/3?
True
Suppose -2*q = q. Suppose 3*l = -3 + 12. Let h be (-4)/l + (-1)/(-3). Which is smaller: h or q?
h
Let y be 6/3*4 + -1. Suppose -c - 9 = -4*r, -3*r + c = -y - 0. Suppose -r*i = -7*i. Is i greater than 0?
False
Let m(x) = x**3 - 8*x**2 + 9*x - 17. Let u be m(7). Is 2 smaller than u?
False
Let i = -110 - -768/7. Which is greater: i or -1/2?
i
Let m(g) be the second derivative of g**4/12 + 7*g**3/6 + 5*g**2/2 + 2*g. L