99 = 0, 2*x = -5*p + 593. Suppose 8*c = -33 - p. Are -61/3 and c equal?
False
Suppose -45*z + 11192 + 12433 = 0. Let k be 630/z + (-1)/5. Which is smaller: -2 or k?
-2
Suppose -14*d - 110 = -614. Suppose -3*x = 4*y + 8, -7*y = -5*x - 8*y - d. Is -1/6 greater than or equal to x?
True
Let d = 2981/1704 - 43/24. Let b = d - 1159/1136. Which is smaller: b or -1?
b
Let c = -5 + -3. Let d(t) be the third derivative of -t**4/12 - 13*t**3/6 + 14*t**2. Let g be d(c). Which is smaller: g or 0.4?
0.4
Let d be (3 + 18/(-4))*((-206880)/(-18))/5. Which is bigger: -3449 or d?
d
Suppose -15*q - c - 230 = -10*q, q + 46 = -3*c. Let u = 0 - 0. Which is bigger: q or u?
u
Let y(j) = -j**3 + 54*j**2 - 51*j - 17. Let t be y(53). Does 70 = t?
False
Let j = -53 - -42. Let t = -9 - j. Let l be 3/29*(10/6 - t). Are 1 and l nonequal?
True
Let m(d) be the second derivative of -d**3/6 + 183*d**2/2 + 118*d - 2. Let i be m(0). Is 183 at most i?
True
Let c = 12214 - 7530. Is c at most -1?
False
Suppose -3*s - 1 = -4. Let p be -1 + (6 - s) + -3. Let g be (66/(-5940))/((-14)/(-10) + -1). Which is smaller: g or p?
g
Let t = 2332 + -2326. Let x = -170 + 159.07. Let b = x + 11. Is b <= t?
True
Let n be ((-1825)/(-10))/((-2)/(-4)). Let y = 326 - n. Which is smaller: -38 or y?
y
Let h(v) = -116*v - 2319. Let f be h(-20). Let l = -2619307/319 - -8211. Which is smaller: f or l?
l
Suppose 47 = 2*r + n + 2*n, 4*n - 73 = -3*r. Suppose -r*p - 46 - 16 = 0. Let m be (-6)/(-21) - (-20)/28. Which is bigger: p or m?
m
Suppose g + 3*g - 3 = 5*w, 0 = -2*g - 3*w + 7. Suppose -2*x - 4 = g*h + 2*x, -3*h = 3*x - 9. Which is smaller: 29/4 or h?
29/4
Suppose 2*p + 6 = 12. Suppose -v = 3*v + p*r - 39, 3*v = -3*r + 27. Let w be 1 - 5/(30/v). Which is greater: 4/23 or w?
4/23
Suppose 2*p + 6*p - 1056 = 0. Suppose c = p - 143. Is -93/8 >= c?
False
Let r(q) = 3*q**3 + 21*q**2 - q - 16. Let c be r(-11). Is c equal to -1457?
True
Let d = 8.08 - -0.02. Let w = 9 - d. Let q = w + 8.1. Is 3 less than q?
True
Suppose -15 = 6*p - 4*p + 3*k, -k - 5 = -2*p. Suppose -17*w + 22*w = 60. Let m be (-6)/2 - 54/w. Are p and m equal?
False
Suppose 26*n - 21*n - 100 = 0. Let h be 4/70*7*(0 + n). Let c = 7 + 2. Which is bigger: h or c?
c
Let j be 9 + 1225/(-625) - (-3)/((-9)/21). Let c(g) = -g**2 - 8*g - 8. Let v be c(-7). Which is smaller: j or v?
v
Let h be (138/(-667))/((1/(-2))/1). Suppose -5*k - 41 - 44 = 0. Let y = k - -18. Does h = y?
False
Suppose -3*a = -23 - 4. Let v be (-3 - a)*6/(-2). Suppose -4*z - v = -8*z. Is 9 at most z?
True
Suppose 2*k + 19478 = -4*r, 12*k = 2*r + 16*k + 9724. Are r and -4870 unequal?
True
Let h be 3 - 193/(-225) - 4. Let t = h + -2/25. Are -32 and t non-equal?
True
Suppose -45*v + 19*v + 13*v = 0. Is 0.3353 greater than or equal to v?
True
Suppose -3*p = -z - 6, 3*z + 54*p - 24 = 49*p. Let l be (-38)/(-14) - 4/(-14). Suppose -l*d - z = -0. Which is smaller: d or -0.18?
d
Let p be (-1026)/(-1869) - (-440)/(-770). Suppose -3 = -7*o - 10. Which is greater: o or p?
p
Let u be (18/36)/((-1)/(-2)). Let g be u/(-2*4/48). Which is smaller: g or -54/11?
g
Let y = 6.26 - 289.26. Let c = y - -275. Let n = -0.2 - -0.3. Is n != c?
True
Let v(p) = -p**3 - 8*p**2 + 32*p - 17. Let k be v(-11). Let w be (-39)/(-52)*-8 - (k - -1). Let q = -1/934 + -11183/23350. Which is smaller: w or q?
w
Suppose 3*m = 4*m + 30. Let y be (0 - -1)*(-2922)/(-2 - 4). Let l = y + -517. Is m less than l?
False
Let v = -2338/27945 + -4/1215. Let x(d) = -d + 5. Let n be x(4). Which is smaller: v or n?
v
Suppose -y + 2*h + 40 = 0, -3*y - 9 + 119 = -4*h. Let l = y - 28. Suppose 2*g = 3*g - l. Which is greater: g or 3?
3
Let u = 0.3 - 0. Let z = 0.844 - 24.644. Let n = 23 + z. Is u equal to n?
False
Let v(l) = 41*l - 5. Let o be v(1). Let w be ((-27)/o)/(3/(-8)). Suppose 70 + w = 3*a. Which is smaller: 25 or a?
a
Suppose 35*a = 30*a. Suppose 2*w = -4*u - 6 + 50, u - 4*w - 20 = a. Let p(k) = k**2 - 13*k + 13. Let g be p(u). Are g and -2/99 equal?
False
Let l(u) = -u**3 + 9*u**2 + 26*u - 161. Let a be l(10). Is a <= -26/271?
True
Let u be (-26904)/13453 + 5 + (-39)/13. Which is smaller: u or 0?
0
Suppose -60 - 67 = -d + 3*l, 15 = -3*l. Let z be (-32)/d - (-312)/14. Which is greater: z or 19?
z
Let m(y) = y**2 - 2. Let l be 1 + 1*(-3)/3. Let c be m(l). Let i be -21*(-3)/72*4. Which is smaller: c or i?
c
Suppose 3*l = -3*b + 24 - 21, 2*b - 2*l - 10 = 0. Suppose 2*n + v + b = 0, 0*n + n - 4 = 5*v. Which is smaller: n or -1/95?
n
Let q = 13289 - 5244. Which is bigger: 8044 or q?
q
Suppose -182*w - 2568 = -206*w. Which is smaller: w or 105?
105
Let w(v) be the second derivative of v**3/6 - 5*v**2 - 4*v. Suppose 5*d = -59 + 104. Let y be w(d). Which is bigger: y or -4?
y
Let t be 34/(-16) + 14/112. Is t less than -52/51?
True
Let c = 1646 - 1647.0012. Is c greater than or equal to -1?
False
Let d = 10/159 + 89/1113. Let p = -10 + 6. Which is bigger: p or d?
d
Let m = 132971/780 - 37/260. Is m less than or equal to 170?
False
Let n(s) = -174*s**3 + s**2 - 32*s - 62. Let t be n(-2). Is 1397 less than or equal to t?
True
Let o = 94/5 - 7486/395. Suppose v - 1 = s, 3*s + 1 = -2. Are o and v non-equal?
True
Suppose 0 = 2*d + 2*r + 144, -5*d - 64 - 281 = 2*r. Is d bigger than -28?
False
Let j = -5.379 - -3.379. Is j greater than or equal to 5067?
False
Let x = -6336 + 5206. Which is smaller: -1129 or x?
x
Let d = 372 + -439.3. Let j = 3.3 + d. Let p = j - -63. Which is greater: -9 or p?
p
Let z be 1/12 - 7497/(-756). Suppose 0 = 5*x - z + 5. Is x less than -1/206?
False
Let x be (6/(-4))/(16/((-226336)/33)). Let m = x + -12215/19. Which is smaller: m or -12?
-12
Suppose -y + 818 = 141*x - 144*x, -y = -5*x - 812. Is y at most as big as 828?
True
Let y(b) = b**2 + 4*b + 3. Let z be y(-2). Suppose -369*q - 10 = -374*q. Let d be ((-20)/490)/(q*2/(-6)). Is d at most z?
False
Let o(m) = -m**3 + 72*m**2 - 64*m - 501. Let v be o(71). Which is greater: 510 or v?
510
Let z = -25309/5 - -5064. Is 2 > z?
False
Let k(b) be the second derivative of -101*b**3/6 - 15*b**2/2 - 143*b + 1. Let u be k(3). Is u at most as big as -319?
False
Suppose 5*y - 3*n = -1587, 11*y - 16*y = -2*n + 1583. Let f = y + 276. Which is smaller: -38 or f?
f
Let k = 283 - 515. Let s = 234 + k. Let o = 0.025 - 0.235. Which is smaller: o or s?
o
Let n(a) = a**3 + 3*a**2 + 2*a + 10. Let r(x) = -x**3 - 10*x**2 - 10*x - 9. Let z = -36 + 27. Let u be r(z). Let b be n(u). Which is bigger: 31/3 or b?
31/3
Let i(t) = 5*t**2 - 10*t + 37. Let y be i(-20). Let u = 42490/19 - y. Do u and -2 have the same value?
False
Let j(l) = -49*l**3 - l**2 + 1. Let u be j(-1). Let x = -23 + u. Let q be (-222)/(-8) - 0 - 236/(-944). Does q = x?
False
Let d(g) = g**3 - 17*g**2 + 2*g - 27. Let q be d(17). Let b be ((-6)/q)/((-4)/48). Is b != 11?
True
Let s = -2.1116 - -0.1116. Let d = -18.7 - -18.25. Which is smaller: s or d?
s
Suppose 0 = -16*u - 23*u + 78. Suppose u*x + 115 = 181. Is 32 at least as big as x?
False
Suppose -22 = -3*t - 16. Suppose y + 32 = 2*c + t*y, -c + 16 = -3*y. Is 8 not equal to c?
True
Suppose -5*i - 154 = -2*s, -3*s + 5*i = -97 - 134. Let t be (186/217)/(-2*4/(-168)). Let a be t/70 - (-11)/s. Is -29 less than or equal to a?
True
Let i(p) be the second derivative of -p**3 - 19*p**2 + 6*p. Let w be i(-18). Let f = -72 + w. Which is greater: 2 or f?
2
Let k = 6.0819 + -57.9479. Let c = k + -0.134. Let h = c - -57. Which is smaller: h or 0?
0
Let j = -91 + -6. Let a = 118 + j. Is 21 at least a?
True
Let c = -5168 + 25838/5. Is c less than or equal to -70?
False
Let f = -324 - -324. Let h be (-42)/9*(-27)/6. Let k be ((-6)/52)/(h/(-112)). Which is smaller: k or f?
f
Let o = -5275/2 + 2795. Let q = o + -126. Which is smaller: q or 32?
q
Suppose 156*u = 158*u - 8. Let h be (2 + 4)/((-14)/u + 5). Which is smaller: h or -39?
-39
Let d = 235 + -234. Let n be ((-1476)/(-24))/(d/(-2)). Which is greater: n or -122?
-122
Let n = -4201 - -37895/9. Let a = n + -31/18. Is a greater than 7?
True
Let p be 32/368 + 16036/6555. Does 4 = p?
False
Suppose 3*o = 15*o + 1440. Let x be 7725/(-65) - (-8)/(-52). Is x <= o?
False
Let r = -0.053321 + 0.143321. Let y = -0.18 + -1.62. Let t = 1.87 + y. Is r less than t?
False
Let o = 167 - -104. Let q = o + -271.052. Let k = 0.3 - 0.2. Which is smaller: k or q?
q
Let