0. Is c greater than or equal to -53?
True
Let a be (2/(-1))/(222/2). Suppose -9*d + 62 - 8 = 0. Suppose -d*m = -3*m + 2*s, -3*s = 0. Is a at most m?
True
Suppose -2*h = -17*h. Suppose h = v - s - 28, 3*v - s - 82 = 3*s. Is v >= 32?
False
Suppose -5*m - 4*k - 274 = 0, -m - k = 2*m + 170. Let u = m - -65. Let r be (20/(-82))/(u - 5). Which is bigger: r or -1?
r
Let o = 3612 - 56564/15. Let f = 159 + o. Let q = -15349 + 15350. Which is smaller: f or q?
f
Let z(k) = -16*k + 16. Let r be z(3). Let f = r + 39. Let c be -3*1*f/(-21). Are -21 and c unequal?
True
Suppose -3*u = 7 - 223. Let d be (5/15)/(3/u). Suppose 3*l - 120 = d*l. Does -2/7 = l?
False
Let g = 217782137/2395 - 90932. Is g <= 0.2?
True
Suppose -22*k + 105 = -7*k. Let h = k + -40. Which is greater: h or -31?
-31
Let x = -8584 - -8689. Is 102 at most x?
True
Suppose -29*d - 434 = 1219. Is -10 smaller than d?
False
Let f be 1976/247 - (-2)/((-2)/(-1)). Which is smaller: 334/37 or f?
f
Let o be ((-1)/(-4))/(29/2900). Let z be -3*o/(-45) + -1. Is 0.137 at most as big as z?
True
Let c = 872 + -322. Suppose 9*j = -13*j + c. Is 25 < j?
False
Suppose 16*d + 2*d = 198. Let k be ((-10)/(-8))/((-5)/(-20)). Suppose 0 = 4*h - k*h. Does d = h?
False
Let z = -9.84 + 0.24. Let d = z + 8.6. Let u = -8 - 22. Which is smaller: u or d?
u
Let y = -3989.135 + 3895.3. Let i = 93.7 + y. Which is smaller: 2/5 or i?
i
Suppose 27 = 3*s + 4*c, 27*s + 3*c - 15 = 30*s. Which is bigger: s or 2/461?
s
Suppose 11*o - 17*o + 480 = 0. Suppose n - o = -193. Is -113 less than or equal to n?
True
Suppose 3*a - 3*t - 1347 = 0, a - 2*a + 449 = 5*t. Suppose 0 = -7*v - 5*v + 5400. Is a not equal to v?
True
Let n = -0.01 + 0.032. Let z = n + -1.702. Let s = z + 0.58. Which is greater: -0.1 or s?
-0.1
Let v(n) = 9*n - 43. Let p be v(-27). Let y = -285 - p. Which is smaller: 8/13 or y?
8/13
Let a(m) = -3*m**2 - 9*m + 12. Let b be a(-4). Suppose b = -18*k + 23*k + 195. Is k <= -41?
False
Let f(a) = -a**3 + 8*a**2 + 6*a + 6. Let r be f(9). Let b = r + 26. Which is smaller: 3 or b?
3
Let o = 39 + -39.07. Let a = -0.146 - o. Let r = -0.024 + a. Are 1.3 and r unequal?
True
Let c = 2957 - 2990. Which is smaller: c or 11?
c
Let l(a) = -5*a**3 - a**2 - a + 1. Let d be l(1). Let z(r) = r**2 + 5*r - 10. Let u be z(d). Let c be (-48)/9 + -1 - u. Which is greater: -1 or c?
-1
Let q = -2.33 - -1.79. Let i = 0.99 + q. Let h = -0.16 + 0.26. Which is smaller: h or i?
h
Let h = -186 + 138. Let n = h + 251. Are 203 and n unequal?
False
Let s(k) = 2*k - 2850. Let r be s(0). Let y be (-2)/(-19) - (-3245766)/r. Let c = 1139 + y. Which is smaller: 1 or c?
c
Let l = 0.1976 - -11.8024. Which is greater: 0.046 or l?
l
Let c(v) = -v**2 + 5*v - 3. Let s(i) = 7*i**3 - 8*i**3 - 19*i - 5 - 9 + 0*i - 19*i**2. Let j be s(-18). Let w be c(j). Which is greater: 4 or w?
4
Suppose 137*z = 37*z + 8000. Are z and 1 unequal?
True
Let o = -2852 - -2250. Is -1 bigger than o?
True
Let l = -165 - -252. Let v be (-12)/102 + l/17. Suppose -v*r - 2*a + 22 = -15, -2*r + 12 = -2*a. Is r bigger than 10?
False
Let r be (-8)/(-3)*(4 + (-66)/12). Let y be 4 + r + -55 - 3/3. Does y = 1?
False
Let b(v) = -v**3 + 7*v**2 + 16*v + 24. Let z be b(9). Which is smaller: z or -1/48?
-1/48
Let p = 4365239/165 + -26456. Suppose 3*d - 5*b = 1, -2*d - 5*b = -3 - 6. Suppose 2*z = -4 + d. Which is smaller: p or z?
z
Let c = 6.7327 - 1.7327. Which is bigger: c or -877?
c
Let r be 7 + -12 - (-4 + 0). Let g be (2/6 + r)*(-81)/1026. Are 1 and g non-equal?
True
Let j be 0*(2 - 45/25). Suppose 5*h = -3*r + 34, j = -h + 3*h + 5*r - 6. Is h at least 10?
False
Let w = -0.0425 + -166.9575. Let y = 167.2 + w. Which is smaller: y or -254?
-254
Let j be (-68)/(-153) + -392*(-26)/396. Which is smaller: j or -1?
-1
Let u = 24120 + -24278. Which is greater: 47 or u?
47
Suppose -5*t - 383*h + 388*h = 0, 2*h = 3*t - 7. Let w = -183786/133 + 9726/7. Is w not equal to t?
True
Let n be (-136)/34 + (0 - 17)/(-14 + 10). Which is smaller: 24/59 or n?
n
Let j = 19871 - 19857. Suppose 0*q - 3*q - 9 = 0. Let f be (-34)/(6/q)*1. Which is greater: f or j?
f
Let n be 3/30 + 26071/290. Is 28 greater than n?
False
Suppose -4*a = 4*d - 518 - 30, -3*a + 268 = 2*d. Which is greater: 170 or d?
170
Suppose 0 = d + 43 - 340. Suppose -d = -10*z - 2267. Do z and -198 have the same value?
False
Suppose 5*c + 5*y - 4*y + 60905 = 0, 0 = 2*c + y + 24365. Is -12180 at least as big as c?
True
Suppose 34*v - 1344 = 35*v - 5*u, -5*u + 6820 = -5*v. Let q = v + 1370. Suppose -y - 16 = -5*o - 2*y, 0 = 5*o + 2*y - 12. Which is smaller: q or o?
q
Suppose -2*r + 4*q = -q, -2*r = -3*q. Suppose 3*f = 4*n - 275, 3*n + 4*f = 7*n - 280. Let a = 62 - n. Is a <= r?
True
Let j = 3 - 2. Let a = 8165944/135 + -60488. Let d = -11/27 + a. Which is greater: d or j?
j
Let x = 66 + -67. Let o = 150 - 198. Which is smaller: x or o?
o
Suppose 4*g - p - 218 = 0, 0 = -4*g - g - p + 268. Suppose -50*l + g*l - 8 = 0. Which is smaller: l or -1?
-1
Suppose 2*l - 5*p + 3*p = 118, 5*l = 3*p + 299. Suppose 110*x - 3998 - 1827 - 775 = 0. Are x and l equal?
False
Let s(x) = x**2 + 5*x - 27. Let m be s(4). Let g be (5 + -2)*(-1)/m*-3. Let o = 175/2528 - 3/79. Which is smaller: o or g?
o
Let a(t) = 108*t + 32. Let p be a(-4). Is p less than or equal to -2797/7?
True
Let l(b) = 4*b**2 - 14*b. Let x be l(4). Let d be (x/(-10)*(-4)/(-8))/(-62). Let h = -45 - -44. Do d and h have the same value?
False
Suppose -11*j + 229 = 9. Let p be (-4)/j + (9 - 9). Suppose 3*q + 2*x = 13, 4*q + x - 9 + 0 = 0. Which is smaller: p or q?
p
Suppose 66*v - 65*v - 4*p + 5 = 0, -p - 3 = 4*v. Is v at least as big as -1/1525?
False
Suppose -30*c - 46 = 39 - 25. Which is smaller: c or -228?
-228
Let p be (-3)/(-2) - (-18)/(-36). Let h(i) = -2*i. Let a(o) = 2*o. Let t(r) = 7*a(r) + 6*h(r). Let f be t(-1). Is p equal to f?
False
Let x be 2 + (-20)/4 + ((-108)/12 - -1169). Which is smaller: x or 1155?
1155
Let k(z) = -23*z - 650. Let m be k(-23). Let s = -115 - m. Let g = 2 + 5. Which is bigger: g or s?
g
Let k = 1815 - 1813.339. Let s = k + 0.239. Let t(g) = -g**3 + 3*g**2 + 4*g - 2. Let d be t(4). Is s bigger than d?
True
Let q be 24/(-32)*20/(-186). Let d = 555 + -553. Which is smaller: q or d?
q
Let d = 0.495 - -363.505. Let j = -367 + d. Let l = -15.79 + 16. Are j and l non-equal?
True
Suppose -154*d + 144 = -43*d + 33*d. Which is smaller: d or 1/14401?
1/14401
Let d(s) = s**2 + 11*s - 15. Suppose -u - 18 = -h - 6, -3*u - 34 = -5*h. Let q be d(u). Suppose -7*k = -q + 4. Is k at most as big as 0?
False
Let u be 128/(-96)*(172/(-129) + (-898)/(-12)). Let g(l) = l - 99. Let p be g(0). Which is smaller: u or p?
p
Suppose 8*i = -29*i + 84 - 10. Are i and 22/35 unequal?
True
Suppose 6 = -j + 3*j, -w = j - 3. Suppose w = 3*b - 8*b + 875. Is 175 at most as big as b?
True
Let f(b) = -b - 12. Let i be f(-16). Suppose -i*n + 16 = p, 12*n - 13*n = p - 13. Is p at most as big as 13?
True
Let g be ((-4)/(-7))/((-532)/(-865830)). Which is smaller: g or 931?
g
Let u = -6/4735 - -2797/2954640. Is 1 at most u?
False
Let b = -2494.1 - -2494. Is b less than or equal to -1934?
False
Let p(t) = -6 + 4*t**3 - 48*t**2 - t + 3*t - t + 46 - 5*t**3. Let b be p(-48). Do b and -8 have the same value?
True
Suppose 4*i + 63 = 5*c, c = 3*i - 14 + 53. Suppose -5*f - 50 = -2*y, 2*y + 18 = 4*f + 60. Is f equal to i?
False
Let i = 138 + -137.854. Let z = -4.546 + i. Is -1/2 bigger than z?
True
Suppose 6*z - 5*z + c - 24 = 0, 4*z - 5*c = 141. Suppose g - z = -28. Which is smaller: 1/87 or g?
1/87
Let s be 35 - (17 - 16)*13. Suppose -3*b = -11*b + 144. Is s >= b?
True
Let n = 73 + -38. Let v = 66 - n. Let b = 7.1 - 8.1. Is b greater than or equal to v?
False
Suppose -4*m = o + 52, -m = -6*m + 3*o - 65. Suppose -30*a = -38*a - 80. Is a >= m?
True
Let u = 1440 - 1439. Which is smaller: 9047 or u?
u
Let o be (1/2*-1*0)/(-1). Suppose o = 59*d - 54*d - 170. Is d > 172/5?
False
Let n = -65242/5 + 13043. Suppose -4 = 2*h - 2*z + 4, 5*h = 3*z - 12. Is n > h?
False
Let v(g) = g**3 + 32*g**2 - 78*g - 340. Let z be v(-34). Is 5/253 equal to z?
False
Let q(f) be the first derivative of -14*f**2 - 10. Let o be q(0). Which is smaller: -5/113 or o?
-5/113
Let a be (2 + 45/(-25))/(-18 - (-6692)/30). Is 0.1 < a?
False
Let d be (5 + -7 + 1)/((-2)/7724