s i at most as big as 0?
True
Suppose 50*q - 3*q - 23*q + 24 = 0. Are q and -26/825 equal?
False
Let i = -2951.45 - -2950. Which is smaller: -0.5 or i?
i
Let g = 1241018/722007 - 380/221. Which is bigger: g or -2?
g
Let f = 661 + -661.447. Let j = f + 0.49. Let k = j - -0.057. Which is greater: 0.2 or k?
0.2
Let b(z) = -67*z + 13. Let v be b(-1). Suppose v - 528 = -8*m. Suppose 4*q - 9*q + 275 = 0. Is q at most m?
True
Let j = 0.76 + -0.86. Let l = -59.37 + 59. Let h = l - -18.37. Which is smaller: j or h?
j
Suppose -261*v - 21054 = -267*v. Let n = v - 361433/103. Is -1 <= n?
True
Let z be (24/(-300) - 770/(-250)) + (-4 - 0). Which is smaller: 27 or z?
z
Suppose 4*u + 16 = -4. Let x be u + (-15)/(-3) - (-1 + -1). Suppose -8 = 2*w + 2*w, x*w = 3*l - 13. Which is bigger: 5/3 or l?
l
Let x = 26 - 27. Let h = 0.26 + -18.26. Let w = -8 - h. Is x greater than or equal to w?
False
Let a be ((-14)/(-4) + -4)*560. Let n be (-3)/((-8)/(a/15)). Let v(f) = f**3 - 26*f**2 - 29*f + 52. Let t be v(27). Which is greater: t or n?
t
Let p = -20499 + 20436. Which is smaller: p or -53/3?
p
Let g(m) = 2*m**2 + 7*m + 12. Let k(v) = v**3 - 10*v**2 - v + 7. Let h be 3/(-15) + (-102)/(-10). Let w be k(h). Let c be g(w). Which is smaller: c or 8?
8
Let c = -24028337467/30437 - -789445. Do c and 0 have the same value?
False
Let p(c) be the first derivative of c**3/3 - 6*c**2 + 47*c + 90. Let j be p(13). Is j > 60?
False
Let m = 794 + -77020/97. Let b be (38 + 4)*1*-1. Let c be b/(-28)*(-4)/6. Which is smaller: c or m?
c
Let z be 3561/15 + (-6)/15. Let y = z - 187. Which is smaller: y or 46?
46
Let u be ((-8)/(-20))/((-2)/7180). Are u and -1435 nonequal?
True
Suppose 156 = 9*j + 129. Suppose -j*v = -x - 6, -5*v = 25 - 15. Is -14 greater than x?
False
Let a = -1.6554 + -130.3446. Which is bigger: a or -99?
-99
Let k = 1044504483594 + -1772088550289526527/1696583. Let q = 7/4573 + k. Let m = q + -10/53. Which is smaller: m or -1.1?
-1.1
Let o = -6611/13226 - 1/6613. Is o at least as big as 60/19?
False
Let c = -14387 + 14382. Is -83 greater than c?
False
Suppose -22*d - 9 = -5*n - 20*d, 4 = 3*n - d. Which is smaller: -15/277 or n?
n
Let m = 63.7 - -31.3. Let p = m - 96. Let c = -1 - 2. Which is smaller: p or c?
c
Suppose 59*w = 21*w - 34*w - 74952. Is -1041 at most w?
True
Let g = -73 + 78. Suppose -4*l + 131*v - 6 = 136*v, -g*v = -4*l + 14. Is 9/86 bigger than l?
False
Let o be 8/(-28) + (-4)/42 + 4495/3255. Is -3/11042 < o?
True
Let i be 0 - -2 - (-425)/(-238). Suppose 0 = -2*k + 3*z + 4, -10*k + z = -7*k + 1. Which is smaller: k or i?
k
Let n be (-2 - 10)/(-1) + 0. Let f be (56/(-53 - -25))/((-4)/30). Which is smaller: f or n?
n
Suppose -716*w + 693*w = -9591. Is w less than 418?
True
Let w(q) = 6*q + 89 + 112 - 61. Let i be w(-24). Let c = -5 - -3. Is i < c?
True
Let q = 6 + -6.4. Let i = 18 - 166/11. Let l = i + -138/55. Is q > l?
False
Let o be 30/(-24) + (-1)/(-4). Let z be 9/84 - ((-108)/(-16))/(-9). Let f = -19/14 + z. Is f != o?
True
Let o = 39 + -37. Let j be ((o - -1)*-2)/(-2). Suppose -4*k - j*w + 8 + 15 = 0, -19 = -3*k - 4*w. Is k greater than 5?
False
Let x = 0.092 + 0.363. Let i = -0.555 + x. Which is smaller: i or -2/207?
i
Let v = 0.013 - 5.813. Let g = -117.4 - -123. Let b = v + g. Is -0.5 > b?
False
Suppose f - 6 = -1, 4*r + 3*f - 1147 = 0. Is 280 at least r?
False
Let j(w) = -65*w + 74. Let b be j(10). Let c be (1725/6)/((-32)/64). Which is greater: c or b?
c
Let x = 134 + -53. Let g = 74 - x. Let t be 64/231 - (40/g + 6). Which is smaller: t or 0?
t
Let o = 237 - 241. Let f be 4 - (143/22)/((-7)/o). Which is smaller: 0 or f?
0
Let b = 0.089 - 40.089. Let r = b + 44. Let i = r - 4.3. Which is smaller: i or -2?
-2
Suppose 0 = 152*v - 17*v + 57375. Do -426 and v have different values?
True
Let p = -5180 + 56982/11. Is -1/9 at most as big as p?
True
Suppose 104*u = j + 116*u + 16277, 0 = 2*j - 2*u + 32554. Is j bigger than -16277?
False
Let u be ((-11250)/(-54) + 14 + -11)/((-1)/192). Is u >= -40576?
True
Let c = -64397/5 + 12887. Suppose 0 = -2*x - 0*x + 4*s + 32, 4 = -s. Are c and x equal?
False
Let d = -22251 - -21469. Which is smaller: -0.06 or d?
d
Let n = 0.21 + 10.79. Let i = n - 10.2. Let w(c) = -2*c**2 + 114*c - 115. Let b be w(1). Which is smaller: i or b?
b
Let y = -122 + 116. Let a(j) = -j**2 - 4*j + 14. Let g be a(y). Let r be ((-3)/(-3))/(-14 - 5). Is g > r?
True
Let p be 28740/(-240) - (-7 - 2). Which is greater: 2 or p?
2
Suppose 43*p + 484 = 32*p. Let g be (14 - -4)/6 + p. Which is smaller: -42 or g?
-42
Let y(c) = 2*c**3 - 17*c**2 - 13*c + 8. Let g be y(9). Let t be (100/g)/(72/(-42)). Which is smaller: t or -2/3?
-2/3
Let g(k) = -k**3 - 3*k**2 - k + 2. Let r be g(-2). Suppose x + 3*j + 1 = 64, -2*x - 2*j + 134 = r. Let i be x/12 - 1*(-1 - 1). Is 8 > i?
True
Let s(u) = 231*u - 719. Let x be s(-38). Which is bigger: -9498 or x?
x
Let w = -6273 + 6385. Is 104 < w?
True
Let d be (-1 - -2) + (-9 - (-19941)/2482). Let p = 15 - 16. Which is greater: p or d?
d
Let z be 1*-1*475/(-1300). Let o = z - 3/26. Let v(c) = c + 9. Let p be v(-8). Which is smaller: p or o?
o
Suppose 4*v = -g - 261, -3*g = v + 2*v + 747. Let l = g + 245. Is 26 at most l?
False
Let d = -1590 + 1590.1. Is d at most -4308?
False
Let j(u) = u**3 + 30*u**2 - 27*u - 838. Let k be j(-30). Are -37 and k non-equal?
True
Let v(f) = 4*f**2 - f - 2. Let o be v(-1). Suppose 3*n + 6 = -3*m, n + o*m + 7 - 3 = 0. Let h = n + -2. Is -1 greater than h?
True
Let o be 2/(8/18)*-8. Let l be 3/(o/(-46)) - 4. Let n = -1/6 + l. Which is greater: -0.02 or n?
-0.02
Let z = 44042 + -38117. Which is bigger: z or 5927?
5927
Suppose -136 = -3*c + c. Suppose -u - 204 = -3*f, 15*u = 5*f + 10*u - 360. Does f = c?
False
Let q = 205945/57464 + -317/88. Is -1 != q?
True
Let u(g) = g**3 + 30*g**2 + 56*g. Let k be u(-28). Is -2/5201 less than or equal to k?
True
Suppose 0 = 4*u + 32, 14311 + 11049 = -3*a + u. Which is smaller: a or -8457?
-8457
Suppose 13*y + 401 = -67. Let n be 1/(-2 - 2) + 17271/y. Is n bigger than -479?
False
Suppose -5*r + 20 = -r. Let w be (r/15)/(2/6). Let z be w/(-2)*(-35)/(-20). Which is bigger: z or -1?
z
Let r = 0.3767 - 0.4767. Is -2/683 <= r?
False
Let f = 22 + -386. Let w = -4002/11 - f. Is w bigger than 17?
False
Let j = 130.059 + 2.941. Which is greater: j or -0.05?
j
Let h(d) = 9 - 26 + 2 + 8 + 2*d**2 - 6*d. Let p be h(5). Let l(i) = -i**3 + 12*i**2 + 17*i - 40. Let z be l(13). Is z <= p?
True
Let k = -1264 - -830. Let s = k + 426. Suppose g + 14 = 1. Is g >= s?
False
Let p = 9357 + -6149. Let s = 227762/71 - p. Let r = s - -131/710. Is r < 0?
False
Let y = 173305/189718 + 1/3271. Let x = y - 6509/7250. Let v = 1801 - 1801. Which is smaller: x or v?
v
Let w = -803.182 - -802. Let k = 2723.918 + -2724. Let l = w - k. Which is smaller: -1 or l?
l
Let n = 26 + -36.6. Let b = n + -0.4. Let j = b - -11. Does j = -0.23?
False
Let j(p) = p + 14. Let x be j(10). Suppose 0 = 2*r + v - 15, -3*v + 4*v - x = -3*r. Which is smaller: r or -18?
-18
Suppose 3*c - 5*s - 62 = 0, 6*s - 2*s + 16 = 0. Suppose 4636 - 35476 = 4*y. Let v = 54060/7 + y. Are c and v equal?
False
Let k = -127677/3100 - -1023/25. Let u = -1/62 - k. Is -3/5 at least u?
False
Suppose -12*d + 30 = -17*d. Let z be (-12*d/12)/(1*10). Do 1 and z have different values?
True
Let q = -271 - -289. Let j = 6547/3 - 2164. Which is bigger: j or q?
j
Let j = 31 - 16. Suppose n = 6*n + j. Let i be (-4)/n - 208/39. Is i at least -16/3?
True
Let t(y) = -y - 1. Let j(f) = -16*f**3 + 3*f**2 - 2*f. Let m be j(1). Let z = m - -3. Let p be t(z). Are 13 and p unequal?
True
Let n = 8824 + -6794481/770. Let w = n - -3109/22330. Is 0 >= w?
False
Let x be (-22374)/50220 + (-8)/(-18). Let d = 1447/48360 + x. Let j = 1/8 + d. Which is greater: -0.2 or j?
j
Let l = -4 - -3. Let n = 47/366 + -3751/31110. Which is smaller: n or l?
l
Let j = 4752.96 + -4674. Let m = 1.96 - j. Is 1 <= m?
False
Let j = 41 + -22. Suppose 4*g = 11*g - 154. Suppose 7*x = 6*x + g. Which is smaller: j or x?
j
Let y = 3011 + -3014. Which is smaller: y or 9.57?
y
Let w = 164.26 - 4.26. Let y = w + -104. Which is greater: y or -0.2?
y
Let g = 962/15 + -5044/75. Which is smaller: g or -4?
-4
Let s(d) = -d - 3. Let x be s(-11). Suppose 0 = -2*n + 4*t, -x*n = -6*n + 4*t. Is n b