 7*a**2 + 9*a + 6. Let h be m(5). Let t = -8082860/669 + 12082. Which is greater: h or t?
h
Let n be (26/(-3) - -9) + 49/(-84). Which is smaller: -7859 or n?
-7859
Let x be (-8)/2*(-202)/(-24)*3. Let i = 200 + x. Suppose -27 - i = 9*g. Is g greater than or equal to -14?
True
Let f be (3 - 0)/(50/(-10) + 6). Suppose -f*w = 2*y - 78, -21*w - 4*y - 108 = -26*w. Is w at most as big as 24?
True
Let m = -6870 + 6951. Which is bigger: m or -1.6?
m
Let c = -0.1 - -0.14. Let l = 18628 + -18618. Are l and c unequal?
True
Let v = -268 + 267.768. Let f = v + -0.268. Let c = 7.4 - 8. Which is greater: f or c?
f
Suppose 48*n + 104369 = -75535. Is -3748 < n?
False
Suppose 0 = -5*w + 3*w - 3*f + 47, -2*w + 45 = 5*f. Suppose -336 = 49*k - w*k. Is 7 >= k?
True
Let t = -349/2 + 150. Let a = -8137/332 - t. Are a and 0 equal?
False
Let b(a) = -a**2 - a + 16. Let s be 1240/70 + (-4)/(-14). Suppose -6*w + 9*w - s = 0. Let m be b(w). Is m >= -25?
False
Let v = 15589/74492 - 8/1693. Does v = 13?
False
Let b = -5012.26 - -5012. Which is smaller: b or -0.1?
b
Let g = -3.92 - 0.08. Let q = 52060/3 - 17354. Which is smaller: q or g?
g
Let a(z) = 4*z + 56. Let p be a(0). Suppose 4 = -p*h + 57*h. Let b be h/(-5)*(-10)/3*-9. Is -23 less than or equal to b?
False
Let l(s) = 197*s + 3425. Let f be l(-17). Is 1/3 at most f?
True
Let m be (160/(-8832)*23)/(-2*(-3)/(-304)). Are m and 0.03 nonequal?
True
Suppose -3*y = -12*y - 432. Suppose 0 = -2*z + 3*d - 100, 2*z + 2*z = 5*d - 196. Let c = y - z. Is -13/5 greater than c?
True
Let c = -92 - -119. Suppose 6*m - 9 - c = 0. Suppose 139 = -m*s + 19. Which is greater: s or 0?
0
Suppose -747 = -5*z + 5*w - 97, 2*z - 265 = -3*w. Let l = -218 + z. Which is smaller: -86 or l?
l
Suppose -88*o - 2693 = -493. Suppose 0 = d + 4*d + 60. Let m = d - o. Are m and 0.3 non-equal?
True
Let c = 3509 - 705307/201. Suppose -2*m - 67 = -z, 2*m - 140 = -5*z + 3*z. Let u = 70 - z. Which is smaller: u or c?
c
Suppose 9*k - 2884 = -193. Suppose 46 = k*j - 301*j. Which is greater: -9 or j?
-9
Suppose 2286 = 3*a + 5*x, -14*a + 17*a = x + 2268. Let g = 757 - a. Is g < -7/61?
False
Let j = 15194.73 - 15296. Which is smaller: 0 or j?
j
Suppose -2*o + 174 = o. Let v be ((-210)/o)/3 - -1. Let n = 1933 - 1932. Is n > v?
True
Let f = -1.14 + 54.14. Let a = 53.26 - f. Let h = -2.26 + a. Is h not equal to 1?
True
Let f(o) = 100*o + 26. Let k be f(-3). Let x = 270 + k. Which is bigger: -1.9 or x?
-1.9
Let y = -31850584 - -24811611930/779. Let g = y + -312/41. Are g and 1 non-equal?
True
Let s(d) be the third derivative of -1/24*d**4 - 3/2*d**3 - 15*d**2 + 0*d + 0. Let v be s(-11). Are -2/9 and v unequal?
True
Let o be 632 + (7 - 9/9). Let g = o + -637. Which is smaller: g or -1/6?
-1/6
Let k = 33.8 - 29. Let w = 4.7 - k. Let l be (1/(-3))/((-6)/84). Which is smaller: w or l?
w
Let y = 19.7 + -21.7. Which is smaller: 468 or y?
y
Let v = 23/11 + -12649/6039. Suppose -2*m + 14*m = 0. Does m = v?
False
Let m = -7262655/248 - -29285. Is 0 at least as big as m?
False
Let n(h) = -5*h - 19. Let l be n(-17). Let p = l + -99. Is -33 at least p?
True
Let c be -1 + (2 - -1) + 252/(-135). Let j = 11 + -7. Suppose 0 = -j*a + 16, 4*a - 13 = -3*s - 0*a. Which is smaller: c or s?
s
Suppose -r = 3*r - 368. Suppose 2544 = 8*t + 1800. Which is bigger: r or t?
t
Let k(f) = 6691*f + 20057. Let n be k(-3). Suppose 2*m - 25 = -57. Is n less than m?
False
Suppose 4*r - 2*u + 14 = -u, 5*u = -10. Let p be 1/(r/12) - (-6)/4. Let s(o) = o**3 + 5*o**2 - 6*o. Let j be s(-6). Is j greater than or equal to p?
True
Let z = -631 - -564. Is z < -76?
False
Let b = 7105.96 - 6897. Let w = 209 - b. Is 12 at most as big as w?
False
Suppose -3339 = -5*z - 2*z. Let b be 10/2 + z/(-36). Let m = -14 + 6. Which is greater: m or b?
m
Let b = 7215 + -7230. Suppose -28 = 2*m + 12. Which is smaller: b or m?
m
Let p = -2992/17169 - -18/97. Suppose -3*s = l - 19, 5*s + 5*l - 23 = 22. Suppose 0*c + d = -c + s, 0 = -3*c - d + 7. Which is smaller: c or p?
p
Let b be -6 + 34 - (3 + -4)*-4. Let p be b/(-16176)*4/1. Which is smaller: p or 1?
p
Suppose 5*w + 24 = 2*z - 12, 0 = -4*z + 2*w + 56. Suppose 3*u - c - 37 = -u, -4*u = 5*c - 55. Suppose 6*n - u = 56. Which is greater: n or z?
z
Let y = 140 + -343. Let v(a) = -12*a**3 - 2*a**2 - a. Let m be v(-2). Let w be 15/m + y/(-6). Do w and 35 have different values?
True
Suppose -5*x - 2*g + 14 = 0, -3*x = -7*g + 3*g - 24. Suppose -2*i = x*d - 6, -3 = -3*i - 5*d + 1. Let r = -9 - -5. Which is smaller: i or r?
i
Let p(m) = 4*m - 11. Let z(y) = 5*y - 13. Let f(o) = -4*p(o) + 3*z(o). Let n be f(5). Does n = 5/9?
False
Suppose -4*o = -5*m + 53608, 79*m - 84*m + 53635 = 5*o. Which is bigger: m or 10723?
m
Let b be (-16)/48 + (-4)/6. Let f(i) = -i**3 + 2*i**2 - 1. Let y be f(b). Suppose -y*m + 8 = 6*m. Which is smaller: m or 3/13?
3/13
Let u = 99 + -5. Let b = 93 - u. Which is bigger: b or -30?
b
Let k = -0.39 + 0.22. Let s = 0.16 + k. Let t = 0.21 + s. Is -0.08 not equal to t?
True
Let a be ((-4)/(-7))/(12/(-126)) + 5*1. Is 1694 bigger than a?
True
Let t(n) = 18*n + 12*n - n**3 - 33*n - 7*n**2 + 0*n**2 + 7. Let z be t(-7). Let p be (30/18)/(z/(-6)). Which is smaller: 1 or p?
p
Let f = -123 + 318. Suppose -2*h + 2*u = -82, -5*h + 22 = -u - f. Let j be -6 + 4 - (-89)/h. Which is smaller: 1 or j?
j
Let n be (-22)/(-3) + 32/(-24). Suppose 7*x + 12 = -9. Let o be (x - -4)*(-2 - -7). Which is greater: n or o?
n
Let n = -650 + 43549/67. Let l = 308 + -300. Suppose -l*f = -13*f. Which is greater: f or n?
f
Let t = -15217/4 - -3805. Which is greater: t or -140?
t
Suppose 3*d = 3*x + 9381, -4*x = 13*d - 14*d + 3133. Which is greater: 3123 or d?
d
Suppose 39*c - 68187 - 26973 = 0. Let i be (61/c)/((-6)/(-56)). Is i >= 0.2?
True
Let j be ((-90)/(-25))/((-2)/(-20)). Let w be 492/7 - 3/(21/2). Suppose 3*b - w = b. Is b at least as big as j?
False
Let v be (33754/675740)/((-18)/1005) + 3. Let i = v + -67/1356. Let j = -8/39 + i. Are j and 0.1 non-equal?
True
Let h be 1 + (48/(-57))/1. Let y be (27/(-6) + 4)*0. Suppose y = 2*r + 132 - 134. Is r < h?
False
Let l = -3024 + 7946. Is 0 less than or equal to l?
True
Let p(q) = q - 3. Let s be p(5). Suppose -90 = -s*l - 2*o, 13*o - 30 = -l + 17*o. Let k(n) = n**2 + 2*n - 7. Let w be k(6). Is w less than l?
True
Let u be (-55915)/(-35) + (-2)/16 + (-341)/(-616). Is 1598 at least u?
True
Let f be (-6)/114 + (-66)/(-1254). Is 22/565 less than f?
False
Let j = -23 - -29. Let i be (-62)/(-10) - j/2. Let q = i + -37/10. Which is greater: -1 or q?
q
Let a be (-60)/12 - -3*2. Which is greater: a or -11/188?
a
Let c(p) = -1 + 31*p + 24*p**2 - 5*p**3 - 14*p + 4*p**3. Let q be c(25). Is q at least as big as -201?
True
Let u be (-8)/(-14) + (-73)/(-7). Suppose k - 2*k = -u. Is k at most as big as 109/10?
False
Let k = 277671 + -277805. Let l be 30*(-6)/(-4)*-3. Which is bigger: k or l?
k
Let v = 224 - 218. Suppose -4*q - v*z - 385 = -5*z, z - 294 = 3*q. Is q > -98?
True
Let y = 9538 - 9538. Which is bigger: 5/76 or y?
5/76
Let i be (-90)/27*(-747)/(-6). Let l = 333 + -748. Are i and l equal?
True
Let n(y) = 7*y - 139. Let b be n(20). Let m be (-17 - -17)/(b - (-4)/(-2)). Which is bigger: -16/13 or m?
m
Suppose -1 = 4*d - 21. Suppose -96 = -30*j + 6*j. Suppose 117 = j*g + u - 0, -d*g + 4*u + 162 = 0. Does 32 = g?
False
Suppose 0 = w + 5*w. Suppose -j + 5 = w, 0*j + 19 = r + 4*j. Let d = 3979/26 - 153. Is d smaller than r?
False
Let y = -0.439894 + -99.560106. Let x = 0.4 - 0.3. Which is smaller: x or y?
y
Let t = 120/241 + -133628/3133. Which is bigger: -42 or t?
-42
Let q = -1856 + 2159. Which is smaller: 2/7 or q?
2/7
Suppose r = -r + 4. Suppose 3*x = r*s + 5*x, -5*s + 4*x = 45. Which is smaller: s or -21?
-21
Suppose 0 = 2*l + 88 - 98. Suppose -a + 5*n = -42, l*a = -4*n + 64 + 59. Do a and 29 have different values?
True
Let n be ((-1)/(-2))/(-1)*(-76)/19. Let p be 6 - 2 - n - (-1 + -2). Is 56/9 at most as big as p?
False
Let a = 0.05194 - -0.04806. Which is bigger: a or -2.9?
a
Let h = -1.7 - 0.3. Let t = -541/12062 - 3/326. Let m = t + 43/111. Is h less than m?
True
Let s = -0.3295 - -0.3435. Which is smaller: s or -2?
-2
Suppose -r + 2*g - g = -36, -4*r - g + 164 = 0. Let z = 81/2 - r. Is -1 < z?
True
Let b be (-111)/(-9) + 18/27. Suppose 2*s - 5 = -c, 2*c +