 >= g?
False
Let a = -10973/3211670 + -1/3010. Let q = a - 6238/43747. Let d = q - 146/123. Is 1 < d?
False
Let s = 3112/51 + -182/3. Let u(a) be the third derivative of a**6/120 + 2*a**5/15 + 7*a**4/12 + 13*a**3/6 + 4*a**2. Let y be u(-6). Are s and y unequal?
True
Let m = 4/73 - 281/3796. Is -1 smaller than m?
True
Let f = 1575 + -1553.978. Let q = -0.022 + f. Let i = q + -13. Is -1 less than i?
True
Let z = -6 - -12. Suppose -4*k + 3*k = 2*t - 3, -2*t = -2*k + 6. Let h = z + t. Which is greater: h or 3?
h
Let u = 3069 + -113562/37. Which is smaller: u or 0?
u
Let k(y) = -7*y - 3. Let a be k(1). Let i be (-4)/(-6)*6/a. Does 8 = i?
False
Let j = 25.3 - 24. Let p = -0.3 + j. Is 8 greater than or equal to p?
True
Suppose 0 = r + 2*j - 32, 5*r + 5*j = -0*r + 145. Let m(q) = 9*q - 61. Let d be m(9). Let o = d - r. Is o <= -7?
False
Let z(i) = -2*i**2 + 9*i - 1. Let n be z(4). Suppose 178 - 58 = n*m. Which is smaller: 41 or m?
m
Let s(t) = t**3 + 5*t**2 + 3*t + 1. Let u be s(-5). Let r be (-6)/(-28) + 4/u. Let z(g) = -g**3 + 36*g**2 + 117*g. Let b be z(39). Which is greater: b or r?
b
Suppose 12 = -4*m + 16. Let q(w) = 24*w - 1. Let s be q(m). Let x = s + -12. Is x at least 11?
True
Suppose 9 = 3*t - 3. Suppose 3*c = t*c. Let k be (8 + c)*(-51)/68. Which is greater: k or -0.1?
-0.1
Let o(h) = 14*h - 86. Let c be o(7). Let v be 18/1*10/15. Is c less than or equal to v?
True
Let o(d) = 11*d + d - 17 - 5*d - 2*d**2 + 7*d. Let s be o(9). Let b = s - -38. Which is smaller: -16 or b?
-16
Let b = 215 + -143. Which is smaller: -2/3 or b?
-2/3
Let v = -29 + 20. Let p = -6 - v. Suppose p*k = 8*k - 5*a + 45, a = -3*k - 27. Which is greater: -8 or k?
-8
Suppose c + 3*a + 16 = 3*c, -3*c - 2*a = 2. Let h be ((-4)/16)/(c/(-40)). Suppose 0 = 4*f - 3*j - 44, h*f + 5 = -2*j + 60. Which is bigger: f or 12?
12
Suppose 23*c - 11782 = 21752. Which is bigger: 1457 or c?
c
Suppose -260 = -9*z - 17*z. Is 13 greater than z?
True
Let n = 0.7 + 0.3. Let a = -0.1904 + -17.8096. Is a less than or equal to n?
True
Let i = -892 + 940.3. Let b = -53 + i. Let c = 5 + b. Are c and -0.3 non-equal?
True
Suppose j = 4*y - 3*j - 28, j = -3*y + 5. Let n be ((-29)/435)/(2/(-84)). Does n = y?
False
Let s be 295/11 + (-6)/(-33). Let k = s - 24. Suppose 3*z + z = -5*c - 62, 46 = -4*z + k*c. Is -13 greater than z?
False
Let c = 53 + -52. Suppose c = -2*n + 5*w, 2*n + 5*w - 3 = 3*n. Is n != -3?
True
Suppose v + 10 = 2*m, -5*v + 4*m - 35 = -m. Let i = -7 - v. Let a(n) = -n**2 - 13*n - 4. Let l be a(-13). Which is greater: i or l?
i
Let q be (-2)/((-7)/((-36477)/(-6))). Let g = -1231 + q. Let m = g - 18724/37. Are m and -1 equal?
False
Let y = 16.28 + -0.28. Let r = 16 - y. Let z = -0.08 + 0.06. Which is bigger: r or z?
r
Let m = 7 - 6. Let l(r) = r**3 - 19*r**2 + 18*r + 3. Let w be l(18). Which is bigger: m or w?
w
Let l = 2433 + -3616. Which is smaller: l or -1184?
-1184
Let c be (-94)/65 - (-5 - (-67)/13). Is 18 greater than or equal to c?
True
Let r = 79 + -80. Let j = -0.8 + -6.2. Which is smaller: r or j?
j
Let g = -356/5617 + 2/41. Which is bigger: 0 or g?
0
Suppose -455 = 141*x - 176*x. Let q(v) = 2*v**2 - 6*v - 6. Let m be q(5). Which is greater: m or x?
m
Let y(z) = z**3 + 12*z**2 - 26*z + 28. Let k be y(-14). Which is greater: k or 2/195?
2/195
Suppose 5*b + 52 = 4*k - 7*k, -5*b = 4*k + 56. Let o be (-16)/(-30) + b/(-12). Is o smaller than 2?
True
Suppose -111 = -4*n + 281. Let f be (-17)/17 + 102/n. Does f = -1?
False
Let y(g) = 6*g - 278. Let t be y(30). Which is smaller: t or -0.11?
t
Let x be (-1)/3 - (-23)/(-3). Let y = x + 7. Which is smaller: 0 or y?
y
Let u be (-273)/24 + ((-40)/(-5))/4. Is -10 smaller than u?
True
Let u = -370 - -372. Which is greater: -2/5 or u?
u
Let d = -770 - -770. Is 1/62 <= d?
False
Let k be ((-29)/(-4))/(2/152). Let q = -2746/5 + k. Are 2 and q unequal?
True
Let k be (-54)/(-144) + (-13598)/36176. Which is greater: -1 or k?
k
Let p = -385 - -384. Suppose -q = -4*q - 237. Which is greater: p or q?
p
Let y be ((-6)/15)/(((-30)/(-475))/6). Is -47 at most y?
True
Let y be 6 - ((-15)/10)/(1/(-2)). Suppose -4*j = -j - y. Is 0.048 bigger than j?
False
Let g be (-2)/(-7) + 1124/(-14). Let c = g - -3441/43. Let j = -4234 + 4233. Is c greater than j?
True
Suppose 10*f + 57 + 263 = 0. Is f equal to -30?
False
Suppose 4*j + 5*u - 1136 = u, -5*j + u + 1396 = 0. Suppose -3*t + 7*t - j = 0. Let s be 8/t*25/(-10). Which is smaller: s or -1?
-1
Let i be (5/2)/(0 - (-1 - -3)). Let t = i - 23/20. Which is smaller: t or -1/2?
t
Suppose -r + 2*r = -f + 38, -3*r - 5*f + 104 = 0. Suppose 11*w + 142 - r = 0. Is w at least -1/3?
False
Let v = 70159/1214840 + 1/10040. Which is greater: v or 1?
1
Let m = -40.8 + 44.4. Do -4 and m have the same value?
False
Suppose 55 = -4*x - 5*q, -5*q - 59 = 4*x - 4*q. Which is smaller: -1.4 or x?
x
Let a = -215 + 406. Suppose -197 + a = u. Let g be (-1)/((-3)/36*-2). Do u and g have the same value?
True
Let s(t) = -6*t**2 + 6*t + 1. Let c(b) = -b**2 + b. Let y(i) = 11*c(i) - 2*s(i). Let x be y(4). Which is smaller: x or 0?
0
Suppose -1023 = -12*g - 21*g. Are 39 and g equal?
False
Let b(t) = 4*t**3 - 3*t**2 - 5*t + 2. Let k be b(3). Suppose 74 - k = -6*c. Is c bigger than -4?
True
Let q be ((-39)/18)/((-2)/4). Let b = -60 + 64. Is b less than or equal to q?
True
Let j = 12 + -10. Let w = 7 - j. Suppose 0 = -r - w*m - 20, 2*r + 5*m + 20 = -0*r. Is r greater than 1/4?
False
Let f = 305 + -803. Which is smaller: f or -499?
-499
Let y = 3.3 - 0.7. Let h = 6 - y. Let j = 1.7 - h. Is j <= -2/3?
True
Let g = 739 - 739.5. Let a = 2/503 + 992/3521. Which is smaller: a or g?
g
Let x = -93 - -118. Is x equal to 0.01?
False
Let u = 3137/7511 - 1/259. Which is greater: 0 or u?
u
Let j be 14/24 + 85/(-340). Which is greater: -940 or j?
j
Let v(r) = 11*r**2 + 2*r - 2. Let b be v(2). Suppose -8 = 4*z + 5*f - 58, -2*f = -5*z + b. Let n be (z/(-55))/((-1)/(-1)). Is -1 at least as big as n?
False
Let z = -15061 + 135847/9. Let m = 100/3 - z. Let u = 1 + -1. Which is smaller: u or m?
u
Let a = -16.23 - -0.23. Let k = a - -15. Which is smaller: k or -0.1?
k
Let m = 2.1 + -2.1. Let r be -22 - (3 + -3) - -3. Let g = r + 37/2. Which is greater: g or m?
m
Suppose -2*w = 0, -16 = 27*r - 23*r - 3*w. Which is smaller: -41/16 or r?
r
Suppose 88 = 5*i + 18. Suppose 0 = -b + 3*o - 3, 5*o - i = 11. Let d(h) = -h**3 + 13*h**2 - 11*h - 10. Let x be d(b). Are -1 and x equal?
False
Let t be 494/(-30) + (-18 + 3)/5. Is -18 less than t?
False
Let f = 91 - 18. Let k = f - 107. Which is smaller: k or 0?
k
Suppose 7*b + 46 + 24 = 0. Which is greater: -7 or b?
-7
Let v = -29 + -83. Let z = v + 56. Is -58 >= z?
False
Let a be -94*(-3 - 116/(-40)). Let l = -507/55 + a. Let g be ((-8)/(-28))/((-6)/28). Which is greater: g or l?
l
Let i = 11309/2 + -5389. Which is bigger: i or 266?
266
Suppose -60*x + 88 = -38*x. Which is smaller: x or 48?
x
Let w(d) = d. Let c(z) = z + 7. Let q(u) = -c(u) - 2*w(u). Let j be q(-4). Suppose j*o - 1 = 4. Is o greater than 2/7?
True
Let f(c) = c**2 + 7*c - 15. Let m be f(-9). Suppose m*l - 89 - 10 = -3*n, n = 3*l + 25. Which is smaller: n or 30?
30
Let q(j) = j**3 + 22*j**2 - 74*j + 44. Let i be q(-25). Do 25 and i have different values?
True
Suppose -3*r - 5 = 88. Suppose 0*c - 5*q = 5*c - 80, -69 = -4*c - 3*q. Let i = c + r. Is -1/4 smaller than i?
False
Suppose -47 = -5*p + 3. Let d be 3264/224 + 6/14. Suppose d*k = p*k. Which is bigger: 1/29 or k?
1/29
Suppose -a + n + 7 = 0, -a - 5*n - 5 = 4*a. Suppose 267 - a = 4*u. Is u not equal to 66?
False
Let z be (2/20)/((-9)/6). Suppose -7*b - 15 = -10*b. Suppose -b*l - 4*n = 12, 2*l - 9 = 3*l + 3*n. Which is bigger: l or z?
l
Let b(c) = -3*c - 2. Let w be b(-2). Suppose -4*k = -w*v + 8, -3*k - 5 = -4*v + 6. Which is smaller: 3 or v?
3
Let l = 3265.237 - 3267. Let c = l + 0.063. Which is greater: c or -1?
-1
Let f be 5 - 3 - 2834/14. Suppose 0 = 2*m - 303 - 97. Let u = m + f. Which is greater: u or -1?
u
Let v(n) = 9*n**2 - 3*n - 20. Let z be v(-3). Which is smaller: 494/7 or z?
z
Suppose 0*p = -p. Suppose -6*b + b - 40 = p. Let i be 6/(-4) + 11/(-2). Does b = i?
False
Let h(b) = 2*b**2 - 62*b + 8. Let o be h(37). Is o smaller than 453?
True
Let a(f) = 29*f + 132. Let v be a(-6). Which is smaller: v or -1/4