 Let s = 51.2 - g. Let u = s - 50.36. Is u at most as big as -1?
False
Suppose -89 = -5*u - 3*k, 77 = 2*u + 3*u - k. Let b(n) = -n**3 + 15*n**2 + 15*n + 20. Let g be b(u). Let c be 1*(g + (-20)/2). Are -4 and c equal?
False
Let z = -72.9 + 137.6. Let m = z + 20.3. Let p = -86 + m. Which is smaller: p or -2?
-2
Suppose -5*l - o + 35 = 0, -2*o = -2*l + 16 - 14. Suppose 5*t - 296 = -4*h, -4*t = -l*t - 8. Which is smaller: 82 or h?
h
Suppose 3*t + 3*d - 257 = 4*d, t = 5*d + 81. Suppose 0 = 57*c - t*c + 1189. Which is smaller: 39 or c?
39
Suppose 9*h - 65 + 326 = 0. Let d(f) = 3*f + 1. Let o be d(-5). Let q be 400/504 + 8/o. Which is greater: h or q?
q
Let k(d) = 4*d**3 - 3*d**2 + 5*d - 19 - 8*d**2 + 12*d**2. Let g be k(3). Is g > 113?
False
Let c(j) = -9*j - 18. Let s = 79 + -81. Let p be c(s). Suppose -3*v + 8 - 26 = p. Are -51/7 and v equal?
False
Let m = 20379/8 + -2547. Which is smaller: 72 or m?
m
Let j = 57 + 22. Let r = j - 61. Suppose 140 = r*s - 13*s. Is 28 <= s?
True
Let s = 186/16043 + -36525586/1010709. Let n = 298/7 + s. Let x = -7 - -12. Is n equal to x?
False
Let q be -3 - (-7)/((-35)/(-85)). Let s be ((-171)/(-133))/(2/q). Does 15/2 = s?
False
Suppose -4*w - 10 = 3*p + 2, -w - 3*p = -6. Let u be w/(-40)*40/(-48). Suppose -97 + 101 = 2*d. Which is smaller: u or d?
u
Let t be (-18 + 4 - -5) + 11. Suppose -z - t*g + 1 = -g, 4*g + 28 = 4*z. Let m = -7 + 12. Which is smaller: m or z?
z
Let z be 30/(-10)*(266/6 + 0). Let x be -3 - z/49 - (-3123)/(-21). Which is smaller: -150 or x?
-150
Let i = 118137/55 + -2148. Suppose -245*q = -240*q + 5. Is q greater than or equal to i?
False
Let r(l) be the third derivative of -l**6/60 - l**5/60 + l**4/8 - l**3/3 + 31*l**2. Let d be r(-2). Let q be d/(-430)*-3*(-10)/(-3). Are 0 and q nonequal?
True
Let u = 0.7 + 0.3. Let r be (9 + -17 - -2)*(63/(-7))/(-243). Is r at least as big as u?
False
Suppose 2*i = 5*i + 5*o - 555, i + 3*o = 181. Which is smaller: i or 185?
185
Let y = -18.13 + -6362.87. Does 1/2 = y?
False
Let q(o) = 4*o**2 + 77*o + 18. Let z be q(-19). Is z greater than or equal to -42/25?
True
Let r = 0.06184 + -100.06184. Which is bigger: r or 0.07?
0.07
Suppose -3*i = 5*n + 13, 1 = 4*n - 3*n. Let s be (40/i*45/(-25))/(-1). Is 0.01 > s?
True
Let i(n) = -n**2 + 61*n - 325. Let u be i(5). Which is bigger: -40 or u?
-40
Suppose 0 = -8*o + 4*o - 88. Let d be 282/(-22) - (-4)/o. Let j be d/1820 + 1/(-7). Is j less than or equal to 0?
True
Suppose -c + 1 = 0, -c + 3116 = -5*r + 10285. Let f be -5 - -12 - 10020/r. Is -1 > f?
False
Let d = 201 + -203.4. Let j = d + 1.4. Are j and -13 equal?
False
Suppose -o - 531 = -0*o. Suppose -5*f + 441*v - 2602 = 444*v, -4*v = -64. Does o = f?
False
Let n = -171.173 - -171. Let c = n - -0.029. Let w = 0.044 + c. Is 2/19 less than w?
False
Let y(p) = -3 - p**3 + 11*p + 5 + 17*p**2 + 7*p - 3. Let z(l) = -l**2 - 31*l + 18. Let j be z(-31). Let t be y(j). Are -1 and t non-equal?
False
Let w be -79*7*472/(-1416). Which is greater: 1/4 or w?
w
Suppose 7 = -2*o + w, w + 0*w - 5 = 0. Let j = 48 + -44. Let k be 60/1485 + (-2)/(-44)*j. Is k greater than o?
True
Let i = -101.51 + -18.19. Is -1 less than or equal to i?
False
Let l be 4/(-6) - 17/(-3). Suppose -2*g + g + 9 = 2*p, -l*p + 23 = 3*g. Let m = -64 + 61. Which is smaller: m or p?
m
Let o(c) = -101*c + 4847. Let i be o(48). Is i less than -4/747?
True
Let h(c) = 8*c**2 + 36*c + 36*c + 29 - c**3 - 66*c. Let u be h(9). Which is greater: u or 30/19?
u
Let i(o) = 4*o**2 + 8*o + 32. Let m be i(-14). Let u = m - 537. Which is greater: 169 or u?
169
Let l = 0.87 - 3.37. Let t = 0.05 + -2.25. Let v = l - t. Is v smaller than 0?
True
Let z = 95 + -117. Let k(a) = a**2 + 27*a + 107. Let l be k(z). Suppose -5*p + q = 0, q + 2 = -3. Is l >= p?
False
Let f = -23.68 - -20. Let i = f + -0.32. Let j = -71 + 853/12. Which is bigger: i or j?
j
Let p = -3184 - -3182. Is 0.2103 > p?
True
Let b be (0 + 0 - 1)*-1. Let k = 3/133129 - 267473/53917245. Which is greater: k or b?
b
Let o = -0.2 + -0.8. Let i = 424.9 + -451. Let k = i - -28.2. Which is smaller: k or o?
o
Suppose -p = -5*i - 8, -3*p + 14 = p - 2*i. Suppose 6 = 3*y + o + 3, 0 = 5*y - o + p. Is y < -1?
False
Let t be 25953/(-287) + (-4)/7. Is t less than 6/5?
True
Let y = -5 - -19/4. Let v be 1 + -2 - ((-195)/(-52))/(-5). Is y at least v?
True
Let j = 9 + 145. Suppose -3*x = -j - 86. Let n be 8*4/x - (-59)/15. Is 4 at most n?
True
Suppose 19*v - 15*v - 368 = 0. Let d = v - 301. Which is bigger: d or -208?
-208
Let a = -19 - -27. Let f = 257/69 + 198/23. Let q = a - f. Which is smaller: -4 or q?
q
Let t = 1586/11 + -144. Let k = 126 + -110. Which is smaller: t or k?
t
Let d = -305 - -319. Let p be (-1625)/1904 + (5 - 58/d). Do p and 0 have the same value?
False
Let j be (2/(-18))/(((-16)/(-48))/((-2713)/(-1))). Which is bigger: j or -903?
-903
Suppose 0*f = -2*f. Suppose -l + 16 - 2 = f. Let x(a) = a**3 - 13*a**2 + 41*a + 4. Let q be x(8). Which is greater: l or q?
l
Suppose 19*i - 42 - 376 = 0. Suppose 126 = i*d - 248. Which is bigger: -2 or d?
d
Let y = -0.02442 + 20.12442. Which is smaller: 5 or y?
5
Let v = -226 + 255. Let l(a) be the third derivative of a**4/24 + 14*a**3/3 - 2*a**2. Let b be l(0). Is b greater than or equal to v?
False
Suppose x + 214 = 3*j, -j + 78 = -0*j + 3*x. Let o = -72 + j. Let s = 2399/24 - 100. Is o less than or equal to s?
False
Let k be -2*(-3 - 28/(-8)). Suppose 0 = 4*b - 4*r - 1712, 3*b - 1326 = -89*r + 85*r. Which is smaller: k or b?
k
Let w be -10 - -7 - 256997/(-85670). Is 2 greater than w?
True
Let b(y) = y**3 - 9*y**2 - 8*y - 2. Let x be b(10). Let g(f) = -16*f + 168. Let v be g(x). Is -121 < v?
True
Let z = -7327 + 7419. Which is smaller: z or -5?
-5
Let g = 0.924 + -0.551. Let v = g + -8.133. Let s = v + 7.5. Do -1 and s have the same value?
False
Let i(k) = 1 + 7*k - 11 + k**2 + 12*k - 13*k. Let o be i(-7). Is o at most as big as -13/4?
False
Suppose -a = -i - 3*i + 1246, 0 = -2*a - 4*i - 2492. Let u = -137061/110 - a. Which is greater: u or 1?
1
Let n be (-2)/(12/30) + 138. Suppose 23*k - 2680 = 3*k. Which is bigger: k or n?
k
Let o = -2127 - -2365. Is o smaller than 265?
True
Let l = -7388 - -7387. Let r be (-4)/(-16) + 29/(-20). Which is bigger: r or l?
l
Let u be (4/3)/((-3)/9). Let l = -252 + 254.49. Let d = -11.49 + l. Which is bigger: d or u?
u
Suppose -2*m + 4*y - 18 = 0, 0 = 4*m + 36*y - 32*y - 24. Which is bigger: 5/1381 or m?
m
Suppose -2*h - 61 = 5*r, 5*r + 107 = -4*h - 0*r. Let j = -19 - h. Let y be (-11)/(-22) + 54/j. Which is greater: 15 or y?
15
Suppose -2*x - 3*x = -5. Let y be 100681/(-154) + 2 + (-3 - -8). Let i = -647 - y. Does i = x?
False
Let c(a) = -13*a + 4. Let s be c(2). Let m = 18 - s. Let j = -204 - -409/2. Is j >= m?
False
Let x be (-13 + -5 + 14)/(-18842). Does -1 = x?
False
Let q = -309 + 21. Let f = -345 - q. Let g = -79223/1378 - 6/689. Are f and g equal?
False
Let m = 876.9 + -856. Let o = 24.4 - 3.4. Let v = o - m. Is 8/7 greater than v?
True
Let z = -3/2828 + 254577/53732. Is z not equal to 2/5?
True
Let y be 19632/80*(0 + 0 - 175/(-21)). Is y < 2047?
True
Let b = -0.566 + 0.66. Let r = 0.544 - b. Let d = 1/16 + 3/16. Which is smaller: d or r?
d
Let o = 1078 - 1172. Suppose -4 = 4*j, -2*b + j = 5*j + 4. Which is smaller: b or o?
o
Let a = -0.19 - 9.81. Let y = -90.183 + 0.183. Let x = 89.8 + y. Is x at least a?
True
Let v = -3.0356 + -92.9644. Which is bigger: v or -28?
-28
Suppose y = -392*k + 388*k + 288, 5*y - 72 = -k. Let p(b) be the first derivative of -18*b**2 + b + 2. Let v be p(-2). Is k bigger than v?
False
Suppose b = -b, 27 = 3*r + 2*b. Let p be ((-4)/(-275))/(r/90). Which is bigger: p or 0?
p
Let z = -375 - -685. Let f = z - 188. Which is bigger: f or -1/3?
f
Suppose 117*i - 2503 - 2733 = 965. Let o = -13 + 67. Which is smaller: i or o?
i
Let u(r) = -4*r**3 - 90*r**2 + 23*r + 136. Let m be u(-23). Which is smaller: 664 or m?
664
Suppose 4*z = -j - 29500, z + 3*j - 5079 = -12465. Is -7374 less than or equal to z?
True
Let j = 6 + -19/3. Let u = 0.166 + 0.134. Let q = u - 0.7. Which is smaller: j or q?
q
Suppose -12 = -w + 3*w + 3*q, -8 = -2*w + 2*q. Let t be (((-36)/(-14))/3)/((-141930)/(-3990)). Which is smaller: w or t?
w
Let u be 1*95/(-55)*1. Let h(i) = i**2 + 251*i - 3. Let a be h(0