
Let y(v) be the first derivative of v**3/3 - 2*v**2 - 121*v - 120. Let d be y(-8). Which is smaller: d or -5?
d
Let i(c) = c**2 - 6*c - 13. Let a be i(-2). Suppose j = a*l + 38, -101 = -4*j + j - 4*l. Is j <= 34?
False
Let x = 252.199 + -2.131. Let c = 250 - x. Is c <= -1?
False
Suppose -19 = -j + 5*h - 446, -3*h - 395 = j. Let b = j - -388. Does b = -107/6?
False
Let l = -6/353 + -10512/4589. Let z = 202/65 + l. Let s = -3 - -5. Is z bigger than s?
False
Let t = -3/157 + -215/5181. Let x = -291 + 865. Let h = 574 - x. Which is smaller: h or t?
t
Let x be (-2)/(2/(-8)*(-2 - -4)). Let v be (x/(-12))/(-4 - (-285)/(-20)). Let w = v - -625/1752. Which is smaller: w or 4?
w
Suppose 63 = 80*q - 71*q. Suppose 5*u - 707 = -4*d, 2*u - d + 713 = q*u. Which is smaller: u or 144?
u
Let z = 3/7 - 26/77. Let x(f) = f**3 - 2*f**2 - 100*f - 10. Let u be x(-9). Which is smaller: z or u?
u
Let t = -57 - 5212. Is t less than -5269?
False
Suppose -3*v = -920 + 2582. Let u = -609 - v. Are -57 and u nonequal?
True
Suppose 16*l - 14*l + 646 = 0. Let w = l - -322. Is w greater than 7?
False
Suppose 16*t - 18*t + 28 = 0. Let m be 112/(-6) + 430/(-30) + t. Suppose n - 4*f + 24 = f, -3*f = -n - 22. Is n > m?
False
Suppose -5*q - 4 - 1 = 0, 0 = 3*k + 2*q + 1166. Let g = k + 324. Is -65 >= g?
False
Suppose 5*v - v + 5*d - 49 = 0, 5*d - 65 = -5*v. Let n be (-54)/12*v/(-36). Let q be 292/130 - 4/10. Is q bigger than n?
False
Suppose 4*y = -2*n, 5*n - 2 - 13 = -5*y. Let x be 62 + 2/(n - 4). Suppose -4*w - x = -2*m - 17, 9 = m + 5*w. Is 19 less than or equal to m?
True
Let v = -1.9 + 1.778. Let b = v + 1.122. Is 1/14 greater than or equal to b?
False
Let y = 771 + -769. Let p = -600269/34 - -17658. Let u = 2221/374 - p. Is u less than y?
False
Let h = 16 + -8. Suppose 4*u - h*j + 3*j - 272 = 0, 5*j = 2*u - 136. Is u at most as big as 68?
True
Suppose -4447 = 47*s - 74*s - 21349. Is -628 greater than or equal to s?
False
Let d = -70 + 175. Suppose d*y - 91*y - 574 = 0. Which is greater: y or 39?
y
Let o be (3 + (-231)/(-6))/212*6. Let h = o - -4/53. Are 7/2 and h unequal?
True
Let h be (-498)/42 - -11 - (-5380)/4872. Which is smaller: h or 0?
0
Let d(j) = -j**2 - 4*j - 5. Let x be d(-4). Let f be 6 + -20 + 2 + (2 - 0). Let y be (-4 - 1)*f*(-27)/243. Is y != x?
True
Let m(t) = -26*t - 3. Let s(q) = 78*q + 10. Let v(y) = 7*m(y) + 2*s(y). Let k be v(-5). Let o be (-2 - 9/(-4)) + k/(-4). Is -31 at least o?
True
Let u be -25 - 90688/(-3720) - 3/(-5). Is u at least as big as -2/21?
True
Let m be 10/(-2925)*(-50)/(-8). Let u = m - -19771/5382. Which is smaller: 5 or u?
u
Let n(f) = f**2 - 15*f + 48. Let m be n(10). Let s = -55/3 + 19. Which is smaller: m or s?
m
Let b be (-2)/3*-9*52/(-24). Let d(z) = -9*z**2 + 16*z - 41. Let i(x) = 5*x**2 - 8*x + 20. Let k(n) = 6*d(n) + 11*i(n). Let j be k(b). Is j smaller than 39?
False
Let l = -3510 + 14115/4. Let b = l - 215/12. Let g be (5/(-10))/(1/(-2)). Do g and b have the same value?
False
Let y = -3702 + 2853. Which is smaller: y or -22?
y
Let j be (-3)/12*-12 + (-10)/4. Suppose 6*m = m - 20. Let a be (m/(-50))/((-30)/50). Which is greater: a or j?
j
Let z(p) = p**3 - 6*p**2 - 6*p - 8. Let s(k) = 2*k**2 - 4*k + 1. Let l be s(-1). Let n be z(l). Let g = 8/43 - 219/946. Is g equal to n?
False
Suppose -8*v + 39 = -1. Suppose v*o = 4*t + 113 - 2, -16 = 4*t. Is 28 bigger than o?
True
Let n = 23 + -15. Suppose -1 = -b, 0 = -2*l - 4*b + n*b + 100. Let f be 21/28*4 + (48 - -1). Is f >= l?
True
Suppose -1239*w + 38256 = 9587 - 18413. Let i be (-168)/(-2)*1/2. Which is greater: i or w?
i
Let z(x) = 8*x + 1. Let j(r) = 7*r + 1. Let w(p) = 6*j(p) - 5*z(p). Let c be w(1). Suppose -a - c + 2 = 0. Which is smaller: -3 or a?
-3
Let j be (1421 + 6)/((52 + -53)*(0 - 1)). Are j and 1427 non-equal?
False
Let q be (31/(-3) - -10)/(2/(-84)). Which is greater: 32 or q?
32
Suppose -5*r = -4*w - 4598, -114*r + 112*r = -w - 1844. Is r smaller than 927?
True
Let w be (1/(-10))/(2/(-545)). Let r(x) = -1212*x + 55778. Let n be r(46). Which is greater: w or n?
w
Let u be 44/30*(-1 - 38). Suppose 2954 = -49*v + 112. Are v and u equal?
False
Let g = -1367 - 1436. Which is smaller: -2802 or g?
g
Suppose -16 = 3*q + 20. Let s(f) = -f**2 + 12*f + 54. Let d be s(11). Suppose -9*v + 4*v - d = 0. Which is smaller: q or v?
v
Let a be 6 + -17 + (-124155)/(-11280). Which is smaller: a or -1?
-1
Let y = -75897/470 - -323/2. Which is smaller: y or -1?
-1
Let i = 596 + -603.45. Let r = 10.45 + i. Let w = 3.7 - 4. Is w < r?
True
Let g be (10*1/25)/((-8)/10). Let a be 6356/(-20) + 2/10. Let n = a - -315. Which is smaller: g or n?
n
Let m = -127942 + 3009579668/23523. Does m = 0?
False
Suppose -68*z = -193*z - 166*z - 57909. Let s = -314 - -115. Do s and z have different values?
False
Let x(f) = -f**3 + 25*f**2 + 101*f - 508. Let b be x(26). Is b greater than or equal to 1443?
False
Let h = 215085/7 + -30720. Let f be (-53)/(-11) + 10/55. Which is smaller: f or h?
f
Let x be -2 + ((-798183)/(-276) - -6). Let t = x + -2896. Do 1 and t have the same value?
False
Let m = 13922 + -17909. Which is greater: -3984 or m?
-3984
Let x(s) = -s**3 + 73*s**2 - 217*s + 394. Let i be x(70). Which is greater: i or -1846/19?
i
Let q = 824 - 807. Suppose -4*c - q = 35. Which is smaller: c or -99/8?
c
Let c = 25258 - 25257. Is -12/1043 < c?
True
Suppose -234 = -r + 2*p, -31*r + 5*p = -27*r - 927. Suppose -380*v = -386*v - r. Which is bigger: -37 or v?
-37
Let l = 1.508 + -2.508. Let y = 87.927 - -0.073. Is y != l?
True
Let x = 701 + -632. Is -1 <= x?
True
Let u = -19435 - -4372877/225. Is u >= 48?
False
Let v = -2.797 - -1.207. Let a = 0.8 - 2.3. Let q = v - a. Which is bigger: q or -3?
q
Let v be (-10)/(-9)*18/15. Let t(b) = -19 - 5*b**2 + 5 + 11 + 26*b. Let n be t(5). Does v = n?
False
Suppose -3*s = 7*s - 30. Suppose 0 = -s*r - 5*x - 3, -4*x = 0. Let i be (-1008)/4214 - (2/7)/r. Is -1 smaller than i?
True
Let r be 0/((-24)/(14 - 26)). Is r less than -167?
False
Suppose 0 = -3*i - 2*p + 9, i + 3*i + 4*p = 16. Suppose 2*r + 1 = -i. Let k be ((-13 - -2) + 1)/((-42)/2). Is k at least r?
True
Let j be (49 + 1)/(22/(-33)). Let g = -90 + 16. Do g and j have the same value?
False
Suppose -5*g + 5*x - 37 = -7*g, -13 = -3*g + x. Suppose 14 = -5*i - g. Are 4 and i non-equal?
True
Suppose 0 = -8590*g + 8596*g + 6. Which is greater: g or -2/6771?
-2/6771
Let o(z) = 2473*z + 1504. Let b be o(-1). Which is greater: -972 or b?
b
Suppose 0 = 3*s - 3*r + 123, 2*s + 2*r = r - 82. Let m = 44/39 - 8254/195. Which is bigger: s or m?
s
Suppose 11*r + 8254 - 20475 = 0. Which is greater: r or 1112?
1112
Let p = 3241/12932 + -2/3233. Let x = 18 - 0. Suppose -x = -r + 4*r. Is p greater than r?
True
Suppose -3*s = -5*r + 26, 3*r + s = -0*r + 10. Suppose p = 3*w + 22 - 35, 2*w = -r*p + 18. Which is smaller: 29/11 or p?
p
Suppose 0 = -4*y + 2*h + 20, 5*y - 31 = -11*h + 12*h. Suppose y*p + 392 - 1246 = 0. Which is smaller: p or 124?
p
Let v(t) = t**2 + 2*t - 50. Let y be v(-15). Suppose k = -4*s - 155, -k = -0*k + 2*s + y. Is -135 greater than or equal to k?
True
Let u = 0.837 - 0.44. Let b = 0.337 - u. Is b less than or equal to 3?
True
Let x = -10.6 + 11.3. Let m = 0.1 + x. Is m less than 10?
True
Suppose -2*m + 0*m = -c + 65, -3*c + 90 = -3*m. Let k = -6.7 + 6.7. Is m less than or equal to k?
True
Suppose -4*g + 3*b = 6 + 18, 2*g - 5*b = -12. Let a be 3/(-6)*680/70. Is a <= g?
False
Let a(p) = -p**2 + 4*p + 3. Let d be a(4). Suppose -4*l + 3*l + 4*f = 17, -d*l - 2*f = -19. Suppose l*k + 0 = -0. Are 2/37 and k equal?
False
Let m = 3252 + -3253. Which is smaller: m or 7/733?
m
Suppose 0 = 689*a - 690*a + 2*x + 2256, 0 = 4*a + x - 8979. Which is bigger: a or 0.1?
a
Suppose -3*m - 766 = -190. Let k be ((-786)/(-204))/((-2)/m). Let i = k - 370. Which is greater: -1 or i?
i
Let m = 0 - -176. Suppose 5*y + 0*h - 800 = 5*h, -5*h = -y + m. Is 155 equal to y?
False
Let u be 15/(-25) - 447/(-745). Is u greater than or equal to -1/16280?
True
Let i = 22968 + -22974.4. Are 49 and i nonequal?
True
Let k = -9306 + 9307. Which is bigger: -4/1065 or k?
k
Suppose 31 + 42 = 5*j + 3*s, 0 = -j + 5*s + 37. Suppose -28 = -3*l - 4. Which is greater: l or j?
j
Suppose w = 30*m - 28*m + 71, m = w - 65. Are 70 and w non-equal?
True
Let q = 1873085326