 x be d(-13). Is -48 bigger than x?
True
Let g(v) be the first derivative of v**4/4 - 11*v**3/3 - 7*v**2 + 25*v - 1. Let c be ((-8)/5)/(172/(-1290)). Let t be g(c). Which is greater: -2/65 or t?
t
Let o(n) = -37*n - 446. Let p be o(-10). Is p < -81?
False
Let w be (72/24)/(15/55) + -9. Let u = 4 - 6. Let n = -1 + u. Does w = n?
False
Let y = -285 - -317.7. Let x = y + -30. Let v = -2.713 + x. Which is smaller: 0 or v?
v
Let d = 1529.63 + -1522. Let l = 1.37 + d. Is l less than 2/15?
False
Suppose -117259 = 35*u + 51*u + 139709. Which is greater: u or -2989?
u
Let w(k) = -175*k**3 - 5*k**2 + 3*k + 1. Let m be w(1). Let h = 146 + m. Let s(f) = 5*f + 1. Let n be s(-6). Which is smaller: h or n?
h
Let a be ((-3)/(-2))/((-1443)/1924). Which is smaller: a or -178?
-178
Let r be (-4)/(-14) - (-214)/(-798). Let o = -1013/741 - r. Suppose 0 = 848*u - 270*u + 578. Is u <= o?
False
Let g = 4417/52 + -620/13. Let y = 37 - g. Suppose 11*k + 612 = 2*k. Which is smaller: y or k?
k
Let a(t) = t**3 + 17*t**2 + 16*t + 1. Let k be a(-16). Let n = 1242665733/656 - 1894308. Let z = 12/41 + n. Which is smaller: k or z?
z
Suppose 6*o - o = 4*c + 246, 4*o - 5*c - 195 = 0. Let n be (-4 + o/4)*-6. Which is bigger: n or 0.07?
0.07
Let n = 924 + -924. Suppose n = -10*f + 170 - 150. Let r be (2 + (-2)/4)*2. Which is bigger: r or f?
r
Let d = -166730 - -5169224/31. Let f = d - 35728/1829. Is 1 at least f?
True
Suppose -82*b = -71*b + 55. Let x(l) = -2*l + 21. Let r(s) = s - 7. Let u(i) = -11*r(i) - 4*x(i). Let j be u(b). Which is smaller: 0.1 or j?
0.1
Let d(t) = -12*t**2 + 3. Let c be d(2). Let q = 49642/9 - 5516. Do c and q have the same value?
False
Let l = -11533 - -13073. Which is greater: l or -0.3?
l
Let s(m) = 44*m**3 - 3*m**2 - 2*m - 2. Let t be s(-2). Let o = -1409.69 + 1409.59. Which is smaller: o or t?
t
Let p(o) = -76*o + 129. Let u be p(4). Let i be (-35)/u + 2557/(-35). Do -73 and i have different values?
True
Suppose 7*j + 0*j = 546. Suppose -9*g - j = -22*g. Which is smaller: 14/3 or g?
14/3
Let x(t) = -2*t**3 + 12*t**2 - 28*t + 105. Let a be x(5). Suppose 203 = 5*f + r, 4*f - 135 = f - 5*r. Let h = -28 + f. Is a <= h?
False
Let m be 5143404/(-103005) + (-9)/(-15)*1. Let t = 1/4905 + m. Which is smaller: -49 or t?
t
Suppose 973*b + 31 = 1004*b. Is b <= -94/379?
False
Let p be 58/(-7) - 4/(-14). Suppose 0 = -20*x - 300 - 120. Let q(c) = 7*c + 138. Let r be q(x). Which is bigger: r or p?
p
Let f = -1485.9 + 381.5. Let q = -1097.427 - f. Let a = 0.027 + q. Which is greater: -2 or a?
a
Suppose q + 2*d = 5, 11*d + 13 = -7*q + 13*d. Is q greater than or equal to 3/3329?
False
Let q(y) = -5*y**3 + 7*y**2 - 20*y + 60. Let v be q(4). Is -228 greater than or equal to v?
True
Let y be 1048/(-1360) - (-6)/(-204). Are y and -2514 non-equal?
True
Let o(l) = 230*l**3 - 3*l**2 - 5*l - 4. Let c be o(-2). Let x be (-4)/6 - c/312. Which is greater: x or 2/3?
x
Let h be ((-10)/(-20))/(114/(-19) + 82/14). Let w be 5/(-1)*(-12)/5. Let z be 2/4 - 2/w. Is h greater than or equal to z?
False
Suppose 33 = d - 2*z, -612*d = -607*d - 3*z - 144. Is d smaller than 21?
False
Let h(p) = p**3 + 7*p**2 - 7*p + 3. Let y = 84 - 131. Let b = -55 - y. Let d be h(b). Which is smaller: d or 0.2?
d
Suppose -5*z = -5*f + 30, 2 = -2*z - 6. Suppose -f*h = -2*u - 7*h + 14, -h = 5*u - 35. Which is smaller: u or 16?
u
Suppose -207 = -6*x + 129. Let o be ((-29)/(1421/x))/(4/122). Which is smaller: -36 or o?
-36
Let m be 2*((-28)/(-7))/(-1). Let f be (-5)/(-3)*(m - (-2061)/261). Which is bigger: f or -1?
f
Let d be 2/(6/(-1404)*1). Let x = d + 256. Which is smaller: -213 or x?
-213
Let t(y) = -y**3 - 4*y**2 + y - 3. Let r be t(-3). Let k(o) = -o**2 + 45*o - 179. Let l be k(40). Let j = r + l. Is j < 50/7?
True
Let f = 383 - 607. Let w = -296 + 73. Which is smaller: w or f?
f
Let p be (-75180)/18210 - 12/(-3). Is 2 smaller than p?
False
Let w = -1849.976 - -1842. Let k = w - -8. Let o = 1.024 - k. Which is smaller: o or 8/7?
o
Suppose -6*g + 11*g = 4*p - 24, -19 = -3*p + 4*g. Suppose -2*s = -2*a - 2, 2*a = -0*s - 4*s - 20. Let v be a/10 - (-63)/245. Which is smaller: p or v?
v
Let a(n) = -n**3 - 4*n**2 + 8*n + 2. Let x be a(6). Let c = 208 + x. Is -101 equal to c?
False
Let m = -8206 - -8226. Let p = 0.4 - 0.3. Which is smaller: p or m?
p
Let j(w) = -104*w + 20. Let z be j(5). Let q = -351 - z. Do 150 and q have different values?
True
Let k(m) = -m + 16. Let o be k(10). Suppose -2*c - 52 = o. Let q = -11 - c. Are 17 and q non-equal?
True
Let l = -2.2 - -2. Suppose 0 = -8*v - 150 + 46. Let m be -1*((-51)/v + -4). Is m greater than l?
True
Suppose -191*f + 20 = -186*f. Suppose 177 = 4*l + u, l = -l + f*u + 102. Is l at most 44?
False
Let o = -82199835 - -461223272437/5611. Let l = o + -2/181. Which is bigger: l or 1?
1
Let a be 8/(-108)*(130/325 - 478/1190). Is a not equal to -1?
True
Let y be (0/(-11))/(11 + -6). Does -10/3979 = y?
False
Let x be ((-36)/234)/(1 - 3/9). Let s be (-24)/(-16) - (-6)/4. Suppose 4*m - 4 = -4*b, 4*b - 3 = -s*m - b. Which is bigger: x or m?
m
Let p be ((-5)/2 - (7 + -10))/(66/(-132)). Do p and 39/94 have the same value?
False
Let y be 15*(-15)/(-36)*(-105796)/(-170). Let p = y - 7765/2. Which is greater: 7 or p?
p
Suppose 6*w + w - w = 0. Let v(r) = 8*r. Let n be v(w). Which is greater: n or -16/59?
n
Let g = 15987 + -15989. Let s = 0.1 + 0.1. Are g and s non-equal?
True
Let t = -14.3 - 15. Let z = t + 29.3. Are -0.26 and z equal?
False
Suppose 9*v = 3*v + 30. Suppose -v*t = -2*o - 13, -o = t + 3*t. Which is smaller: 1/58 or t?
1/58
Let u be 5/10 - 17/2. Let c be (u/4 - -4)/(-3). Let z = -0.29 - 0.21. Does z = c?
False
Let h = -20197.274 + 20198. Which is smaller: 12 or h?
h
Let q = -49.2 + 49.8. Suppose -4*m - 2*u = -4*u + 46, 36 = -3*m + 2*u. Which is bigger: m or q?
q
Let g = 0.0794 + -4.0094. Let j = g + 3.5. Let o = j + 6.43. Is -0.1 less than o?
True
Let a(j) = 15*j + 2 + 3 - 2. Let g be a(-2). Let t be 12/(-3) - g/6. Which is greater: 4/5 or t?
4/5
Suppose -48*n = 2*h - 51*n + 11, 0 = h - 4*n + 13. Let t be h - (-3792)/4554 - (-6)/33. Is t at least -1?
True
Suppose 3*i - 69 = 3*q, -4*i + 133 = i + 4*q. Is -1/2 <= i?
True
Let r = -393 + 250. Let b be 19 + -26 + 888/(-48)*2/(-5). Is b greater than or equal to r?
True
Suppose -n - 5*j = -32, -4*n - 3*j = -8*n + 197. Suppose 7*w - n = -40. Is w at least as big as 2/387?
True
Let a(z) = -2*z**2 - 31*z - 4. Suppose 84 = -80*i + 74*i. Let c be a(i). Is c < 37?
False
Let h be 57*(-183)/(-12) - (-51 - -60). Is 859 != h?
True
Suppose 1330 = 61*f - 96*f. Is -41 bigger than f?
False
Let l be (5/((-200)/12))/(3/(-22472)*4). Which is bigger: l or 561?
l
Let w = -17064 + 17061. Let t(p) = p**3 + 6*p**2 + 3*p - 2. Let i be t(-5). Which is smaller: w or i?
w
Let l = -0.68 + 1.1. Let w be 2/(-11) - (-5 - (-62)/22). Suppose 0 = w*r + 95 - 93. Which is greater: r or l?
l
Suppose 7*d = -530 - 1409. Let v = d + 276. Is v less than or equal to 2/601?
True
Let o = -264762/13 - -142550/7. Let z = -30/13 - o. Which is smaller: -1.3 or z?
-1.3
Let r be (8/(-6))/(235/(-282)*(-204)/45). Which is smaller: 0.046 or r?
r
Suppose -7*b - 225 = -6*b - 2*o, 3*o = -b - 200. Let l = b - -191. Which is smaller: l or -0.1?
l
Let o = -84/43 + 2257/473. Which is greater: 2 or o?
o
Let i be ((-4)/(-6))/((-5)/(-6)). Let z be -3*(-8)/36*15/2. Suppose z*k + 6*j - 11*j = 0, -k - 2*j = -6. Which is smaller: k or i?
i
Let l(v) = -60*v + 360. Let j(p) = -15*p + 90. Let h(c) = 9*j(c) - 2*l(c). Let w be h(8). Are -32 and w equal?
False
Suppose -5*p - 37 + 129 = o, p + 1 = 0. Let a = 91 - o. Let r be ((-27)/(-18))/((-17)/a + -3). Is r <= -11?
False
Suppose 0 = 35*z + 70*z + 198*z + 13029. Is z > -35?
False
Let z = 0 - 0. Suppose 8*k - 434 + 386 = z. Suppose 0 = 6*x - 4*x - 8. Is x < k?
True
Suppose 285*n + 284044 + 31781 = -472200. Is -2766 equal to n?
False
Let j(y) = -8*y - 29. Let o be j(-4). Let m be -3*o/(-27) - (-6)/(-18). Which is smaller: m or -8/25?
-8/25
Let o be (-2 - -2)/12 - 4/(-17). Let h(q) = 3*q - 4. Let z(r) = 2*r - 3. Let w(c) = 5*h(c) - 8*z(c). Let u be w(5). Is u less than o?
True
Let k = -51 - -119. Suppose k*p + 14 = 54*p. Let q = -49/16 - -4427/1456. Which is smaller: q or p?
p
Let q = -1807 - -2373. Is q < 2828/5?
False
Let t = -4097811 - -221289