0 = -3*f. Let c = -970/9 + f. Let v(o) = -o - 9. Let q be v(-8). Which is smaller: q or c?
q
Suppose -9*a = -5*a + 36. Let l be (-681)/a - (-2)/6. Let p = 108 - l. Do 32 and p have different values?
False
Let u(l) = 8*l**3 + 2*l**2 + l. Let q be u(-1). Let d(o) = o**3 + 7*o**2 - 3*o + 6. Let b be d(q). Let x = b + -19. Is x greater than or equal to 3/2?
True
Let s(x) be the first derivative of -x**3/3 - 12*x + 123. Let b be s(3). Which is greater: b or -22?
b
Let y = -51827 + 37574563/725. Is y at least -1?
True
Let k(l) = 33*l + 535. Let q be k(-17). Is q smaller than 3?
True
Let s(w) = 26170 + 13*w + 0*w**2 - 26182 - w**2. Let l be s(12). Is -2/1375 at most l?
True
Suppose -16*c + 11*c = 0. Suppose -57 = y + 5*o, c = -0*y - 3*y - 5*o - 121. Let s be (-16)/y - 13/(-2). Which is greater: -3/2 or s?
s
Let q = 45/166 - 481/1162. Which is smaller: q or 2/249?
q
Let g be ((-2255432)/(-173496) + -13)*-6. Is g bigger than -1?
True
Suppose -16*u + 9*u = -35. Suppose 0 = 2*q - 8, -19 = -2*z - u*q - 47. Is -30 > z?
False
Let j = -12 - -9. Suppose -9*t - 6 = -12*t. Suppose -t*f + 65 - 73 = 0. Which is smaller: j or f?
f
Suppose -12 = -3*v, -2*q = 3*v + 41 + 133. Is q != -94?
True
Let b = 607455/2 + -303728. Let u be (-6)/(-32) - 1/4. Is u > b?
True
Suppose 0 = 25*c - 67161 - 118489. Is 7427 bigger than c?
True
Let y(n) = n**2 + 8*n - 9. Let c be y(-9). Suppose -4*p - 92 = -c*p. Let w = 16 - 39. Is p >= w?
True
Let w = 46/1167 - 69341/150543. Let g = 1/43 - w. Is 0.6 less than g?
False
Let c be (-4)/(-7158)*372024/64. Let x be (20 + -24)/((-4772)/(-2)). Let g = x - c. Which is smaller: g or -3?
g
Let y = -2524/15 - -168. Let o = y + 58/105. Which is bigger: o or -1?
o
Let b(c) = c**2 - 15*c - 30. Let n be b(17). Let w be (-8 + n)/((-2)/4). Is -0.4 != w?
True
Let n be (1403591/(-84))/((-459)/(-156) + -3). Let o = -289238 + n. Let h = -391 + o. Which is smaller: h or 1?
h
Suppose 4*v - 104 = -2*f + 8*v, -5*v = 4*f - 143. Let p = -21 + f. Suppose j - p = 3*a, -2*a + 2*j + 18 = -6*a. Is a at most as big as -36/5?
False
Let d = 3701.941 - 3700. Let j = 0.048 + d. Let a = j + 0.011. Which is bigger: 10/9 or a?
a
Let d = 129 + -61. Let i(x) = 7*x**3 - 10*x**2 - 29*x + 107. Let v be i(2). Is d at least as big as v?
True
Suppose c = -0 + 2. Suppose -c = i - 0. Let x be 48*(-41)/(-10332)*(73/(-4) + 2/8). Is x > i?
False
Suppose 6*v = 57 + 99. Let c = -29 + v. Let j(r) = -r**2 + r. Let n be j(1). Is c >= n?
False
Let p be 0 + ((-8)/2 - -48). Suppose -v + 2*b = 2*v - 32, 0 = -3*v + 5*b + p. Let f = 76 - 69. Which is bigger: v or f?
v
Let k = -12917 - -12913. Suppose 2 = 5*g + 3*h, 5*g = h + 4*h - 30. Which is smaller: g or k?
k
Let h(z) = 987*z**3 + 67*z + 126. Let n be h(-2). Is -7902 at most as big as n?
False
Suppose -280 = 3*z + z. Let q be z/((-6)/(-45)*-3). Let r be (-5)/(q/(-60)) - 2. Which is smaller: r or 1?
r
Let z = 446 + -442. Suppose -r - 17*a + 29 = -21*a, z*a - 5 = -r. Which is greater: 14 or r?
r
Let x = 4710.975 - 4711. Which is greater: x or -1?
x
Suppose 3*q - 2*q = -3*q. Let d be ((-7 - q) + 7)/(-4). Is -1/101 greater than d?
False
Let b = -8.7 + -0.3. Let d = 657.912 + -654. Let k = 0.088 + d. Is k at least b?
True
Let x be 164/(-16) - 7/28. Suppose -4*h - 16 = -0*h. Let c(o) = o**3 + 2*o**2 - 4*o + 5. Let p be c(h). Which is greater: x or p?
x
Suppose 5*i - i = 2*q + 32, 2*i = -3*q - 64. Let n be 6/(-9) - q/45. Is -74 bigger than n?
False
Let a be (798/9934701)/((-1)/(-3) - 22/84). Which is bigger: -1 or a?
a
Let i be 2/(-8) - (192668/16 + -5). Let m = i - -9232381/767. Is m != -1?
True
Let w = -1229332711742/39122682891 - -2/83063021. Let g = w + 14/157. Which is greater: -30 or g?
-30
Let s = -6.42 - -6.233. Let r = s + 0.2374. Is r not equal to 0.1?
True
Let q be (9/(-2))/((-2)/4). Suppose -54 + q = 5*r. Let m = -1.099 - -1.099. Is m less than r?
False
Let i = 89231/2 + -43691. Which is greater: 925 or i?
925
Let x be (-1)/(2*1/2). Suppose -5*n + 7 = 5*g - 7 - 21, -28 = -4*g. Which is bigger: x or n?
n
Let n = -3/292 - -1487/2628. Let s be 8/18 - (-36)/(-12). Let m = s + 20/9. Is n < m?
False
Suppose -6*v = 1 - 1. Suppose v = -5*u - 3*i + 33, -u - 5*i = 3*u - 16. Let b be 3/(u/(-21)) + -4. Which is greater: b or -10?
-10
Let h = 93 - 25. Let z = -67.8 + h. Let j(r) = r**3 - 4*r + 4. Let y be j(-2). Is y at most as big as z?
False
Let d be 166/(-365) - (-2)/5. Let j(t) = -649*t**2 - 1295*t + 6. Let s be j(-2). Is d at most s?
True
Let z(w) = -111*w**2 + 18*w - 108. Let v be z(4). Is v < -1811?
True
Suppose 4*h + 3*c - 21 = 0, -36 = -5*h + c - 5. Let m be ((-2)/6)/(1/3). Let t be (4*2)/2 - m. Which is bigger: t or h?
h
Let r = 64 + -91. Let d = -26.74 - r. Let i = 0.26 - d. Which is greater: -14 or i?
i
Suppose 44*a - 62202 - 29978 = 0. Which is smaller: 2097 or a?
a
Let d = -2.103 + 7.103. Which is bigger: d or -0.202?
d
Let s be (-12)/18 + 4/6. Let x(b) = -b + 1. Let n be x(s). Suppose a = 3*u - 5, 0 = -5*a - u - 3*u - 63. Which is smaller: a or n?
a
Let j(v) = v**3 + 5*v**2 - 3*v + 2. Let h be j(-4). Suppose -h = -4*s + 6. Suppose -p - 4*q - s = 0, 5*p - q + 53 = p. Which is bigger: -12 or p?
-12
Let f = 44 - 44. Suppose f = p - 5*a + 13, 3*a = 5*p - 36 - 9. Suppose r = 3*v - 3, -3*v + 7*r + p = 3*r. Which is smaller: v or 3/8?
v
Let c = 4930.026 + -4975. Let m = -45 - c. Let b = 0.674 - m. Is 1 > b?
True
Let s = 186 - 201.6. Let i = s + 8.6. Let h = -6.9 - -7. Which is bigger: h or i?
h
Let w = 22 + -36. Let b be (w/(-42) + (-2)/(-3))*-6. Let g(y) = -y**2 - 12*y + 11. Let r be g(b). Which is smaller: r or 48?
r
Let r = -2851 + 2856. Is 355 greater than or equal to r?
True
Suppose 5*c + 26 = -2*q + 6*q, c + 2*q = 6. Let t be 19/((-8)/c - 9). Which is smaller: t or -3?
t
Let j = 65/83 - -137/249. Which is smaller: j or 2.9?
j
Let d(c) be the second derivative of -3*c**3/2 - 3*c**2 - 9*c - 1. Let i be d(-15). Is i bigger than 128?
True
Let v(k) = -k**2 - 74*k - 347. Let d be v(-69). Do -88 and d have the same value?
False
Suppose 3*t + 9 = 0, -3*t + 3 = z + 10. Suppose -2*v + 4*r - 814 = -5*v, 542 = z*v + 2*r. Is v != 269?
True
Let y be 5/(385/623) + -7 - (-1 - -2). Is y <= 12/451?
False
Let o = 1285693/43 + -29903. Which is greater: o or -4?
o
Let a be ((-8)/(-16))/((-13827)/281436). Let w = a + 112/11. Which is greater: w or 1?
1
Let r be 45/(-30) + (-395)/10. Let j(g) = g**3 + 42*g**2 + 44*g + 130. Let x be j(r). Which is smaller: x or -9?
-9
Let x = 3839 + -3840. Let a be 1026/(-336) + 1 + 2. Do x and a have different values?
True
Suppose 0 = -2*w + w - 1. Let x be 453/11023*7/(-35). Which is bigger: x or w?
x
Let h = -0.02652 + -121.97348. Is h bigger than 3?
False
Suppose 2*o + 4*s + 8 = 0, -5*o - s = -3*s + 8. Let n be (o/(-120))/((-70)/(-728)). Let y = n + -1/150. Which is greater: y or 0?
y
Let x = -6 + 11. Let b(l) = -2*l**2 + 5*l - 5. Let f be b(x). Let h = 91 + -121. Is h less than or equal to f?
True
Suppose -5*l + j - 21 = -3*j, -3*l + 9 = 3*j. Suppose 4*c - 753 = -4645. Let g = c - -67139/69. Is l smaller than g?
True
Let t(y) be the second derivative of y**4/12 + y**3 - 19*y**2 - 2*y - 24. Let x be t(4). Which is bigger: x or -2/17?
x
Let a(o) = -74*o - 29. Let g be 10/(-21)*12 - (-4)/(-14). Let i be a(g). Suppose -449 = 16*s + i. Which is smaller: -53 or s?
s
Let d(h) = -h**2 - 21*h - 85. Let c be d(-15). Suppose -13*n = -9*n - 4*j - 4, -c*n + 3 = -3*j. Which is smaller: -2/691 or n?
-2/691
Let i be -6 - (-9 - (-7 + 2)). Let p be (i - (5 - 10))*444/9. Is p less than 148?
False
Let p = 1115 + -1116. Let y = -1/2001 + -628/78039. Which is greater: y or p?
y
Let m(f) = -35*f + 5158. Let n be m(-82). Is n at most 8027?
False
Let u = -7/1933 + 17171/1005160. Is u not equal to -1?
True
Let n = -181/126 + -4/63. Let g = 3.84 - -0.86. Let p = -22.7 + g. Which is smaller: n or p?
p
Let b = -7.18 - 0.82. Let c be (-39)/(-12) + 6/(-2). Which is greater: b or c?
c
Let t be (2/(6/(-563)))/(46/372). Let a = 2800323/1840 + t. Let r = 17/16 - a. Is r > -2/11?
False
Let x = -1069 + 1030. Which is greater: 2/53 or x?
2/53
Let s = 17657.87 + -17658. Let b = -1 + 8. Which is smaller: s or b?
s
Suppose 8*c - 196 + 60 = 0. Suppose -c = 3*t + 3*k + 4, 0 = 2*t - 4*k - 10. Do t and -25/11 have the same value?
False
Suppose 467 = 11*b + 412. Supp