 -3*m + 17 = 71. Let n be (3/2)/(m/(-24)). Let w = 5 + -3. Is w at most as big as n?
True
Suppose 3*i = -p + 24, 4*p + 4*i - 141 = i. Which is smaller: p or 38?
38
Let a be 4/14 + 300/(-21). Is -13 at most as big as a?
False
Let a be (5 + -3)*(-4)/(-16). Are -4/7 and a non-equal?
True
Let a(c) be the first derivative of c**2/2 + c + 3. Let s be a(-4). Suppose 0*m - 3*m + 4*u - 32 = 0, -1 = -m - u. Which is smaller: s or m?
m
Suppose -60 = -m - 2*m. Suppose -o - m = -6*o. Is 2 >= o?
False
Let i be (0 - 0/(-2))*1. Suppose -3 = -u - 3*t, u = 4*t - 5 + 15. Let y be 0/(2/(u/(-9))). Is i >= y?
True
Suppose u - 1 = 2. Let g(n) = 2*n**3 - n**u + n - 3 - 4*n**2 + 1. Let x be g(4). Is x less than 2/5?
False
Let s = 43 - 298/7. Let y = 8 + -7. Suppose y = 4*o - 3*o. Is s greater than or equal to o?
False
Let c = 1.6 - 17.6. Let d = c + 18. Is 0 > d?
False
Suppose -7*j + 2*j + 89 = 3*d, 4*d = 4*j - 52. Suppose 4*b = a - j, 2*b + 17 = -2*a - 1. Are a and -1 unequal?
True
Let x = -235712/97 + 2430. Is x > 1?
False
Let s = -21 - -13. Let b be s/3 - (5 - 7). Which is greater: 0 or b?
0
Suppose 0 = -3*q - x + 10, q = -2*q + 2*x - 2. Suppose 3 = y + q*y. Which is smaller: -2/27 or y?
-2/27
Suppose -3*d = 4*z - 385, z - 2*d = -0*d + 110. Is z smaller than 100?
False
Let r = -15 - -14. Suppose -2*m + 0*m = 0. Let s be m*(-1)/1 - 0. Which is greater: s or r?
s
Suppose -5*j = -4*a - 89, -3*j - 5*a + 2*a = -48. Which is smaller: j or -0.1?
-0.1
Let h = -41 - -39. Is -2 less than h?
False
Suppose 2*q - 17 = 3. Suppose 0 = 2*c - 3*o + q, 2*o - 2 = -3*c + 9. Which is bigger: -3/19 or c?
c
Suppose 5*c + 34 = 3*h, 2*h - 6*c - 26 = -2*c. Suppose -h*z = 2*z. Suppose z*s + 1 = -s. Which is smaller: 1 or s?
s
Let g = -63 - -64. Are g and -0.025 non-equal?
True
Suppose 10 = -3*j - 8. Let t = j + 5. Suppose 5*g = d - 6, -g - 2*d = -0*g - 1. Is t bigger than g?
False
Let j be 2/(-44)*(-1828)/1. Let i = j - 83. Is i equal to -1?
False
Let d(w) = -2*w - 4. Let k(g) = -g - 3. Let n(j) = 2*d(j) - 3*k(j). Let t be n(1). Let q be ((-5)/(-10))/(9/(-2)). Which is bigger: t or q?
t
Let z(o) = o - 9. Let u be z(8). Is u less than 4/85?
True
Let d = -55 + 30. Is -24 at most d?
False
Suppose -f + 406 = j + 2*f, -4*f - 392 = -j. Let o be j/(-22) - 4/(-22). Is o at most as big as -17?
True
Suppose -j + 4*z - 214 = 0, -z + 2*z = -2*j - 473. Let y = j - -1630/7. Which is bigger: y or 0?
0
Let y = -43 + 44.9. Let d = -2 + y. Let t = 6/29 - 47/87. Do t and d have the same value?
False
Let b = -1375/1566 - -26/29. Is -1 < b?
True
Suppose 15 = 6*m + 3. Which is bigger: 7/8 or m?
m
Let t be (-357)/(-2145) - 4/22. Let o = -73/520 - t. Do 0 and o have different values?
True
Let g be 0 + 1 - 0/(-1). Let m be (((-1)/1)/1)/g. Is m < 1/14?
True
Suppose 3*r = -3*x - 24, 5*x - 2*r = -6*r - 39. Let y(g) = g**2 + 7*g - 5. Let s be y(x). Which is smaller: 2/7 or s?
s
Suppose 2 = -0*s - s. Let f be 2 - (-4)/(-2)*-1. Suppose -z = 3*b + 11, -f*z + 4*b + 19 = -z. Which is smaller: z or s?
s
Let i(s) = -8*s**3 - 2*s**2 + 3*s - 3. Let v be i(-3). Let d = -927/5 + v. Let j be (-8)/6*3/(-2). Which is smaller: j or d?
d
Let t(k) = k**2 + k + 2. Let f be t(0). Suppose 11 = -3*b - 4*r, 0*b - r - 8 = -b. Which is smaller: b or f?
f
Let r(y) = y**2 - y - 10. Let c be r(0). Let n be (-2)/3 + c/(-24). Which is smaller: 1 or n?
n
Let s = 12 + -8. Suppose -2*v + 15 = -5*v + s*n, -n + 1 = 2*v. Which is bigger: v or 1?
1
Let z(w) = -w**2 + 2*w + 5. Let l be z(4). Is -3 at most l?
True
Suppose h + 10 = 6*h. Let g = 1 - h. Let w be (-2)/(14/(1*-2)). Which is smaller: w or g?
g
Let j(x) = x + 13. Let w be j(-13). Suppose w = 2*f + f + 12, 4*f = -2*h - 8. Which is smaller: h or 3?
3
Suppose -6*i = -4*i + 4. Suppose 8*d = 3*d. Let r = d - 2. Is i at most r?
True
Let o be (-2)/14*(-3 - 3). Which is bigger: 2 or o?
2
Suppose 9 = -0*r - r. Let k = -13 - r. Let w = -6 - k. Which is smaller: w or -1?
w
Let r be 11/7 + (-2)/1. Which is smaller: -1 or r?
-1
Let g = 17 + -27. Let x be 1/(g/4 - 1). Suppose 2 + 0 = -2*w. Which is bigger: w or x?
x
Suppose 3*n + 0*n = 51. Suppose -a = 4*c - 4*a - n, 2*a + 12 = 3*c. Let j = c - 0. Which is smaller: j or 6/11?
6/11
Let a = 0.6 - 0.6. Let o = a + -2. Is o at least 0.1?
False
Let f = 6 - 5.9. Let m = -8 + 6. Which is smaller: m or f?
m
Let o(h) = -h**3 - 20*h**2 - h - 21. Let d be o(-20). Which is smaller: 0.16 or d?
d
Let o(v) = -v**2 - v - 9. Let r be o(0). Let w = -5 - r. Let z be 2 - w - 1/(-1). Which is smaller: -2/13 or z?
z
Suppose 2*g = 3*t + 13, 2*g + 3*g + 25 = -4*t. Let c be (-13)/3 + 6/(-9). Is t < c?
False
Suppose -5*k - 5*u = -50, -5*k + 49 = 8*u - 4*u. Let t be 4/28*(k + -1). Let h = -10/7 + t. Is h at least -1?
True
Let t = 5 - 4. Let l be 1/(-6) - (-3)/6. Is l equal to t?
False
Let p be (-8)/120*3/(-5). Let t = 6/25 - p. Is 0 smaller than t?
True
Let s(v) = -v**3 - 26*v**2 - 25*v + 2. Let w be s(-25). Which is smaller: 1 or w?
1
Let v = 12.9 + -13. Which is greater: v or 0.09?
0.09
Let a be (-7)/(-14)*(0 - -30). Is a at most 16?
True
Let i be (4 + -6)*1/5. Is i <= -0.4?
True
Suppose 4*q - 15 = v, 2*q - 4 - 2 = 2*v. Suppose q*b - 11 = 5. Suppose -5*f + 2*z + 10 = 0, -f = -3*z + 14 - 3. Is b equal to f?
True
Let r be (2 + -1)*33/14. Let s be 1/(-10)*(-615)/(-35). Let b = r + s. Are b and 2 non-equal?
True
Let r = 461/189 - -316/27. Which is smaller: 14 or r?
14
Let j = -207/616 + 3/8. Is 0 smaller than j?
True
Let h be 404/(-68)*2 + 0. Let r = h - -12. Let m be 5/(-3) - 2/(-3). Is m less than r?
True
Let s(x) = -x**2 - 5*x + 8. Let z be s(-6). Let w be (-2)/(-10) - 34/(-30). Is z < w?
False
Let l be (2/(-2))/((-4)/12). Suppose -2*b + 5*h - 63 = 0, -3*h - 10 = -h. Let g be b/(-24) + 2/(-12). Which is bigger: g or l?
l
Let o(g) be the first derivative of g**4/4 - g**3/3 - 3*g**2/2 + 3*g - 2. Let x be 4*1/(0 + 2). Let n be o(x). Which is greater: 2 or n?
2
Let t = 18 - 14. Is 2/5 less than t?
True
Let j be (-5)/15*(-33)/(-3). Is j greater than -4?
True
Let z be (0 - -4)*(-3)/(-6). Suppose 2*i - 4 + z = 0. Suppose y + 5*p = 26, 13 = -2*y + 2*p + p. Does i = y?
True
Let y be (-1 + -1)/(-3 - -5). Let m be (1/y)/((-2)/(-4)). Is 0 less than m?
False
Let j = 18 + -23. Which is smaller: -6 or j?
-6
Let o be (5 - 9/3)*14/4. Is o smaller than 29/5?
False
Let h = -87 - -86. Is 2/97 at least h?
True
Let x be (20/36)/((-2)/6). Let u = -2.9 + 1.9. Which is smaller: x or u?
x
Let p be -4 + 12 - (3 + -1). Let s = -1 + p. Let r = -7 + 11. Is s less than or equal to r?
False
Suppose 0 = -3*k - 5*c + 18, -3*k - 3*c + 11 = -1. Does 4/19 = k?
False
Let h(u) = u**2 - 10*u - 7. Let d be h(11). Is -2 less than d?
True
Suppose 5*z - 2*o = -2760, -4*o = 5*z + 3048 - 258. Let l = z + 6098/11. Which is smaller: 0 or l?
0
Let n(b) = -2*b - 12. Let m be n(-6). Let z be 17/18 - 4/8. Is m bigger than z?
False
Suppose 0 = -2*i - i. Let d = -5 - -6. Which is smaller: d or i?
i
Let w be (-26)/(-6) - (-1)/(-3). Suppose w*y = y - 18. Suppose -j - 20 = 2*j - b, 5*j + 30 = b. Which is bigger: j or y?
j
Let w(q) = -q**2 + 0*q - 12*q - 9 + 0*q**2. Let f be w(-11). Is f at least as big as 1?
True
Let o = 5/6 + -1/2. Let k(l) = -l**2 + 3*l. Let x be k(3). Suppose x*d + 3*d = -2*w, -4*w = d. Is w < o?
True
Suppose 2*r = 2*p - 4 - 0, 5*p = -2*r - 4. Is p >= -1/26?
True
Let t = 4 + -0.7. Let v = -5.2 + t. Let o = 2 + v. Which is bigger: o or 3?
3
Let q(x) = x**2 + 27*x + 27. Let y be q(-26). Does 2/93 = y?
False
Suppose -2*w = 7 - 5. Is -1 greater than or equal to w?
True
Let n = 71/75 - -18/25. Suppose 0 = -2*h + 3*h - 22. Let q be h/8 - (-1)/4. Is q equal to n?
False
Suppose -6 = -3*c - 3. Let d = -5222/15 - -348. Let k = d - -44/105. Is c at least k?
True
Let p(u) = 5 - 3*u + u + 3*u. Let b = 17 - 25. Let m be p(b). Is -2 equal to m?
False
Let i = 2 + 31. Which is bigger: i or -1?
i
Let y = 58 - 91. Which is greater: -1/2 or y?
-1/2
Let g = -39 + 39. Let b be (-4)/6 - 156/(-261). Is g at most as big as b?
False
Let s be -3 - (-3 - 6/21). Is s > 0?
True
Let d = 95 + -93. Let s = 0.3 + -0.2. Which is bigger: s or d?
d
Suppose 0*p = -2*p - 6. Let k = 5 + p. Does 2 = k?
True
Let m = 0 - -0.4. Let r = -113/3 - -38. Is m bigger than r?
True
Let u be (-4)/(-34) - 2783/(-187). Is u <= 14?
False
Let u be (-6)/(-5)*(-20)/(-6). Let 