3*r - 101. Let m be p(5). Is -23 greater than m?
True
Let j(v) = v**2 + 18*v + 14. Let f be j(-8). Let b = -65 - f. Which is greater: b or 1/86?
b
Suppose -117 = -5*m - 4*m. Suppose 0 = -t + 5*t + 5*w - 9, m = 3*t + 5*w. Is -5 less than or equal to t?
True
Let q be (-6)/13*-1*8. Is 4 != q?
True
Let d = -299087/7 + 42602. Suppose -16*h = 4*z - 13*h - 515, 0 = 2*z + h - 255. Let r = d + z. Is 0.2 smaller than r?
True
Let c = -9.122 - 0.078. Let t = c - -1.2. Which is bigger: 1 or t?
1
Let p = -53.3 - -90.6. Let n = -36 + p. Let j = -0.2 - -0.3. Is j bigger than n?
False
Suppose -14*u + 16*u - 20 = 0. Let h be ((-2)/u)/((-1)/(-8)*4). Which is bigger: 36 or h?
36
Let d = -1369 + 39699/29. Let l be (2 - 1) + (-3)/6. Which is greater: d or l?
l
Let n = 1507 - 1509. Which is greater: n or 591?
591
Suppose -12 = f + 2*k, 0 = -k - 0 - 1. Let q be (1/f)/(32/129680). Let u = 403 + q. Are u and -2 equal?
False
Let b be (-16)/(-6)*9/(-2). Let k be (-35)/60 + (-1)/b*3. Which is bigger: k or -0.3?
-0.3
Let a be 1*(-2 + -538 + -1). Is -541 smaller than a?
False
Suppose -3*i = -i + b + 57, -2*i = 2*b + 56. Let t = 40 + i. Which is greater: t or 31/3?
t
Suppose g = 0, g - 8 = -4*n - 2*g. Suppose -4*k - 2*f + 138 = 0, 4 - 2 = -n*f. Let j = 20 - k. Is j > -16?
True
Let g = -33661 - -100981/3. Let h(v) = v - 3. Let l be h(5). Let w = l - 3. Does w = g?
False
Suppose 3*i + 17 = -13. Let z = 43 - 51. Are i and z equal?
False
Let t = -352 + 273. Is 0.4 greater than or equal to t?
True
Let t be (3/(-2))/(2/(-48)). Suppose -900*u = -888*u - 420. Which is bigger: t or u?
t
Suppose 2*o - 3*p = -21, -6*o + o - 47 = -2*p. Suppose 6*r + 35 = -1. Which is smaller: o or r?
o
Suppose 2*v = 3*v. Suppose 3*g = 3*m - m + 38, 4*g - 3*m - 50 = 0. Let z be (-4)/g - (-160)/364. Do v and z have the same value?
False
Suppose 15*c - 11*c - g = -780, 2*c + 2*g = -390. Is c at most as big as -0.2?
True
Let w(v) = 9*v - 12. Let u be w(6). Let l be u/14 + -1 + 2. Suppose 2*x = -l*x. Which is bigger: x or 1/10?
1/10
Let r = -10 + 9. Let j = 0.23 - -0.74. Let f = r + j. Which is smaller: 0 or f?
f
Suppose -2*u + 74 = 4*o - 446, 0 = 4*o - 4*u - 520. Is 904/7 greater than o?
False
Suppose 38*v - 160 = 39*v. Is v less than or equal to -160?
True
Let y(v) = -6728*v - 10. Let n be y(-5). Let p = 3833845/114 - n. Let w = p - 1/19. Are w and 1 nonequal?
True
Let t(u) = -u + 9. Let r(c) = 0 + 1 - c**2 - 2 + 8 + 8*c. Let q be r(8). Let j be t(q). Which is greater: 0 or j?
j
Let p = 4.2 - 3.2. Let m = -15 - -14.1. Let q = 1.2 + m. Which is smaller: p or q?
q
Let s(l) = -4*l - 7. Let h be s(-5). Suppose -r + 5*j = 49, r + h = -j - 54. Is r bigger than -64?
False
Let v = -1146 + 1200.1. Let s = v - 54. Let f = 1211/4 - 299. Which is bigger: s or f?
f
Let k be (-6)/(-21) + 9/(-7). Let s be 6 + ((-102333)/814)/21. Is s at least k?
True
Let y be 155/55 - 2/(-11). Let t be 86/y*129/(-18). Let q = t - -206. Which is greater: 0 or q?
q
Let w(c) = -10*c + 51. Let v be w(5). Which is bigger: 84 or v?
84
Let f(d) = -d**3 - 6*d**2 - 7*d + 8. Let n be f(-4). Which is greater: n or 22/7?
n
Let u(v) = v**3 + 13*v**2 - 28*v - 127. Let j be u(-15). Which is smaller: j or -158?
-158
Let o be (-6)/126*(-210)/108. Which is greater: o or 0?
o
Let t = -410 + 411. Is -1/268 bigger than t?
False
Let b = -3.99 + 3.8. Let z = b - 1.41. Let f = z - -1.4. Which is bigger: f or 0.3?
0.3
Let m = -22.5 - -21. Let i = -2.7 - m. Is -0.1 <= i?
False
Suppose -3*l + 8 = -5*l. Let u(z) = -3*z - 13. Let j be u(l). Let r(i) = -i**2 - 4*i + 8. Let f be r(-6). Which is greater: j or f?
j
Suppose g - 2 = -0*g. Let n be (g/16)/((-1155)/(-6340)). Let v = -13/22 + n. Which is bigger: v or -1?
v
Let x(l) = l**3 + 4*l**2 + l - 4. Let z be 3/12 - 91/28. Let r be x(z). Suppose w - 3*y = -3, -2*w + 2*y - r = 2*w. Is -5/8 < w?
True
Let l be 15/((-315)/308) + 2/(-6). Which is bigger: l or -1?
-1
Let j = 49 + -51. Let m = j + 4. Which is smaller: m or -13?
-13
Let n(m) = m - 99. Let l(p) = -p. Let o(i) = 5*l(i) + n(i). Let d be o(-25). Is 9/7 >= d?
True
Let o be 5/70 + ((-1962)/1596 - 5) - -5. Suppose 0 = -5*i - 2*z, -3*i = -6*i - 4*z + 14. Is o smaller than i?
False
Let q be (-1962)/21 - 20/35. Are -94 and q unequal?
False
Let f = 88823/58 + -1419. Let v = f - 225/2. Which is smaller: 1 or v?
v
Let p = -18 - -17. Let r be (-12*(-10)/975)/((-2)/(-5)). Does r = p?
False
Let p be (-4 + 1135/280)/(10/8). Is p greater than -3/7?
True
Suppose -50*d = -49*d + 252. Let w be d/(-576)*(-6)/(-14). Is w greater than -1?
True
Suppose -u - r + 2 = 0, -4*u = u + 2*r - 7. Which is bigger: 4/43 or u?
u
Let a(b) = 5*b**2 + b + 4. Let r be a(4). Let n be (-36)/63 - r/(-7). Which is smaller: n or 1?
1
Let n = 4875/8162 - 32/53. Suppose 0 = -g - 4*g - 5. Is g at least n?
False
Suppose -4148 = -6*h + 418. Let c = -82950/109 + h. Which is greater: c or 1?
1
Let n be (-11)/(-6) + (-2)/(-4). Let c(q) = -75*q + 526. Let f be c(7). Is n greater than f?
True
Let m = -7 - -18. Let u = -6 + m. Let d = u - 4. Is 1/8 greater than d?
False
Let a(o) = -3*o - 78 + 47 - 41. Let y be a(-25). Which is smaller: 21/8 or y?
21/8
Let x = 2.8 + -2.76. Let y = 166 - 174. Is x less than y?
False
Let j(y) = -1110*y - 12 + 1108*y - 1. Let h be j(-7). Is 2 at least h?
True
Let i be -1 + -10 - (-8 + 30/5). Let v = i - -41/3. Is 5 less than v?
False
Let d(q) = q**3 - 10*q**2 + 17*q - 16. Let l = -41 + 49. Let r be d(l). Is r bigger than -46/7?
False
Suppose 14*n = 9*n + 1280. Let k be (n/(-12))/(5/(-9)). Let t = 38 - k. Is 20 > t?
True
Let a = 7776/2035 + -184/55. Let y = -12/37 - a. Are y and 10 unequal?
True
Let n = -36.3 - -184.3. Let o = n - 116. Which is smaller: o or -2?
-2
Let i = 0.22 + -0.13. Is -1 > i?
False
Let v(c) = 9*c**2 + c + 6. Let f(g) = 4*g**2 + g + 3. Let i(u) = -7*f(u) + 3*v(u). Let l be i(-5). Is l not equal to -6?
True
Suppose -46*n + 404 = -50*n. Which is greater: -103 or n?
n
Let j be -92 + 1*-2 + (10 - 11). Is j less than -663/7?
True
Let z(o) = -14*o + 541. Let j be z(39). Is -11/3 at most j?
False
Let n be (-2 - (-8)/5)*(26 - -39). Let p(y) = -25*y**2 - 1. Let g be p(-1). Is n > g?
False
Let a(f) = 5*f + 0*f - 5*f - 5*f - 9. Let n be a(-5). Let c = 18 - n. Is c bigger than 3?
False
Let p(i) = i**2 + 21*i - 8. Let j be p(-24). Which is smaller: j or 66?
j
Let b(v) = v**3 - v**2 + 20*v + 78. Let w be b(-6). Which is bigger: w or -295?
w
Suppose -5*w = -4*x + 8, 3*x - w + 3 = 9. Let t = x - 2. Let p be (-1*(-1)/(-45))/(4/(-24)). Which is smaller: t or p?
t
Suppose -13*q + 19*q = 18. Suppose 24 = -7*a + q*a. Is -4 > a?
True
Let p = 1159.1 - 1115. Is -1 at least as big as p?
False
Let v = 1 - -44. Suppose 4*j + v = j. Which is greater: j or 2/9?
2/9
Let d = 27 + -27. Suppose d = 4*y - 2*y. Suppose -6*c - 2*n - 10 = -4*c, y = 2*c + n + 8. Which is greater: -1/4 or c?
-1/4
Suppose f = 4*f + 15. Suppose -i + 66 = -6. Suppose -75*a - 18 = -i*a. Is a less than f?
True
Suppose 0*g - 3*l = -3*g - 9, 0 = 5*l - 10. Which is smaller: 2/181 or g?
g
Let y(z) = -20 - 46*z + 29*z + 22*z. Let l be y(4). Which is smaller: 5/8 or l?
l
Let v(j) = 2*j**2 - 9*j - 16. Let x be v(5). Is x smaller than -15?
False
Let a = -1039 + 879. Is a smaller than -2?
True
Let v = -2 - 1.1. Let s = v + 3. Which is smaller: -6 or s?
-6
Suppose 1353 = 4*r + 3853. Let i = -10629/17 - r. Which is greater: -1 or i?
i
Let b be (-9 + (-150)/(-14))*7*1. Suppose -f - 3*f + 40 = 0. Which is greater: b or f?
b
Let l = 1 + -1. Let a be (-3 + 2)/3*-4. Which is smaller: l or a?
l
Suppose -144 = 1417*g - 1408*g. Which is smaller: -17 or g?
-17
Suppose -3*x + x = -24. Let i be 1 + (x/(-4))/(3/(-20)). Which is smaller: 20 or i?
20
Let u = 0.425 + 0.075. Let q = u + -0.5. Which is smaller: q or 0.33?
q
Let i = -1979/15 - -132. Let c = -3 + 2. Does i = c?
False
Let h(m) = -4*m - 11. Let r be h(-3). Suppose -r = -w - 2. Is -2/35 >= w?
True
Let w = -2.06 - -0.06. Let p = w - -1.93. Let f = p + -0.03. Which is smaller: f or -2?
-2
Let y(w) = 2*w**2 + 14*w - 8. Let d be y(-10). Let q = d + -18. Is q != 34?
False
Let r = 37 + -28. Let t = r - 8. Suppose -t = 4*v - 5*v. Which is bigger: 12/13 or v?
v
Let k(s) = 33*s**3 + s. Let x = -6 + 5. Let h be k(x). Is h at least as big as -35?
True
Suppose -97 = 5*h + j + 56, 2*h = -3*j - 56. Le