 + -1 + -1 + a. Which is smaller: 0 or m?
0
Let k be (-69)/69 - (-2 - -2). Which is smaller: k or 16/203?
k
Let i(j) be the first derivative of -j**3/3 - 5*j**2/2 + j + 3. Let v be i(-4). Let f = v - 5. Is -2/3 <= f?
True
Let q = -531 + 534. Is 2 greater than or equal to q?
False
Suppose -14*q + 10*q = 1436. Let d = q + 699/2. Which is greater: d or -10?
d
Suppose 0 = 63*i - 17*i + 46. Which is smaller: i or -379?
-379
Suppose 0 = 5*b - h - 33, 0 = -11*b + 12*b - 5*h - 21. Suppose -5*d + 47 = 4*i, 0*d = -d + 3. Is i at most as big as b?
False
Let n be (9/(-24)*6)/((-3)/8). Suppose 215 = -n*s + 11*s. Is 42 at least s?
False
Suppose -t = -4*j - 3, 0 = -3*t - 3*j + 1 - 7. Let l(c) = -10*c**3 - c - 2. Let w be l(t). Which is smaller: 10 or w?
w
Let p(u) = 5*u + 71. Let l be p(-14). Is -1/492 at most as big as l?
True
Let n = -58 + 168. Suppose 2*z - n = 12*z. Which is smaller: -9 or z?
z
Let h be (-2)/11 - 18408/(-1298). Which is greater: 7 or h?
h
Let p = -144 - -137. Suppose 2*y = -19 + 1. Is p equal to y?
False
Let x be 2241/(-8) + 19/152. Which is bigger: -276 or x?
-276
Let r = 23/2 - 349/30. Let u = 31 + -25. Let k = -8 + u. Which is smaller: k or r?
k
Let c be 92/22 - (-25)/((-1650)/12). Do 31/12 and c have different values?
True
Let w(g) = -2*g - 7. Let s be w(-6). Let z be (-326)/6 - (-1)/3. Let j be (1/3)/((-3)/z). Which is greater: s or j?
j
Let o be 1*(0 + -1) + 2. Let z be (0/(-38) - 4/34) + 420/969. Which is greater: o or z?
o
Suppose -4*p + 5 = 5*i - 12, -4*p + 2*i = 18. Let r be (-1)/p*(-1 + 1). Let w be r*((-6)/2)/(-3). Is -2/5 greater than w?
False
Let g(f) be the first derivative of f**5/60 - f**4/3 + 2*f**3/3 - 4*f**2 + 2. Let j(d) be the second derivative of g(d). Let h be j(5). Is -10 bigger than h?
True
Suppose 3*j - 24 = 3*s, 2*s - 4*s = 4*j - 32. Let y = 1224 - 6082/5. Is y less than or equal to j?
True
Suppose 3*a + 0*a = -9. Let x be -1 + a*15/9. Do x and 0 have the same value?
False
Let m be 1362/(-190) + -7 + 14. Are 0 and m equal?
False
Let v = -101892/115 + 886. Is 1 at most v?
False
Let z(c) = -c**2 + 4*c - 5. Let n be z(7). Let g = -24 - n. Which is smaller: 15 or g?
g
Let g = -1867/1173268 - 1/4282. Let x be (-275)/(-548) + 18/(-63). Let v = x + g. Is v > 1?
False
Let a = 7 + -23. Let f = 14 + a. Which is bigger: -18/7 or f?
f
Let n = -1561141/1326 - -3532/3. Which is smaller: 0 or n?
0
Let y be 676/(-46)*(-30)/120. Let t = -4/23 + y. Which is smaller: 5 or t?
t
Suppose -624 = 5*j + 4*n, 2*j - 3*n = -0*j - 245. Let s be 1 + -1 + (-12)/j. Which is bigger: 0 or s?
s
Suppose 0 = -n + 1, 4*b + 3*n + 2*n - 1 = 0. Let s = 2/421 - 5491/3789. Which is smaller: b or s?
s
Let r = -2425486/125 + 19404. Is r at most 0?
False
Let h(r) = -r**2 + 4. Let i be h(0). Let q be 4 + -2 + (i - 0). Suppose 0 = 9*d - q*d. Which is smaller: d or 13?
d
Let c = -0.394 + 0.41. Let a = -0.054 - c. Is a >= 2/7?
False
Suppose 3*d = 2*d + 3. Let l be (3/9)/(2/18). Suppose -l*s + 13 + 2 = 0. Which is smaller: s or d?
d
Let k = -24 - -24. Let v = 2 - k. Suppose l - 2 = 2. Which is smaller: l or v?
v
Let j(p) = 2*p**3 + 26*p**2 - 4*p - 23. Let g be j(-13). Is 29 less than g?
False
Suppose l + 56 = 2*j - l, -102 = -4*j - l. Suppose -52 - j = 3*c. Let r be c/12 + 6/4. Is r >= 0?
False
Let c be -5 + 6 - (-31695)/(-85). Let x = 372 + c. Which is greater: -1 or x?
x
Suppose -2*a + 5*j + 22 = 13, a - 6 = 2*j. Suppose 2*z = -z + 4*v + 14, -4*v - a = -2*z. Which is smaller: z or 12/11?
12/11
Let p = 0.765 - 73.765. Which is smaller: 1/3 or p?
p
Let t = 2 + 14. Let g be 2 + 12/t - 3. Let o = 10 + -8. Is g at most as big as o?
True
Suppose -5*i + i + 20 = 0. Suppose -w = 1, i*o + 4*w - 18 = 2*w. Let t be 13/(-65)*o/6. Is t at most 0?
True
Let y = 2/241 + 8662/1687. Let u = 101/21 - y. Is u greater than or equal to 2?
False
Suppose 5*f + 48 = -7*f. Which is bigger: f or 22?
22
Let m(l) = l**3 - 7*l**2 - 2*l + 15. Let g be m(8). Let k be 33/(-16)*(-84)/g. Which is smaller: k or 4?
k
Let g be -2 - (-1 + 1) - 1. Let s = 30 + -13. Let r be 16/24 + s/(-3). Which is smaller: r or g?
r
Suppose 5*z = -y + 22, -z + 37 = 2*y - 7. Which is smaller: 111/5 or y?
y
Let u = 118 - 81. Let y = -102 + u. Is -65 at least as big as y?
True
Let p be (-8)/28 - (1 - 1). Let d = 0.2441 - -30.7559. Which is greater: p or d?
d
Let a = 28.3 - 28.682. Let q = a + 0.082. Is q bigger than 2/7?
False
Suppose 39 = 5*r + 19. Suppose -b = r*u - 39, 6*u - 3*u - 58 = -2*b. Which is smaller: b or 24?
b
Let r = -73 - -74. Let f be (-30)/(-75) - (442/(-670) + r). Which is smaller: -1 or f?
-1
Let y be ((-1)/((-3)/79))/((-3)/(-9)). Which is greater: 78 or y?
y
Let z = -12511/41 + 305. Is 1 <= z?
False
Let b = -1 + 1.1. Let u = b - 0.1. Let v = -1/582 - 1739/4074. Is v <= u?
True
Let c = 479/5 - 100. Suppose 20*r - 68 = -168. Which is greater: c or r?
c
Let v = -10 - -17. Let z = -60.9 - -68. Let n = 7 - z. Is v <= n?
False
Let u be (1/(-7))/(((-168)/(-14))/3588). Which is bigger: u or -42?
-42
Let j = -17 - -34. Suppose -5 = -5*x - 2*g, -4*g = x + 2*x - j. Is x at least -1?
True
Suppose -7*x - 4*n = -8*x - 1253, 0 = -3*x + 4*n - 3743. Is -1244 greater than x?
True
Let h be (-1712)/56 - ((-85)/(-35) + -3). Does h = -15?
False
Suppose -2*g - 17 + 81 = -3*s, -3*s - 2*g - 56 = 0. Suppose 4*m - 27 = 4*d + 37, -d = -5*m - 4. Is d at most as big as s?
True
Let n be (-15)/(-3) - (-9)/(-3). Let r = -4 - -7. Suppose -5 + 2 = -r*x. Is n >= x?
True
Suppose -3*w - 5 = 28. Let g(z) = -z**2 + 22*z - 132. Let s be g(12). Which is greater: s or w?
w
Let p = -0.86 + -6.14. Let y = -0.14 + 0.24. Which is greater: p or y?
y
Suppose 5*n = -5*q - 920, 3*n - 388 = -0*q + 2*q. Do -185 and q have the same value?
False
Let j(p) = -10*p**2 + 17*p - 3. Let y be j(5). Is y not equal to -168?
False
Let m be 8/92 - 16/184. Which is smaller: m or -11/2?
-11/2
Let t(k) = k**3 - 10*k + 2*k + 4*k**2 + 9 - 10*k**2. Let f be t(7). Let y be 1/10 + f/4. Which is bigger: y or -1?
y
Let x = -127 - -128. Is x bigger than 1/137?
True
Let t = 0.1315 + 0.0985. Which is smaller: t or -1.8?
-1.8
Let h be 3222/33 + 64/176. Which is bigger: h or 104?
104
Let o = -2.07 + 103.07. Let i = 98 - o. Is i < 2/3?
True
Let s = -2777/172 + -112/43. Let b = s + 19. Suppose 4*f = 6*f - 10, h = 5*f - 25. Which is smaller: h or b?
h
Let j = -89 + 103. Suppose -x = 13 - j. Which is smaller: x or -2/137?
-2/137
Suppose 4*d = 5*a + 295, 4*d - 185 = -a + 4*a. Which is bigger: a or -52?
-52
Let m(u) = 3*u + 19. Let n be m(7). Suppose -7 = r + 5. Let o be -2 + 2*r/n. Which is bigger: -4 or o?
o
Let a = -0.003 + -25.997. Let k = 15 + a. Which is greater: 0.2 or k?
0.2
Let d be (0 + (-6)/(-4))*2. Let p be d*-3*(-5)/9. Let q = 110 + -105. Is q less than p?
False
Let x(m) = -10*m + 3. Let z be x(1). Let n be (z/((-7)/(-2)))/(-1). Which is bigger: -2 or n?
n
Let o = 120 - 119.8. Which is smaller: 0.01 or o?
0.01
Let k = 832 + -877.1. Let g = k - -45. Does g = 11?
False
Let o = -3 + -3. Let n = 39 - 34. Let k be (-1)/(-2)*14*(4 - n). Is k greater than o?
False
Let c = 122 - 185. Let w = 69 + c. Which is smaller: w or 5?
5
Let u be -2*5/((-40)/(-196)). Which is bigger: u or -193/4?
-193/4
Let l(s) = s + 43. Let a be l(9). Is 49 greater than a?
False
Suppose -11*v = -12*v - 1. Which is smaller: v or 3/176?
v
Let u(a) = a**3 + 10*a**2 + 10*a + 6. Let r be u(-9). Let x = r - -35. Is x <= 32?
True
Let h = -125 - -121.6. Which is smaller: -1/5 or h?
h
Let a be (4/6)/((-4)/(-6)). Let j = 109/2 - 211/4. Is a at least as big as j?
False
Let k(g) be the second derivative of 10*g - 1/6*g**3 - 6*g**2 + 0. Let r be k(-12). Is -1/20 != r?
True
Let l = -0.57 + 0.531. Let f = l + -21.961. Is -1/3 less than f?
False
Let f be (16/272)/((-1)/(-78)). Which is bigger: f or 4?
f
Let h be (-3 - 0) + 3978/1003 - 1. Let o = -1 - -1. Is o greater than or equal to h?
True
Let b = 2133 - 2496. Which is bigger: b or -1/2?
-1/2
Suppose 5*f + c - 3 = 0, -f + 10 = -5*c - 1. Which is greater: -119 or f?
f
Let x(d) = -2*d + 8. Let f be x(5). Let s be -2 + -1 - f/4. Let l(t) = t - 15. Let v be l(11). Is s equal to v?
False
Let k = 3/617 + -128968/3085. Is -42 at least as big as k?
False
Let m be 12/(-5 + 2 + 5). Let r(v) = -2*v - 6. Let x be r(-6). Is m > x?
False
Let y = 256 - 131. Let l = -112 + y. 