r than k?
False
Let t be 0 - (-6)/(-2) - -200. Suppose 0 = 5*r + 4*w + 188, -r + w + t = -6*r. Let p be 3/4 + r/(-32). Which is smaller: p or 1?
1
Let v(y) be the second derivative of -y**4/12 - 5*y**3/6 - y**2/2 - 17*y. Let a be v(-5). Which is greater: -7/9 or a?
-7/9
Let d be (2/(-4))/((-4)/(-344)). Let k = -42 - d. Is 2 bigger than k?
True
Let b be -2 + 22/2 - 4. Suppose 2 = 2*o, -2*f + 4 = -b*f + 4*o. Are -1/10 and f equal?
False
Let k(a) = -a - 3. Let g be (-6)/(-21) + (-174)/21. Let o be k(g). Suppose -2*u + o*w = 13, 4 + 7 = 2*u + 3*w. Is 4/3 >= u?
True
Let j be (-1 + 7)/((-14)/4). Suppose -156*a = -148*a + 16. Which is smaller: a or j?
a
Let i = 0.02 - -0.08. Let x = 0.29 - 23.29. Is x at most as big as i?
True
Let k = -44.16 + 2.96. Let y = -41 - k. Which is bigger: -7/6 or y?
y
Let c = -851/27132 + 10/399. Is 0 smaller than c?
False
Let w = 303 - 907/3. Is -94/7 equal to w?
False
Let i = -0.92 - -1.42. Let v = -0.6 + i. Which is greater: -19 or v?
v
Let o(s) = s**3 + 10*s**2 - s - 8. Let r be o(-10). Let d be 12/219*r/4. Let u = 361/146 + d. Which is bigger: 3 or u?
3
Let x(l) = 64*l + 128. Let s be x(-2). Do 19/53 and s have the same value?
False
Let x(j) = j**2 + j + 1. Let v be x(1). Suppose 0 = -4*m + 4*z - 212, v*z - 44 = m + 3. Is -57 at least m?
False
Let w(v) = -v**3 + 3*v**2 + 12*v - 6. Let i be w(5). Let r be (1 + -4)/6*16. Let j = r + 13. Which is greater: j or i?
j
Let g(s) = -s**3 + 6*s**2 + 5*s + 17. Suppose -5*l + 13 = -f - 20, -5*l + 45 = 5*f. Let i be g(l). Is 0 >= i?
False
Let i = -0.0517 - -0.3517. Which is greater: 4/33 or i?
i
Let m(h) = -h**2 + 16*h - 19. Let b be m(-13). Let q be 6/15 - b/(-15) - 0. Which is greater: q or -25?
-25
Let u = 8.17 + -0.17. Let o = u - 14. Let w = 125 - 623/5. Which is smaller: o or w?
o
Let w be 3/(-12) - (-1466)/5800. Let f = 578485/6 - 838818499/8700. Let o = f + w. Which is smaller: o or -1?
o
Let m be 2 + 0 + 208/12 + -3. Which is smaller: 1/7 or m?
1/7
Suppose 5*a - 3*v = a + 4, a = 4*v - 12. Suppose -m - 3*g = -16, -5*m + 66 - a = -3*g. Is m at least 13?
True
Let d(s) = -7 + 3*s + 7*s**2 + 0 - s**3 + 3*s + 3*s. Let a be d(8). Let j = -6 - -8. Are a and j non-equal?
True
Let c = 37 - -17. Let u = c - 70. Which is smaller: -2 or u?
u
Let i(z) = z + 13. Let v be i(-11). Suppose -j + b = 2 + 3, 3*j + 10 = v*b. Is j <= 0.11?
True
Let u(f) = f - 4. Suppose x - 2*g + 8 = 0, -5*x = -x - 3*g + 7. Let j be u(x). Let z = -0.7 - 0.2. Which is bigger: j or z?
z
Suppose l - 3*o - 2 = 0, l - 3*o - 12 = -2*l. Suppose 0 = l*d - 2*d + 378. Let r be 6/15 + d/(-35). Is r bigger than 4?
False
Let a = -955 + 938. Which is smaller: a or 12?
a
Let q = -0.29 + -0.11. Suppose c - 2 = -3*t, -3*c = t - 7 + 1. Which is smaller: q or c?
q
Suppose 3*a = 2*k - 187, 0 = -k + 2*k - 5*a - 97. Let c = k - 93. Which is smaller: c or -4/13?
c
Suppose 2*m - 5*w + 136 = -91, 0 = 3*m + 4*w + 283. Is -100 less than m?
False
Let d = 34668/5 + -6981. Which is greater: d or -47?
-47
Let p = -19 - -37. Let o = p - 16.1. Is 0 <= o?
True
Let d = 38 + -60. Let f = 3.4 + 21.6. Let z = f + d. Is 1/2 less than or equal to z?
True
Suppose 4*q - 6 = -2. Which is greater: -2/339 or q?
q
Let k = 539 - 401. Is k <= 138?
True
Let j be 14/(-77) - (-16)/44. Is j smaller than -18?
False
Suppose -8*g + 11*g - 825 = r, 5*g - 1374 = 2*r. Which is bigger: g or 278?
278
Let l = 15270776/9 + -1699347. Let b = -2591 - l. Is -2/5 <= b?
True
Let f(b) = b**3 - 3*b**2 + 4*b - 2. Suppose -2 = 5*y + 3*h, -y - 9 = 4*h + 5. Let k be f(y). Suppose x = r, k*r - 6*x + 2*x = -4. Which is bigger: r or 3/5?
r
Let b = -51283/66 + 777. Let f = 31/132 - b. Let k be 2/10*7/(-7). Which is smaller: k or f?
k
Let p be (-3)/(-1)*14/(-6). Let x = -25 + 27. Let z = -2.2 + x. Are z and p non-equal?
True
Let a(g) = -2*g**2 - 15*g - 8. Let x be a(-7). Which is bigger: x or 1/419?
1/419
Let r = 240.1 + -250. Is r less than 1/3?
True
Let k be (-165)/(-1140) + 1/(-4). Let c(a) = a**3 - 10*a**2 - 12*a + 10. Let h be c(11). Is h >= k?
False
Let j = -15.4 + 1.4. Let g = -13.3 - j. Let h = -0.7 + g. Is 4/5 at most h?
False
Let w be (10126/(-183))/(2/24). Are w and -663 equal?
False
Let x = -76.4 - -7.4. Let z = 66 + x. Which is smaller: 0.09 or z?
z
Let q(i) = i**3 - 6*i**2 + 3*i + 6. Let j = 68 + -63. Let y be q(j). Which is smaller: y or 5?
y
Suppose 3*c = -2*m - 28, -m - m = -8. Let y be c/30*140/(-18). Let z = y + -362/99. Which is smaller: -1 or z?
-1
Let d = -38 - -35. Let a be d - (3 - (-1 - 12/(-4))). Let t = -11 + 6. Which is bigger: t or a?
a
Let w(y) = -y**3 - 4*y - 1. Let a be w(0). Is a greater than -3/193?
False
Let l = 19.6 - 20. Let x = 1.8 + l. Let j = -1.2 + x. Is j < -2?
False
Let b = 1111 + -1123. Is -87/8 not equal to b?
True
Let y be (2/4)/((-2)/4). Suppose 7*v = -2*f - 12, 8 = 5*v - 7*v. Is f less than or equal to y?
False
Let p = 5 + -10. Let i(h) = h. Let t be i(-4). Let r be (t - -5)*(0 - 2) - 3. Is p equal to r?
True
Let x = 34 + -30. Suppose -249 + x = 7*n. Is -34 at most n?
False
Let d = 0.037 - 69.037. Which is smaller: d or 2/3?
d
Let a = 3.49 + -3.469. Let k be (2/(-10))/(3/5). Is a not equal to k?
True
Suppose 2 = 3*o - 58. Suppose -45*p - o = -41*p. Suppose 2*r + 17 = 7. Are r and p nonequal?
False
Suppose 0 = -10*p - 1148 + 1118. Let s be 2 - (3 - 2) - 3. Are s and p nonequal?
True
Let k be 4/(-14) + (-4)/(-112)*8. Suppose 0 = o + g, 4*g = o - k*g + 5. Let i = 1041/4 + -262. Which is smaller: i or o?
i
Let d = -394 - -563. Suppose 3*i - d = 5*y + i, -2*y + 5*i = 55. Let s be (12/165)/((-14)/y). Which is smaller: -0.1 or s?
-0.1
Suppose 23*w - 29 + 52 = 0. Which is smaller: w or -15/83?
w
Let j be ((-12)/79)/4 - -4 - 4. Which is smaller: -1 or j?
-1
Let z = -5.44 + 6.44. Which is bigger: -1.19 or z?
z
Let h = -1.9866 + -0.0784. Let k = -2.1 - h. Is -0.1 at most as big as k?
True
Let b be (-8)/(-6) + (-76)/84. Let o = 13 - 14. Is o at least as big as b?
False
Let d = -73.92 + 139.23. Let x = 65 - d. Let i = -1.61 - x. Is i smaller than 2/5?
True
Let k = -9 - -16. Suppose 6*i + 4*x = 2*i - 56, 4*i - 5*x = -20. Let v = i + k. Which is smaller: v or -1?
v
Suppose 0 = -3*j + 6, 5*c + 12*j = 15*j - 956. Is c less than or equal to -192?
False
Let f = 2621/8 - 328. Suppose -3*r = 14 - 17. Is f less than r?
True
Let d = -2 + 2. Suppose -5*a + 13 - 3 = d. Do -1 and a have different values?
True
Let r = 692.93 - 693. Is 54 greater than r?
True
Suppose -2*u = -u. Let h = -21 - -19. Which is greater: h or u?
u
Let a(x) = -2*x - 17. Let j be a(-5). Let c(f) = 29*f**2 - 7*f - 2. Let l be c(j). Let d be (-12)/(-28) - l/3556. Is 0 < d?
True
Let x = 386 - 385. Is 1 at most as big as x?
True
Let k be ((-8)/3)/((-136)/(-204)). Let s = -1702 + 2410. Let o = -3561/5 + s. Is k smaller than o?
False
Let n = 1544 + -2. Which is smaller: 1543 or n?
n
Let l be (-20)/(-5) + -1 + 1. Suppose -4*s - 4 = 3*h, l*h - s + 3 = -4*s. Suppose h = -0*k - 3*k + 3. Which is bigger: -1 or k?
k
Let c(o) be the first derivative of -o**4/4 - o**2/2 - o + 15. Let l be c(0). Is -0.1 smaller than l?
False
Suppose 2*d = 2*z - 44, -5*d = 4 + 6. Let l = -12 + z. Let x be 42/12*(-30)/(-14). Do x and l have the same value?
False
Suppose 0 = -b + 3*b - 6. Suppose -m - b*m = -68. Suppose m - 2 = -2*w - 3*a, 15 = -3*a. Are w and -1/4 unequal?
True
Let z = 15 - 35. Let g be (4 + 2)/(3/4). Let x be (-8)/z + g/(-20). Which is smaller: x or -3/14?
-3/14
Let h be (-252)/(-30) + 2/(-5). Suppose 0 = -5*w - 8 - 2, w = -v + 7. Which is smaller: h or v?
h
Let u = 101 - 148. Is u at most as big as -47?
True
Let f be -2 + -4 - -148*98/(-56). Which is smaller: f or -267?
-267
Suppose 41*d - 36*d + 75 = 0. Let y = -33709/2140 + 1/535. Which is smaller: y or d?
y
Let z be 0/(-4) + (-18 - -4). Suppose 7 = 4*w - s, -4*s - 1 = -4*w + 3. Let n be 13*(2/w)/(-1). Which is bigger: n or z?
n
Suppose -10*g + 70 = -15*g. Let d be (g/(-2))/((-5)/(-35)). Suppose d = 4*u + 3*u. Does u = 7?
True
Let i be (-36)/54*6/(-20). Is -1/4 smaller than i?
True
Suppose -n + 5 = 1. Let s be 52/2*n/12. Is s bigger than 0?
True
Let a be ((-2)/(-6))/(2 + -3). Suppose -15 = 2*k - 5*k. Let d be k - 4 - 11/9. Which is smaller: a or d?
a
Suppose -3*w + 8*w = -25. Which is smaller: -35/6 or w?
-35/6
Let a = 1 - 3. Let b(r) = r**2 - 10*r + 