15 + -1. Let d = g - 15. Is d equal to -2/7?
False
Let j = -15429/38 + 406. Is -1 at least j?
False
Let l = 37/288 + 3/32. Which is greater: l or 1?
1
Let y = -1.2 + 1.22. Let a = 0.22 - y. Is a smaller than 1?
True
Suppose -g + 4*x - 19 = -26, 6 = -3*x. Let z be -2*(6/(-4))/(-3). Is g at least as big as z?
True
Let c = 4 - -19. Suppose 4*s + 4*m + 20 = 0, -c = 3*s + 4*m + m. Which is smaller: -1/19 or s?
s
Let g(r) = 3*r + 38. Let a be g(-19). Is a not equal to -17?
True
Suppose -18*q = -13*q - 5. Is 1/36 bigger than q?
False
Suppose 5*z - 5 = -0. Let s(w) = w**3 + 12*w**2 + 10*w - 12. Let v be s(-11). Let k = v + z. Is k bigger than -1?
True
Let b = -19 + 5. Is 1 > b?
True
Let x(j) be the first derivative of j**4/4 + j**3/3 - j + 4. Let c be x(1). Which is smaller: 0.03 or c?
0.03
Let c = -13933/13 + 1071. Which is smaller: c or -0.1?
c
Let x = -27/23 + 983/759. Let z = 5/231 + x. Is 1 bigger than z?
True
Let g be 4/(-24) + (-268)/(-744). Is -1 greater than g?
False
Suppose 3 + 6 = -l. Let t be 4/6 - (-33)/l. Does t = -3?
True
Suppose -c - a = c - 3, 4*c = 2*a + 26. Let n = c + -13. Let l = -9 - n. Which is bigger: -3/11 or l?
l
Let u = 4 + -2. Suppose u*f = -3*f. Is 1/4 greater than f?
True
Let d = -10/17 - 31/34. Let p(o) = -4 + 7 + 5 - 3 + o. Let m be p(-6). Is m bigger than d?
True
Let y(p) = -p**2 - 5*p - 3. Let q be y(-3). Suppose 5*h + q*a + a = -18, -2*a - 12 = 4*h. Is 2 less than h?
False
Let z be (-1)/(-5) + 602/(-35). Let h = z + 17. Which is smaller: -2/9 or h?
-2/9
Let m = 1155889/22 - 52574. Let b = m + 67/2. Which is greater: -1 or b?
b
Let c = 0.3 - 0.1. Let s = 6.9 - 8. Let v = s + 1. Does c = v?
False
Let u = -347523 - -133796518/385. Let l = 2/385 + u. Is -0.2 <= l?
True
Suppose 4*l - 3*h + 1 = -l, -3 = h. Let k = 0 + l. Let a be (-108)/198 - (-32)/(-22). Is a less than k?
False
Let r be 2/9 + 4/(-18). Let p = 16 + -95/6. Is p at most as big as r?
False
Let u = 5 + -5. Are -1/18 and u nonequal?
True
Let i = 1.3 - 1.4. Let l = 1 - 0.9. Are l and i equal?
False
Suppose -t = t - 2. Let z(a) = -5*a**2 + 0*a**2 + 4*a**2 - 2*a + 7 + 6*a. Let g be z(5). Which is smaller: g or t?
t
Suppose -16*z + 11*z = 80. Which is smaller: 1/4 or z?
z
Let p be 5/(-40) - (-14)/16. Is 1 at most p?
False
Let d = -0.4 + 0.44. Let m = d - 2.04. Let c = -45/4 - -11. Is c != m?
True
Suppose -n - 2*n - 6 = 0. Let i be (-2 - -6)/n - -4. Let x = 7 - 4. Which is smaller: x or i?
i
Let y(u) = -u**2 - 10*u - 8. Let q be y(-7). Suppose 3*l = 4*m - q, -2*m - 4 = -3*m. Let k(g) = -g**2 - 7*g. Let s be k(-7). Is l smaller than s?
False
Let l = -3 + 5. Suppose -f = 2*p - 3, -f + l*p = -5*f. Let a be 9/11 - (4 - 3). Is f bigger than a?
False
Let z be (-16)/376*(-2)/(-2*2). Which is smaller: 1 or z?
z
Let b be 0*4/(-16) - 11. Let m(k) = -k**3 - 11*k**2 + 1. Let n be m(b). Is n != 3/7?
True
Let h be (3/5)/(5/25). Suppose 2*c - 6*c = 4*w - 16, -4*c = h*w - 17. Suppose -2 = -c*f + 3. Is f bigger than 2?
False
Let p = 0 + 3. Let x(s) = s**3 - 12*s**2 + 12*s - 12. Let l be x(11). Let o = 3 + l. Is o > p?
False
Let u(s) = s**3 - s**2 - s + 116. Let g be u(0). Let z = -578/5 + g. Which is smaller: z or 0.3?
0.3
Suppose 64 = -4*p + 2*g, -p + 5*g - 52 = 3*p. Let i = -17 - p. Which is smaller: 2/15 or i?
2/15
Let p = -94 - 9. Do -104 and p have the same value?
False
Let v(q) = q + 1. Let z be v(2). Suppose 0 = 5*r + z + 2. Is -1 > r?
False
Let f be (-17)/(-2*(15/(-6) - -2)). Which is smaller: f or -14?
f
Let z = -0.3 + 0.29. Let g = -0.01 - z. Let m = -0.01 - 1.99. Is m < g?
True
Let n be (4 - 7)*106/6. Is n at most as big as -55?
False
Let w(m) = -m**2 - 7*m + 4. Let l be w(-7). Suppose 0 = -2*b + l*s + 2, 2 = 2*b - s. Which is smaller: b or 3/2?
b
Suppose 5*g + 4*p - p = -68, -3*g - p = 40. Do g and -12 have the same value?
False
Let s = 4 - 4. Suppose -2*n + s*n = 6. Is 2 > n?
True
Let d(j) = j**2 - 9*j + 5. Let v = 21 + -13. Let l be d(v). Is -3 not equal to l?
False
Suppose -5*d - 2*p = 28, -d - 3 = -0*d + 3*p. Let s be (4/6)/((-10)/d). Let r = 0 - 0.1. Which is smaller: s or r?
r
Let k = 3 - 1. Suppose 1 + 35 = -k*l. Let w = l - -71/4. Which is smaller: w or 1?
w
Let y = 5 + -12. Let u = y - -6. Which is greater: -0.2 or u?
-0.2
Suppose 4*y - 4*z = 0, 2*z + 12 = y + 4*z. Is 4 < y?
False
Suppose -21 = -2*p + 1. Let a = 31/3 - p. Is a at least 0?
False
Let f = 0 + -1. Which is smaller: f or 1/17?
f
Let t(r) = r + 10. Let b be t(-7). Suppose -5*p = -3*a + 9, -3*a + 8 = -1. Suppose 0 = -b*i - i - o + 4, p = 4*o - 16. Which is greater: i or -1/3?
i
Let o = -2 - 1. Let r = -24.2 + 27. Let n = o + r. Which is smaller: n or -0.1?
n
Let u(d) = -d**3 + 7*d**2 - 7*d + 7. Let w be 1/(-4) - (-25)/4. Let l be u(w). Let q = 29/4 + -15/2. Which is greater: l or q?
l
Let i be (-6)/(-18) - (1 + 0). Suppose -3*l = q - 2*q + 6, 0 = -l - 4*q + 11. Let s be (22/10 + -2)*l. Which is smaller: i or s?
i
Let a = -16752/1419119 - -2/8203. Which is smaller: a or 1?
a
Let r = -14.02 + 11. Let y = r - -0.02. Which is smaller: 0 or y?
y
Let x = -37 + 35. Let l be 24/(-9) + (-2)/(-3). Is l equal to x?
True
Let p(h) = -h + 18. Let o be p(0). Suppose 2*q - o = -q. Let i = -4 + q. Is i less than or equal to 1?
False
Let d(q) = -q + 6. Let r be d(0). Which is smaller: 4 or r?
4
Let y = -44 + 64. Suppose 0 = -5*k - 0 + y. Is k < 6?
True
Let b = -2.6 - 0.4. Let j = 3 + 0. Let s be j*1/12 + 0. Which is smaller: s or b?
b
Let z be (0 - 1) + 1*-1. Let m be (-18)/(-81) + (-56)/198. Let o = -8/11 - m. Is z greater than o?
False
Let x = -76 + 61. Which is smaller: x or -14?
x
Let b = -5123/244 + 76/61. Let r = b + 20. Let c = 4 - 3. Which is smaller: r or c?
r
Let g(c) = 3*c**2 + 5*c - 8. Let a(o) = -o + 1. Let u(x) = -6*a(x) - g(x). Let p be u(2). Is -8 at least p?
True
Let y = -22 - -21.91. Which is greater: y or -1/2?
y
Let t(k) = k**3 + 6*k**2 + 6*k + 6. Let x be t(-5). Which is bigger: x or 24?
24
Let l be 4/22 + (-30)/132*-8. Let k(y) = y**2 - y - 1. Let p be k(2). Is p <= l?
True
Let s = -58 - -61. Let t be 2/(-3)*(-1)/2. Is t != s?
True
Let r be 2/(-5) + (-4)/(-10). Let b = 23/10 + -32/15. Are b and r unequal?
True
Let t(h) = -h - 3. Let r(q) = -q**2 - 2*q + 4. Let c be r(-4). Let n be t(c). Let v = -4 - -5. Is v less than or equal to n?
True
Suppose -3*x - 16 = 4*n, n = -5*x - 26 + 5. Let z = -1 - -1. Let j be (0 - -3) + (z - 2). Which is greater: n or j?
j
Let j = 0 + -3. Let a(n) be the third derivative of n**6/120 + n**5/30 - n**4/8 - 10*n**2. Let b be a(j). Is b not equal to 2/23?
True
Let q = -199 + 2984/15. Suppose 5*u - u = 0. Is q greater than or equal to u?
False
Suppose 20 = s + 4*s. Let j be (0 - s)*(0 - 2). Let w = j + -13. Which is greater: w or -4?
-4
Let h(r) = -3*r**2 - 1. Let b be h(1). Let k be b/(-5)*90/12. Suppose 0 = 5*f + 5*g - 35, k = -3*f - g + 23. Is f < 6?
True
Let b = -15 + 23. Let j = -5 + b. Suppose -j = 4*y - 15. Is y not equal to 3?
False
Let d = -2 + 2.2. Let s = -0.208 + -0.092. Are s and d equal?
False
Let j be 12/9 - (3 - 2). Is 0.2 greater than j?
False
Let l be (-2)/14*16 - -2. Which is bigger: 1 or l?
1
Let y(p) = -p**3 - 3*p**2 + 6*p - 2. Let i be y(-4). Which is smaller: i or -9?
i
Suppose 0 = -2*p - 46 + 4. Let x = 21 + p. Let n be (-1 + 8/7)*1. Is x less than or equal to n?
True
Let r be 1/((-4)/(-6))*(-10)/45. Is 2 smaller than r?
False
Let n(q) = 8 + q + 4 - 4. Let r(s) = s - 2. Let o be r(-6). Let l be n(o). Is l at most as big as -1/4?
False
Let c = 50 + -63. Are c and -10 nonequal?
True
Let d = -25 + 35. Which is bigger: 12 or d?
12
Suppose -2*w + 0*w = 0. Let d be (w - -5)*(-2)/5. Which is greater: -1 or d?
-1
Suppose 2*w = 3*i + 5, 6 = -5*i + 4*w - 5. Let s be i/4 - (-1)/4. Is s bigger than -0.06?
True
Let p = -1.1 - 4.9. Let s = p + 5.2. Let v = -0.7 - s. Which is greater: -1 or v?
v
Suppose -25 = 5*k - 0. Suppose -5*c + 2*s + 2 - 14 = 0, 2*c + 5*s = -28. Which is bigger: c or k?
c
Let c = -53 - -43. Let s = 0.2 - 0.2. Which is smaller: s or c?
c
Let o(m) = -m**3 - 4*m**2 + 3*m - 7. Let i be o(-5). Let p = 12 - i. Suppose -p = 4*q - q. Is q less than -2?
True
Let h = -3 + 3.1. Let p = 0.8 - 0.81. Is h >= p?
True
Let d = -17 - -20. Let n be 0/1 - (-1 + 0). Suppose -n = y - 4. Is d not equal to y?
False
Let w(c) = -c**2 + 4*c - 3. Let b be w(-4). Let