(50/(-2195))/(3386/1204). Let g = 6/1693 + m. Are 1 and g non-equal?
True
Let g = -27912/7 - -4025. Is 38 smaller than g?
False
Let x be (-6)/2*(3 + (-135240)/63). Is 6431 at most as big as x?
True
Let f = -10 - -1. Let x be (1 + 9)*24/75*5. Let o = x - 25. Is o less than or equal to f?
True
Suppose -5*i - 5*y = 114 + 41, 0 = 2*i + 5*y + 71. Let k = i - -31. Let s(h) = h**2 + 4*h - 1. Let d be s(-5). Which is smaller: k or d?
k
Let f = -798 - -473. Let i = 325 + f. Which is bigger: i or 15?
15
Suppose 18*k = 14*k + 4*m + 8, 4*m = -16. Suppose -4*b + 10 = -3*a, 3*a - 3*b = -5 - 4. Is k not equal to a?
False
Let x = 8682.72 + -8686. Which is smaller: 2.4 or x?
x
Suppose -3346*v = -3343*v + 3663. Which is smaller: v or -1223?
-1223
Let s(n) = -n**3 + 21*n**2 - 55*n + 19. Suppose -4*f = -2*w - 64, -5*f + 7*w + 82 = 5*w. Let r be s(f). Let k be 4/((-844)/423) - -2. Which is bigger: k or r?
r
Let r = -0.058 + -0.024. Let j = 6258.1927 + -6257. Let h = -0.1927 + j. Which is smaller: h or r?
r
Suppose -15*r + 18030 = 15*r. Let m = r - 560. Is 3 > m?
False
Let d be (-22160)/1230 - 72/(-4). Is d less than or equal to 1?
True
Suppose 3*b - 1035 = -2*b. Let v = -33619853/162470 - -12/11605. Let z = b + v. Which is bigger: -1 or z?
z
Let h(d) = d**3 - 2*d**2 + 4. Let m be h(2). Suppose 2*z = m*z. Suppose -2*w - 62 = -z*w. Is -32 > w?
False
Let b = 546 + -362. Let z = 184 - b. Is z equal to 3/11?
False
Suppose 0 = -234*m + 157793 + 103819. Which is smaller: m or 1120?
m
Let h be (-10)/(-12)*(-11)/10. Let z = 0.537 + -0.337. Which is bigger: h or z?
z
Let b be 3/((-7)/(-294)*18) - 10. Is -682 bigger than b?
False
Suppose 4*t + 5*d = 148, -3*t - d = d - 104. Suppose -q + 5*g = -6*q + 20, -g = -3*q + t. Let l be (q/8)/(19/76). Which is smaller: l or 6?
l
Let l = 8222 + -8228. Which is smaller: -7/25 or l?
l
Let r be (((-75597)/10)/(-3) - (-60)/24) + 6. Which is smaller: 2528 or r?
2528
Let p be 13 - (-7800)/(-555) - -1. Let g be (4/(-10))/(11/(-110)). Suppose -4*s = g*f + 20, -1 = 3*f + s + 4. Which is bigger: p or f?
f
Let x(b) = 3*b + 24. Let t be x(-23). Let j = -40 + -4. Let v be -3 - (-3 - j)/1. Which is smaller: t or v?
t
Let j = -1489/9 + 13231/63. Let l = -40/3907 + 4912219/109396. Let v = l - j. Are v and 0 non-equal?
True
Let w = 32557 + -32454. Is 103 equal to w?
True
Let l be ((-8)/(-22))/((56/44)/7). Suppose -n - l*n = -2*t + 40, 0 = -4*t - 5*n + 36. Let k(v) = v + 12. Let q be k(0). Is q greater than t?
False
Let s = 35200 + -35199.84. Let o be 10/(-22)*(-2)/5. Which is greater: o or s?
o
Let f = 0.1 - -0.1. Let d = 0.2 - f. Let k = 4.23 + -14.23. Which is smaller: d or k?
k
Let f be 10300/26 - ((-564)/52 + 15 + -4). Does f = 391?
False
Suppose h - 2169 = 4*t, -13*t = -9*t + 4*h + 2204. Which is smaller: -1085/2 or t?
t
Let z be 18*((-1023)/54 + 19). Are z and 2/45619 equal?
False
Let y(r) = r**3 - r**2 - 10*r + 6. Let j be y(-3). Suppose -3*l - 3*k + j*k = 306, 4*l + 5*k + 411 = 0. Which is smaller: -101 or l?
-101
Suppose 0 = 9*h + 9775 - 3295. Let c be ((-111)/(-2))/(1485/h). Is c >= -26?
False
Let k be (-4)/27*6*258/(-392). Let j = -4/49 - k. Is 1/49 smaller than j?
False
Let a = -674 + 429. Let k = -251 - a. Let p be (-2)/(-5) - 74/10. Is p at least as big as k?
False
Let g = -1069.5 - -960. Let f = g + 109.8. Let h = 0 + -0.4. Is h bigger than f?
False
Let o = 0.95 - -0.05. Suppose 3*j + a = 19, 6 - 33 = -5*j + 3*a. Suppose 5*d - j*d + 20 = 4*g, 0 = -3*d + 12. Is g < o?
False
Let l = 5 - 6. Let s be 516/(-690) - (-3 - 78/(-30)). Is s bigger than l?
True
Let t be 6 + ((-1)/((-5)/(-20)) - 6949) + -1. Are t and -6948 non-equal?
False
Let k = 48 + -43. Let r be 61/k + (-5)/(-5). Suppose -3*t - l - 35 = -73, 0 = 5*t - 3*l - 54. Is t greater than r?
False
Let v = 35123 + -35123. Is -39947/5 at least v?
False
Let l = 0.0074 - -0.3206. Let g = -0.528 + l. Let j = 468 - 17317/37. Does j = g?
False
Let o(v) be the first derivative of v**3/3 + 5*v**2/2 - 13*v - 126. Let x be o(-7). Which is greater: 3/49 or x?
x
Suppose 0 = -17*h - 4*h - 3066. Let c = 20 + h. Which is bigger: -127 or c?
c
Let n = 904 - 1052.2. Let s = n - -144. Let b = -3.2 - s. Is -0.12 at most b?
True
Let f = -62.4 + -825.6. Let y = f - -887.054. Let x = y + -0.054. Which is smaller: -2 or x?
-2
Let d be (51/(-6))/((-16)/((-13056)/12)). Which is smaller: d or 1/3?
d
Let b(o) = o**2 - o + 4. Let u be b(7). Let i = u + -50. Which is smaller: i or -38/15?
i
Suppose 2*o = 14 + 6. Suppose -o*s + 3*s = -217. Which is smaller: 30 or s?
30
Let o be ((-165)/30 - (-20)/8) + 9. Let m be (2 + 5)*27/36. Which is smaller: m or o?
m
Let t(w) = -w**2 - 69*w + 1145. Let q be t(0). Which is bigger: 1144 or q?
q
Let y be (4/((-24)/162))/(-3). Suppose 2 = -2*a, 11*a - 16 = 3*j + y*a. Let n be 1/3 + 182/(-24). Is n greater than or equal to j?
False
Let f = -12886517013/439460 - 998/109865. Let p = f + 119289/4. Let u = 493 - p. Which is bigger: u or -7?
u
Let m(n) = 756*n - 756. Let s be m(1). Which is smaller: 557 or s?
s
Let f(t) = -t**3 + 3*t**2 + 4. Let d = 15 - 12. Let s be f(d). Let l be 70/6 + -10 + 1. Which is greater: s or l?
s
Let j = 2074.3391 - 2074. Let c = -37.5209 - j. Let b = 38 + c. Are b and -0.2 nonequal?
True
Let d = 97.62 + 1.38. Let w = 11257 - 11354. Let v = w + d. Does v = 3?
False
Suppose 7*g = 8*g - 4*x - 202, -4*g + 768 = 4*x. Let u = 113 - g. Let c = -143 + 713/5. Which is greater: c or u?
c
Let i(g) be the third derivative of -5*g**2 + 0 + 1/30*g**5 - 5/6*g**3 - 1/4*g**4 + 0*g. Let q be i(4). Which is bigger: -0.8 or q?
q
Let g = 692764/3 - 233148. Let f = g + 2183. Let s = -136/3 - f. Is s less than or equal to -3?
False
Let v be -7 - (2/51)/((-46)/42573). Is v at most 29?
False
Suppose -26*c + 46*c = 21*c. Let z = 137/12 + -8/3. Let l = z - 1287/148. Is c < l?
True
Let a = 2/954175 + 7279401043/15266800. Let i = 477 - a. Suppose 11*d = 25*d. Which is smaller: d or i?
d
Suppose 3*t + 2*j = 6*j + 68, 3*t + 5*j = 23. Let d be (-436)/t - (-1 + -5). Is -22 > d?
False
Let f = -610 - -598. Let u be 743/f + (-74)/222. Which is greater: u or -63?
u
Let k = -0.0018 - 504.9982. Let y = k - -1062. Is -0.1 smaller than y?
True
Let y = 64133 - 63611.19. Let v = -524 + y. Let s = 0.19 + v. Which is bigger: 0.5 or s?
0.5
Let m = 577 + -429. Let x = m + -229. Which is smaller: -2 or x?
x
Suppose 37*v + 5040 = 29*v. Let j = v - -588. Which is smaller: j or -46?
-46
Let a(t) be the third derivative of t**5/20 - t**4/24 - t**3 + 14*t**2. Let s be a(0). Let y = 18 + -18. Is y not equal to s?
True
Let j(m) = m**2 - 2*m. Let d be j(-2). Let l(s) = 4*s - 42. Let u be l(d). Let a be (-15)/10 + u/(-4). Is a at most -2/95?
False
Let j = -615 - -592. Suppose -r + 5*l = 12 + 13, 0 = 4*r + l + 79. Is j less than r?
True
Suppose -2*b + 329 = 5*u, 5*b + 100*u = 105*u + 805. Which is smaller: b or 160?
160
Let l(b) = 48*b + 227 - 23*b + 32*b. Let k be l(-4). Which is smaller: k or -4/327?
k
Let h = -0.27755 - -0.02855. Is h smaller than -2?
False
Let g = 104.7 + -127. Let f = 19.2 + g. Is -1/4 smaller than f?
False
Let b(r) = 7*r + 2. Let u be b(0). Let s be (u*1)/(10/(-20)) + -9. Which is smaller: 0 or s?
s
Let r = 4 - 0. Let v = -70479 - -70487. Is r at least v?
False
Let h(g) = -2*g**3 + 6*g**2 + 299*g - 1545. Let q be h(5). Suppose -x = 2*d + 2 + 143, -4*d + 465 = -3*x. Is q at least x?
True
Let l = 26580 - 26540. Let s = 0 - -0.1. Let q = 0.2 - s. Is q >= l?
False
Let x(v) = v**2 - 3*v - 10. Let f be x(-8). Suppose f = 7*i - 6*i. Let g = -73 + i. Which is bigger: g or 19/3?
19/3
Suppose 3*z + 3*q - 8 = -2*q, 58 = 3*z - 5*q. Let j = -2.8 + 3. Let a = -1.2 + j. Which is smaller: z or a?
a
Let f be (3 + (-1 - 0))/(92/138). Let w = -24.7 + -7.3. Which is smaller: f or w?
w
Suppose -i - 2*m = -2*i - 3, 4*i = 5*m - 9. Let g be i - (-3 - (-72)/30). Which is greater: g or -2/81?
-2/81
Let f be (7/28)/((-1)/(-92)). Let d = 26 - f. Let z be (d/7)/((-6)/40). Is -4 less than or equal to z?
True
Let p be (3 + 0)/(6/(-32)). Let l be (-86751)/(-270) - (2/(-10) + 0). Let o = 307 - l. Is p greater than or equal to o?
False
Let b = -164.939 + 166.3. Let s = 87.061 - 87. Let r = b - s. Is -0.1 equal to r?
False
Suppose -1703*x - 1035648 = -1796*x. Is x at least 11136?
True
Let s = 124875 + -1621929/13. Does 111 = 