051 + 20130308/117. Let j = 48/13 - h. Let q(x) = x**3 - 4*x**2 - 5*x + 1. Let t be q(5). Which is greater: t or j?
t
Let h(x) = -3*x + 29. Let u(a) = 5*a - 59. Let r(p) = -7*h(p) - 4*u(p). Let q be r(-18). Which is smaller: 16 or q?
q
Let c be (-412)/(-20) + (-6)/(-15). Suppose -2*a + c + 25 = 0. Let b be (-92)/(-2)*1/2. Is b <= a?
True
Suppose -9 = -103*k + 100*k. Are k and 0 equal?
False
Let f(x) = -x**3 - 7*x**2 - 6*x + 3. Let c be f(-6). Suppose -2*v = 3*h - 18, -c*h = -6*h. Suppose -2*p + 14 = -8. Which is greater: v or p?
p
Suppose -23*m + 49 = -72*m. Is m bigger than 1/50?
False
Let r = 1395 - 1395.711. Let l = 0.111 + r. Is -0.2 greater than l?
True
Let g = -57 + 57.27. Let d = g + 0.73. Is -3 <= d?
True
Suppose -17*u = -6466 + 1400. Is 299 > u?
True
Let w = 148.3 - 171. Let r = 22 + w. Let c = r + 0.6. Which is bigger: -0.12 or c?
c
Let l = -6441 + 2022471/314. Let f = -3753/1570 + l. Which is greater: f or -1?
-1
Let i = -3.21 + 3.367. Are -0.1 and i equal?
False
Let x = 11 - 13. Let u = 4 + 4. Let b = -7.98 + u. Is x less than b?
True
Let v(l) = -l**3 + 8*l**2 - 8*l + 3. Let c be v(7). Let h = c - -7. Let o = -20 + 23. Are o and h equal?
True
Let s = 141.96 + -142. Is 7/16 greater than s?
True
Let p be 29/1 - -2*4/(-8). Suppose -5*x = 2*c - 146, 11*x - 16*x = -4*c - 158. Is x bigger than p?
True
Let v = -6 + 13. Suppose -6*n = -v*n - 2. Let w = -8 - -8. Which is bigger: w or n?
w
Suppose -4*t = n - 12, -6*t + t - 6 = -4*n. Suppose 4*c = 5*i - 17, -n*c + 7*i - 3*i - 16 = 0. Let l be (-5)/35*(-3)/c. Which is bigger: 3/7 or l?
3/7
Let k(j) = -4*j**3 + 99*j**2 + 26*j - 26. Let x be k(25). Which is greater: 7/19 or x?
7/19
Let w = 524 - 524. Which is smaller: w or -6/155?
-6/155
Let o = -32/5 - -36/5. Let a = -6/5 + o. Is -2/19 at most a?
False
Let f(s) = -s**2 - 10*s + 9. Let y be f(-11). Let m be 14/(-77) - (y + 2). Which is smaller: m or 5?
m
Let w = -1506 - -1765. Which is smaller: 2 or w?
2
Let s = -50 - 10. Let a = s - -60.5. Are a and 4 unequal?
True
Let h = -0.14 - -0.1. Let k = 5.16 - h. Let v = -5 + k. Which is smaller: 1/8 or v?
1/8
Let y(m) = -m**3 - 17*m**2 - 27*m + 16. Let u be y(-14). Is 1 bigger than u?
True
Let m = -2 - -3. Let n = -1433 - -1430. Do n and m have the same value?
False
Let s = 275981/15 - 18387. Is s != 11?
True
Suppose 0 = 3*z - 6*z - 4*g - 12, 0 = -2*z + g + 3. Suppose -4*c = -z*c - 144. Suppose x - 4*a = 19, 0 = 3*x + x + 4*a - 156. Which is smaller: c or x?
x
Let c = -64 + 62.1. Let l = c + 4.9. Which is greater: -10 or l?
l
Let w = 17101/7890 - 1/1315. Is 3 equal to w?
False
Let o(g) be the first derivative of -5*g**2/2 - g - 12. Suppose -v + 4 = -0*v. Let p be o(v). Is -20 less than p?
False
Let v = -64 + 446/7. Suppose -2*x + 2*m - 2 = 0, 3*m + 3 - 22 = -x. Let k = x + -4. Which is smaller: k or v?
v
Let i(r) = r**2 - 26*r - 86. Let p be i(29). Let o = -7 - 32. Let z be (-2)/3 - o/18. Is p != z?
True
Suppose -8*t = 1 + 79. Let s(p) = -5*p**2. Let x be s(-1). Let y be t/x - (-18)/(-4). Is -3 at most as big as y?
True
Suppose 0 = -2*q - x - x - 3050, -6115 = 4*q - x. Let p be (-2)/9 + q/(-72). Let j be (-6)/p + (-4)/(-14). Which is smaller: j or -0.4?
-0.4
Suppose -5*f + 3*w + w - 627 = 0, 5*f - w + 633 = 0. Which is bigger: f or -126?
-126
Let p(s) be the third derivative of -s**5/60 + 5*s**4/8 - 7*s**3/2 - 12*s**2. Let l be p(10). Let v = l + -200/7. Are v and 1 nonequal?
True
Suppose -5*p = -3*p + 2. Let l be p - (-10)/8 - (-265)/(-636). Let y(t) = t - 2. Let d be y(1). Are l and d equal?
False
Let w = 5885092/5 - 1172553. Let s = 4451 - w. Which is greater: s or -13?
-13
Let d(g) = -33*g + 100. Let o be d(3). Is 61 less than o?
False
Let g = 270/23 + -8567/46. Is -175 greater than or equal to g?
False
Suppose z - 3*z = 5*v + 78, 4*v = 2*z + 96. Let c be (-12 + -43)*4/5. Is c > z?
False
Let n be 3/18*-3*(-26)/12. Is n < 0?
False
Let a be ((-413)/(-2) + 2)/(11/272). Let d = -5152 + a. Is 5 smaller than d?
False
Let g = -3681 - -3681.1. Let c be ((-2)/54)/((-2)/3). Which is bigger: c or g?
g
Let h = -232 + 221. Is h > -8?
False
Suppose -3*u - 3*l + 27 = 0, -5*u + 3*l + 9 = -l. Does 62/17 = u?
False
Suppose 7*q + 55 = 4*r + 2*q, 4*r = -q + 37. Suppose -2*f + r = -12*f. Which is smaller: 2/7 or f?
f
Let d = 1766/511 + -2/73. Let p(k) = -2*k + 1. Let j be p(-1). Is j at least as big as d?
False
Let p(q) = -4*q**2 - 22*q + 10. Let u be p(-5). Is u bigger than 0.1?
True
Let j(r) = -81*r + 1028. Let n be j(15). Is n != -185?
True
Let v be -7*(2/(-7))/1. Suppose -1 = -v*l + 3. Let y be (l - 3) + 0 - -4. Which is smaller: 4 or y?
y
Let k = 3 + -2. Let b be (-2)/5 - ((-608)/20 - 3). Suppose 72 = 3*y + b. Is k > y?
False
Let r be -23*3*(0 - (-1 + 0)). Which is smaller: r or -66?
r
Let n be (4/1164)/(1/2). Is 0 > n?
False
Let u(c) = -c**3 + 10*c**2 + c - 14. Let n be u(10). Let l = -22 - n. Let d be 4/9*l/(-48). Are -1 and d non-equal?
True
Let g = 561 - 563. Do -2/23 and g have the same value?
False
Let d = -425.0507 + 0.0507. Is d equal to -0.2?
False
Let g(i) = -86 + 4*i**2 + 91 - i**3 + 3*i - 3*i**2. Let b be g(0). Let p = -11 - -17. Which is smaller: b or p?
b
Suppose -3*q - 2*j = 3, 5*q - 2*j = -58 + 53. Which is greater: 7/45 or q?
7/45
Suppose 11 - 3 = u. Let w(o) = o**2. Let f(c) = 5*c**2 - 19*c + 39. Let g(v) = -f(v) + 4*w(v). Let q be g(16). Which is greater: q or u?
q
Let i = 28 + -19. Suppose 36*d - i = 35*d. Suppose -13*f + d*f - 40 = 0. Which is greater: -9 or f?
-9
Let b = -70.1 + 70. Let i = 407 + -374.7. Let s = 31 - i. Which is bigger: b or s?
b
Let j = -113014 + 676135/6. Let d = j + 324. Is 0 > d?
True
Suppose 0 = -4*p - 4, -4*p + 6 = -5*i - 5*p. Suppose 5*y + 4*s = -3, -3*y + 6*s + 23 = 8. Which is smaller: i or y?
i
Let j = -482.99 - -481. Let r = j + -0.01. Let k = 35/16 - 213/112. Which is bigger: k or r?
k
Suppose -r + 71 = -7*w + 2*w, 0 = r + 4*w - 98. Let a = r + -87. Which is greater: 0 or a?
0
Let a be 270/(-40) - 6/(-8). Let n be ((-2)/a)/(30/(-9) - -3). Which is bigger: n or 20?
20
Let d be (-128)/(-10)*(-1 + (-21)/(-6)). Suppose 0*k = -5*k - 3*t + 20, k - d = 5*t. Which is smaller: 6 or k?
6
Let l = 118 - 627/5. Is l at least -6?
False
Suppose -16 = 2*z + 3*f, 3*z + 20*f + 24 = 22*f. Let p be 6/(-4)*(-40)/(-9). Which is smaller: p or z?
z
Let j = 0.88 - 29.98. Let i = j - -29. Let g = -0.1 + i. Do -1 and g have the same value?
False
Suppose -2*q = -4*c - 8, 0*q + 5*q = c + 29. Suppose -q*g = g - 7. Let i = -31 - -34.2. Is i at most as big as g?
False
Let b = -0.7 + 0.58. Let p = -634 - -634. Are b and p non-equal?
True
Let v = -41 - -47. Let b be (v/4)/(9/(-30)). Which is bigger: -10 or b?
b
Let s(c) = c**2 + 18*c + 34. Let n be s(-16). Suppose 5*t - 10*t = 80. Let d = t - -21. Which is bigger: n or d?
d
Suppose 0 = -2775*s + 2779*s + 408. Is s < -2?
True
Let z(r) = 5*r + 63. Let l be z(34). Is 232 > l?
False
Let r be ((-19)/1)/(31/(-2170)). Which is greater: r or 1329?
r
Let v = 99913/47 - 2126. Which is smaller: v or 0?
v
Let h = -182.9 + -17.1. Let o = -71 - h. Which is bigger: o or 2/3?
o
Suppose 5 = -7*r + 2*r. Let k be 9/(-27) - (-2)/(-10). Which is bigger: k or r?
k
Let q = -7.97 - -8. Let y = 604 + -604.07. Let g = q - y. Which is smaller: -5 or g?
-5
Suppose -9*b - 702 - 1134 = 0. Is b < -204?
False
Let a = -11 - -12. Suppose 5*w - 6 = -a. Let z = 22 - 149/7. Which is smaller: z or w?
z
Let d = -751 + 3769/5. Let i(y) = -y**2 - 23*y - 39. Let z = -153 + 132. Let b be i(z). Is b <= d?
False
Let d = -97/28 + 15/4. Let u be (-7)/((-315)/6924) - 0. Let n = u - 154. Which is bigger: n or d?
d
Let l be 7 + 1 + -3*1. Suppose 0*y + l*y + 5 = 0. Let k = -1374/7799 + -4/709. Is y <= k?
True
Let k = -19.46 + -229.54. Which is smaller: 0.3 or k?
k
Let o be 30/(-2)*(-12 + 13). Is -9 bigger than o?
True
Suppose 3*k - 104 = 11*k. Is -16 < k?
True
Suppose 1820 = -8*v - 5*v. Let q be 343/v + (-4)/(-2). Do 1 and q have the same value?
False
Suppose 160 = 3*p + 163. Which is bigger: p or -2/431?
-2/431
Suppose -3*x + 15 = -9. Let t be (x/(-2) - -2) + 3. Let i be (t + 10/(-14))*2. Which is bigger: 1 or i?
1
Suppose 4*j = -26 - 2. Let l be 9/(-2) + j/(-14). Let r = -5 - l. Is -6/7 <= r?
False
Let r be ((-12)/(-39))/(371/(-53)). Is r greater than 0?
False
Suppose 5*v - 52 = 2*o + 28, 0