ual?
True
Suppose 9*a = -12*a + 21. Let s = -1956266/3878435 - -846/2335. Let v = s + -6/151. Is a greater than v?
True
Let m be (-1)/1*3 - -33. Let j be (-2)/(5/(m/4)). Let g be j + 1 + 8 + -3. Are 5 and g unequal?
True
Let z(i) be the second derivative of i**5/20 - i**4/4 - 5*i**3/6 + 2*i**2 + 2*i. Let n be z(4). Let t be 2*(-2)/12 + n. Do t and 1 have the same value?
False
Let i be 4/(-4) - 31/(-29). Is 1 >= i?
True
Suppose 5*g - 6 = -1. Let m be 1/2*0/g. Suppose m = o + 2 - 0. Which is smaller: -1 or o?
o
Let c = -51.1 + 55. Let w = -4.4 - -0.4. Let m = w + c. Which is smaller: -0.3 or m?
-0.3
Suppose 2*b + 2 = 6. Which is greater: b or 9/10?
b
Let p = -1 - -5. Let c = -3.9 + p. Which is smaller: -1 or c?
-1
Suppose 0 = 5*h - 46 + 6. Let n = h - 8. Suppose -u + n*u = 3. Is -1 != u?
True
Let k = -29 - -28. Let h be 4/14 - 9/21. Which is smaller: h or k?
k
Let y = 0.3 - 2.3. Let o = 14 - 24. Let h = -10 - o. Which is smaller: y or h?
y
Let d(f) = -3*f - 7. Let p be d(-4). Suppose z - 2 = -p. Let l(v) = -v**2 - 3*v + 6. Let y be l(-5). Is y at least as big as z?
False
Let u be 2/4*6/(-5). Let h = 4 + 0. Suppose 4 = -4*a, -x + 5*a - h*a = -1. Is u at most as big as x?
True
Let g be ((-1)/(-6))/(6/9*-1). Let n = 0.8 + -4. Let m = n + 0.2. Is g >= m?
True
Suppose t + 2 = 2*t. Let b(s) be the third derivative of s**5/60 + s**4/8 + s**3/2 + 2*s**2. Let k be b(-3). Which is smaller: k or t?
t
Let o be 6/18 - (-41)/21. Is 2 at least o?
False
Let l(k) = -5*k + 108. Let g be l(24). Is -13 != g?
True
Suppose 0 = -4*z + 4, -5*o + o - 4*z + 24 = 0. Suppose -17 = 2*m - 5*m + 5*d, m - o*d = 19. Let k = 16/3 - 50/9. Which is greater: m or k?
k
Let q(w) = w**3 - 12*w**2 + w + 2. Let c be q(12). Suppose 4*z = -3*t - 0*t + c, t = 2. Let m be 4/(-6) - 8/(-3). Is z bigger than m?
False
Suppose 0 = -3*q + 5*o - 18 - 22, 4*o - 10 = -2*q. Which is smaller: q or -7?
-7
Suppose 0 = -3*r - 1 + 4. Suppose -4*g = -p - r, 0 = -5*g + 5*p + 15 + 5. Is -2/5 not equal to g?
True
Let l = 5 - 8. Let h be (2 - 0)/((-2)/12). Let y be ((-1)/l)/((-2)/h). Do y and 2 have different values?
False
Let y be -1 - ((-2)/(-1) + -3). Let d = -17 + 21. Which is smaller: d or y?
y
Suppose -2*m + m - 1 = 0. Let b be m/(2/(-6) - 0). Let q be 5/21 + 1/b. Which is smaller: 2 or q?
q
Suppose 36 = 2*r + 2*r. Suppose -4*z - r = 3. Let h be (-5)/2 - (-12 - -11). Which is bigger: z or h?
h
Let m = -10 - -16. Let x = m - 7. Is x less than 6?
True
Let i(b) be the first derivative of -b**4/4 + 4*b**3/3 - 2*b**2 + 2*b - 1. Let f be i(2). Suppose -f*n - 4 = -2*z, 5*n + 8 = z + 2*n. Which is smaller: z or -2?
-2
Let s = -3 - -10. Is s bigger than 4?
True
Suppose 3*h = 12, -h = -3*y - 4*h + 15. Let s be y/(-2)*(-2 + 0). Which is greater: s or 5?
5
Let l be 2/5*(1 + 9). Suppose 0 = -l*h + 8, h + 2 = 2*z - 2. Suppose -g = -5*g + 16. Is g >= z?
True
Suppose -4*h - h - 3*d - 20 = 0, -2*h - 2*d = 12. Which is bigger: 4/17 or h?
4/17
Let f be (0 - -2)*(-1218)/(-4). Let j = f + -20099/33. Are -1 and j unequal?
True
Let q = 0.82 - 0.02. Let a = q + -0.7. Is a at least -0.1?
True
Let g = -1/45 + 143/360. Is -2 bigger than g?
False
Let g = 107 - 433/4. Let b be -2 + 2 + 1 + 0. Is g < b?
True
Let n(r) = -r - 5. Let b be n(-5). Let t(c) = -c + 1. Let p be t(b). Which is greater: p or -0.2?
p
Let k = -0.5 - -0.6. Let u = -1.1 - -1. Let o = 0.1 + u. Is o at most k?
True
Let g(q) = -q - 11. Let v be g(-8). Let i = 0.9 + -1.9. Which is smaller: i or v?
v
Let u be -1 + -2 + (-4 - -11). Suppose 5*r = r. Suppose r = -u*v + v. Which is smaller: v or 1?
v
Let h be (-40)/(-50)*(-2)/(-4). Suppose -4*b + 2*b = 2. Is h at least as big as b?
True
Let w = -84667/5 - -17056. Let n = -122 + w. Is 2 at most n?
False
Let i(p) = -3 + 5*p**2 + 2*p**3 + 4*p - 5*p - p**3. Let j be i(-5). Suppose 2*m - 2 = -4*t - 12, 10 = j*t - 2*m. Is 0 equal to t?
True
Let z be (2/4)/((-5)/(-30)). Suppose z*l = -0*l - 6. Is l less than or equal to -12/11?
True
Let d(z) = -z**3 + 21*z**2 + 21*z + 33. Let i be d(22). Which is greater: 2 or i?
i
Let m = -1 + 1.4. Let p = m - 0.4. Is 2 at least p?
True
Let w be (80/14)/((-18)/147). Let k = w + 47. Let v = -0.006 - -0.206. Is v at most as big as k?
True
Suppose -2*n + 3*a + 9 = -0*a, 12 = 5*n - 4*a. Which is greater: n or -1/2?
n
Let m be 9/(-2)*1/(-3). Let h = 2.8 + 0.2. Let a = h - 1. Is a > m?
True
Let f(d) = d**2 - 15*d + 15. Let b be f(14). Which is smaller: 1/5 or b?
1/5
Let d(a) = 6*a**2 - 2*a + a**3 + 7*a + 3 + 1. Let n be d(-5). Suppose 5*h + p = 12, 2*h - 3*p - 3 = n*h. Are h and -1 non-equal?
True
Let q be (-10)/15 + (-2)/(-3). Suppose d = -v - 4, q*d = v - 2*d - 8. Is 4/3 > v?
True
Suppose 3*q - 1 = 5. Which is smaller: q or 0.1?
0.1
Let o(m) = m**3 - m + 1. Let k(y) = -5*y**3 + 7*y**2 - 2*y - 5. Let j(x) = k(x) + 4*o(x). Let h be j(6). Let s = 0 + h. Which is bigger: 1 or s?
1
Let a = -21716/57 - -381. Which is smaller: 0 or a?
0
Let n be (0 + -4)*5/(-50). Let t(u) = u**2 + 9*u - 13. Let d be t(-10). Which is greater: n or d?
n
Let k(j) = j**2 + 12*j - 6. Let v be k(-12). Let r = v - -6. Which is greater: 3/11 or r?
3/11
Let p be 44/66*(-1)/(-3). Which is bigger: p or -1?
p
Let o = -8 + 8.6. Let x = 0.7 - o. Which is smaller: x or 5?
x
Let w = -450 - -453.94. Let u = -0.04 + -0.02. Let m = u - w. Is 1 bigger than m?
True
Suppose -5*t + 12 + 8 = 0. Let c be (-1)/t + 21/20. Which is bigger: 2 or c?
2
Let g = 3.1 - 4.1. Which is smaller: -2/5 or g?
g
Suppose -2*d = 2*d - 100. Suppose 65 - 6 = 4*p + r, -r = -2*p + d. Let u be (-2)/(-42) + 4/p. Is u at least as big as 3?
False
Suppose -16 = m - 4*c + 3*c, 3*m - 5*c = -58. Which is greater: m or 6?
6
Suppose -5*h + 4*b = -43 + 6, 5*h = -5*b + 55. Which is smaller: h or 7?
7
Let d(p) be the first derivative of -1/2*p**2 + 1/4*p**4 - p**3 + 3 + 3*p. Let w be d(3). Is 1 != w?
True
Suppose -2*f + 1 = -3*f. Which is smaller: f or -2?
-2
Let u = -9 + 12. Let t = u + 6. Suppose 0 = -3*q - 15, -2*i + 2*q = -3*q - t. Which is bigger: i or 2/3?
2/3
Suppose 4*o + 172 = 4*v, -3*o = -v + 48 + 81. Which is smaller: o or -44?
-44
Let b(u) = -u**2 - 6*u + 8. Let c be b(-8). Which is greater: -55/8 or c?
-55/8
Let l = 1 + -4. Let c be (-4 - -9)*(-2)/(-5). Let w be (c/(-5))/(3/15). Is w less than l?
False
Let c = -7/988 - 22597/494. Let l = c - -46. Do 0 and l have different values?
True
Let v = -3 - -5. Let i = 0 + v. Suppose 6*t - 5 = t. Is t != i?
True
Let u = -0.89 - -0.9. Are 0.2 and u nonequal?
True
Suppose 3*s = 4*k - s - 8, -4*k = 5*s - 8. Suppose -k*t = -0*t. Suppose -3*u + 0*u + 3 = t. Which is greater: -2/15 or u?
u
Let o be 4 - 32/(-18)*-2. Are o and -1/2 equal?
False
Let h = 43.23 + 0.77. Let n = 41.7 - h. Let a = n + 0.3. Which is bigger: 0.1 or a?
0.1
Let s(u) = 6*u**2 + u. Let d be s(-1). Which is bigger: 4 or d?
d
Let q = -7 + 14. Let k = q + -6. Let y(o) = 2*o**2 - 4*o + 3. Let m be y(2). Is k <= m?
True
Suppose 0 = -2*z - 2*t + 54, 5*t = -z - z + 69. Suppose -l = 4*h + z, -2*h - 2*h + 2*l = 28. Let v be (h/(-3) + -1)*2. Is 3 < v?
False
Suppose 3*m + 3*z = 15, -15 = 3*m - 6*m + 5*z. Suppose -5*u - 10 = -m*c, -2*c - u + 3 = 2*c. Is 0 <= c?
True
Suppose 3*c + 8 = -c. Let k be (-4 - -2)/2 - c. Let z be 6/(-56)*2*(-42)/12. Are z and k non-equal?
True
Let h = -12 - -17. Let d = 2 - h. Which is smaller: d or 0.1?
d
Let t be (2/6)/(-1 + 2 - 2). Let l = 0 + 6. Let x be 3/9 - 4/l. Are x and t equal?
True
Suppose 5*j = 50 - 5. Which is greater: 10 or j?
10
Let v(d) = d - 7. Let f be v(7). Suppose 0 = 2*p - f + 10. Which is smaller: 1 or p?
p
Let s be (-5)/23*18/45. Which is bigger: 1 or s?
1
Let k be 1 - -5*(-1 + 2). Suppose w = k*w - 5. Let a be w/(-3) - (-56)/(-21). Which is greater: a or -2?
-2
Let c(m) be the second derivative of -m**5/20 + m**4/6 + m**3/3 + 3*m**2/2 - m. Let n be c(3). Is n at least as big as 0?
True
Suppose 0*b + 5 = -b + w, b + w - 1 = 0. Let h = -2 + b. Which is greater: -3 or h?
-3
Let t = -18 + 12. Let l be 4/3*t/28. Suppose -8*s - s = 14*s. Is l not equal to s?
True
Let j(k) = -5*k**2 - 4*k + 6. Let w(g) = g**2 - g. Let x(i) = j(i) + 6*w(i). Let r be x(8). Let v be (-1)/5 - (-8)/r. Is -1 greater than v?
False
Suppose w - 3 = -7. Suppose -2*j + 4*k + 12 = -0*j, -5*j + 5*k = -5. Is j at least w?
True
Let n = 1 - 1. Let t = -8 - -3. Le