p. Let l be ((-3)/p)/((-6)/8). Let i = 241311.15 - 241311. Which is bigger: i or l?
i
Let y = 20009/41 + -488. Let u = y + 14/1107. Which is smaller: u or 1?
u
Let f = 19066 + -19596. Which is greater: -529 or f?
-529
Let h(s) = 8*s - 49. Let d be h(7). Let p be 8565/(-610) + d + 7. Are p and 0 nonequal?
True
Let w = -242 - -242. Let g be (-28)/4 + 1*-16. Which is smaller: w or g?
g
Let t(a) = a**2 - 110*a + 908. Let j be t(9). Is -4338 greater than or equal to j?
False
Let k be -6 - (-42)/8 - 380/(-16). Suppose -11*x - 1 = -k. Which is bigger: x or 0.43?
x
Let f = -215/6 + 1501/42. Let h(d) = -124*d - 10. Let b be h(1). Let g = -133 - b. Is f greater than or equal to g?
False
Let a be (2721/6)/((15/6)/(-5)). Which is smaller: -906 or a?
a
Suppose 14829*j + 5655 = 14816*j. Is j at least -433?
False
Let d = -11893 + 9039. Is 0 at most d?
False
Suppose 2*o - 96 = -2*y - o, 3*o = 5*y - 240. Suppose 4*r = 5*p - 0*p + y, -16 = 4*p. Suppose -2*q + r = 9. Which is smaller: -1/2 or q?
q
Suppose y = -2*t - 1009 - 752, 0 = -y - 3*t - 1756. Which is bigger: -1772 or y?
y
Let j be (34/(-24))/(1/15*2). Let t = 417/40 + j. Is t <= -33?
False
Let f(m) = m**3 + 7*m**2 - 7*m + 3. Let p be f(-8). Suppose b + 338 = 14*b. Suppose -b*d + 28*d = 6. Is p at most as big as d?
True
Let t = 11087 - 11036. Which is smaller: t or 50?
50
Suppose -35*d + 10878 = -9877. Let m = d - 547. Is 40 greater than or equal to m?
False
Let m be 3/1*(-34)/(-51). Let p be ((-42)/(-9) - 4)*12/m. Suppose -3*j - p*j = 3*j. Which is greater: j or 1/120?
1/120
Let l be 513/(-380)*(-220)/(-168). Is -2 <= l?
True
Let a(g) = g**3 + 20*g**2 + 62*g + 435. Let t be a(-14). Is 743 bigger than t?
False
Suppose 9*c + 4783 = -6197. Let o be (12/c + 0)/(-3). Which is greater: o or 1?
1
Let b(o) = -o**3 + 2*o**2 + 7*o - 8. Let l be b(3). Suppose k + 16 = -3*q, -l*k + 9 = 3*q + 37. Which is bigger: -42/13 or k?
-42/13
Suppose -2*k + 263 = 5*h, -5*h - 5*k - 111 + 386 = 0. Suppose -2*s = -h + 51. Let g be (-1 - -22) + (-5 - -7). Which is smaller: g or s?
s
Let i = 77736 - 77741. Let n be (0 + 1)/(1/(-9)). Are i and n equal?
False
Let v be ((-2206)/(-3309))/((-3)/(9/2)). Which is smaller: v or -35/16?
-35/16
Let k = -44 - -63. Suppose 0 = 2*i + 4*j - 60, 17*j + 18 = i + 16*j. Does i = k?
False
Let o = -562/5 - -112. Let h be 4/(-4)*-9 + (-40)/4. Is o >= h?
True
Suppose -4*f - 5*u + 13 = 38, -5*f - 2*u - 44 = 0. Let n be (5/30)/(-2*f/18). Let d(m) = -m**3 + 7*m**2 + m - 6. Let g be d(7). Is n at most as big as g?
True
Suppose -z + 11105 = 113*d - 116*d, -5*d + z = 18507. Is d not equal to -3703?
True
Let v = -0.12 - -12.12. Let j = 3636.3 - 3423. Let l = 213 - j. Is l < v?
True
Suppose 13700 = -232*r + 212*r. Which is smaller: r or -686?
-686
Let x be ((-21)/(-6))/(4/8). Let r be (-8)/56*x*(-5)/13. Which is smaller: -2/3 or r?
-2/3
Let h = -2630 - -2632. Do 60/37 and h have the same value?
False
Let p be (-1)/2*(-4)/(-6) + (-195832)/(-631074). Is p greater than 1?
False
Let u = -433 - -466. Let o be u/1518*(-66)/9. Which is bigger: 0 or o?
0
Let s be -1 + ((-52)/(-23) - 1). Let v = 149/483 - s. Suppose -3*z + 3*i - 2 = 4*i, 0 = -2*z - 2*i. Which is smaller: z or v?
z
Let q(c) = -7*c**3 - 2*c**2 + c + 4. Let v be q(-2). Suppose 0 = -4*a + v - 6. Suppose 288 = -3*i + a*i. Is i equal to 34?
False
Let f = -2/607 + -7270/4249. Let l be (-2)/(4/3)*2. Which is smaller: f or l?
l
Suppose -3*q - 32 = 31. Let v be 5/(68 - -2)*q/(-30). Which is bigger: 0 or v?
v
Let s = -835.619 + 837. Let c = s + -0.381. Which is greater: 17 or c?
17
Let i(c) = c**3 + 51*c**2 + 454*c - 1521. Let l be i(-38). Let b be (-5)/4 - 1*-1. Which is greater: l or b?
b
Let b = 42.13 - 43.13. Is 2839 at most b?
False
Let g = -2.97 - 0.03. Let u = -5 - g. Let o = -140111/72 + 15567/8. Which is smaller: u or o?
u
Let g(k) = k**3 - k**2 + 22*k + 4203. Let b be g(0). Which is smaller: b or 4202?
4202
Suppose 5*m + 0*m = 1680. Let z be (-24)/(-80)*(5 - 3) + 21866/65. Is z < m?
False
Let t = 25929 - 31643. Which is smaller: t or 2?
t
Let h = -66 + 117. Suppose -235 = 5*r + 2*u, -4*r + 2*u - 170 = -0*u. Let m = h + r. Which is smaller: m or 5?
5
Let j(s) = 44*s - 42. Let u be j(5). Suppose -5*k + 4*x = 874, -4*x = k + u - 8. Do -174 and k have the same value?
True
Let n(g) = -g**3 - 2*g**2 + 17*g + 45. Let z be n(-3). Suppose -2*p - 14 = 4*f, 2*f + 19 = -2*f + 3*p. Let b be ((-7)/4)/(f/16). Is b less than or equal to z?
False
Suppose 11*b = 6*b - d - 176, -3 = 3*d. Suppose -5*s - 74 = 106. Which is bigger: s or b?
b
Let j = -73 + -192. Suppose -7888*m = -7894*m - 1602. Is m > j?
False
Let f(w) = 2*w - 135 + 5*w**2 + 71 + 3*w + w**3 + 70. Let p be f(-4). Which is smaller: 15/8 or p?
15/8
Let c = -1034623 + 1631600378/1577. Let t = c + 18/83. Which is smaller: t or 1?
t
Let l = -458/27 + 9241/540. Suppose d = -c - 4*c + 7, c - 5 = -2*d. Let m be 2/(-2)*c + 0. Is l greater than m?
True
Let q = 54.3 + -59. Let y = 4 - q. Let s = -0.3 - y. Which is smaller: -0.2 or s?
s
Let d be 12 + 0/1 - 3/1. Suppose -d*b + 11*b = 162. Let j = b - 117. Is j greater than -35?
False
Suppose -w - 188 + 27 = 4*p, -3*p - w = 123. Suppose -g - 3 = -5. Suppose 2*k - 3*a + 79 = 0, k + g*a = 5*k + 154. Is k at least as big as p?
True
Let s(l) = -l + 4. Suppose 6*k + 0 = -18. Let g(n) = n**3 + 5*n**2 + 5*n + 2. Let z be g(k). Let r be s(z). Is -5 bigger than r?
False
Let m = 0 - -0.04. Let b = 863.8 + -100.8. Let w = -764 + b. Is w bigger than m?
False
Let k be ((-7)/105)/((-24)/120). Which is greater: -2/2157 or k?
k
Let o be (4901/58)/(-1 + (-6)/(-4)). Let a = o + -73. Suppose 4*y + g - a = 0, 5*g - 59 - 37 = -4*y. Is 25 greater than or equal to y?
True
Let m(n) = -46*n**2 + 311*n + 2480. Let h be m(-8). Is -2954 bigger than h?
False
Let o(k) = 4*k**2 + 19*k - 2. Let g(r) = -2*r + 1. Let i(u) = 4*g(u) + o(u). Let h be i(2). Let b be -1 - ((-91)/468)/(6/h). Is -1 at most b?
True
Let x = -1553150/107 + 180848341/13589. Let p = 1207 + x. Is p less than 1?
True
Suppose -3*h + 8 = -0*o + 2*o, 4*h + 4*o = 16. Let g be (-666)/999*9/4800. Is g equal to h?
False
Let s(q) = -q**3 + 6*q**2 + 3*q - 9. Let u be s(6). Let a(b) = -b**2 + 13*b - 31. Let z be a(u). Suppose -2*h = 5*t - 20, 2 = 3*t - h + 1. Are z and t unequal?
True
Let g = 1161 - 1159. Suppose x = 3*x - 8. Suppose t = 4*v - 4*t + 1, 0 = 4*v - x*t. Are g and v non-equal?
True
Let p(z) = z**3 + 7*z**2 + 4*z + 17. Let b be p(-7). Let m(h) = 2*h**2 + 24*h - 17. Let q be m(b). Is -37 > q?
True
Let q = -1.436 - 0.564. Which is smaller: -138 or q?
-138
Let x = 1018 + -539. Let r = x + -212. Suppose 3*a + 84 = -r. Which is bigger: a or -116?
-116
Let l(g) = g**3 + 10*g**2 - 26*g - 20. Let f be l(-12). Let q be -22*3/6 + 1*f. Let u(s) = -4*s**2 + 9. Let x be u(2). Do q and x have different values?
False
Let g = 11.171 + -0.071. Which is bigger: g or 8?
g
Let i(r) be the first derivative of -r**4/4 - 4*r**3/3 + r**2/2 - 21*r - 30. Let a be i(-5). Let w = 1.58 + -1.6. Which is smaller: w or a?
a
Let s = 3291 - 1928. Is 1363 greater than or equal to s?
True
Let k = -0.09488 + 0.09488. Is -0.936 less than or equal to k?
True
Let z be (((-75)/(-4))/(-3))/(-1). Let i(b) = -17*b + 227. Let l be i(13). Is l <= z?
True
Suppose 5*p + 6 = -4*x, -699 + 703 = 6*x + p. Is -105/323 less than or equal to x?
True
Suppose 3*g = n + 20, 27 - 7 = 2*g + n. Let z(t) = -29*t - 4 - t**2 - 24*t + 3 + 61*t. Let k be z(g). Is k equal to -3/40?
False
Let w(q) = 18*q - 21. Let c(d) = -36*d + 43. Let i(k) = -4*c(k) - 7*w(k). Let r be i(-5). Which is smaller: -116 or r?
-116
Let i = -331/161 - -21/23. Let h be (-13)/39*9/(-4)*4. Let k be (-1)/((-25)/10 + h). Is i bigger than k?
True
Suppose -3*g + 8*g + 2878 = 3*t, -4*t = -4*g - 3848. Suppose -2784 - t = -15*w. Is w at most 250?
True
Let i = -110 - -112. Suppose i*v + 0*b + 2*b = -22, 3*b = 3*v + 27. Let p be (-88)/v - 1/(-5). Is p greater than or equal to 6?
True
Let y = -0.11 + 0.21. Let s = -242 + 611. Let c = s - 295. Is c at most as big as y?
False
Suppose -4*l + 11*l = 0. Suppose 0 = -5*y - 3*w + 51, 2*y = -l*w - w + 20. Let n be 0 + 4 + (3 - y). Is n bigger than -3/4?
False
Suppose 0 = 87*j - 90*j + 3. Let m be (j - 232/32) + (-2)/(-8). Is m smaller than -3.6?
True
Let g = -18982240 + 1005997401/53. Let j 