178 - -166. Is u at most 1/3?
True
Let h = -40 + 45. Let i be h/(1/(-1)*(-2 - -3)). Which is greater: -0.1 or i?
-0.1
Let g = 0.01 + 0.29. Let i = 3 - -4. Let f = i - 10. Which is bigger: g or f?
g
Let o be ((-3)/(-2))/((-213)/284). Suppose 2*g - 5*g - 12 = 0. Is g equal to o?
False
Let y = -18 - -60. Let a = y - 105. Let k be (-2)/(-9) - (-56)/a. Which is greater: k or -2?
k
Let o = 16 + 11. Let d = 29 - o. Which is greater: d or 0?
d
Suppose -7*j - j = -0*j. Suppose -a - 10 = -2*n, j = -a + n + 3*n - 14. Are a and -6 unequal?
False
Suppose 0 = 5*c + 20, 0 = 5*x - 5*c + 17 + 33. Is -14 at most x?
True
Let t = 126/13 + -124/13. Suppose -2*s - 14 = -0*s. Let d be (-1 - s/5)/(24/(-40)). Which is smaller: t or d?
d
Suppose -4*i - 862 = -5*b, -5*i - 12 = -i. Which is bigger: b or 171?
171
Let t = 196 - 195. Which is greater: 2.66 or t?
2.66
Let d = 14 - 45. Let a be -1 + (-266)/(-180) - d/(-62). Is 0 at most a?
False
Let a(o) = o - 24. Let x be a(31). Is x > 4?
True
Let u be (-16)/(-99) - 10/45. Let t be 4 + -6 + -3 + 0 + 5. Are u and t equal?
False
Let l(j) = -j + 10. Let o be l(-14). Suppose o*q + 10 = 19*q. Which is greater: 2 or q?
2
Let m = -4 - 3. Let k = m + 10. Suppose -3*v = 4*t + 13, -6*v - 9 = -k*v + 3*t. Is v smaller than -1/6?
False
Suppose 15 = -6*h + 45. Suppose -3*q - 145 = -4*x + 2*q, -q - h = 0. Let c be 5/10 + (-16)/x. Are 0 and c unequal?
True
Let h be -31 - -4*(-4)/(-16). Is 6 > h?
True
Let w = -61 - -27.9. Let b = 33 + w. Is 1 greater than or equal to b?
True
Let p be (-2)/(0 - 10) + (-301)/70. Let c = p - -13/5. Is -1 bigger than c?
True
Suppose 4*d - 16 = 16. Suppose -h + 1 = -3. Suppose -2*n - 16 = -h*n. Do n and d have the same value?
True
Let y = 14103 - 4386037/311. Is 0 equal to y?
False
Let a be 122/(-61)*-4*-2*1. Is -14 smaller than a?
False
Suppose -5*n = 19*h - 21*h + 1127, 4*n = -4*h + 2324. Which is smaller: 577 or h?
h
Suppose -5*j - 24 = -l, 0 = -4*l + j - 1 + 2. Let u = -16 - -24. Let g be (-14)/u + 2/(-8). Which is smaller: g or l?
g
Let b = -0.69 - -0.05. Let x = b - -0.54. Which is greater: x or -1/7?
x
Let r = 0.0308 - -6.9092. Let n = r + 0.06. Let y = 5 - n. Is -0.02 equal to y?
False
Let a be (-3)/27 + (-1)/(2133/(-156)). Is 0 not equal to a?
True
Let a = -8 - -8. Let d be (-2)/(-18) - 26/558. Is d != a?
True
Suppose -6 = 3*r - 69. Let x = 23 + -45. Let z = x + r. Which is bigger: -8/5 or z?
z
Let a be (86/3)/(-2) + (-117)/(-351). Which is smaller: -151/11 or a?
a
Let i be (-1)/(-2)*(-152)/(-19). Suppose -i = 4*f - 12. Suppose -l - 20 = -f*l + 4*z, -5*z = -5*l + 40. Is l at most as big as -4?
False
Let h(q) = 2*q - 8. Let z be h(-3). Suppose 4*k = -28 - 24. Which is smaller: z or k?
z
Let i = 0.29 + -0.21. Let z = i + 0.06. Is 2 less than z?
False
Suppose 21 = 3*l - 5*l + 5*h, 2*l + h + 15 = 0. Let s be 7/(28/l) - -1. Which is smaller: -1/20 or s?
s
Let v be (-4)/(-14) + 8 + (-1404)/63. Suppose 0 = 4*s + 3*g + 41, 3*g + 22 - 93 = 4*s. Is s greater than or equal to v?
True
Let j = 50.97 + -51. Let t = 59.97 - j. Which is smaller: t or 0?
0
Let z = -144.3 - -146. Let q = 3 - 1. Let m = -1.9 + q. Does z = m?
False
Let i(s) = -s - 8. Let n be i(-8). Let m be (-8)/20 - 192/20. Let g be -1 + 3 - (-12)/m. Are n and g nonequal?
True
Let n = 1165.2 - 1165. Which is bigger: -0.24 or n?
n
Let w = -53273621/1701 + 31319. Is w <= -1?
False
Suppose -13*r = -9*r - 192. Let v = -2 + 51. Is v != r?
True
Let c(u) = u - 13. Let o(y) = -y + 12. Let q(a) = -4*c(a) - 5*o(a). Suppose 2*k + 3*f = 7 + 26, 0 = -k - 2*f + 19. Let h be q(k). Is 3 less than h?
False
Let n = 8.74 + -8.84. Which is smaller: n or -605?
-605
Suppose 8*b - 5*b = 48. Suppose -17*i + b*i = -10. Which is smaller: i or 9?
9
Let r = -20 - -11. Let b = -8 - r. Let x be (b + -1)*(-2)/(-6). Is x >= 1/5?
False
Let j(k) = -5*k**2 - 2*k + 1. Let c(s) = 11*s**2 + 4*s - 3. Let f(x) = -6*c(x) - 13*j(x). Let v be f(7). Do v and -30 have the same value?
True
Suppose 24 = 3*v + 3*u, 4*v + 2*u - 28 = -u. Suppose 35*c - 39*c = -v. Is 3/8 at most c?
True
Let m = 271/390 - 11/15. Let j = -1488 + 1489. Is m at most as big as j?
True
Let n(q) = 2*q - 5. Let w(x) = -3*x + 6. Let f(v) = 4*n(v) + 3*w(v). Let u(r) = r + 1. Let s(b) = f(b) + 2*u(b). Let j be s(-2). Which is bigger: -8/11 or j?
-8/11
Let v(p) = p**3 + 7*p**2 + 6*p - 6. Let l be v(-5). Let f be 4/l + (-132)/315. Let c = 27 + -27. Which is smaller: f or c?
f
Let y be (-7)/(-70)*-6 + (-5336)/(-8760). Is -1 greater than y?
False
Let a be 6/8*112/4. Suppose -3*y - a = 5*w + 28, 5*y = -2*w - 31. Let l be (-2)/8 - 10/w. Is 1 < l?
False
Let b be (-2 - 4/(-2))/(-2). Let l = 1 - b. Let t be (-49)/(-147)*2/4. Which is bigger: t or l?
l
Suppose 0 = 521*r - 523*r. Do r and -3/401 have different values?
True
Let m(v) = -10*v + 3 - 13 + v**3 + 1 + 4*v**2. Let t be m(-6). Let h be (-3)/21 - (-18)/t. Do -7/5 and h have different values?
True
Let u = 10 + -6. Suppose -u*f + 27 - 3 = 0. Is 5 less than f?
True
Let w = -131 - -334. Is 204 greater than or equal to w?
True
Let y be (-25 + 27)/((-130)/128 - -1). Which is bigger: -637/5 or y?
-637/5
Suppose 416*t - 411*t = -45. Is -61/8 at most as big as t?
False
Let x = 223 + -239. Is x at least as big as -16?
True
Let s = -3/13 - 258/65. Is s bigger than -4?
False
Let q(f) be the second derivative of f**5/20 - 7*f**4/12 - 8*f**3/3 + 5*f**2/2 - 23*f. Let b be q(9). Is b greater than or equal to 25?
False
Let d = 7 - 16. Let k(g) = g**2 + 8*g - 7. Let a be k(d). Suppose 0 = -3*f + 2*f - 1. Which is smaller: a or f?
f
Let d(i) = 20*i - 1. Let k be d(-3). Suppose 38*q = 52*q - 25*q - 682. Which is smaller: k or q?
q
Let j = -271 + 322. Which is smaller: -1 or j?
-1
Let h = 1296 + -1243. Which is bigger: h or 6?
h
Suppose -295 = -5*j - 415. Suppose 4*m = m - 78. Which is smaller: j or m?
m
Let g = -26 + 76/3. Is g <= -8?
False
Suppose 11 - 3 = -4*d. Let h be 3/d*60/(-9). Suppose 5*k + h = 25. Is 4 greater than k?
True
Let g(q) = -q**2 - 3*q - 1. Let v be g(-3). Let d(u) = 2*u + 2. Let n be d(2). Let i be n/3 - (-60)/(-29). Is v at least i?
False
Suppose u = -0*s + 5*s + 43, -3*u = 4*s + 23. Let g be ((-126)/s)/(-14 + 17). Does 4 = g?
False
Let d(c) be the third derivative of 1/24*c**4 + 1/6*c**5 + c**3 + 1/120*c**6 + 0 - c**2 + 0*c. Let z be d(-10). Which is bigger: z or 0?
0
Let v be ((-56)/(-60) + -1)/(404/10). Which is bigger: 0 or v?
0
Let z(a) = 4*a - 70. Let c be z(6). Is -45 at least as big as c?
True
Let r(y) = -17*y - 285. Let a be r(-6). Are a and -184 nonequal?
True
Let d = 132 + -148. Are -12 and d equal?
False
Let m be ((-126)/84)/(4/(-176)). Are m and 4 equal?
False
Let a(b) be the first derivative of b**4/4 - b**2/2 - b + 1. Let m be a(2). Suppose m = 3*c + 2*c. Does c = 1?
True
Suppose -13*t + 95944 = 9208. Let f = t + -2368558/355. Which is smaller: -1 or f?
-1
Let s be (-10)/4*-10 + -3. Let u = s + -22. Suppose 7*h - 6*h = u. Which is bigger: 2/37 or h?
2/37
Suppose 2*f + 0*f + 26 = 0. Let l = f + 57. Let b be (1 + 1)/(40/l). Is 3 at least as big as b?
True
Suppose -4 = -11*n + 10*n. Suppose 0 = -n*v + 2*j + 4 - 2, v = 2*j - 4. Let r be 36/(-40)*v/6. Is r greater than 0?
False
Suppose -195 = 28*y - 15*y. Let j be (5 - y/(-6))*4/26. Which is greater: j or 0.1?
j
Let q(f) = f**3 - 25*f**2 + 27*f - 72. Let r be q(24). Let w = 2/421 - -303/24839. Which is smaller: w or r?
r
Suppose 0 = 5*m - 25 - 775. Let t = m + -166. Is t <= -3?
True
Let z = 287.9 - 302.93. Let i = -15 - z. Which is greater: -0.1 or i?
i
Let h be (9 - 13)*(96/(-2))/(-2). Do -100 and h have different values?
True
Let x(s) = -s**3 - 6*s**2 + s + 29. Let h be x(-6). Which is bigger: h or 25?
25
Let u(y) = -y**3 - 3*y**2 + 24*y + 86. Let a be u(-5). Suppose 18 = 4*r - 42. Let j = r - a. Which is bigger: -1/10 or j?
-1/10
Let t = -1 - -5. Let u be t*((-3)/15)/((-12)/(-15)). Is u > -1?
False
Suppose 192*b = 176*b + 64. Which is bigger: b or -14/13?
b
Let l = 2/1773 - -5287/28368. Is 1 less than l?
False
Suppose 0 = -r + 4*k - 2, -2*r - 3*r + 4*k - 10 = 0. Let q be 2 + -4 - r - 18. Let w = -18 - q. Is -2 smaller than w?
True
Suppose -j + 15 = -w, -4*w - 35 = -j + 2*j. Let g = w - -19/2. Let s = -114 - -113. Is s >= g?
False
Suppose 7*m + 231 + 574 = 0. Is m at most -114?
True
Let r = -0.18 - -0.48. Let g(n) = -n