 -4*j = -8, -n + 2*j = 4*n - 31. Suppose -n*u + 188 = 566. Is -53 greater than u?
True
Suppose 8*v = 6*v - 4*d - 990, 3*v = -4*d - 1475. Which is smaller: v or -1451/3?
v
Let o be -2 - -9 - 0*3/9. Suppose 5*g - o = 18. Suppose -2 = g*p + x - 8, 4*p - 5*x = -1. Which is smaller: 5 or p?
p
Let s = 54.2 - 48.2. Let a be (-4)/6 - (-6946)/33. Let t = a - 210. Which is smaller: s or t?
t
Let u = 12 + -11.9. Let z = -123 - -125. Suppose -64 = -3*f - z*q, 0 = f - q - 9 - 4. Is f < u?
False
Let k be (315/635)/(1*(-18)/12). Which is smaller: 1 or k?
k
Let i = 61 + -56. Suppose 4*w + 2*r - 6*r + 136 = 0, i*r - 10 = 0. Let l be (341/(-22))/((-2)/(-4)). Is w > l?
False
Let d be 35/123 + (-4)/12. Let p = 0.355 - -0.035. Let s = p + -0.39. Do s and d have the same value?
False
Let b = -28 - -26. Let l be 16/(-32) + (0 - b)/(-20). Are -1 and l equal?
False
Let v = -33476.91 - -33477. Which is smaller: 102 or v?
v
Suppose -5*d + 17210 = -2*u, 9878 = -5*d - u + 27103. Does d = 3444?
True
Let s(u) be the first derivative of -u**4/4 - 11*u**3/3 - 10*u**2 + 31*u + 36. Let g be s(-8). Is g less than or equal to -1/10?
True
Let k = -3 + -7. Let j = 667 + -670. Let q be -4 + 4/4 + j. Do q and k have different values?
True
Suppose 13*i - 4 = 12*i. Let g(s) = s + s**3 + 17*s**2 + i*s**2 + 11 - 9*s**2. Let y be g(-12). Is y at most 1/11?
True
Let y = -0.1 - -1.1. Let s = 61.45 - 68.45. Let f = y - s. Which is bigger: f or 0.1?
f
Let f = 33972 + -34004. Which is bigger: -94/3 or f?
-94/3
Let w = -1886 - -1889. Which is smaller: w or 4.5?
w
Let k = 34.48 - 35. Let z = 0.2 + k. Let q = -3.78 + 3.68. Which is smaller: z or q?
z
Suppose -d + 2729 = -799. Let b = 2677754/759 - d. Is 0 at least b?
False
Suppose -7*f = -11*f - 19*f. Which is greater: -2/24101 or f?
f
Suppose -n - 2 = 455*s - 451*s, -4*s + 3*n - 10 = 0. Is s bigger than 23/90?
False
Let o = -567 + 571. Let t be (2/o)/((-210)/144 + 2). Are t and 2 unequal?
True
Let a(s) = 7*s**3 - 2*s**2 + s - 14. Let t(c) = 20*c**3 - 6*c**2 + 4*c - 43. Let l(g) = -17*a(g) + 6*t(g). Let m be l(3). Is m at most as big as 5?
False
Let q = 128 - 99. Suppose -17*b - 5 = q. Let j = -0.3 - -0.2. Which is smaller: b or j?
b
Let m = 1949/36 + -323/6. Let c = 3/4 - m. Which is smaller: 5 or c?
c
Let g = -70 + 76. Let c be ((4/(-6))/(-2))/(2/4). Which is smaller: c or g?
c
Let c be (-1)/(27/(-21)) + 102/(-102). Which is smaller: c or 12/89?
c
Let l(p) = -p**2 - 3*p + 32. Let c be l(-7). Let s be (-224)/(-119) - c/(-34). Suppose 2*a + s*a - 12 = 0. Which is greater: a or -2?
a
Let m(r) = r**2 + 4*r - 1. Let n be m(-4). Let l be (-11)/14 - n/2. Let u be 2/4 - 2256/(-96). Which is greater: l or u?
u
Let d be (18/(-4))/3*145/(-3480). Let c be (-16)/7 - (-6)/21. Let q(u) = u + 2. Let t be q(c). Is t at most d?
True
Let a(d) = -d**3 - 9*d**2. Let b be a(-9). Suppose 0 = f - j + 4*j, b = f + 5*j + 4. Suppose -10*u = -f*u + 8. Is u at least as big as 3?
False
Let a = -20926 - -20927. Let c = -1717 + 527121/307. Which is smaller: a or c?
c
Let u = 5602 + -5601.98. Are u and 384 unequal?
True
Let j be (-4)/(-1) + 5/(-1). Let n be (((-12)/(-8))/j)/(-15). Let g(s) = s**3 + 2*s**2 - 4*s - 4. Let b be g(-3). Is b bigger than n?
False
Suppose 0 = 13*d - 58869 - 5714 - 6475. Is 5466 >= d?
True
Let o = 182.8 - 183. Let j = 64/7 + -9. Is j greater than o?
True
Let k(f) = -f**2 - 17*f + 529. Let p be k(-33). Is p at least as big as 1565?
False
Let n be -64 + (-1 - -1 - (7 - 3)). Let a = n + 69. Which is smaller: -2/39 or a?
-2/39
Let c be ((-24)/(-27))/2 + (-63292746)/(-3294). Is 19215 at most as big as c?
True
Let c = 13868 - 13865. Is -10.12 bigger than c?
False
Let y(s) = 4*s - 51. Let v be y(18). Let j = -115 + v. Let m = 94 + j. Which is bigger: m or -2/373?
m
Let j = -818 - -820. Let u be (-2 + j)*((-48)/8)/24. Is 5/11 smaller than u?
False
Let w be (-8 - -6) + (38401 - 0). Let a = -2611595/68 + w. Let m = a - -27/4. Do -1/2 and m have different values?
True
Suppose -10*f + 5*f - 12*f = 0. Suppose f*c - s = 5*c + 420, -c - 84 = -5*s. Which is bigger: -85 or c?
c
Let q be (-4)/(-535)*70/28. Let c be 3 + 8 + -7 + -4. Which is smaller: q or c?
c
Let a(w) be the second derivative of -1/2*w**2 + 0 + 1/2*w**3 + 21*w + 1/12*w**4 - 1/20*w**5. Let y be a(2). Is y bigger than 4/7?
True
Let p = 2.04 + -5.04. Let k = -4.4 - -52.4. Let o = 48.1 - k. Which is bigger: o or p?
o
Let a be 307/8*2 + ((-750)/(-24) - 30). Are a and 47 nonequal?
True
Let t = -43/2 + 1912/89. Suppose 212*v - 381 = -286*v - 48 + 165. Which is smaller: t or v?
t
Suppose 13*y + 11 - 37 = 0. Suppose -2*l - g + 10 + 4 = 0, l = -y*g + 4. Suppose -4*c + 68 - l = 0. Is 15 bigger than c?
False
Suppose 2*m - 4 = 0, -5*m + 4 = 7*a - 4*a. Let p(r) = 2*r**2 + r - 3. Let k be p(a). Are k and 24 nonequal?
True
Let m = 63 - 83. Let u be ((-19115)/m)/(5/(-20)). Let o = 867819/227 + u. Is -1 at least as big as o?
False
Let h = -175.5 - -13.5. Let z = 86 + h. Let p = 76 + z. Which is bigger: p or 1/2?
1/2
Let p = -12626 + 22286. Which is greater: 0 or p?
p
Let n = 1.6298 + -1.6298. Which is bigger: n or 3033?
3033
Let n = -54.5 + 46.5. Is n <= 0.021?
True
Let r = 39.677 + -39.177. Is -0.153 smaller than r?
True
Let l be (446/15 - 8/(-12))*(0 + 10). Is 318 at most as big as l?
False
Let f = 571.27 + 6.73. Let r = 578.12 - f. Which is smaller: 2 or r?
r
Let t = 0 - 1. Let a(f) = f**3 + 14*f**2 - 7*f - 95. Let v be a(-14). Suppose -4*s = -2*k - 29 + 25, 0 = -v*s + 3. Is t > k?
False
Let y = 99 + -60. Suppose 3*a + x = -2*a - 195, 4*x = -4*a - 156. Let u = a + y. Is 3/22 equal to u?
False
Let f = -122087 + 3496205417/28637. Which is greater: f or 0?
0
Let d = 2356 - 2304. Which is smaller: d or 40?
40
Suppose 25 = 15*w - 10*w. Let q(d) = -5*d + 7. Let u be q(0). Which is bigger: u or w?
u
Let i be (106807/145)/(1/((-10)/(-2))). Which is greater: 3684 or i?
3684
Let p be (-1)/(-3) + 12523*24/(-504). Is p bigger than -591?
False
Suppose 2*i + 5*o - 13 - 7 = 0, -4*i = -2*o - 16. Suppose 5*q - 52 = -4*z, 0 = z - 0*z + i*q - 28. Let l be (-18)/354*(2 - z/6). Which is smaller: 1 or l?
l
Let d be -1 + 472/2 - 0. Let m = -21971 - -22205. Is d smaller than m?
False
Let p = 38 - 107. Let g = 69.8166 - 0.1166. Let l = g + p. Is l smaller than 1?
True
Let c = -771 - -773. Suppose -83 - 567 = -c*w - 5*h, -5*w = 5*h - 1655. Is w < 336?
True
Suppose -7*n = -5*n - 6. Suppose -q - 151 = -a, 7*a + n*q = 12*a - 765. Is 154 bigger than a?
False
Let p = 5298799/4436 - -3/4436. Is p at least 1194?
True
Let m = -810231 - -5683134/7. Is 1644 at least as big as m?
False
Let c = -72 - -66. Let a be (-186)/((-70)/20*c/14). Which is smaller: 0.1 or a?
a
Let r = -2.2 + 2.229. Let q = r + -0.029. Let y = -0.3 + -4.7. Is y >= q?
False
Let y be 7/(-35) - 16/(-5). Suppose -3*x - y - 16 = 5*h, -3 = x + h. Let q = 15/8 + -17/8. Is q greater than or equal to x?
False
Let y be 0*(42/(-7))/24. Suppose 503 = 5*r - 4*m, y = 6*r - 3*r - m - 299. Do r and 98 have the same value?
False
Let a be (-4272)/528 + (-2 + 0)/(-22). Suppose -2*u - 35 = 5*y, -2*u = 2*u. Which is smaller: y or a?
a
Let p = -10 - -7. Let o(t) = 6*t - 30. Let g be o(5). Suppose 0*n = 3*n + 15, -k - 5*n - 27 = g. Which is smaller: p or k?
p
Let u be (6 - (39 - 6))/((-3)/26). Suppose -154 = -4*a + u. Is 98 greater than a?
True
Let w be (5/(-1465))/(32/736). Is -1 at least as big as w?
False
Let z = -1639/2625 - -2/375. Suppose 22*g + 17 = -20 - 7. Which is smaller: z or g?
g
Let o(r) = 13*r**2 + 156*r. Let i be o(-12). Do 2/2937 and i have different values?
True
Let d = -14163 + 14162. Which is smaller: d or -2/30577?
d
Suppose -2*k - 17*l + 15*l = 36, 0 = -9*k + 5*l - 134. Is k equal to -29/2?
False
Let r = -154 - -106. Let s be -94*(-3)/(-12)*2. Is r at most s?
True
Let j = -2028.8 + 2029. Let c = 0.2 - -20.8. Is c >= j?
True
Let f(c) = 12 + 5*c - 3 - 4 - 7. Suppose 14*b - b - 26 = 0. Let g be f(b). Is 3 at most g?
True
Let b = -101 + 101.106. Let z = b + -63.106. Let i = z + 4. Which is bigger: 1/3 or i?
1/3
Suppose -2*a + 0*a = -2*r - 20, -4*r - 70 = 2*a. Let q be (7 - 238)/11 - (-22 - -12). Which is greater: q or r?
q
Let g = -739 + 19955/27. Let a = -2.65 + 2.355. Let r = a - -1.295. Is g <= r?
True
Let j be (474641/43149 - 11)/(((-40)/(-45))/4). Is j != -1?
True
Let l be (-2