-3. Let r(m) = m - 20. Let l be r(22). Is l at least t?
True
Let y(s) = 1 - 80*s - 90*s + 0 - s**2 + 154*s. Let q be y(-16). Is q equal to -4/13?
False
Let z = -3865 - -3864. Is 10/1133 equal to z?
False
Let i = 1/14463 - -419374/766539. Does 0 = i?
False
Let i be 7/(-3) + 1 - (-5502)/(-18). Let f = i + 339. Is 33 not equal to f?
True
Let l be (3/(-18))/((-14)/1050). Let u(g) = -g**2 - 1. Let w(p) = 7*p**2 - p - 4. Let z(a) = -5*u(a) + w(a). Let r be z(1). Is l greater than r?
True
Suppose 0 = 2*k - 4, k + 0*k - 4 = -2*d. Let f = -155.64566 + -0.35434. Is d <= f?
False
Let p(m) = -47*m + 1607. Let c be p(21). Is c not equal to 618?
True
Let u = 1574 + -941. Let j = u - 299. Is 334 > j?
False
Let z(a) = 36*a + 91. Let n be (1/(-2))/((-72)/(-432)). Let t be z(n). Let r be (-2)/4 - 74/4. Which is smaller: r or t?
r
Suppose 153*m - 130 = 23. Is 2/1195 smaller than m?
True
Let z be 27/78*(-2)/(-60). Suppose -3*n - 2*j + 60 - 47 = 0, -4*n - 84 = -10*j. Is z greater than or equal to n?
True
Suppose 0 = 4*c - 9*c + 5. Let m(i) = 106*i - 1. Let g be m(c). Suppose 4*w = 5*b - 43, 0*w - 4*b - g = 5*w. Is -1 at most as big as w?
False
Let i = 3036 + -419005/138. Is 0 less than or equal to i?
False
Let m = -5795 + 5795.3005. Which is bigger: m or 0?
m
Suppose -2*j = -15*i + 11*i + 1502, -2*i - 5*j + 721 = 0. Are i and 374 unequal?
True
Let i(a) = 41*a + 267. Let u be i(-6). Let c be ((-4)/u)/(10/(-75)). Is c at most 0?
False
Let c be (48/(-14))/(-4) - 6/(-42). Suppose -5*w + 3*z = -10, w + c - 3 = 2*z. Suppose -4*u - w*g = -48 + 304, -5*u + g - 313 = 0. Is u equal to -62?
False
Let j = -60772 + 124105/2. Which is greater: 1281 or j?
1281
Let m be (-1)/6*1 - 35/(-48). Let w(f) = f**2 - 14*f + 5. Let b be w(14). Suppose b*r - 3*r - 4 = 0. Is r <= m?
False
Let s(r) = r**2 - 18*r + 35. Let x be s(16). Suppose -10 = n - 8, -x*n = -2*o + 24. Is o at most as big as 20?
True
Suppose 56*d - 19*d = 22*d + 18*d. Which is smaller: d or -22/419?
-22/419
Let h = 284269/55 + -26439/5. Which is smaller: h or -118?
h
Suppose 0*k + u - 5 = -4*k, -4*k - 5*u - 7 = 0. Let v be 0/k*(-2 - 1)/(-6). Suppose 7*l - 3*l + 22 = 2*b, v = 4*b + 5*l - 5. Which is smaller: b or -0.2?
-0.2
Suppose -5*w - 5616 = 4*w. Let c = -606 - w. Is c smaller than 23?
True
Let t be (8 + -6 + -3)*1. Let z be t - 3*248/(-960). Which is greater: 0 or z?
0
Suppose -p + 27 = -5*o, 0 = -4*p - 5*o + 8. Suppose -p = 8*t + 1. Is -2/149 greater than t?
True
Let v = 13492 + -14261. Which is greater: v or -768?
-768
Suppose -4*o + 323 = g + 2*g, 3*g - 328 = o. Suppose -14*u + g = -143. Which is smaller: 12 or u?
12
Let i = -0.645 - -0.545. Let q be (165/12)/((-3)/(-36)). Is q at most as big as i?
False
Let i be (-7)/56*-20 + 678/(-4). Let h = -667/4 - i. Which is bigger: h or -2/107?
h
Let t = 9222292/649 - 14210. Let p = t + -3940/14927. Let x(s) = -s + 2. Let g be x(3). Is g greater than p?
False
Let o = 648.3 - 598. Let y = -155 + 105. Let l = o + y. Which is greater: -0.1 or l?
l
Suppose -4*y = 12*m - 15*m + 10082, 3*y - m = -7554. Is -2516 greater than y?
False
Suppose -3*p - 15 = 2*p. Suppose -25*a - 28*a = 4452. Let k be 21/(-28) + p + (-309)/a. Is 0 bigger than k?
True
Let u be (1832/(-10))/((-528)/660). Which is smaller: 300 or u?
u
Let j = -1016 - -1016.29. Let p = 7.4 - 7.11. Let z = j - p. Which is smaller: 0.6 or z?
z
Let a be ((-2)/((-4)/667))/(559/(-2795)). Does a = -1668?
False
Let v = -128 + 116. Let o be (-2)/12 - 49/(-42). Let s be v/3*(-1 - o)/(-628). Is 1 at most as big as s?
False
Let u(x) = -x**3 + 6*x**2 + 6*x + 9. Let f be u(7). Let w(i) = 18*i + 4. Let t be w(-6). Let r be f/(-13) + (-42)/t. Is -2/11 at most as big as r?
True
Let s = -19662388/45 + 436963. Are 22 and s unequal?
True
Let o = -17912/9 - -6127/3. Which is smaller: 52 or o?
52
Let a be (3 - 4 - 1 - (-63)/45)*-5. Are -371 and a equal?
False
Suppose 5*t - c - 24460 = 0, -2*t + 359 = c - 9432. Suppose 9*w + t = 30*w. Is w equal to 234?
False
Let h = -8909 + 8910. Is h smaller than 2/101?
False
Let s = -119 + 119. Suppose -x + 5*p + 6 = 2*p, s = -p. Are 55/12 and x equal?
False
Let m = 5128 + -1468. Is m at most as big as 3660?
True
Let u be 1/2 - (-44)/8. Suppose 2*z - 7*z = 3*q + 14, q + z + u = 0. Let f be 2/q + 42/(-280). Which is smaller: 1.8 or f?
f
Let q = -35.972 - 0.028. Let a = -28 + q. Let k = 48 + a. Is k greater than -2/3?
False
Let z = 1495 - 1541.51. Let b = -46 - z. Let t = -0.38 + b. Is 0.2 at least t?
True
Let u = 14166 - 13852.95. Let c = u - 331. Let k = c + 18. Which is smaller: k or -1?
-1
Let v = -269 + 330. Let c = -7402/135 - 172/27. Let g = v + c. Is g > -0.3?
True
Let y = -401/10 + 81/2. Let r = 38 + -40. Let t(p) = -p**3 - 3*p**2 - 3*p - 2. Let h be t(r). Is y at least as big as h?
True
Let s = -2124.26 + 2177. Let m = -0.74 + s. Let r = m - 49. Which is bigger: 0.5 or r?
r
Let u be -309 + (17 - (-190)/(-19) - 7*2). Which is smaller: -3462/11 or u?
u
Let t(m) = m**2 - 10*m + 26. Let g be t(12). Let x be 4/14 + g/70. Let b = 51/5 - 449/45. Is x >= b?
True
Let w = -0.004 - 22.996. Let z = -8803 - -264133/30. Let a = 14/15 - z. Which is smaller: a or w?
w
Let l = 40481 + -40482. Which is smaller: l or -31/308?
l
Let n = -109.176 - -111.1. Let z = 1.95 - n. Which is smaller: -1 or z?
-1
Let r = 969/7 - 140. Let l(w) = -15*w**2 + 106*w + 8. Let y be l(12). Let s = -882 - y. Is r equal to s?
False
Let b be ((-3532672)/160578 + 22)/(-2*2/(-6)). Is 0 smaller than b?
True
Let k be 0*(-5)/30*-3*1. Suppose k = -7*j + j + 228. Is j greater than 36?
True
Let o = -34.6807 + -0.0193. Let u = -33.7 - o. Which is greater: u or 13?
13
Suppose -4*o - 70 = 3*c - 98, 0 = 2*c - 2*o + 14. Which is bigger: c or -6297?
c
Let t(m) = -2*m + 1. Let g be t(-25). Suppose -u = -2*s - 57, 5*s - 34 = -u + g. Is u smaller than 66?
True
Suppose 4*y - y = -3*x + 27, y - 21 = -3*x. Let c be (-6*x/45)/((-174)/233380). Let q = c + -1073. Which is smaller: q or 0?
0
Let w(g) = -517*g + 9307. Let v be w(18). Which is smaller: v or 2/46403?
2/46403
Let y = -95872 + 86093041/898. Which is smaller: y or 1?
y
Let i = -33878/3 + 11292. Is i greater than 96/17?
False
Let w(m) = 3*m**3 + 2*m**2 + 1. Let f be 0 - (-3 + 2/2). Let a be w(f). Let j = -34 + a. Is j greater than -2/3?
False
Let q = -687222/5 - -137935. Do q and 492 have the same value?
False
Let l(i) = 258*i - 5014. Let r be l(19). Which is bigger: r or -103?
-103
Suppose 0 = -51*j - 16*j. Do j and 109.5 have the same value?
False
Let w = -20640 + 20638.7. Do 218 and w have the same value?
False
Suppose -1854 = -204*l + 3654. Let w = 2.8 - 3. Let v = w + 0.3. Which is smaller: l or v?
v
Suppose -n - 1003*c = -1000*c - 19, 2*n - 4*c = -22. Let r be -3 + (-2 - (-101)/29). Let l = -3008/2059 - r. Is n not equal to l?
True
Suppose 3*l = 22*x - 18*x - 705, -35 = 5*l. Let f be (4/2)/4*338. Which is smaller: f or x?
f
Let l(g) = -89*g + 1795. Let v be l(19). Which is smaller: 101 or v?
101
Let z be (-12)/(6 + -3) + 4. Let x be (-18)/(-135)*(z - (-15)/231). Which is greater: 0 or x?
x
Let d(j) = j**3 - 7*j**2 + 10*j - 7. Let q be d(5). Let z(s) = 9*s - 57. Let v be z(q). Is -120 > v?
False
Let p = 7 - 10. Let b = -289 - -287. Let o = b - p. Is -0.12 > o?
False
Suppose -k - 4*q - 113 = -493, 0 = -4*k - 3*q + 1533. Let p = 656 - k. Is p at least as big as 271?
True
Let h(u) = u**3 + 12*u**2 - 22*u - 13. Let z be h(2). Which is smaller: z or 35/276?
z
Let w = 0.097 - 0.027. Let a = 1.93 + w. Which is greater: 25 or a?
25
Let w = 1735 - 1774. Is -720/19 > w?
True
Suppose 4*h - 12 = 0, g + 5*h = -9 - 2. Let j be ((-50)/4)/((-9)/90). Suppose -10*d - j = -5*d. Is d at least g?
True
Let o be -4 + 2 + (-21)/12. Let w = 68 - 59. Suppose 10*h - 9*h + 19 = 3*b, h + w = b. Which is smaller: h or o?
h
Let o = -12415 + 86927/7. Suppose 10 = 5*y - 4*y - 4*w, 0 = 4*w + 8. Is y bigger than o?
False
Suppose 0 = 2*k - 0*p - 4*p - 56, 3*k + 2*p - 108 = 0. Which is bigger: k or 26?
k
Let f = -2558 + 289051/113. Let n = f + 247/791. Which is smaller: n or 12.2?
n
Let k = 185730699/536 - 346512. Let r = k - -1/536. Is r at most as big as 3/98?
False
Suppose -1236 = -33*i + 5727. Is 5 less than or equal to i?
True
Suppose 11 = 8*z - 13. Which is smaller: 270/89 or z?
z
Suppose -3*y - 3*y + 12 = 0. Suppose -y*b - 2*a