e 4 + v + 29 + 8/2. Is 36 less than or equal to n?
False
Suppose -1443 = 7*s - 148. Let v = 186 + s. Is 0 > v?
False
Suppose 0 = -4*b, -4*l - 3*b + 8 = -8. Let h(p) = 205*p + 6 - 415*p + p**2 + 206*p. Let i be h(l). Which is bigger: 50/7 or i?
50/7
Let a be (0 - 2)/(15/(-9) - -2). Let r be (4/a)/((-368)/(-483)). Suppose -4*g + 7*g = -3. Is r < g?
False
Let u = -76 + 109. Let t(c) = 83*c**3 - c**2 - 1. Let k be t(1). Suppose u = 6*x - k. Is 20 at least x?
True
Let w = -1.5307 + 1.17998. Is 1 <= w?
False
Let t = -293/2 - -19681/134. Which is greater: 1 or t?
1
Let z(r) = -3*r**2 + 19*r - 3. Let i be z(10). Which is bigger: i or -58?
-58
Let p(o) = 2*o**2 - 4*o + 9. Let g(y) = 2*y**2 - 5*y + 12. Let j(f) = 3*g(f) - 4*p(f). Let b be j(1). Which is greater: -3/187 or b?
-3/187
Let k be ((-115)/(-1) - 3)/1. Let u(n) = 32*n**2 - 63*n + 14. Let d be u(3). Is d bigger than k?
True
Suppose 2*u - 21 = -u - j, 3*u = -2*j + 21. Suppose -8*c + 15*c = u. Which is bigger: -24 or c?
c
Let l(y) be the first derivative of -8*y**4 - 2*y**2 - 4*y - 30. Let k be l(-1). Is 32 less than k?
False
Suppose 3*b + 2*o - 743 = 0, 990 = 4*b - o + 4*o. Let j = -3130 + 3380. Which is bigger: j or b?
j
Let r = 14 + -19. Let a be (r/6 + 0)/(2/(-12)). Suppose 3*b = -5*o - 6, -3*o = -a*b - 6*o - 10. Is b bigger than -7?
True
Let d = 0.081 + -19.081. Let o = -25.1 - d. Let g = -5.6 - o. Which is greater: -4 or g?
g
Let y = -36349/5 - -7514. Is 244 bigger than y?
False
Let g = -884 - -984. Which is bigger: 112 or g?
112
Let l = -528/7 - -23239/308. Suppose 4*a = 24, -12*s + 8*s - 4*a = -20. Is s >= l?
False
Let b = 7309738/513 + -14249. Which is smaller: 1/8 or b?
b
Let a(l) = -l**3 - 7*l**2 + 103*l - 13. Let f be a(10). Let p = f + 641. Suppose 3*v - 3*o + 138 = 0, 3*v + 108 = -0*o - 3*o. Which is smaller: v or p?
p
Let q be (-1)/(-3) - 350/(-21). Suppose -22*n = -47 - 19. Let l(u) = u**2 - 5*u + 24. Let v be l(n). Is v less than or equal to q?
False
Let v = 1185 + -167083/141. Which is greater: 1.1 or v?
1.1
Let x = -816.51 - 21.49. Which is smaller: x or 4/9?
x
Let a(h) = h**3 + 43*h**2 - 706*h - 17. Let d be a(12). Is -567 at most as big as d?
False
Let i = -1287705/103 - -12502. Let a = -4137/202 - -1486999/62418. Let k = a - i. Which is smaller: -2 or k?
-2
Suppose 0 = -j - 3*j. Let b be 5*(-6*2 - -3). Let m = b - -43. Is j at most as big as m?
False
Let q(h) = h**3 + 43*h**2 - 43*h + 16. Let w be q(-44). Suppose 16*m + 4*o + 74 = 13*m, 2*m - 2*o = -54. Which is greater: w or m?
m
Let c = 6168095/28 - 220342. Let y = -317/14 - c. Which is smaller: 30 or y?
30
Let g = 16 - 10. Let k(v) = v**3 - 7*v**2 + 6*v - 7. Let s be k(g). Let z(o) = -o**2 + 49*o - 600. Let p be z(22). Is s at least as big as p?
False
Suppose 125*s + 3*b = 128*s + 39, 5*s - 4*b = -69. Which is bigger: s or -330/19?
s
Let q = 46 - 77. Let z = q - -78. Let g = 44 - z. Which is greater: 5 or g?
5
Let i be (1275/(-80))/(-5) + -1. Suppose 3*m - 5*p - 2 - 4 = 0, -8 = -4*m - 4*p. Which is smaller: m or i?
m
Let n be (429/(-18))/(6/36). Which is smaller: -140 or n?
n
Let w(f) = 5*f**3 + 4*f**2 - 2*f - 2. Let b be w(2). Let x = -935/4 - -234. Do x and b have the same value?
False
Let v = 24 + -20. Suppose 18 = 4*t - a, 5*a + 0 = v*t - 10. Suppose 39 = -t*m + 2*m. Which is smaller: -16 or m?
-16
Suppose 5*u - 3 = -4*d + 8*u, -4*u = -3*d + 4. Let w be 1 + -1 + 0 + -4. Is w > d?
False
Let k = 10476939/73010 + -2/36505. Suppose -5*s - 4*r + 716 = 0, 4*s + 0*r - 575 = -r. Is k < s?
True
Let h(v) = -1 + 5*v - 3 - 1 + 5*v**2 - 26*v. Let r be h(6). Is r greater than 49?
False
Let r(w) = 2*w**3 - 4*w**2 - 3. Let q be r(3). Let b be (-8)/(-6)*q/10. Suppose -b*c = -14 + 10. Which is smaller: 3 or c?
c
Let p(z) = -z**3 - 43*z**2 + 43*z - 151. Let i be p(-44). Let d be (212/(-10))/(3/15). Is d > i?
True
Let y = 2372 - 2334. Are y and 227/6 equal?
False
Suppose 8 = -2*z + 100. Let t = z + -39. Suppose 140 = -2*v + t*v. Is v <= 28?
True
Let v = 183 + -223. Let w be (-96)/(-16) - -3*1. Let s(r) = r**3 - 8*r**2 - 12*r - 13. Let u be s(w). Do u and v have different values?
False
Let n = 2755/21844 - 5/508. Suppose 0 = -2*i - 0*i. Do i and n have the same value?
False
Let x be (-18)/(11 - 11/(-2)). Suppose 3*v - 4*v = -5. Suppose v*a = a. Which is greater: x or a?
a
Suppose 0 = y - 4*c - 26, -y + 105 = 4*y + 5*c. Let p be (-2 + y/10)*75/(-4365). Do 0 and p have the same value?
False
Suppose 134 = k + 5*f + 37, 0 = 2*k + 5*f - 214. Suppose 0 = -3*x - 0*x - k. Let d be 1 + (-1)/((-12)/x). Which is smaller: -1 or d?
d
Let q(j) = 4*j**3 + 13*j**2 + 3*j - 14. Let w be q(-2). Which is bigger: -6/863 or w?
w
Let g be 2 + ((-6)/(-39) - 2). Let m(z) = z**2 - 19*z - 10. Let d be m(19). Let o be (2/d)/(14/70). Which is smaller: g or o?
o
Let b(x) = x**3 + 33*x**2 + 90*x - 754. Let k be b(-29). Which is smaller: -7/361 or k?
-7/361
Let j = 11 + -8. Let g(y) = -4*y + 63. Let c be g(0). Suppose -j*k + 5*u + 44 + 43 = 0, -3*k = 3*u - c. Which is bigger: k or -2?
k
Let y = 14443 - 707662/49. Is 0 <= y?
True
Suppose -482 = 97*b + 2913. Is b at least 8?
False
Let o(i) be the third derivative of i**6/120 + i**5/20 - i**4/12 - i**3 - 7*i**2 - 5. Let g be o(-2). Is 10 greater than g?
True
Let y = -648786607 - -16216852876/25. Let i = y - -112324. Let f = -168 - i. Are f and -1 equal?
False
Suppose 9 = -5*x + 5*v + 54, 0 = 4*x + 2*v - 30. Suppose -b + 36 = x*b. Suppose 0 = 4*p + n - 2, -p = 5*n - 3*n - b. Is p at most -2/3?
False
Let i = -40299/969641125 - 2/241625. Which is smaller: 0 or i?
i
Let h be (1 + -13)/6 + -8. Let i be (8/444)/(h/15). Which is smaller: i or -1?
-1
Let n = 294881/238 - 1239. Is n at least 1?
False
Let h = 3646 - 3565. Which is smaller: 244/3 or h?
h
Let a = 0.10844 + -0.20844. Is -1380 equal to a?
False
Let t(x) = -x**2 + 6*x - 16. Let u be t(6). Let n be (14/4)/(((-100)/u)/(-5)). Which is greater: -3 or n?
n
Let a be (-21128)/8*-3 - (-10 - (-20)/5). Which is smaller: a or 7928?
7928
Let g = 1427615/129 + -11066. Let v = g + -5/43. Is -20.6 != v?
True
Let r(w) = -50*w + 402. Let g be r(8). Let j = 0.069 - -57.931. Is j < g?
False
Let v be (576/120 - 2/(-10)) + 653. Let q = -10535/16 + v. Is q bigger than 0?
False
Let d be 10 - 9 - (-478)/(-178). Do d and -0.1 have different values?
True
Let y be 343 + (-7 - -1 - -3). Let k be 2/(-7) - (y/(-7))/(-5). Which is smaller: -3 or k?
k
Suppose 4*o = -520 - 4248. Let v = 1157 + o. Suppose -2*s + 3*s = -36. Is s at most v?
True
Suppose 10*r - 91 = -3*r. Suppose -4*u - r*q + 8*q = 1149, 2*u + 572 = -2*q. Which is smaller: u or -288?
-288
Let z = 1435 - 1435. Is z smaller than 2/569?
True
Let q(d) = -38*d - 13. Let n(r) = 3*r**3 + 5*r**2 - 2*r - 2. Let l be n(1). Let p be q(l). Is -165 <= p?
True
Suppose 0 = -x - x - 12. Let h be 9 + 0 - (-530)/(-330)*9. Is x greater than or equal to h?
False
Let s be 14732/762*(-6)/4. Which is bigger: 76 or s?
76
Let o be 7/(((-650)/1025)/(-26)). Do o and -1/21 have the same value?
False
Suppose -4*n - 48 = 4*q, 0 = -4*n + 5*q - 2*q - 69. Let t = 12 - 12. Which is bigger: t or n?
t
Suppose 0 = k - 1274 - 396. Suppose -9*w + 247 = -k. Is w bigger than 213?
False
Let r = 185 - 178. Let y(o) = 2*o**2 - 26*o. Let u be y(r). Are u and -83 equal?
False
Let c = 3056/5 + -609. Let x be ((-32)/(-10 - -2))/(2 - 0). Do c and x have different values?
True
Suppose 3*g = 5*m + 2*g - 673, 0 = 4*g - 8. Let i = m - 96. Which is smaller: i or -1/3?
-1/3
Suppose -2*t = -u + 1, 1 = -0*t - 3*t + u. Let g be 41/357*3 - (-54)/(-189). Is t bigger than g?
False
Suppose 3*h = r - 10 + 5, -15 = -3*r. Let b be (h - (-476)/665) + (-4)/10. Are b and -2/23 equal?
False
Suppose 0 = -152*b + 514*b + 27181 - 131437. Let u(j) = 95*j + 3. Let d be u(3). Is b greater than d?
False
Let s = 2158 - 2161. Which is smaller: s or -658?
-658
Let l(q) = -30*q + 861. Let d be l(29). Which is smaller: d or -134/13?
-134/13
Let b = -613640/43 + 14270. Is -2 not equal to b?
True
Let s = 267 + -262. Let o be 2/6 + 28/6. Suppose o*u - s - 10 = 0. Is 20/11 smaller than u?
True
Let o be ((-27)/12)/(78/16)*(-1876)/56. Is 16 bigger than o?
True
Let j(d) = d**3 - 16*d**2 - 19*d + 34. Let w be j(17). Which is smaller: w or 4/2281?
w
Let y be (-45915)/25 + (-2 - -4). Let h = 1842 + y. Suppose 4*z = 4*j - 36, 