4)/(-18)). Does c = y?
True
Let f = 116 + -67. Suppose 16*u - f = 31. Let w be -5*(1 + 9/(-5)). Which is smaller: w or u?
w
Let l(p) be the second derivative of p**3/3 - 15*p**2 + 12*p. Let h be l(15). Let t = 4/3 + -31/21. Are t and h equal?
False
Let u = 1661 + -1385. Is u not equal to 276?
False
Suppose 0 = -5*o + 669 - 754. Is o less than or equal to -49/3?
True
Let a = -47 + 85. Let i = a + -30. Is -0.1 less than i?
True
Let w = 95908/345 + -278. Is 0 != w?
True
Let k = -1193 + 1192. Let a = -0.68 + -0.02. Is k greater than a?
False
Let n(v) = v**2 - 2*v + 1. Let j be n(2). Suppose 0 = 24*a - 21*a - 51. Let k = a + -52/3. Which is smaller: j or k?
k
Let q = -436 + 434. Are q and -24/11 equal?
False
Suppose -11*x = 5*x - 4*x. Suppose 43*m - 39*m + 20 = x. Is -5 less than or equal to m?
True
Let s = 34 + -32. Let x be (-2 - (-2)/s) + (-536)/(-552). Is x at least 0?
False
Let u = 744 - 1064. Let f be (-1)/2*u/(-8). Is -18 < f?
False
Let l be ((-2)/(-9))/(2/522). Is -6 at most l?
True
Let s(j) = j**3 + 2*j**2 - 6*j - 6. Let l be s(-3). Suppose -6*y + 11*y = 3*c - 75, l*y + 45 = 3*c. Is y < -1/4?
True
Let z = 2 - 3. Let u = 0 - z. Let i = -82152/11 - -7468. Which is smaller: u or i?
i
Let p = 41.99 - 0.99. Let x = p - 46. Is 1/6 smaller than x?
False
Let r = -0.482 - 173.518. Is r at least as big as -0.1?
False
Let d(p) = -p**3 - 7*p**2 + 3*p + 14. Let v(h) = 3*h**3 + 20*h**2 - 10*h - 41. Let m(y) = -11*d(y) - 4*v(y). Let i be m(-3). Are i and -67/6 unequal?
True
Let b = -521 - -522. Let o = -3089217 + 6512069735/2108. Let r = 3/124 - o. Which is bigger: b or r?
b
Let z = 1/539 + -1622/2695. Let d = 6 + -8. Let l be 1*d + -2 + 2. Is l less than z?
True
Suppose 0 = -g + 3*g + 6. Let n be 4*g*20/(-15). Let t = n - 12. Which is bigger: 3 or t?
t
Let q = -1066 - -1077. Do 4 and q have the same value?
False
Suppose -1403*l + 1396*l = -4382. Which is greater: 625 or l?
l
Let a(l) = 13*l**2 + 3. Let v be a(-3). Let r be -28*(2 + (-249)/v). Let d = r + -3/5. Which is smaller: d or 3?
d
Suppose -s + 6*s = 0. Let w be (-12)/(-2) - ((-4693)/(-312) + -9). Is w at most as big as s?
True
Suppose 0 = -93*c + 86*c - 2625. Is c at least -376?
True
Suppose -5 = z - 4, 2*w = -2*w + 3*z + 7. Let d = 1.06 - 45.06. Let y = d - -26. Is y at least w?
False
Let j = 522 + -557.1. Let o = 35 + j. Which is smaller: o or -1/2?
-1/2
Let s = 0.02 - -2.98. Let o = s + -2. Let i = -42 + 128/3. Is i <= o?
True
Let s = -10.7 - -10.8. Is -114 > s?
False
Let b(f) = 14*f - 14. Let x be b(-2). Let l = -7 - -5. Let u be l*2 - x/27. Which is smaller: -1 or u?
u
Let c(m) = -m**3 + 19*m**2 - 14*m - 13. Let z be c(19). Which is greater: -278 or z?
-278
Let h = -543 + 1631/3. Is h < -10.9?
False
Let y = 0.088 - 41.488. Let u = -41 - y. Is u < -2?
False
Suppose -2*l = 2*l - k, -3*l - 2*k = 0. Suppose l = -0*p - 3*p. Which is bigger: p or -2/89?
p
Let l = -0.5 + 5.5. Let m be 2/8*136/44 + -1. Let s = m + -1/44. Is l less than s?
False
Let a = -0.084 - -105.084. Are a and -7 nonequal?
True
Let m = 0.063 - 3.563. Let p = m + -9.5. Which is smaller: -3 or p?
p
Let x be (-2)/(-7) - (-744)/(-56). Let b = x + -3. Suppose -40 - 40 = 5*z. Is b greater than z?
False
Let p = -123449 - -874074/7. Let d = p - 1421. Let h = -6 + 4. Which is bigger: d or h?
h
Let g(y) = 6*y - 63. Let z be g(10). Let i be 49/6 - 1/(-18)*z. Do i and 8 have different values?
False
Let o = 2.95 - -0.05. Let c = -78.8 + 78.7. Which is smaller: o or c?
c
Suppose s = 4*s + 27. Let n be -6 + (0 - -1) + 16 + -18. Is n greater than or equal to s?
True
Let g = 14.99 - 15.2. Which is greater: -0.3 or g?
g
Let p = 13 - 8. Let v be (8 - p) + (-11)/3. Let h = -75/2 + 297/8. Which is bigger: v or h?
h
Suppose 20 = -5*u, -2*b + u = -6*b. Which is bigger: -2/549 or b?
b
Let r be 3*5/15*3. Suppose -7*p + r*p = g + 32, -p = -5*g - 13. Let i = 0 - 8. Is i equal to p?
False
Let d = 0.2011 + -0.2261. Do 0.5 and d have different values?
True
Let k(y) = -2*y + 5. Let w be k(7). Suppose -15 = -3*i + i - 5*n, -n = -4*i + 41. Let x = -20 + i. Which is bigger: w or x?
w
Let k = 0.054 - -0.046. Let l = 0.2 + -8.2. Let s = 3 + l. Which is bigger: k or s?
k
Let j = -298 + 296.945. Let k = j + 0.055. Is -0.2 != k?
True
Suppose -t = 2*z - 5, t + 4*z - 9 = 4. Let u be 1*t + (3 - -20). Is u equal to 20?
True
Let o(g) = -g**3 + 4*g**2 + g - 1. Let m be o(4). Let a = -57 - -59. Suppose -5*s + m = -a. Which is smaller: s or 1/14?
1/14
Suppose -2*x + 5*d + 1 = -x, -x - 2*d = 6. Let p be (112/(-42))/(10/12). Which is greater: x or p?
p
Let f be 21/2*(-102)/119*14. Which is smaller: -2 or f?
f
Suppose 2*c + 5 - 17 = 0. Let j(f) = 8*f + 0*f - c*f + 3. Let u be j(-2). Which is smaller: 15 or u?
u
Suppose -4*n + l = 32, -n + 33 = -4*n + 3*l. Let i = 8 + n. Are i and -3/7 nonequal?
True
Let z be -1 + 5 - (3 + -1). Suppose -6*j + 20 = -z*j, 5*o - j = 0. Which is greater: -2/117 or o?
o
Let w = 15 - 6. Let m(x) = -2 + x + 2*x - 4*x. Let f be m(w). Is -12 <= f?
True
Let u = 1512 + -178417/118. Which is smaller: 0 or u?
u
Suppose -4*i - 4 = 0, -2*p - 4*i + 3*i - 15 = 0. Let n = -19 + 13. Is n > p?
True
Let w be 64/28 + (-2)/7. Let c = -2 + w. Let p be -1 + (-24)/(-9) - 180/324. Which is greater: c or p?
p
Let v be (-518)/(-35) - (-3)/15. Let b = 6 - v. Are -7 and b non-equal?
True
Let t = -143 - -110. Suppose 5*v = 2*a - 165, 3*v - 2*a = -30 - 69. Is v bigger than t?
False
Let q = 97/68 - 20/17. Suppose -5*u = -4*l - 70, 3*u = 2*l + 23 + 21. Suppose 2*h + 6*x + u = x, -5*h - 5*x = 15. Does h = q?
False
Let j(l) = l**3 + 7*l**2 - 13*l + 5. Let h be j(4). Is 131 greater than h?
True
Let l = 4588 - 32129/7. Let b = -1 + 0. Which is smaller: l or b?
l
Let p(h) = 5 - 17 + 11*h + 2 + 1 + 13*h**2 + h**3. Let g be p(-12). Suppose -32 = 5*s - g*n + 6*n, 39 = -5*s + 4*n. Which is bigger: s or -6?
-6
Let c(u) be the first derivative of u**2 - 8*u + 3. Let y be c(7). Let h = 9 - y. Is 3 != h?
False
Let d = 8430 - 2722888/323. Are 1 and d equal?
False
Let k(o) = 2*o - 32. Let r be k(16). Suppose 2*c - 5*c - 3*x = -54, -4*c - 5*x + 71 = r. Does c = 21?
False
Suppose -2*a - s + 1 = -4*a, 3*a + 5 = 5*s. Let p(o) = -o + 7*o + a*o**2 + 2 - o**2 - 3. Let h be p(6). Is -1/35 less than or equal to h?
False
Let g = 628 - 627.9. Let z be (42/9 + 0)*2. Is g <= z?
True
Let q be (-12)/(-21) - 69025/1050. Which is greater: q or -64?
-64
Suppose 3*r = 3, 2*d + 0 = 5*r - 9. Let p(f) = -f**2 - 4*f. Let h be p(-4). Let a(g) = g**2 + 3*g - 2. Let x be a(h). Is d < x?
False
Let j = -105.1 - -104.1. Which is smaller: j or 0.199?
j
Let x = -0.15 - 1.05. Suppose -5*m = 4*c + 23, -3*m - 16 = 5*c - m. Let w = c + 3. Which is smaller: x or w?
x
Let j = -2694 - -29672/11. Is 4 at least j?
True
Let r be 2/4 + -10 + 286/33. Let s = -7 - -5. Which is greater: s or r?
r
Let v(h) = 2*h**3 + 9*h**2 + 6*h + 1. Let g be v(-6). Let m be 1/(-4) + g/(-44). Suppose -i - 2*t - 6 = -3, -6 = -m*i - t. Is 8/5 <= i?
True
Let v = 20 + -17. Suppose -m + 13 = -v*c + m, 15 = -5*c + 5*m. Is -5 at least as big as c?
True
Suppose -3*t + 6 = -t. Let q(a) = a**2 + 3*a - 10. Let n be q(t). Suppose 5*z = z + n. Which is bigger: z or -2?
z
Let o = -413 - -239. Is -1 greater than o?
True
Let l = -499 - -456. Do 6 and l have different values?
True
Let o(x) be the second derivative of -x**5/20 - x**4/12 + x**2/2 - 8*x. Let c be o(-1). Which is bigger: -15 or c?
c
Suppose -3*r + 4*f = -34, r + 9 = -5*f - 5. Let z be ((-4)/48)/(r/27). Which is greater: 1 or z?
1
Let n = 1 - 1. Suppose -114 = -4*c - 118. Let b be ((-3)/(-36)*3)/c. Is n at least b?
True
Let p(s) = -3*s**2 + 12*s - 46. Let u be p(7). Which is smaller: -3 or u?
u
Let m be (-24)/(-14)*-21*253/(-66). Which is smaller: 1240/9 or m?
1240/9
Let i be -4 - (-72)/9 - 22. Is -43 less than or equal to i?
True
Let o = -740 + 6662/9. Is -4/9 smaller than o?
True
Let o be 0/((2 - 3)*2). Let i = -37 - -19. Let c be 2 - (1 + i/(-14)). Is c equal to o?
False
Let n(c) = -31*c - 57. Let a be n(6). Is -242 greater than a?
True
Let r = -5 + 9. Suppose 3*f - 21 = 3*q, 2*q + r = -0*q. Let s = 4234/5 - 843. Which is smaller: s or f?
s
Let x = 21/2 - 10. Which is smaller: 175 or x?
x
Let s = -65 - -46. Let m be 20/2 + 1 + (-17 - s). Let g be 4/14 - 267/(-21). Is m less than or equal to g?
True
Let