 or equal to c?
True
Let o = -11088 - -10932. Which is bigger: -201 or o?
o
Suppose -17*x = -15*x + 10, 0 = 3*i - 5*x - 37. Suppose -15 = 3*s - 6*s. Suppose p = s*p - i. Which is smaller: -5 or p?
-5
Suppose -7 = -2*d + 4*k + 29, 2*d - 5*k = 37. Let i = 16 - d. Suppose i = 6*x + 45 + 33. Is x smaller than -15?
False
Let y(k) = -k**3 - 6*k**2 + 2*k + 24. Let j be y(-7). Suppose 0 = 7*a + 38 - j. Let x = 71/2 + -34. Is a greater than or equal to x?
True
Suppose 60*j = 61*j - 4*a + 8087, 5*j + 3*a = -40596. Is j smaller than -8117?
False
Let w = -165.04 + 163. Let g = 1.74 + w. Is g smaller than 61?
True
Let q = 47 - 53. Let l = 3739/85 + -44. Let d = -1703/255 - l. Which is smaller: d or q?
d
Let z be (-5)/((-15)/(-186)) + 2. Suppose 0 = -5*t + 10, -4*t - 81 = -c - 29. Let a = c + z. Does 2/13 = a?
False
Let k(s) = -6*s - 38. Let h be k(-7). Let q be 2/(7/(-34)*h/(-7)). Is q >= 17?
True
Let b(w) = w**3 + 10*w**2 + w + 14. Let s be b(-10). Let d = s - 14. Let f = -25 - d. Which is bigger: 0 or f?
0
Let j = -4652 - -4677. Let p = -13 + 12. Which is bigger: p or j?
j
Suppose -5*f = m + 3295, 7 = -5*m - 18. Let l = f - -673. Let z be (-1*1)/((-2)/34). Is z bigger than l?
True
Let b = 1186 - 1187. Let k be (219/(-2) + 0)*2. Let l be 6/(-8) + k/(-300). Is b less than or equal to l?
True
Let x be (30/16)/15 + 4/((-1408)/(-2388)). Is 7 at least as big as x?
True
Let o be (-2 - (-48)/20)*1706/4. Let f = o + -171. Which is greater: f or -12?
f
Let t be 89/29 + (-6)/2. Let l = 40 - 157. Let j = l - -117. Which is greater: t or j?
t
Let p be 48/(-32)*498/9. Let w = 95 - p. Is w bigger than 179?
False
Let x(n) = -11 - 407*n**3 + 408*n**3 - 11*n**2 - 3*n**2 - n + 3*n. Let k be x(10). Let j = -2725/7 - k. Is j greater than or equal to 1?
True
Let r = -235 + 193. Let l = r - -46.5. Let s be (4/6)/(24/18). Is l smaller than s?
False
Let s(z) be the third derivative of z**5/20 - z**4/4 - 3*z**3/2 - z**2 - 7. Let h be s(-6). Which is greater: 1/4 or h?
h
Let r = -4.9 + 2.1. Let h = r + -1. Let l = h - 4.2. Which is smaller: l or 0?
l
Let a be (-39)/((-6704100)/42775) + (27/(-12) - -2). Which is smaller: -5 or a?
-5
Let h be (-4)/(-6)*45/240 - 8712/64. Is h >= -682/5?
True
Let y = -2471.6 + 2470. Let d = -40 - -38.3. Let m = y - d. Are 31 and m non-equal?
True
Let t = -45 - -45. Suppose 3*w = -f - 353, 230 = -t*w - 2*w + 2*f. Let u = -108 - w. Is u != -1?
True
Let y(d) = d**2 + 143*d + 2297. Let q be y(-121). Is -359 bigger than q?
True
Let g = 4704 + -4709. Which is greater: -297/56 or g?
g
Let y = 189.63 - 4.63. Let j = -185.058 + y. Which is bigger: 1 or j?
1
Let l = 23 + -22. Let o(u) = -u**2 + u + 2. Let d be o(3). Let q be 1/1 - (-51)/(-10) - d. Is q greater than or equal to l?
False
Let s be (2/(-4))/((-1)/4). Let u = -854 - -860. Suppose -s*f - u = -b, 0 = 2*f + b + b. Does f = -14/5?
False
Suppose -136 = 168*z + 32. Let k = 19599/80 + -245. Is z at least as big as k?
False
Let b be (-14 - 2)*2/42. Let p be 1/(-1)*5*45/(-75). Suppose p*g + 13*g = -8*g. Is b less than g?
True
Let k be (5/6 + (-2)/6)*0. Suppose 0 = 3*z + 3*j - 12, k - 7 = 2*z - 3*j. Is 3/193 greater than z?
False
Let y = -25063 + 175440/7. Let f(w) = -w**3 - 2*w**2 - 2*w - 1. Let i be f(-1). Let h = i - -1. Is h at least y?
True
Suppose 9*j = -9*j - 92 - 70. Is j != -290/37?
True
Let x(z) = -183*z**2 - z + 4. Let s be x(-2). Which is smaller: -1/5 or s?
s
Let z = 1.57 + -1.7. Let f = z - -0.03. Let p be 2*(9 + -35) - -3. Do p and f have the same value?
False
Let l be (-10)/(-15) - (-58)/3. Let i(z) = -z - 36. Let d be i(l). Is -56 less than d?
False
Let o(l) = 6*l - 5. Let m be o(6). Let x(r) = 3*r**2 + 25*r - 3. Let b be x(-8). Let g be -4*(3 + b)*1. Does g = m?
False
Suppose 0 = 155*q + 98*q. Which is smaller: q or 1.61?
q
Let n be 948/(-216) + (-2)/(-4). Let d = n - -32/9. Which is smaller: 17 or d?
d
Let d(u) = u**3 - 12*u**2 - 15*u + 29. Let w be d(13). Suppose 0*g + w*c + 13 = -4*g, -g - 4*c - 13 = 0. Is g greater than -2/87?
False
Let w = -418.942 - -419. Which is smaller: 6 or w?
w
Let t(r) = 499*r + 1995. Let z be t(-4). Which is bigger: z or -690/17?
z
Let y(a) = -7*a - 21. Let d be y(-4). Let k = d - 27. Let f be 2/(-10) - (-3 - 196/k). Is -7 at least f?
True
Let a = 4 - 5. Let w be -14 + 1666/153 - 1/(-9). Are a and w unequal?
True
Let n = -4.4 - -272.4. Let a = 269 - n. Which is bigger: -33 or a?
a
Let v be 673633/(-474) + ((-15)/18 - 0) - 6. Is -1426 smaller than v?
False
Let y be 3/15 + 4/5. Let a(u) = -4*u**3 - 3*u**2 - 9*u + 18. Let o be a(4). Let q = -7401/23 - o. Which is smaller: y or q?
q
Let v(g) = g**2 - 5*g - 2. Let b be v(6). Suppose 0 = 2*l + q - 6, 3*q = 2*q. Suppose 4*s + 68 = 4*c, -2*c - l*s + b*s = -34. Is 17 less than c?
False
Let d = 0.052 - -29.948. Let g = -52 - -75. Let n = g - d. Which is smaller: n or 3?
n
Let z = 3 + -5/2. Let s = -1.0398 + 1.026. Let o = s + 21.0138. Which is smaller: z or o?
z
Suppose 10*t - 336 = -2*t. Let z(s) = -s**3 + 27*s**2 + 33*s - 73. Let y be z(t). Is y < 1/2?
False
Let v = -30.2096 + -3.2604. Is v less than or equal to 3?
True
Let k = 13841 + -13837. Is -2/61 <= k?
True
Let v(j) = 5*j**3 + j**2 - 1. Let d be v(1). Let m be (7 - 4)*(-4)/(-36)*3. Suppose -6*n + d*n - m = 0. Which is greater: n or -2/71?
-2/71
Let q be (-106)/16 - 25/(-100). Let p be -4 - (30 + (-9)/(-3)). Let w = p + 31. Do q and w have different values?
True
Let p = 1 - 2. Let d = -521.52 + 603.52. Which is smaller: p or d?
p
Suppose 40*a + 50 = 7 - 37. Is 397/6 at least as big as a?
True
Suppose -1256 + 1066 = -38*f. Which is smaller: 1/2214 or f?
1/2214
Let s(l) = -2*l**3 + 14*l**2 + 7*l - 20. Let c be s(10). Let a be (-95)/c - (-2)/20. Which is smaller: 2 or a?
a
Let c(n) = n**2 + 3*n - 12. Let l be c(6). Let o(q) = q**2 + 8*q + 2. Let k be o(-8). Let u be (-246)/3*k/(-4). Is l greater than u?
True
Suppose -19*w + 14*w + 5*x - 1125 = 0, 3*x = -9. Let a be 1/12 - 9101/w. Is 42 > a?
True
Suppose -47 = 11*a + 2054. Let n = 203 + a. Is 3 equal to n?
False
Let k(a) = a**2 + 7*a + 7. Let h be k(-6). Suppose -5*d + 14*w - 11*w = 5, -4*w = d - 22. Let r be -18*d/(-32)*h. Is r <= 1?
False
Let r = -28/89 - -9291/29815. Is 1 greater than r?
True
Suppose -18*o = 26*o - 854 + 2526. Which is bigger: -28 or o?
-28
Let p = -2486 - -8901. Is p > 6415?
False
Suppose -2*u - 446 = 3*l, -298 = 2*l - 650*u + 651*u. Is l at least -133?
False
Suppose -5*r + 3*x - 430 = 0, 104 = r - 2*r - 3*x. Let g(y) = y**2 - 19*y - 5. Let j be g(7). Is j > r?
False
Let c be (-3)/((-108)/8) - 116761780/4212. Let v = 27721 + c. Which is smaller: -1 or v?
-1
Suppose 0 = -v - p + 70 + 72, 2*v - 269 = -5*p. Are 0.42 and v equal?
False
Let d(w) = -2*w**3 - 3*w**2 - 3. Let s be d(-3). Suppose -531*b + 2986 = -11806 + 1517. Are s and b unequal?
True
Let q = 15891 + -12011. Are 19394/5 and q non-equal?
True
Let d = 1806.6 + -1769.6. Which is bigger: d or 44/23?
d
Let k(i) = -42*i + 33. Let z be k(-29). Let p = z + -6279/5. Which is bigger: -4 or p?
-4
Let q = 67.1049 + -0.0049. Let u = 6 - 73. Let n = u + q. Are 6/23 and n unequal?
True
Suppose w = -55*w - 0*w - 2128. Which is smaller: -21 or w?
w
Let l = 1883 - -3079. Let n = -84396/17 + l. Which is bigger: -1 or n?
-1
Let n = 2438.9 + -2338. Let y = n + -101. Let c = -4.5 + 2.3. Which is smaller: c or y?
c
Let p = -227 - -1124/5. Suppose 3*y - 8 = 31. Suppose 0 = -f - 3*i + 4*i - 2, -4*f = i + y. Is p at least as big as f?
True
Let j be (23/(98670/11))/11. Which is greater: j or 0?
j
Let i = 3 - 334. Let n(t) = -t**2 - 5*t + 205. Let x be n(-17). Does i = x?
False
Let n = -305 - -300. Let k(j) = -13*j**2 - 50*j - 9. Let t be k(n). Which is smaller: -81 or t?
t
Suppose 4*r - 4*k = 0, -3*k = -k - 10. Suppose -j = 2*o + 15, -2*o + 5 + 10 = -r*j. Is j at least as big as 5/3?
False
Let c(q) = 4*q**3 - 71*q**2 - 97*q + 18. Let s be c(19). Which is bigger: s or -5?
-5
Let q = 5130 + -5254. Is 5 at least q?
True
Let h = -6241 - -6240. Is h greater than or equal to -1.7129?
True
Suppose 1922 = 15*f + 1742. Let v(g) = 2*g**3 - 5*g + 7. Let k be v(2). Is f > k?
False
Let o be (-754)/8 - (-3)/12. Let t = -94 - o. Is -2/1177 less than or equal to t?
True
Let u = -13023 + 13152. Is u less than 1033/8?
True
Let g be (5/25)/((-4)/(-5)). Let y = -0.295 - -1.295. Is