t(x) = x**3 + 3*x**2 - 8*x - 4. Let n be t(-5). Let y be (n/(-6) + -2)*-1. Let i = 4.6918 - -0.3082. Which is smaller: i or y?
y
Let u(g) = -g**3 + 8*g**2 + 8*g + 9. Let y be u(9). Suppose 6*v - 4*v = y. Let o be (-2)/(2208/8816) - -8. Is o < v?
False
Let c = 1003.8 - 1008.59. Which is bigger: c or 2?
2
Let n be 286/(-8) + (-2)/8. Let u = n - -56. Let a = 7 - u. Which is bigger: a or 0.1?
0.1
Let b = -709.8 + -1.2. Let m = b + 710.872. Which is greater: -3 or m?
m
Let p be (-12 + 2232/176)/((-12)/4432). Which is smaller: p or -251?
p
Let b be (1 - (-4 + 4)) + -11. Suppose -6*c + 3 = 39. Let o be 2/c*(9 + b). Do -0.8 and o have different values?
True
Suppose 8*j + 28 = 46 - 42. Which is bigger: j or 0.22?
0.22
Suppose 2*j - 42 = -2*j - 38. Let o = -46 + 69. Is j not equal to o?
True
Let n = -71.98 - -73.98. Let k = 11.993 - 12. Which is smaller: k or n?
k
Let g = 236 + -5429/23. Let p(o) = 19*o + 380. Let x(z) = -7*z - 189. Let a(n) = -4*p(n) - 9*x(n). Let b be a(14). Do b and g have the same value?
False
Suppose 164*c - 66902 = 532846. Are c and 3658 non-equal?
True
Let q be (-1220)/244 + (-11 - 1)*332/6. Is -672 equal to q?
False
Let v = 3915 + -3919.4. Which is smaller: v or 1/10?
v
Let m be (-14 - (-20)/(-450)*-309)/((-8)/18). Is -373 smaller than m?
True
Let s(y) = y - 16. Let k be s(17). Let h be 35/(-21)*6*k/14. Are h and -1 equal?
False
Let i = 6.021 - -1191.979. Which is bigger: 0.2 or i?
i
Let z = -17.27 - -13.682. Let u = -0.112 + z. Let h = -6.7 - u. Is -10/3 less than or equal to h?
True
Let b(c) = c - 10. Let v be b(11). Suppose -52*m + 53*m = 0. Let x be (m - 10/35) + 68/287. Which is smaller: x or v?
x
Let o = 8438 + -20090871/2381. Which is greater: -1 or o?
o
Suppose 29*f = -4*o + 25*f - 836, 0 = 4*o - 15*f + 684. Is -200 bigger than o?
True
Let n = -1.597 + -11.303. Which is bigger: -1 or n?
-1
Suppose 1141 + 7868 = 533*m + 876 - 15319. Let z be 23/(-1 - (-3)/2). Which is smaller: m or z?
m
Suppose 1981*b - 4 = 1971*b - 64. Let x = -8.93 + -0.07. Let t = 5 + x. Are t and b nonequal?
True
Let g = -17 - 13. Let h be 4/(-10) - 2/g. Let v = -29.5 - -29.7. Are h and v equal?
False
Let g = 4798 + -15559. Which is smaller: -10760 or g?
g
Let s = -18 + 23. Suppose -7*i - 2 = s. Let l be i - ((0 - 3 - -1) + 1). Is -8 less than l?
True
Let l = -35 - 391. Let d = 426 + l. Which is smaller: d or -4/5?
-4/5
Let u(s) = 27*s**2 - 7*s + 18. Let j be u(2). Is j smaller than 118?
True
Let s be 6005/25 - (-76)/95. Let a = -299 + 539. Which is smaller: s or a?
a
Let d(n) = -n**3 + 6*n**2 + 5*n. Let t be d(7). Let x be (-4)/t - (-45)/63. Let f = 21 - -15. Is f bigger than x?
True
Let m(g) = -936*g - 7605. Let f be m(12). Is f >= -18836?
False
Let o be 1/(24/20 - 1). Let r be (0/(-1))/(11 - 10). Suppose 4*k - o*k + 14 = r. Which is greater: k or 13?
k
Let o = -1033 - -1067. Are o and 22 equal?
False
Suppose 259 = 7*p - 44*p. Let r(q) = -q**3 - 4*q**2 - 7*q - 37. Let o be r(p). Is o greater than 1/4?
True
Let a be (-28)/(1/(-1 + (-308)/8)). Which is smaller: a or 1105?
1105
Let d = 118.65 - 4.65. Let a = 121 - d. Which is smaller: a or -34?
-34
Let x(g) = -g**3 + 14*g**2 + 29*g - 61. Let r be x(17). Let y = -1306/3 - r. Is y at most -42/19?
False
Let q be 6/4 + (-75)/(-30). Suppose -4*s = t - 24, 15*t = 11*t + q*s + 36. Is 12 greater than or equal to t?
True
Suppose -36*c + 13*c - 31*c = -10908. Is c < 213?
True
Suppose -17067 + 8084 = 11*o + 12071. Which is greater: o or -1/4?
-1/4
Suppose -v + 2*q + 44 = 0, 10*q - 15*q = 5*v - 325. Which is bigger: 713/12 or v?
713/12
Let p = 3263 + -3423. Which is smaller: p or -165?
-165
Let u = -227.12 - -223. Let a = u + 1.12. Is a at most 0.5?
True
Let i(b) = 3*b**2 + 7*b + 2. Let f be i(-3). Suppose 0 = -5*v + 4*t + 333, 0 = 6*t - f*t + 6. Suppose -2*w = -w - 70. Which is smaller: v or w?
v
Suppose -4*u + 7*u - 5642 = 29*u. Which is bigger: u or -218?
u
Let y be ((1 - (-155)/(-25)) + 5)*5. Let r = 3403 - 272233/80. Which is greater: y or r?
r
Let n = -20 - 30. Let c = -21 - n. Let z be (3/(39 + 0))/((-36)/(-234)). Is c > z?
True
Let k = -94 + 70.8. Let c = k - -41.2. Is -2/3 at most as big as c?
True
Suppose -5*t - 24*t = -87. Suppose 3*q - t*s = -12, -5*q - 21 = s - 1. Is -14 not equal to q?
True
Suppose 271 - 51 = -5*o. Suppose -18*h + 16 = 844. Is h >= o?
False
Let k(l) = -13*l**2 + l. Let y be k(-1). Let t = y - -27. Let r = 21247 - 21240. Is t at most as big as r?
False
Let s(k) be the first derivative of -2*k**4 + k**3/6 + k**2/2 - 12*k + 21. Let x(w) be the first derivative of s(w). Let g be x(-1). Is g smaller than -25?
False
Let y be 1 - 3/(18/8). Let b = -13636 + 13594. Does y = b?
False
Let v = 3304216/37 - 250675459/2849. Let i = 1316 - v. Are 0 and i unequal?
True
Let y(j) = j**3 - 1. Let a be y(0). Let f(k) = -k**2 + 9*k - 8. Let t be 5/10*-6 + 10. Let l be f(t). Which is smaller: a or l?
a
Suppose -212*i - 17718 + 1254 = -191*i. Are -784 and i equal?
True
Let v(o) be the second derivative of -o**4/12 + 11*o**3/3 - 37*o**2/2 - 13*o. Let p be v(19). Let z = -17 + p. Which is greater: z or 8/5?
z
Let v(c) = -c**2 + 3*c + 60. Let h be v(-6). Let f be 4*5*h/30. Are f and 45 equal?
False
Let x = -16089 - -16088.968. Which is bigger: -3.4 or x?
x
Suppose 114*y + 148*y = -138*y + 17200. Suppose -122 = -3*l + j - 2*j, 4*j - 201 = -5*l. Which is smaller: y or l?
l
Let v(d) = -27*d**3 + 3*d - 3. Let k be v(2). Let y(b) = -7*b**2 - 168*b - 37. Let n be y(-25). Is k greater than n?
False
Let r be (-295)/51 - 160/(-32). Let g = -484/357 - r. Which is smaller: g or -31?
-31
Let d be (0 + -2)/((-62)/(-3)). Let w(r) = -r**3 + 6*r**2 - 11*r + 14. Let v be w(4). Suppose 0 = -3*j + 2*j - p - 5, v*p + 8 = 0. Which is smaller: j or d?
j
Suppose -u + 0*u + 3*o - 134 = 0, u = o - 124. Let n = u - -118. Which is bigger: -91 or n?
n
Let d = 2883/11468 - 4/2867. Is 591 at least as big as d?
True
Let u = -38.2 - -22.3. Let c = u - 15.1. Which is smaller: c or -1?
c
Suppose -19*j - 211 = 340. Let w be ((-1)/(-3))/(3/36). Suppose -h = 2*l + 58, l + h = -w*l - 142. Is j >= l?
False
Let a = -48/5 - -1761/185. Suppose -3*p + 29 = -5*n, -p + 3 = -0. Let d be n - 12/(4/(-1)). Is d >= a?
False
Suppose 157*c - a = 161*c - 101, a = -c + 26. Let j be -2 + -1 - -32 - 2. Is j bigger than c?
True
Let p be 1807/(-590) - (49/35 + -1)*-2. Which is smaller: p or -2?
p
Let k(z) = z**2 + 5*z - 8. Let y be k(-4). Let f be 3 + (-28)/y + (-2)/6. Is f at least 42/11?
True
Let v = 0.276 + -0.507. Let g = 64 - 63.969. Let t = v + g. Is t smaller than -4/11?
False
Let s be 9/2*(-22)/33. Let q be 6/3*(s + (-54)/(-12)). Which is greater: q or 3/2?
q
Let v be (-2)/6 + 1840/1380. Which is bigger: v or -2/459?
v
Suppose 12 = -2*h + 3*p - 11, -16 = 4*h + 4*p. Let v = h + 42. Suppose -f + 43 = -3*j - 14, -10*f + 374 = -2*j. Are v and f equal?
False
Suppose -q + 8 = 3*t, -4*q = -4*t + 29 + 3. Let l be t/(-7) - 9018/(-11151). Which is smaller: 0 or l?
0
Suppose 27*i = 13*i - 14. Let l be ((-1120)/(-36))/i + (-3)/(-27). Let s be (-1 - 0) + -31 + 0. Which is greater: l or s?
l
Let u be -7 - ((-6364)/(-236) - -8)/(-5). Is u not equal to 0?
True
Let h be (-7728)/(-3756) + -1 + -1. Are 1 and h non-equal?
True
Suppose f + 0 = -1. Let b be 2*f - (-1 - 2). Let n = 1048/13455 - 1/1035. Is n equal to b?
False
Suppose -149*n = -134*n - 5925. Which is smaller: n or 396?
n
Let n be (-123)/(-9) - 13 - 1. Is -52 smaller than n?
True
Let b = 2498 + -2525. Is b not equal to -113/4?
True
Let k be ((-18 + 9)/9)/((-4)/(-916)). Is -232 at most as big as k?
True
Let r = -688 - -1318. Suppose -r = 2*u - 20*u. Is u less than 33?
False
Suppose -3*s + 3*o = 1158, -2*s - 27*o = -19*o + 742. Is s >= -385?
True
Suppose v + 5 = 0, z + v - 5 = -13. Let a be (134/335*(-1)/4)/(8/130). Which is smaller: z or a?
z
Let t(c) be the first derivative of c**4/4 - 7*c**3/3 + 5*c**2/2 - 44*c + 132. Let v be t(6). Is -51 < v?
True
Let r = 138765 + -138762. Let o = -395 + 1591/4. Is r greater than or equal to o?
True
Suppose -y + 25 = 4*y. Suppose -36 = y*r + 9. Let f = -8 - r. Is -4/17 < f?
True
Let b = -16 - -71. Let k be 0 - (9/(-11) + (-10)/b). Let h = -268 - -4572/17. Which is smaller: h or k?
h
Suppose 2*k + k - 3 = 0. Let q = 22597 + -22607. Which is smaller: k or q?
q
Suppose 43*k = -5