) be the third derivative of -1/3*l**3 - l**2 + 0 + 0*l - 11/12*l**4. Let h be d(1). Is h at least -23?
False
Let v = 18.1 + 4.9. Let n = v + -14. Let f = n + -9. Which is bigger: -1 or f?
f
Let z = -218.9 - -219. Are 3.2 and z equal?
False
Suppose -67 = -5*t - 3*c, 0 = 5*t - 5*c - 37 - 38. Let d(y) = y**3 - 14*y**2 - y + 16. Let h be d(t). Which is smaller: 4 or h?
h
Let l = 148/345 - 2/69. Let p(z) = -z - 7*z - 19 + 4*z + 2*z. Let o be p(-10). Does o = l?
False
Let d = -32 + 29. Let m be (-12)/d + -1 + -4. Which is bigger: m or 1/24?
1/24
Let g = 10340014/445 - 23236. Which is smaller: g or -1?
-1
Let b(d) = -d + 27. Let i = 11 - 13. Let y be i*8*(-3 - -2). Let o be b(y). Is -0.2 greater than o?
False
Suppose -30*w + 850 = -5*a - 28*w, 2*a + 311 = -5*w. Is a greater than -168?
False
Let s be 10*(-5)/780*4. Are -1 and s non-equal?
True
Let t = -88.59 - -88. Let l = 6556 + -6528.41. Let c = t + l. Which is greater: c or 2/5?
c
Let c = -114 + 115. Let o = -0.2 + 0. Let x = o - -0.8. Which is smaller: c or x?
x
Let n = -184 - -2019/11. Which is bigger: 2 or n?
2
Let q = 4 + -5. Let f be (1 - -2) + q + 1. Suppose 5*i = -4*n + 25, -5*i = -f*n - n + 15. Is -3/5 < i?
True
Let f = 954 + -1609. Is f equal to -656?
False
Suppose 0 = 10*j - 162 - 38. Is j at least 20?
True
Let r(z) = z**3 - 4*z**2 + 3*z. Let d be r(2). Let s(a) = a + 4. Let u be s(d). Suppose 0 = -4*p + u*p. Do p and 1/5 have different values?
True
Let o be (((-7)/(-126))/1)/(2/42). Which is smaller: 1 or o?
1
Let b be 1/5 - (4 - (-10516)/(-2695)). Which is greater: b or 1?
1
Suppose 0 = 62*r - 73*r - 5808. Which is smaller: r or -530?
-530
Let p = 55 + -51. Let z be p/(-3)*(-3 - 0). Which is smaller: z or -3/5?
-3/5
Let o = -20 + 20. Which is smaller: -1/62 or o?
-1/62
Suppose 369 = -3*l + 3*d, 0 = -l - d + 15 - 130. Let h = 118 + l. Let f = -59/2 + 29. Which is greater: f or h?
f
Let b be 1/(((-4)/(-82))/(-8 + -2)). Let d be b/110 - 6/(-3). Is d >= 0?
True
Suppose 63*j - 47*j = 352. Are j and -1 nonequal?
True
Let x be (-187)/34*(10 - 2). Does -0.2 = x?
False
Suppose 3*o = 2*o - 3*u - 8, -3*o + 4*u - 24 = 0. Let m be 3 - o*3/(-6). Is 14/13 at most m?
False
Let l(p) = 3*p + 29. Suppose -3*c = 26 + 1. Let k be l(c). Which is smaller: k or 11?
k
Let y(j) = 9*j - 29. Let i be y(19). Suppose 2*n + 4*k + 70 = 0, -6*n + k = -n + i. Is -29 bigger than n?
False
Let v = -1.026 + 0.026. Is 31 less than or equal to v?
False
Let x be (-139*1)/((-2)/(-10)). Let w = x - -2062/3. Is -7 <= w?
False
Let m = -961/9 + 107. Let a = 108 - 537/5. Is m <= a?
True
Let q be (-50)/30*120/85. Is q at least as big as -1?
False
Suppose 0 = -3*j + 3*q + 9, 0 = 5*q - 5. Suppose -2*t = -2*z + 6, 0 = 2*z + 2*t - 16 + 2. Let l = 0 + z. Is j < l?
True
Let k = 228 - 230. Is k > -38/13?
True
Let p be (204/207 + -1)/(2/(-84)). Is 0 bigger than p?
False
Let j = -387 - -127. Let h be 134/(-26) + (-40)/j. Which is bigger: h or -6?
h
Let s = 32 - 103/3. Let l(k) = 2*k. Let n be l(2). Suppose 2*u = n*u + 5*b - 11, -3*u + 2*b - 12 = 0. Which is smaller: s or u?
s
Suppose 19 - 25 = -6*f. Is 2/67 at least as big as f?
False
Let z be 32/144 + (-680)/387. Which is greater: z or -1?
-1
Suppose 8*i + 19 = 11. Which is smaller: i or 9/101?
i
Let d be 7/12 - 1/3. Let n = -6.9954 - 0.0046. Is n at most d?
True
Let g = -3.8 - -8.8. Let y = -3 + g. Suppose 0*r = r. Which is greater: y or r?
y
Let c be 0/(-1) + 12/(-1600)*2. Which is smaller: c or 0?
c
Let f = -11 - -5. Let k(x) = -x**2 - 5*x + 5. Let t be k(f). Let l = 1 - 1. Which is smaller: l or t?
t
Let z be (10/(-2) + 2)*-3. Let j be ((-24)/20)/(z/30). Let f = j + -1. Is -4 greater than f?
True
Let o = 8.09 + -8. Let z = 0.79 - o. Let f = 0.6 - z. Which is bigger: 0.4 or f?
0.4
Let t be 2*(3/2 + -2). Let a = 16843/21 + -802. Which is smaller: a or t?
t
Let z = 1.3 + 5.7. Let u = -244.04 - -251. Let b = u - z. Is b smaller than -0.1?
False
Let l = 870 - 871. Which is greater: l or -2/169?
-2/169
Let z(f) = -f**3 - 11*f**2 - 12*f + 10. Let v be z(-9). Suppose -3*d = -d - 2*w + 90, -2*d + 4*w = 94. Is v >= d?
False
Let h = 561 + -561. Let o(c) = -16 + 0*c - 3*c + 2*c. Let s be o(h). Which is greater: s or -17?
s
Suppose 4*h - 3 - 5 = -t, 5*h + 5*t - 25 = 0. Let b(q) = 11*q**3 + q**2 - q - 1. Let j be b(h). Is 9 at least j?
False
Let l be 46*3/(-6)*-1. Let u = l - -6. Suppose 2*s + 2*y = -30, 3*s = -0*y + y - u. Is -10 smaller than s?
False
Let c = 0.01 - 6.01. Let t = -6.1 - c. Let x = t + 1.1. Which is smaller: 2 or x?
x
Let j = 288 - 292. Let r = -14 + 10. Does j = r?
True
Let j = -0.365 + 0.265. Let y = 5 + -5.1. Let s = j - y. Is s greater than -3/5?
True
Suppose -n - 4*o = -13, 4*n - 6*o + 5 = -3*o. Suppose 0*b + 2*b = -2, -4*d = 5*b + n. Let l(g) = 4*g + 2. Let j be l(d). Which is greater: j or 8?
8
Suppose 0 = k - 4*k - 12. Let x be (k - 0) + 1 + 1. Let p = -2568 - -2566. Is x >= p?
True
Suppose -4*n = 9 + 3, -v - n = 33. Let t be (4/20)/(v/(-4)). Do 1 and t have different values?
True
Let h = 2/43 - -33/215. Which is smaller: 2/9 or h?
h
Let p be 62 + (-4)/(-16)*40. Are p and 64 unequal?
True
Let s(p) = p**3 + 9*p**2 + 9*p - 9. Let b be s(-7). Let c = 32 - b. Let u = 10 + -3. Which is bigger: c or u?
u
Let x(b) = -2*b**2 + 3*b + 7. Let l(j) = -j**2 + 2*j + 3. Let v(g) = 13*l(g) - 6*x(g). Let s be v(5). Is s at least 13?
False
Suppose 2*a + 0*a + 5*i = 2, 10 = -5*i. Suppose -5*p + 8 = -a*p. Is -4 >= p?
True
Suppose 0 = -20*h + 24*h - 12. Let t be (-1 + h + 2)*(-1)/(-4). Is -2/21 greater than or equal to t?
False
Let d(a) = a**3 - 8*a**2 - 2*a + 16. Let z be d(8). Which is smaller: -3/104 or z?
-3/104
Let s = -2665 + 3799. Do 1134 and s have the same value?
True
Suppose 3*q - 6 = 2*q + 3*d, -18 = -q - 3*d. Which is smaller: q or 16?
q
Let u be (25/(-450)*42)/(2/6) - -13. Let r(s) = s**3 - 6*s**2 + 6*s + 6. Let x be r(5). Suppose -x = -2*l + 1. Is u at most l?
True
Suppose -2*p - 3*y = -10, 5*p - 3*y - 34 = 3*p. Let i = -7 + p. Suppose 4 = -i*d + 8. Are d and 0 equal?
False
Let s be ((-1)/(-12))/(147/(-196)). Which is smaller: -0.014 or s?
s
Let y = 31 + -25. Suppose 14 = -y*b - 22. Let s be ((-2)/b)/((-26)/(-12)). Which is bigger: s or -1?
s
Suppose -20 = 5*v - 3*q, -2*v - 3*q = -16 + 24. Which is smaller: -19 or v?
-19
Let w = 43 - 29. Let t(j) = -j + 8. Let p be t(w). Let r be 20/p*(-18)/10. Which is smaller: r or 4?
4
Let m be (-5)/(-21) + 4/(-6). Let l = -16 - -14. Let p be l/10 - 6/(-30). Which is smaller: m or p?
m
Suppose 7*d - 3*d + 96 = 0. Let m be -2 + (-2)/3 + d/(-9). Let t = -2/467 - -1012/18213. Do m and t have the same value?
False
Let s(x) = x - 8. Let o be s(8). Let n = o + 4. Suppose -5*h - 5*v + 20 - 45 = 0, -2 = n*h - 2*v. Which is smaller: h or -3?
-3
Let d = -249 - -250. Is 1 >= d?
True
Suppose -5*b + 5*c - 6*c = 10, c = 2*b + 4. Let t = -251/324 - -2/81. Which is smaller: t or b?
b
Let p = -240 - -247. Which is bigger: p or -20?
p
Suppose 5*v = 2*v + 9. Let j be (-9)/v*-3*(-3)/27. Do j and -8/11 have the same value?
False
Let l be 4*12/(-16) - 173/(-2). Is 85 < l?
False
Let a(s) = s**2 - 5*s. Let g be a(2). Let p = 10 - 6. Do p and g have the same value?
False
Let w be (-97)/2 - ((-221)/26 - -11). Are -45 and w nonequal?
True
Let l(j) be the first derivative of 5*j**2 + 48*j - 16. Let n be l(-6). Which is bigger: -25/2 or n?
n
Let t be (0 - 5) + 2 - -2. Let l be (-4)/2 - (-14)/(t + 8). Which is smaller: l or -3?
-3
Let a = -160 - -135. Which is smaller: 2 or a?
a
Let p be (-8)/10*95/(-2). Let s = 22 - p. Let w = -18 - s. Which is smaller: -6/5 or w?
w
Let m = -0.9 + 0.8. Let c = 1269.68 - 1270. Do m and c have the same value?
False
Suppose -3*x - 7*p + 11 = -2*p, -6 = -2*x - 4*p. Let d = x - 19. Which is greater: -13 or d?
d
Let j = -429/472 + 2/59. Let m be (2/(-3))/((-6)/(-9)). Which is smaller: j or m?
m
Suppose -5*z = 2*p - 20, z - 35 - 1 = -2*p. Which is smaller: 6 or p?
6
Let n(w) = -w**2 - 7*w + 11. Let i be n(-8). Suppose 11 + 1 = i*h. Suppose -h = -0*s - s. Which is greater: -1 or s?
s
Let a = -4.29 - -0.29. Is -1/25 less than a?
False
Let i = 1081/4 + -270. Let b = -22 + 31. Which is greater: i or b?
b
Let f = 122 + -143. Is -12 equal to f?
False
Let y(l) = -l**2 - 5*l - 3. Let m be y(-4). Let t be (-3)/((-3)/5) + (-48)/16. Let k be ((-3)/60)/1*