: m or b?
m
Let a(u) = -34*u + 648. Let k be a(19). Let b = 15 - 16. Are k and b unequal?
True
Let c = -131.05 - -130.45. Which is bigger: -1/198 or c?
-1/198
Suppose 36*c - 44*c + 1281 = -5*k, -3*k = -c + 780. Which is greater: k or -1832/7?
k
Let n = 43 - 41. Suppose -3*y - 4*x = -n*x - 77, -4*y + 104 = 4*x. Suppose -y = 3*j - z, j + 4*j + 70 = -4*z. Which is smaller: j or -7?
j
Suppose 12 = 4*r - 4*u, -5*r + u = -3*u - 14. Suppose -r*g + 2*c - 156 = -6*g, g - 39 = 2*c. Which is greater: 43 or g?
43
Suppose -5*r = 2*d - 182, 66*r - 65*r = 2*d - 158. Which is smaller: d or 163?
d
Suppose 30*n + 2473 = 7753. Which is smaller: 177 or n?
n
Let m = -62713257/13 - -1289196488577/267241. Let k = m - 26/337. Which is greater: 0 or k?
k
Let f = 482 + -479. Let y be ((-1)/f)/(88/(-264)). Is -1/82 != y?
True
Let f = -858.85 - -0.85. Let r = f - -860. Which is smaller: r or 1.4?
1.4
Let i be (1 - (-11)/3) + (-11)/(-33). Suppose -2*f + 24 = 2*f - 5*q, -i*f = -2*q - 30. Let u be 4/f*(-741)/26. Is u at least as big as -17?
False
Let l be 1734240/(-1344)*(1 + 9/(-2)). Is 4517 < l?
False
Let k be (-1528)/(-18) + (-39)/(-351). Let f be k/5916 - 1/12. Let t be 6/(-21) - (-2)/7. Which is smaller: t or f?
f
Let g = 33549 - 29212. Is g > -2?
True
Let m = 63 + -51. Suppose -3*w - 396 - m = 0. Is w >= -135?
False
Suppose 0 = -3*q - n + 173, -118 = -4*q + 2*q + 2*n. Let c(w) = -2*w - q + 61 + 4*w + w**3 - w - 3*w**2. Let v be c(3). Which is bigger: 5 or v?
v
Let r be (4/((-96)/54))/(5*60/1150). Let s = -18 - -10. Do s and r have different values?
True
Let v be (0 + -4)*(-1)/(4/13). Suppose -2*r = -v + 17. Let l be (-4)/((-40)/55)*r. Is -47/4 at most l?
True
Suppose 4*w - 1 = 3. Let g = -697529/73 - -9555. Is g at most as big as w?
True
Let i(o) be the first derivative of -o**4/4 - 2*o**3 - 5*o**2 - 8*o - 90. Let l be i(-4). Is l smaller than 2/477?
True
Let y(j) = j**2 + 9*j + 25. Let w be y(-10). Let i = -11 - w. Let q = -59 - i. Which is greater: -38/3 or q?
-38/3
Let q = 2137 + -6735. Are q and -4598 unequal?
False
Let l(y) = -99*y - 692. Let t be l(-7). Which is smaller: -76/159 or t?
-76/159
Let x be (1232/5 + 0)*21/(-336)*200. Which is greater: x or -3081?
x
Let n = -97 + -194. Let m = 260 + n. Which is smaller: m or 1?
m
Let s = -241283/19 + 12699. Let c = -4 - 6. Is s > c?
True
Let q = -262 - -568. Let w be 8 - 5 - q/135. Is w less than 1?
True
Suppose 4*w - 5*b = 6*w - 167, b = -w + 91. Suppose -4*r = -0*r + w. Let u be 5*62/392 - (-18)/r. Is u >= 1?
False
Let f(c) = -10*c + 2. Let x be f(-2). Let y be 4/x + 2956/(-44). Let k = 9668 + -9668. Is k less than y?
False
Let c be 29/(-232)*(-32)/10. Is c less than or equal to -1012?
False
Let d = -58753/1525750 - -29/718. Is d less than or equal to 0?
False
Let x = 25 - 35. Let w be 4/(-12)*6 + (-18)/x. Are 1 and w nonequal?
True
Let u(q) = 320*q - 21. Let a be u(0). Which is greater: 27 or a?
27
Suppose 5*n = -124 + 94. Let m(w) = w**2 + 6*w - 1. Let a be m(n). Which is smaller: 2/277 or a?
a
Let r(l) be the first derivative of -3*l**2/2 - 45*l + 189. Suppose -p - 4*p - 50 = 0. Let t be r(p). Which is bigger: t or -43/3?
-43/3
Let a = -254 - -257. Suppose 0 = a*x + 217 - 163. Suppose -36 = 5*r + 49. Which is bigger: x or r?
r
Let i = -21 - -14. Suppose 5*v = -v - 18. Let n be 34/(-51)*v/i. Which is bigger: 1.3 or n?
1.3
Let w be ((-645)/(-30))/(1/2). Suppose -5*r = 3*k + 45, -w = 4*r - 9*k + 10*k. Which is greater: -9 or r?
-9
Let p = -508 - -515. Suppose p*d - 622 = -356. Which is smaller: 17 or d?
17
Let o(m) = 3*m**2 + 9*m + 7. Let t be o(-8). Let d be (-466)/4*(-36)/(-33). Let y = t + d. Which is greater: y or 0?
0
Suppose 6786*g - 6788*g + 1772 = 0. Which is smaller: g or 0.01?
0.01
Let h(a) = 90*a + 91 - 20 - a**2 - 97*a. Let q be h(-14). Is -26 <= q?
False
Let z = -3877 - -3573. Is 2 greater than z?
True
Let t = 2132 + -2130.44. Let c(b) = 2*b + 7. Let s be c(-4). Which is bigger: t or s?
t
Let f = -11331 - -11420. Which is bigger: 809/9 or f?
809/9
Suppose 3*c + 128 = -0*o + 2*o, -3*c = o - 91. Are 98 and o unequal?
True
Suppose -5*u - 15 = 5*f, 2*u + 9 = 32*f - 37*f. Is f less than 1/648?
True
Let s = 343 + -134. Let q = -144 + s. Let x = -45 + q. Which is bigger: -0.2 or x?
x
Let r(x) = -6*x + 13. Let p be r(5). Let c = p + -22. Let q = c - -14. Are -26 and q non-equal?
True
Let g(u) = -u**3 + 16*u**2 - 30*u + 55. Let b = 241 - 227. Let y be g(b). Is y at least 26?
True
Suppose -3*n - l - 158 + 160 = 0, 5*n + 2*l = 6. Which is greater: n or -129/112?
-129/112
Let i be 4/18 + 33/(-27). Let c be (11 - -3)*104/14. Let p be 2/(-5)*40/c. Which is smaller: p or i?
i
Let i = 1272554/12509 + -30/1787. Which is bigger: i or 102?
102
Let k(t) be the third derivative of -t**6/120 - t**5/30 + t**4/6 + 7*t**3/6 - 11*t**2. Let o be k(-3). Suppose 0*u = -o*u - 76. Is -19 greater than u?
False
Let g = 71913/728 + -691/7. Which is greater: -1 or g?
g
Let j be (-120)/2*(182/(-8) - -1). Is j greater than or equal to 1307?
False
Let r(z) = -19*z**2 - 2*z + 5. Let l be (-2)/((-2)/1)*2. Let h be r(l). Is -229/3 at most h?
True
Let m = -106 - 14. Let f = m + 170. Let x = f - 49. Which is bigger: -0.042 or x?
x
Let k = -22 - -21.9. Let g = -2.24 + -8.96. Let r = g - -4.2. Which is smaller: r or k?
r
Let x be (-4)/12 + 1/3. Let y = -188 + 186. Let q be -8*8/224*y/44. Which is smaller: x or q?
x
Suppose -3*q = 5*s - 31, -2*s + q - 12 = -4*s. Let j be (2 - 2)*s/10. Is -15/37 < j?
True
Suppose 12 = -4*u, -3*u - 18 = -3*a - u. Suppose a*p = 31 - 23. Suppose j = 5*k - j - 23, -5*j - 5 = -p*k. Which is smaller: 2 or k?
2
Let j(d) = d. Let n be j(6). Let g = 348004/7 - 49708. Which is smaller: g or n?
n
Let w = -22 + 354. Suppose w = -4*f - 732. Is -265 greater than f?
True
Suppose 8*o - 164 = 10*o. Let b = o - -45. Let k = b + 145/4. Are k and -2 equal?
False
Let v = -190 + 4941/26. Let j(z) = -z + 6. Let y be j(-11). Let b = y - 16. Which is greater: b or v?
b
Let o = -25.41 - -24.41. Let h = -14.48 + 14. Let i = h + 0.8. Which is smaller: o or i?
o
Let y = 0.782 - 1.482. Is -168 smaller than y?
True
Let y be -1 - -6 - 13940/(-34). Let q = y + -14528/35. Which is smaller: q or -1?
-1
Let h = 13.5 - -1.5. Let k = -418 + 1304/3. Let j = -16 + k. Is h greater than or equal to j?
True
Let s = 3077 - 1449. Let m be 3 - (s/165)/((-6)/15). Is 28 bigger than m?
True
Let x(l) be the third derivative of l**4/24 + 8*l**3/3 + 10*l**2 + 2*l. Let t be x(-15). Let r be t - (31/(-6) - 14/(-84)). Which is smaller: 38/7 or r?
38/7
Let q = 1483.4 - 1484.4. Which is bigger: -1.8787 or q?
q
Let y = -10.03484 + 0.03484. Which is bigger: 1/58 or y?
1/58
Suppose 0 = 16*r - 14 - 34. Suppose -g - 23 = 5*l, 4*g = -l + 6 - r. Is g not equal to 2?
False
Let i = -19475 - -19475.041. Which is greater: i or 1/11?
1/11
Let w = -2169 + 2145.54. Let u = -141.6 - -141.14. Let i = w - u. Is i greater than 1?
False
Let d = -508.8 - -498.8. Which is smaller: 0.005 or d?
d
Let p = -0.79316 + -0.20684. Let f = 5 + -8. Let u be (f/(-66))/(1/(-24)). Is p at most as big as u?
False
Let m = 74767/8740 - 13/460. Which is bigger: m or 9?
9
Suppose 175 = -11*j + 16*j + 4*f, 0 = j + 3*f - 35. Which is smaller: j or -24?
-24
Let x be ((-82)/4)/((-2)/(-19)). Let c = 33513/172 + x. Let g = -6069 - -6069. Are g and c equal?
False
Suppose 4*g + 9 = -3*m, 2*g = -2*m + 12 - 16. Are m and 61 non-equal?
True
Let f(m) = -m**2 + 46*m - 135. Let b be f(3). Let s(i) = -101*i**2 + 3*i - 4. Let z be s(3). Let v = z - -3587/4. Which is smaller: b or v?
v
Let y = 95 - 95. Suppose -7*s + 77 + 0 = y. Which is bigger: 8 or s?
s
Let o = -22.947 - 0.053. Let p = -45 - o. Let r = -23 - p. Is 0.028 at most as big as r?
False
Let x be 13/((-170352)/(-169390)) - 13. Is -1 equal to x?
False
Suppose -22*b + 21*b + 33 = 0. Let x be ((-22)/b)/(2/3)*1. Which is bigger: x or -2?
x
Let f = -9258 + 9258. Are f and -17/160 equal?
False
Let b = 0.177 - -0.793. Let w = b - -1.83. Are 1 and w equal?
False
Let c be (-4 - 642/(-12))/((-3)/13). Let a = -211 - c. Let n be (-1)/(-3) - 11/(-3). Which is greater: a or n?
n
Let a = 0.3 - -0.2. Let t(b) = -b**2 - 29*b - 16. Let v be t(-25). Suppose 41*m = 20*m - v. Is a >= m?
True
Let t = -320.0187 + -1.1313. Let p = -321 - t. Which is smaller: p or 1/4?
p
Let h = 28.5 +