Let f(p) = -p**3 - 5*p**2 - p - 2. Let k be f(y). Which is greater: j or k?
k
Let w = 6.124 - -2709.876. Which is bigger: 0.2 or w?
w
Let z(m) = -m**3 + 19*m**2 + 22*m - 34. Let g be z(20). Let u(l) = 60*l - 360. Let a be u(g). Do a and 1/385 have the same value?
False
Suppose 4 = -2*l, 4*m + 19 + 53 = 4*l. Suppose 0*w = -3*w. Suppose -4*h - 44 - 36 = w. Is m at least as big as h?
True
Suppose 25*u + 46167 + 71851 = -8432. Is -5058 > u?
False
Let r be 54/(-12) + 1/2. Suppose 20 = -5*t - 5*v, -11*v = -3*t - 6*v - 20. Let m be (t/(-2))/(12/(-24)). Is r less than m?
False
Suppose -1 + 16 = 5*w. Suppose h = -4*a - 3, w*a - h - 2*h + 6 = 0. Let t(i) = -6*i**3 + 27*i**2 + 11*i + 10. Let n be t(5). Is a > n?
True
Let z = 379 + -377. Suppose -10*m = 12 - z. Which is smaller: -1/162 or m?
m
Let j = -3809 - -3775. Let t = -43 - -12. Let b = t - j. Is -0.7 not equal to b?
True
Let m = 183 + -747/4. Let a(k) = k**2 - k + 3. Let n be a(0). Suppose -5*c + n*c - 10 = 0. Do c and m have the same value?
False
Let j be (-1 - 8) + 11/(-11). Let m be (j/4)/(40/(-32)). Suppose 0*h - 6 = -m*h. Which is bigger: h or -1?
h
Let a = -19.9 + 371.9. Let k = a - 352.88. Let f be ((8/2)/(-2))/7. Which is greater: f or k?
f
Suppose 14*t - 79 = 257. Suppose -61 = -t*o + 25*o - 4*z, -4*z = -8. Is o < -51?
True
Let b = 311.933 - 312. Let n = 75802.933 + -75767. Let o = n - b. Which is smaller: o or 2/5?
2/5
Let d = 944 - -3623. Which is smaller: d or -1?
-1
Let s = 28.41 - 28.41. Is s bigger than 1203?
False
Suppose 3*k - 3 = 66. Let q be -3 + (-124857)/99 + (-4)/(-22). Let c = q + 5149/4. Is c not equal to k?
True
Suppose -6*a - 59*a = 17*a + 83*a. Which is smaller: a or -0.0453?
-0.0453
Let f = -9069 + 36569/4. Is f less than or equal to 74?
True
Let s(h) be the third derivative of h**5/60 - h**4/24 - 119*h**3/6 + 34*h**2. Let i be s(-10). Which is smaller: -42/5 or i?
i
Let p(l) be the third derivative of -l**5/30 - 5*l**4/8 - 3*l**3/2 + l**2. Let u(t) = 10*t**2 + 68*t - 102. Let a be u(-8). Let c be p(a). Is c > 9?
False
Let t(x) = 10*x**2 - x - 1. Let b be t(-2). Let f = b + -43. Let q be (-2)/(-16)*(-1 - (f - 0)). Which is greater: q or -1/2?
q
Suppose 13*j - 551 = 424. Let o = j + -90. Let w be 3 + (-609)/180 + (-5)/o. Is w at most -1?
False
Let h be (-4750)/(-171)*6/(-248). Let n = h - -1/186. Are 1/143 and n unequal?
True
Let p = -15.2 + 7.5. Let k = -388/627 + -10/209. Is k > p?
True
Let z = 5 + -9. Let w be 83/(-166)*2/3. Which is bigger: w or z?
w
Let a be (-30)/(-5) + (-17553)/(-165). Let m = a + -581/5. Suppose 18 = -5*u + 3. Which is bigger: m or u?
u
Let h = 406.8 + -375. Let p = h - 37.8. Which is bigger: p or 4/7?
4/7
Let q(j) = -j**3 + 5*j**2 + 9*j - 4. Let y be q(6). Suppose 0 = 4*t + y - 18. Let x = 119 - 591/5. Which is smaller: x or t?
x
Let z = -0.23 - 0.07. Let c be 2*(-15)/(-20)*(-4 + 440/(-12)). Which is smaller: c or z?
c
Let o be 15106/14547 + (2/(-12))/(7/56). Do -1 and o have different values?
True
Let y be 2/3*-71*(5 + 7). Let j be y/36 + 2/(-9). Suppose 3*o + 2*o + 75 = 0. Which is smaller: j or o?
j
Let v = 55 - 54.92. Let j = -0.14 + v. Let r be 3/(-9) - (-32)/60. Is j < r?
True
Let y be 1/4 - 874/8. Let k be 248/(-930) + 16/10 + 1670/(-15). Which is bigger: y or k?
y
Let z be 3/(-2) - 30990126/132. Let w = z + 235005. Let p = 230 - w. Is p <= 0.1?
False
Let k = -1766393988/86424745 + 350727/18166. Let w = -4/865 + k. Which is greater: 0 or w?
0
Let o = -0.059 + 0.489. Let u = o + -0.4. Let n = 0.23 - u. Are -0.07 and n equal?
False
Let r be (-4)/(-10) - (-5)/((-175)/(-91)). Let k(d) = 2*d**2 + 2*d - 13. Let v be k(r). Suppose 2*p - v + 1 = 0. Which is smaller: 6 or p?
p
Let c be (-38)/(-95) - 176/(-10). Suppose 164 + c = 2*a. Which is greater: 92 or a?
92
Let o be (49/(-26026))/((-4)/(38 - 14)). Which is smaller: -1 or o?
-1
Let i = 685 - 640. Suppose i*p - 444 = 57*p. Is -37 greater than or equal to p?
True
Suppose 8 = 5*y + 23. Let u be y - (-1)/((-141)/(-69) - 2). Let t = -1 - 1. Is t smaller than u?
True
Suppose 69 = 7*x - 43. Let n be (-10)/x - 198/(-528). Let p = 24.3 - -0.7. Is p less than or equal to n?
False
Let p = 3068/22785 - 16/147. Let w be (-53)/265*(-2 - -7). Is p < w?
False
Let s be (111/(-129))/((-2)/(-394))*-10. Let x = s - 1695. Which is smaller: x or 0?
0
Let x be (-4)/(-8) + -2 + (-1080)/(-714). Let g = x + -503/2142. Is g not equal to -2/7?
True
Suppose -9 = 11*x - 14*x. Let l(d) = -6 + 4 - x + 8*d - 1. Let h be l(-2). Is h bigger than -23?
True
Let j(w) = -w**3 + 3*w**2 + 10*w + 6. Let s be j(5). Suppose -3*b + 100 = g - s*g, g - 3*b = -8. Is -6 < g?
False
Let k = 358/9 + -46. Suppose 2*m + 122 = 294. Suppose m*z + 28 = 82*z. Is k smaller than z?
False
Suppose 0 = -2*w - 4 + 2. Let j be ((-1)/215)/((-14088)/8805). Is j < w?
False
Let q be (18/(-306)*(-1 + (-40)/(-24)))/(5/15). Let u be 4/6*123/7. Let z = 163/14 - u. Which is greater: q or z?
z
Let c = 74 - 74.2. Let h(g) = -2*g + 6. Let f be h(8). Let r be (0 + f)*16/32. Is r >= c?
False
Let k = -126 - -131. Suppose -o - 10 = -k*a - 1, 0 = a - 2. Is 58 < o?
False
Let c = -58 - -63. Suppose 16 = 3*r - 4*b, -r - c*b = 10 + 10. Let n = -185/18228 + -3/868. Is r less than or equal to n?
False
Let v = -11489/21 + 547. Let i(l) = l**3 + l**2 - l. Let t(a) = -7*a**3 - 4*a**2 + 6*a - 1. Let m(j) = -5*i(j) - t(j). Let r be m(1). Is v > r?
False
Suppose 618*m = 3*x + 623*m - 9, -3*x + 3*m = 15. Which is greater: x or -3/67?
-3/67
Let b = -20 + 44. Let l = 43 - b. Let j = 1312.1 - 1312. Is l greater than or equal to j?
True
Suppose -4*h = -4*t - 85 + 21, 3*t = -4*h + 92. Suppose -3*k - 12 = -4*x + 40, -5*x + h = 0. Which is smaller: -17 or k?
-17
Let x(l) = 30*l + 2. Let d be x(3). Let j be 28420/5390 - (-6)/(-44)*2. Suppose -j*z + 2*t = 111, -3*z + 15 - d = 4*t. Are z and -24 unequal?
True
Suppose 5*j - 15 + 5 = 0. Let l(b) = -6 - 10*b - 6*b + 19*b + 1. Let x be l(j). Do -5/12 and x have the same value?
False
Let q(r) = 9*r - 13*r - 3*r + r**2 + 7 - 3*r. Let i be q(9). Let s be ((-4)/(-80))/(i*2/(-8)). Is 2/3 > s?
True
Let n = 211945/3 + -70649. Let c = 0 - 0.008. Which is bigger: n or c?
c
Let c be 162/39 - ((-123)/(-39) - 3). Suppose c*y = 3*y + 3. Suppose 0 = u + 2*k - 4 - 0, -y*k = u - 6. Which is smaller: 1/165 or u?
u
Let v be 32008/8960 + -3 + 3/(-7). Is 0 at least v?
False
Let c be 0 - 1 - (835 - 0)/5. Let m be (c/10)/(1/(-30)) + 1. Let f = -5561/11 + m. Which is smaller: f or -1?
-1
Let r = 539 + -504. Suppose 2*h - 198 = b, 4*b + 844 = 30*h - r*h. Which is greater: b or -208?
b
Suppose 0 = 1196*y - 1194*y + 2132. Is y bigger than -1064?
False
Let i be ((-1969)/(-385) - 5)/(2/(-10840)*-4). Which is smaller: 154 or i?
154
Let y = -1/1030 - -6593/1030. Let p = -1515 + 1520. Are p and y equal?
False
Let r = -1 + 2. Let h = 200871 + -17676645/88. Is r < h?
False
Let w(t) = -4*t**2 + 154*t + 3284. Let b be w(-16). Which is smaller: b or -194?
b
Suppose 0 = p + r - 121, -p = -10*r + 7*r - 113. Suppose 0 = -123*m + p*m - 92. Do m and -17 have the same value?
False
Let w = -173 - -161. Let a be 117/(-86) + (-18)/w. Which is smaller: a or 1?
a
Let r(b) = -b**3 - 4*b**2 + 3. Let x be r(-4). Suppose -19*k = -36 - 97. Is x less than k?
True
Let g = -7542.8 - -7543. Does -1069 = g?
False
Suppose i - 57 = 4*x, -323 = -5*i + 2*x - x. Let z = 77 - i. Which is greater: 126/11 or z?
z
Suppose 5*i + 2*w - 18 = 0, i + 4*w - 10 = 2*w. Let d be (-1 + (-24)/20)*12. Let x = -1377/55 - d. Which is smaller: i or x?
x
Let h = -2714 - -2871. Which is greater: -15 or h?
h
Let f = 4235 - 12703/3. Let i = -130.6 - 13.4. Which is greater: i or f?
f
Let p = 2.1 - 3.1. Let j be 2/11 - 64/(-11). Let c be (7/(-14))/(j/105). Which is smaller: c or p?
c
Let v = -2/57817 - 131649301/231268. Let w = v - -585. Which is bigger: 16 or w?
16
Let b = 10077 - 10077.3. Is -2321 != b?
True
Suppose -2*x + 7*x + 1275 = -2*p, 3*x = 2*p - 781. Let a = 263 + x. Is 63/10 bigger than a?
True
Let w(o) = -33*o + 91. Let r be w(3). Let z be (-990)/(-498) - r/(-4). Is z >= 1?
False
Let k = -0.0731 + -491.9269. Let t = k - -40. Are t and 0 nonequal?
True
Let w be 4*13/(-528320)*2. Which is bigger: w or 0?
0
Let p(z) = -79*z**2 - 3*z + 1. Let u be p(-2). Let i = u + 303. Is i at most as big as -7?
False
Suppose -38*z = -41*