 2*n, 0*p - 30 = 2*n - 4*p. Which is smaller: 72 or n?
n
Let w(z) = -79 - z**2 - 292*z - 316*z + 937*z - 310*z. Let s be w(13). Is s != -5/34?
True
Let u be 6/18 + 697/(-561). Is 0 smaller than u?
False
Suppose -32*i + 169 = 41. Let x be 95/(-15) - -7 - i/5. Is 0.33 at least as big as x?
True
Let f(w) = w**2 - 13*w - 6. Let h be f(10). Suppose -5*j - 216 = 4*r, 215 = -5*j - 6*r + r. Let y = h - j. Is y < 8?
False
Let z = -0.17088 - 46.82912. Which is smaller: z or 46?
z
Let g = -0.99756 - 0.00244. Which is greater: g or -1/12?
-1/12
Let c(z) = -z**3 - 3*z**2 + 4*z + 4. Let p be c(-4). Suppose -2*g - s - 10 = 0, 0 = g - p*g - 4*s - 10. Is g smaller than -29/6?
True
Let j = -3392 + 3139. Are j and -253 nonequal?
False
Let h = 33 + 9. Let q = h + -42. Let r(d) = d**3 - 4*d**2 - 2*d - 4. Let o be r(5). Do q and o have the same value?
False
Suppose 22*i = 20*i + 4*n - 2826, -3*i = 2*n + 4303. Is i less than -1431?
False
Let y be -1*2 + (-196)/(-99). Suppose -24 + 44 = 10*g. Let s be -2*g/10*5 + 2. Is s greater than y?
True
Let h = -165.927 - -166. Let q = 6.873 - h. Let x = 6.8 - q. Which is smaller: -1 or x?
-1
Let l be -6 + (-2 - -5) - 100/(-4). Let s be l*2*((-28)/(-8) + -4). Suppose 0 = 3*z - 5*z - 40. Is s smaller than z?
True
Let q be (8 + -6)/(((-68720)/(-3))/(-4)). Is q equal to -1?
False
Let m(w) = w**2 + 3*w - 378. Let d be m(18). Let y = 2067/4 - 509. Let h = -151/20 + y. Is d > h?
False
Let q = -103 - -106. Let v = -33 - -33. Suppose -q*b = -4*d - v*d - 4, -5 = 5*d - 5*b. Which is smaller: 1.7 or d?
d
Suppose 236*l = 228*l - 1392. Is -182 bigger than l?
False
Suppose -17 = -4*d - 1. Let g be d*(-1 + 15 + -2). Let h = 9024 - 8976. Is h < g?
False
Let u be (906/(-201))/(-9 + 11). Is -3 < u?
True
Suppose -15*u - 2*u = -3825. Suppose 14*s - u = 5*s. Which is smaller: s or 28?
s
Let i = 547 + -555. Let u be (1074/i)/((-6 + -1)/28). Is 538 at least u?
True
Suppose -5*v - 10 = -5*d, -2*d - 26*v - 10 = -21*v. Which is bigger: d or 2/7921?
2/7921
Let x(k) = -k + 10. Let d be x(10). Is 2272/3 >= d?
True
Suppose 8*h + 14 - 198 = 0. Let k = 14 + h. Suppose i + k = -9. Which is smaller: -47 or i?
-47
Let z = 2054 + -2046.002. Let g = 14.998 + -15. Let i = g - z. Are -2/5 and i non-equal?
True
Suppose 4*o = -2*t + 58 + 62, 0 = 5*t - 2*o - 264. Let y(g) = -g**3 + 95*g**2 - 109*g + 1463. Let b be y(94). Which is greater: t or b?
t
Let v = -2.0591 + 0.0591. Let w = -0.33 + 0.32. Which is smaller: v or w?
v
Let x = -20 - -120. Let v = -146 + x. Let i = -46.1 - v. Is 26/3 < i?
False
Let g(o) be the third derivative of o**5/60 + 5*o**4/24 - 4*o**3/3 + 20*o**2. Let v be g(-6). Let p be (39/(-9) + 4)/1. Which is greater: v or p?
p
Let h = -17900 - -17898.785. Which is greater: h or -1?
-1
Let q be ((4719/(-44))/(-13))/(6*(-4)/128). Which is bigger: -647/15 or q?
-647/15
Let z be (819/(-4186))/((-6)/28). Which is smaller: z or 0.1?
0.1
Suppose -c - 752*r = -747*r + 39, 3*c = r - 85. Are -29 and c non-equal?
False
Let h(f) = 15*f - 4. Let q(o) = -6*o + 3. Let z(t) = -4*h(t) - 9*q(t). Let n be z(-34). Which is greater: n or 192?
n
Let w = -33/878 - -27411/589138. Is 0 not equal to w?
True
Let o = 355 + -354. Let j be 2/(-14) - -39*(-1)/21. Which is smaller: o or j?
j
Let t be -1 + 5*1/(-9). Let q(j) = 27*j**2 + 27*j + 16. Let v be q(-5). Let g = v + -558. Which is smaller: g or t?
g
Let r = 85 + -83. Suppose 2*g - r*h + 4 = 0, 6*g - 2*g + 2*h - 22 = 0. Suppose d - 3*p + 72 = 0, g*d + 98 = p - 110. Is d at least -69?
True
Suppose -4*y = 3*f - 5*y - 12, 3*y = 3*f - 18. Let z(s) = -s**3 - 7*s**2 + 9*s - 4. Let o be z(-8). Let c = 19 + o. Is f smaller than c?
True
Let p = 25 - 27. Let z be (p/1)/(-2) - 3. Let l be ((-8)/(-42))/(z/(-7)). Do l and 7 have the same value?
False
Let b(i) = -10*i**2 - 204*i - 4555. Let f be b(-21). Which is greater: -4683 or f?
f
Let r(l) = l + 26. Let x be r(-5). Let i be (x/12)/((-35)/(-50) - 1). Which is smaller: -5 or i?
i
Let a(v) = v**3 + 14*v**2 - 42. Let x be a(-9). Let k = x + -14155/39. Is k > 1?
False
Suppose -3*d + 12 = 0, -5*q = -0*q - d - 1. Let n be -3*((-2)/(-5) - 152/30). Let f be ((-144)/168)/(q*(-9)/n). Which is bigger: f or -0.1?
f
Suppose 0 = -4*c - 4, 5 + 1 = 5*l - c. Let u = 348.63 + -332.63. Does l = u?
False
Let x(y) = y + 9. Let h be x(-5). Suppose h*v + 11 = -9. Let p(l) = -l**3 - 5*l**2 - l. Let n be p(v). Is n greater than 12?
False
Let k(z) = -6*z**3 + 2*z**2 + z + 2. Let t be k(2). Let d be -5 + 90/20 - 70/(-4). Let j = t + d. Is j less than -18?
True
Let u = -2341/136 + 3/34. Which is bigger: -18 or u?
u
Suppose 4*d + 38 = 2*o, 5*o + 2*d = -3*d + 95. Suppose 0 = -4*m + o - 19. Let t = 0 + 2. Is m > t?
False
Let p be (-1)/2*(-276)/3. Let i = -36 + p. Suppose 4*o - 7 = -23, o = -3*d + 29. Which is smaller: i or d?
i
Let t(h) = -h**3 - 14*h**2 - 12*h + 14. Let k be t(-13). Let u be (-13 + 3)/(-2)*(k + 0). Suppose 4*c - b + 0 = -3, -u = 5*b. Which is smaller: c or -2/99?
c
Let r be 1*(2 - -13) - -2. Let f = r - -10. Suppose -5*v + f - 32 = 0. Which is greater: v or 35?
35
Let y = 164 + -139. Let m be y/20 + 330/(-72). Which is smaller: m or -2?
m
Suppose 11*y + 240 = 35*y. Let c = 38 - 21. Let s = c - 20. Is y at least s?
True
Let s = -937 + 766. Which is smaller: s or -179?
-179
Let r(j) = 361*j**3 + 12*j**2 + 14*j + 1. Let q be r(-1). Let d be q/66 + (4 - 3 - -4). Is d at most 0?
True
Let l(v) = v**3 - 6*v**2 + 5*v. Let h = -29 - -29. Let d(i) = -i**3 - i**2 + 5. Let t be d(h). Let n be l(t). Is 4/7 at least as big as n?
True
Suppose 2*t - 10 + 0 = a, -4*a = 3*t + 7. Let n be (87/9)/(a/3). Let u = n + 15/4. Which is bigger: -5 or u?
u
Suppose -3*d = -4 - 8. Suppose -10*b + 6*b = -d. Let j = -1377/9185 + 22/167. Do j and b have the same value?
False
Suppose -5*l - 105 = 5*y, -5*y + 2*l - 109 = 5*l. Let v = -1/10301 + -1648153/72107. Which is smaller: y or v?
y
Let b = 48113/3 - 16038. Suppose 0 = -0*a - 9*a + 513. Is b at most as big as a?
True
Let u(t) = t + 3. Let d be u(4). Suppose 23*l - 316 = 144 - 92. Suppose -5*p = -d*p - l. Is p <= -5?
True
Let p be 32513/6344*1*8. Let z(n) = n**3 + 8*n**2 + 3*n + 4. Let v be z(-3). Is v at least p?
False
Let y(j) = 5*j**3 + 13*j**2 - 17*j - 131. Let v be y(-5). Which is smaller: -333 or v?
v
Let c = -15.951 - 0.049. Let v = c - 21. Let l = v - -35. Does 2/3 = l?
False
Let b = 6 - 7. Let u(d) = 4*d**2 + 3*d + 1. Let c be u(b). Suppose 2*z - 7*o - 55 = -6*o, -4*o = c*z - 60. Which is smaller: 29 or z?
z
Let m = -275 - -284. Let j be (14/m)/(1 + 12/(-18)). Which is bigger: 6 or j?
6
Let t = -37 + 66. Suppose 3*a + 3*k - 90 = 0, 3*k + 16 = -4*a + 137. Suppose t*g - a*g = 0. Which is smaller: 2/77 or g?
g
Let y = 138319 + -184240885/1332. Is y at most 1?
True
Let c = -961/8 + 120. Let o be ((-18)/(-15))/((-6)/(-20)). Suppose -p = o*d - 3*d + 4, -p + 5*d + 20 = 0. Are p and c unequal?
True
Suppose 23*a - 10*a - 1659 = 16*a. Which is smaller: a or -558?
-558
Let a = 0.03 - 0.23. Let i be (7 - -21)/(0 - (-8)/(-12)). Let m be 14*7/i*8/(-28). Do m and a have the same value?
False
Let i = -199 - -279. Suppose -156 = -5*p + 239. Is i greater than p?
True
Let w = -173 + 172.9. Let l be (2/(-102))/(380/(-30) - -5). Are l and w nonequal?
True
Suppose 5*y + 123 = -3*p, 2*p + 0*p + 2 = 0. Let d be ((-6)/9)/((-1)/y*4). Is -5 bigger than d?
False
Let u be 3/6*(2 + -2 + 6). Suppose -u*r = 2*c + 8, -15*r + 12 = -13*r - 3*c. Is 4/53 smaller than r?
False
Let y be (6/4 - 0)*-10. Let v(l) = l**3 - 17*l**2 + 15*l + 1. Let i be ((-2)/6)/(17/(-816)). Let t be v(i). Is y bigger than t?
False
Let g(t) = -t**3 - 7*t**2 + 2*t - 15. Let y be g(-8). Let w be ((8/(-3))/(-4))/(374/y). Suppose 0 = 3*u - 6 + 3. Which is greater: u or w?
u
Suppose 3502 - 13875 = -41*n. Which is smaller: n or 251?
251
Let v be (-6)/2 - (-7 - -11 - -1424). Let g = -362045/253 - v. Which is greater: 0 or g?
0
Suppose 0 = -4*v + 20, 4*n - 5*v = -7 - 30. Let m(l) = 60*l - 10. Let t be m(2). Let f = t + -116. Which is bigger: n or f?
n
Suppose 3*s + 16 = 2*d - s, 4*s = 5*d - 34. Suppose -d*l + 18 = 3*l. Suppose 0 = 3*w - n + 6, 1 = l*w - 4*n + 5*n. Which is bigger: -2 or w?
w
Let s = -54.76 + -20.24. Which is greater: -13/5 or s?
-13/5
Suppose 4*q + 85 = 21*q. Suppose 5*t = -q*f + 2*f + 1592, 5*t - 2*f - 1572 = 0. Suppose