z = s + 147. Which is bigger: z or -5?
z
Suppose 401 = -5*j - 39. Let i = -167 - j. Let z = i + 56. Is z greater than or equal to 0.1?
False
Let j(p) = 4*p - 40. Let c be j(11). Let l be -1 + (-1 - -7 - (c - 1)). Let v be -2 + 384/92 - l. Which is greater: 1 or v?
1
Let f = -0.658 + 11.578. Let l = -11.3 + f. Which is greater: -1 or l?
l
Let q(u) = u**3 + 2*u**2 + u. Let c be q(-1). Let t = c - 17. Suppose 0 = -4*y - 114 + 42. Are y and t unequal?
True
Let v(n) = -n - 3. Let z be v(-5). Suppose z*a - 69 + 6 = 3*c, -4*a = 4*c - 136. Suppose 1067 = 26*r + 235. Is r <= a?
True
Let f = -0.6215 - -0.3215. Is 6/7 bigger than f?
True
Suppose -157 = -q - m + 17, 0 = 3*q + m - 516. Let g be 2/9 + (-113411)/q. Let j be g/15 + 0 + 2/10. Is j > -44?
False
Let q be 5/(-2) - 1155/(-14). Let r be (4 + -6 + 5)/((-78)/q). Which is bigger: -2 or r?
-2
Suppose 3*v = 24 + 150. Suppose -2*n - 4*t - 12 - 4 = 0, 2*t = -2*n - 6. Suppose -4*m + 2*j + 136 = 0, n*m + 5*j - v = -14. Is 33 equal to m?
False
Let x = 171 - 332. Let a = 162 + x. Let o be (-5 + 10)*(-8)/(-70). Is o at least a?
False
Let s = 18816 - 15750. Which is smaller: 3062 or s?
3062
Let s(l) = -l**3 + 28*l**2 - 28*l - 58. Let v be s(27). Let r = 106 + v. Suppose -2*k = -k - r. Is 21 greater than or equal to k?
True
Let d be (1417 + -15)/(11 - 9). Is d >= 703?
False
Let m be (-2)/8 + (95045/(-4))/(-5). Which is bigger: 0 or m?
m
Let s = 106 - 57. Let c = 199 - 197. Let r be (c + 53 - 2) + -9 + 6. Does s = r?
False
Suppose -y = -11 + 6, 2*m = y + 2041. Which is smaller: m or 1021?
1021
Let g = -0.2 + -32.8. Let k = 34.24 + g. Let v = k - 0.24. Which is bigger: v or -1/31?
v
Let b = -1408.6 + 815.9. Let g = b + 599. Which is greater: -2 or g?
g
Let k = 139.8 - 140.8. Let r = -5/969 + -115301/1938. Let a = 61 + r. Is k > a?
False
Let r(o) = 13*o + 122. Let m be r(-9). Suppose -9*v = -8*v + 5*p + 6, m*v + 4*p = -72. Is v != -14?
True
Let c = -152 - 151. Let d = c + 258. Is -45 equal to d?
True
Let n = -12/13 - -226/273. Let g(i) = -2*i + 39 + 3*i - 45. Let t be g(5). Is t < n?
True
Let o be (-886)/(-14) + ((-32)/(-28))/(-4). Let t = -39 + o. Suppose -9*p - t = -12*p. Which is smaller: p or 25/3?
p
Let s = 90429251/3625 + -24946. Which is smaller: s or 1?
s
Let c = 4102709/16984 - -113/1544. Which is greater: c or 243?
243
Let f = 9442 + -8524. Is f at most as big as 3667/4?
False
Let g = -302 + 25975/86. Which is greater: -1 or g?
g
Let b = -897 + 3589/4. Which is greater: 924 or b?
924
Suppose 11*i - 77 - 187 = 0. Let c be 9276/i + 3/(-6)*1. Is 387 > c?
True
Let f = -101 + 113. Let i be (8 - 5)/(1/f - 0). Suppose h - 2*h + 37 = 0. Which is greater: h or i?
h
Let c = -129.53 + 2.53. Let x = c - -132.8. Is x less than -1?
False
Let o = -32 + 81. Suppose -4*j - c - o = 0, -2*c - 3*c = -5*j - 80. Let m(q) = q**2 - 11*q - 3. Let u be m(10). Are j and u unequal?
False
Let c(o) be the third derivative of -o**4/6 + 4*o**3/3 - o**2. Let m be c(7). Let i be 16/40*-15*10/3. Do i and m have different values?
False
Let q = 144 - 49. Let t = 0.1231 + 94.8769. Let k = q - t. Are k and 23 unequal?
True
Let k = -950/9 + 1921/18. Which is smaller: k or -5?
-5
Let p be ((-873)/171 - -7 - (-12)/114) + -182. Which is bigger: p or -179?
-179
Let i(x) = -6*x + 63. Let z(v) = -1. Let n(p) = -i(p) + 2*z(p). Let c be n(11). Which is bigger: c or -2/75?
c
Suppose -2*z - 4*u - 888 = 0, -25*z - u - 442 = -24*z. Which is bigger: -5 or z?
-5
Let k = 441 - 2087/5. Which is bigger: 24 or k?
24
Suppose 73*h + 457 - 1417 = -119*h. Suppose -2 = 2*k + 2*a, -4*a - 2 = -4*k + 26. Suppose 8 = -k*z + h. Is 12/5 less than z?
False
Let v = -4389 - -4388. Let c(a) = -a**3 + 7*a**2 - 2*a - 3. Let t be c(7). Let j be 2/t*(-9)/24. Is j bigger than v?
True
Let j be 6/(-223)*(-154)/693. Is 0 equal to j?
False
Let j = -54.42 + -0.62. Let w = 55.049 + -0.049. Let o = w + j. Is -3/7 <= o?
True
Let r = -2380 + 16579. Let h be -4*1 + r/3552. Let n = h - 42029/1184. Is n at least as big as -35?
False
Let s(g) = g**2 + g + 1. Let f(z) = -15*z**2 - 2*z - 3. Let j(y) = -f(y) - 4*s(y). Let x be j(-1). Which is bigger: 82/7 or x?
x
Let m be (-18)/(((-2)/7)/((-3)/7)). Let u be (3372/120 + -12)/((-6)/10). Which is bigger: m or u?
u
Suppose -4*k = k + 385. Suppose -9*x - 1638 = 18*x - 6*x. Are k and x nonequal?
True
Let u(l) = 2*l**2 - 62*l - 87. Let x be u(35). Let s = 876/5 - x. Which is smaller: -18 or s?
-18
Suppose -706992 = -298*m + 272*m. Which is bigger: m or 27193?
27193
Let l be (4/(-78))/(-3 - (-284)/96). Suppose 2 = -4*r - 2*i - 2, 0 = -4*i - 16. Which is greater: r or l?
l
Suppose -3*u + 51 = -3*i, 6 + 9 = -i + 3*u. Let b be i/99 - (-72)/33. Suppose -v + 27 = b*g, -5*v + 172 = -2*g + 49. Which is smaller: v or 0.1?
0.1
Let z be 0 - 2/(-2 + 0). Let c be 120/(-45) + (-24556)/66. Let l = -375 - c. Which is smaller: l or z?
l
Suppose 0 = 15*j - 2*c + 1033, -8*j = -7*j - 5*c + 64. Which is greater: j or -54?
-54
Let i be 434*((-5)/4 - -1). Suppose -4*v + 66206 = -5*p + 66653, v = -3*p - 99. Does v = i?
False
Let l(c) = -6*c**2 - 6 + c**3 + c**2 - 1 - 5*c. Let j be l(6). Let a be (42/38 + -1)/((-196)/147). Which is greater: j or a?
a
Let r = -7 + 13. Let y = r - 6. Let o = 4833 - 4836. Is y < o?
False
Let b = -2171.2 + 2171. Which is smaller: -3/163 or b?
b
Let d(b) be the first derivative of b**2 + 21*b + 12. Let r be d(-14). Let h = 11 + -8. Is r greater than h?
False
Suppose -3*b - 73 = -w, -3*b - 46 = -2*b + 4*w. Let d = -52 - b. Let s = -180 - -153. Is s <= d?
True
Let b be (0 - (-30)/(-4))/(69/(-46)). Suppose 3*u = -3*f - 0*f + 6, -10 = -b*u. Does f = -4/49?
False
Let a be (1/(2/(-732)))/((-3)/((-60)/(-40))). Which is greater: -16 or a?
a
Let j be 2*1*-2 + -304*(-19)/152. Are -104 and j non-equal?
True
Let b(c) = c**2 - 11*c + 31. Let o be b(6). Suppose 4*j - 1036 = -4*a, 0 = -a - 0 + o. Which is bigger: j or 259?
259
Suppose -9*v + 2*v + 168 = 0. Suppose -v*k - 960 - 1392 = 0. Is -99 equal to k?
False
Suppose 48 = 3*c + c. Let n(k) = 2*k**2 - 11*k + 23. Suppose -27 = -3*x + h - 10, 3*h + 35 = 5*x. Let l be n(x). Which is smaller: l or c?
l
Let m = 30.684 - 29.684. Is m smaller than 0.12329?
False
Suppose -91*b + 462 = 98. Suppose -4*g + 6 = -g. Suppose -3*k - g*k = -b*k. Which is smaller: k or -0.06?
-0.06
Let l be -276 + 271 - 3/(-1 - 0). Is -33/35 at least l?
True
Suppose 26 = 46*h - 33*h. Suppose -5*z + 299 = 4*c, h*c - 5*z - 3 - 184 = 0. Is 82 <= c?
False
Let m be ((-2)/(-9))/((-340)/515610). Is -16 greater than m?
True
Let k = -260 - -256. Let m be k/(-22)*(6 + -8 + 4). Which is bigger: m or 13?
13
Let s = -2164.1 - -2060. Let y = 96.3 - -7.7. Let z = y + s. Is z less than or equal to -14?
False
Suppose -g + 2*i = -2, 23*i = -5*g + 22*i + 10. Let z = -23.992 - 0.008. Let x = -17 - z. Is x less than or equal to g?
False
Suppose t = -1 + 190. Let h = t + -198. Which is bigger: h or -15?
h
Let l = 271.77 - 278.77. Which is bigger: l or -1045?
l
Let a = -210125/51 - -4120. Is 0 smaller than a?
False
Let b be (-1)/2 - (-33)/476. Let l = -132731/68 - -1952. Let r = b + l. Which is bigger: 0 or r?
0
Suppose -3*s + 5*b + 7 + 2 = 0, -5*b = 0. Suppose -3*j - s = -12. Suppose -20*u + j*u - 102 = 0. Which is smaller: -5 or u?
u
Suppose -37*w + 34*w + 2*y + 1067 = 0, 4*w + 3*y - 1434 = 0. Which is smaller: 12 or w?
12
Let f be 2 + -19 + 651/42 + 25/14. Which is smaller: 0.933 or f?
f
Suppose -3*f = -4*s - 21442, f = 4*s - 3076 + 10210. Is f less than 7155?
True
Let l be (14 - (-13 - -25))/(-3 - 47864/(-15972)). Which is smaller: -615 or l?
-615
Let w be (-38)/(-60) + (-7)/21. Suppose 7*b - 116 = -57 - 66. Which is greater: b or w?
w
Suppose -983*x + 987*x - 24 = 0, 0 = 5*t - 2*x - 878. Which is bigger: 183 or t?
183
Let b = 17.32 + -18. Let g = 0.54 + b. Let h = g - -0.14. Is 5/4 >= h?
True
Suppose -7*c + 39*c = -32. Are -12/2975 and c nonequal?
True
Let l be 24*13/130*-15. Which is bigger: -38 or l?
l
Suppose d - 2 = -2*i, 4*d - 5*i = d + 6. Suppose -n - c - 35 = -14, -38 = d*n + c. Let r(v) = -4*v - 40. Let k be r(n). Is k < 28?
False
Suppose 0 = 14*i - 9*i - 20. Suppose g = -v, -g = -v - i*g + 2. Let a be (-2)/(-10 + 0)*-2. Is v less than a?
True
Let m = -1906 + 1906. Which is smaller: m or -25/351?
-25/351
Let v(j) = -61*j - 2005. Let b be v(-33). Let w 