/11 nonequal?
True
Suppose -36 = y - 5*j, -y + 5*j + 12 = -3*y. Let r be (6/(-76))/(12/y). Let b = 0.946 - -1.054. Are r and b equal?
False
Suppose 0 = 7*g - 8*g + y + 170, 4*y = -g + 145. Is g bigger than 497/3?
False
Suppose 3*r - 57 = w, -r + w = -14 - 5. Suppose 0 = 5*n + 2*a - 46, -4*n - a + 19 + r = 0. Which is bigger: 7 or n?
n
Let z = -518 - -600. Is z bigger than 83?
False
Let c = -1.4 - -3.9. Let o = c + -0.5. Which is bigger: 0.2 or o?
o
Suppose a - 5 = i, 5*a - 27 = -4*i + 7. Suppose 0 = -2*t + a*t - 12. Is t > -3?
True
Let a be ((-13)/(13/6))/7. Let b(k) = -k**3 - 15*k**2 - 15*k - 15. Let y be b(-14). Is a > y?
True
Let d(z) be the second derivative of -z**3/3 + 8*z**2 - 9*z. Let v be d(8). Are -3/5 and v unequal?
True
Let v = -0.6999 - -0.78. Is v smaller than 0.1?
True
Let o be (2060/315 - 6) + (-20)/45. Which is smaller: 5/12 or o?
o
Suppose 34*p - 41*p = 70. Is 1 >= p?
True
Let b be (4 + 1)*(-3)/(-5). Suppose -4*v - 8 = 4*k, 2*k - 8*v = -b*v + 31. Is k less than or equal to 11/6?
False
Let i be 1 + 1 + (2 - 20). Let s be 898/i - 2/(-16). Let f be (-4)/6 + s/(-105). Which is bigger: 1 or f?
1
Let x be (-4 + (-27)/12)*(-12)/(-30). Which is bigger: -3 or x?
x
Let k(y) be the third derivative of -y**4/12 - 2*y**2. Let s be k(5). Let t be 12/(-5) - 4/s. Is t at most as big as -5/3?
True
Let p = 680.9 - 725. Let f = -44 - p. Which is smaller: 0.15 or f?
f
Suppose 5*w + 3*b = -19, -7*w + 9*w + 3*b = -4. Does -51/8 = w?
False
Let c be (-2)/7 - (-57)/(-21). Let r = 2 + c. Let q = 0 + 0. Which is greater: q or r?
q
Let l = -200 + 2801/14. Which is bigger: l or 1?
1
Let d = 380 - 378. Which is smaller: d or -88?
-88
Let v(i) = 5*i**2 + 3*i + 31 + 4*i - 4*i**2 - 11. Let o be v(-8). Is o > 28?
False
Let o = 166.3 + -4.3. Let u = -162 + o. Is u <= 0.85?
True
Let k(u) = -u**2 + 4*u - 2. Let c be k(3). Suppose -3*z - 1 = w + 2*z, 2*z = w + 1. Let r be (6 - (w - -4))/1. Which is greater: c or r?
r
Let x(z) = -5*z - 8. Let d(q) = q + 1. Let i(a) = 11*a + 20. Let w(y) = 3*d(y) + i(y). Let j(g) = 6*w(g) + 17*x(g). Let v be j(2). Which is greater: v or -2?
v
Let w = 42 + 55. Let q = w - 98.3. Which is smaller: q or 1/3?
q
Let k(h) = -h**3 - 8*h**2 - h - 4. Let c be k(-8). Let i = -4 + c. Let o(b) = -b**2 + 7*b + 2. Let j be o(7). Are i and j non-equal?
True
Let d(q) be the first derivative of 5*q**4/12 - q**3/2 + 2*q**2 - 3*q - 2. Let r(k) be the first derivative of d(k). Let v be r(2). Is v > 18?
False
Let p = 25 - 10. Let z(y) = -2*y**2 + 4*y - 2. Let b be z(1). Is p < b?
False
Suppose -5*c = 3*p - 316, 5*p - 536 = 3*c - 2*c. Suppose -2*b - 5*f = -52, 3*b + f - p = -2*b. Is -2/9 at least b?
False
Let z be 1 - 2/4 - (-1)/(-2). Suppose z = -0*u - u. Which is smaller: 1/3 or u?
u
Let h(b) = -b - 5. Let v be (-92)/(-4*1)*-1. Let q = v + 15. Let p be h(q). Which is smaller: p or 2?
2
Let t(l) = -3*l - 12. Let f be t(-8). Let v = 15 - f. Suppose -v = -6*a + 9*a. Which is smaller: a or -2/33?
a
Let w be 2/6*(20 - 2). Let z(c) = -c**2 + 8*c - 7. Let s be z(5). Let t be s/(-30)*w/4. Is t > -1?
True
Let f(w) = w - 26. Let r be f(21). Let a = 3 - -1. Let o(x) = x**3 - 5*x**2 + x + 5. Let i be o(a). Is i != r?
True
Let g(x) be the second derivative of -x**3/3 + 5*x**2 - 2*x. Let t(p) = -p**2 - 12*p + 8. Let u be t(-12). Let d be g(u). Which is greater: -5 or d?
-5
Let q = -2.1 + -0.3. Let w = q - 0.6. Let o = -4 - -4. Is w != o?
True
Suppose -4 = 5*s - 6*s. Let f be 3*(-1)/((-3)/5). Suppose -4*h + s*i = 12, -2*h - f + 3 = -i. Is -2/11 equal to h?
False
Suppose -w - 4*u = -105, -2*w + 102 = 3*u - 113. Which is smaller: 0 or w?
0
Suppose 5*b + 7 = 5*o - 3, 2*o - 7 = -b. Suppose t + o*l = 10, -2*l = -4*t - 0*t + 12. Suppose -4*n - 23 = x - t, -5*x = -n + 11. Is -4 greater than n?
False
Suppose 9 - 166 = -5*k - 3*w, 0 = 3*w + 3. Which is greater: k or -0.9?
k
Let t be -2 + (-1)/8*0. Which is bigger: t or -166?
t
Let l be 1*17/(-2)*2. Let q = 13 - 8. Suppose u + 70 = -4*k - u, 0 = 2*k - q*u + 41. Is l bigger than k?
True
Let r = -334 + 316. Which is greater: -2 or r?
-2
Let l(d) = d**2 + 10*d + 13. Let g be l(-9). Suppose 4*s = -5*j + s + 52, -g*s = j - 24. Let i = 16 + -8. Is j at least as big as i?
True
Suppose 0 = -4*v + 2*z + 75 + 115, -139 = -3*v - 2*z. Let b = v + -48. Which is greater: b or 2/25?
2/25
Let b be 43/5 + (-36)/60. Let p be (12/b)/(2/(-72)). Let x be (-2)/13 - p/13. Is x less than -1?
False
Let v = -1506 - -1521. Is 30 greater than v?
True
Suppose o + 4 = 1. Let c = o - -6. Let d be 2 - (1 - (-3)/c). Which is bigger: -2/5 or d?
d
Let n be (1 + (-18)/21)*-1. Let c = -23 - -27. Suppose 0 = -5*o + o - c. Are o and n nonequal?
True
Let r be (-1)/2 - 56/(-108). Are 0 and r equal?
False
Let x = 633.9 + -514. Let s = x - 120. Let a = 1 - 1. Which is greater: s or a?
a
Let y = 1.046 - 0.046. Are -30/17 and y nonequal?
True
Let d be (2/5)/((-48)/220). Let v be ((-18)/27 + 0)*(-6)/(-2). Which is smaller: d or v?
v
Suppose 2*g + 3*w = -g, 5*g + 9 = 4*w. Which is bigger: 4/149 or g?
4/149
Let n be 3/7 - 608/(-280). Are n and 0 non-equal?
True
Let l(j) = j**2 + j + 1. Let b(s) = -7*s**2 - 9*s - 6. Let a(n) = -b(n) - 5*l(n). Let h be a(-3). Suppose -f - 2 = h. Which is bigger: -6 or f?
-6
Let v = -27 + 13. Let h = v - 2. Let z be (4/(-6))/(4/6). Is h > z?
False
Let r = -2.8638 + -0.0662. Let a = r + -0.07. Let h = -3.1 - a. Which is smaller: -11 or h?
-11
Let w = 10164 + -71028/7. Which is smaller: w or 16?
16
Suppose 1 = -5*r - 4. Let h be (61/1548)/((-25)/35 - 0). Let l = h - -2/387. Which is smaller: r or l?
r
Let z(g) = g**2 - 24*g - 24. Let i be z(25). Which is bigger: i or 2/3?
i
Suppose 0 = -7*l - 139 + 55. Do -11 and l have different values?
True
Let b = 20 - 20. Suppose -3*s = 4*t + 2*s + 45, -t + 3*s - 7 = b. Suppose 7*n = 3*n - 44. Is t less than n?
False
Suppose 4*q = -1 + 5. Suppose 5*r + q = 11. Let j = 7 - r. Is j not equal to 5?
False
Let u(m) = m**3 - 20*m**2 - 2*m + 39. Let v be u(20). Which is bigger: v or 14/37?
14/37
Let l = 2.9 - 51.9. Which is smaller: 0 or l?
l
Suppose -3*v - 10*v - 4082 = 0. Is -314 greater than v?
False
Let k(o) = o**3 + o**2 - o + 1. Let l(c) = 4*c**3 + 3*c**2 - 3*c + 3. Let v(z) = -3*k(z) + l(z). Let t be v(-2). Is t < -8?
False
Let f = 803 + -802.6. Let k = 4.99 + -4. Let a = k - -0.01. Which is smaller: a or f?
f
Let h = 179 + -179. Let u = -2 + 2.1. Let n = 1.1 - u. Which is smaller: n or h?
h
Let x = -43 + 39. Let v = x + 5. Which is smaller: 1/46 or v?
1/46
Suppose -9 = 2*q - q. Suppose -3*l - a = -19, -6*l - 2*a + 23 = -3*l. Suppose 5*f + 35 = -3*c - 7, 41 = -4*f + l*c. Are f and q non-equal?
False
Let o be (-30)/45*(-1 + -65). Let q be (-80)/o - (-2)/(-11). Let d be (1/4)/((-6)/64). Do q and d have different values?
True
Let m be (10/10 - (1 - 1))*-1. Which is bigger: 1/196 or m?
1/196
Let a be 1 - (-1)/((-5)/(-3)). Suppose -y - 15 + 15 = 0. Let s be 11/3 - ((-2)/(-3) - y). Does a = s?
False
Let f(g) be the third derivative of g**6/60 + g**5/60 + g**4/12 - g**3/6 - 6*g**2. Let l be f(-2). Let i = l - -17. Which is smaller: i or -1?
-1
Suppose 21 = -4*d + k, -4*d + 4*k = 8*k - 4. Is d less than -9?
False
Let x = 184.1 + -156. Which is smaller: 1/3 or x?
1/3
Let z be 4 + ((-1988)/(-250))/(-2). Which is greater: z or 1?
1
Let m = -9432/23 + 410. Is m less than 3?
True
Let k = -133 + 134. Let d be (k/15)/(21/(-63)). Is 4 equal to d?
False
Let c be (-3)/(-48) - (-1683)/6864. Let y(k) = -k**3 + 4*k**2 - 2*k. Let f be y(3). Suppose 5*v - 12 = f*m, 3*m = -3*v + 5 - 17. Is v > c?
False
Let k = 10 + -13. Let g be 3 - k/(6/(-4)). Let x be (-172)/(-70) - (-3)/21. Are g and x unequal?
True
Let g be ((-3)/(-4))/((-1)/52). Let z = -32 - g. Which is greater: z or 9?
9
Suppose -5*u - 29 = h + 1, -5*h - 2*u = 35. Let f be (0 + 1)*(22 + h). Let d = 9 + 9. Is f less than d?
True
Let d be -1 - (39/26 - 18925/46). Let r = 409 - d. Is r greater than or equal to 1?
False
Let h be ((-2)/28)/((-17)/34). Let x = -5/14 - h. Is x < -10?
False
Let b = 2 - 1. Suppose -2*h - p + 5 = -2, -p + b = -h. Let a be 10/(-4) - (1 - h). Which is bigger: -1 or a?
-1
Let w = 1123 + -8999/8. Let h(m) = -2*m**3 + m**2 - 1. Let i be h(1). Which is bigger: w or i?
w
Let i be 0/1*-1 + 0. Let f = -138/13 + 6637/624. Is i less than f?
True
Let t(w) = 