er than or equal to c?
True
Suppose 0 = 7*u - 9*u - 10. Suppose 5*p + 18 = -4*m, 0 = -2*m - 5*p - 0 - 4. Which is greater: u or m?
u
Let r(g) = -3*g**2 + 2*g + 5. Let i be r(3). Let l be i/(-252) + (-2)/(-9). Which is greater: 1 or l?
1
Suppose 7 = -3*b - p, -2*b + 2 = 14*p - 10*p. Let a be (1 - 38/10) + 1. Let l = a + 3/10. Is b at most as big as l?
True
Let i = -1637 - -1643. Is i greater than or equal to 49/10?
True
Let n = 481 - 581. Which is greater: -101 or n?
n
Suppose -39 = -8*r + 121. Let l be (-10)/(-4)*(-32)/r. Suppose 0*t = -2*t - 8. Is t greater than l?
False
Suppose -80 - 154 = -u. Are 234 and u unequal?
False
Let d = 320 + -320. Which is greater: 0.228 or d?
0.228
Suppose 21 - 3 = -3*l. Let a = 20 + -11. Let z = a + l. Is 5/2 > z?
False
Let t = 285 - 242. Which is smaller: 45 or t?
t
Let p = -5746/111 + 127/37. Which is smaller: p or -47?
p
Let p = 89.75 - 1.75. Let h = -89 + p. Which is greater: 5 or h?
5
Let f(j) = j - 4. Suppose -6*p = -0 - 12. Let l be f(p). Which is smaller: l or -5/7?
l
Suppose 2*g + 2 - 18 = 0. Let r(j) = j**3 - 8*j**2 + j - 7. Let d be r(g). Let a = -1 + d. Which is smaller: 1/17 or a?
a
Suppose 0 = -25*r + 7 - 7. Which is greater: 0.0737 or r?
0.0737
Suppose 95*s + 54*s = 107280. Is s greater than or equal to 721?
False
Suppose 3*t = -v - 960, -2*t + 0*t - 5*v = 640. Is -320 less than t?
False
Let g = 920 + -918.48. Is g less than -6?
False
Let i(b) = -b**3 + 6*b**2 - 8*b + 3. Suppose -5*a = 5*m - 45, a + 7 = 3*m - 0*m. Let d be i(a). Is d <= -37/3?
False
Let t(k) = -4*k + 30. Let z be t(10). Let d(p) = -8*p - 24. Let i be d(z). Is i bigger than 55?
True
Let o = 94 - 95. Which is smaller: -15/23 or o?
o
Let u = 1/3010 + 4513/6020. Which is bigger: u or 2?
2
Let k be 12/(-45) - (8/30)/2. Does k = -2/63?
False
Let b = -15373/5 - -3017. Is b at most as big as -57?
True
Let u be ((-1)/(-5))/(5/2965). Let r = u + -119. Let g = 0 + -1. Is g < r?
True
Let i = -283 - -1413/5. Let k = 4 - -10. Which is greater: k or i?
k
Suppose -5*j = -3*x - 11, -x + 6*x - 3*j = -13. Let v be (-20)/x*3 + 2. Is v greater than or equal to 33?
False
Let f(z) = 5*z**2 - 15*z - 8. Let t be f(-17). Which is bigger: 1691 or t?
t
Let y = 135 + -292. Is -2 less than y?
False
Let f be 3 - -1*(2 - 4). Let t be -52*f/(-2) + 2. Let q = -14 + t. Which is smaller: 13 or q?
13
Suppose -5*x + 2*p + 1190 = 0, 8*x = 6*x + 2*p + 476. Is x < 237?
False
Let t be 5/((-225)/(-6)) + (-2408)/26460. Which is smaller: 0 or t?
0
Let l = -18786/11 + 1708. Suppose -3*f = 2*q - 4, 5*q = -0*f + 2*f + 10. Which is greater: f or l?
l
Let y = -14627/4 - -2969305/812. Let v = y + -7941/812. Which is smaller: -10 or v?
-10
Suppose -894 = 26*a - 32*a. Which is smaller: 150 or a?
a
Let v = -151 - -142. Is -9 greater than or equal to v?
True
Let z(p) be the first derivative of -1/2*p**2 + 1/4*p**4 + 8/3*p**3 - 7*p + 1. Let u be z(-8). Which is smaller: -2/9 or u?
-2/9
Let a = 246 + 659. Let r = 20818/23 - a. Is r greater than or equal to 1?
False
Let x(o) = 12*o**2 - 3*o - 2. Let u(v) = 13*v**2 - 4*v - 3. Let s(l) = -3*u(l) + 4*x(l). Let q be s(-1). Let f be (1/(-10))/(4/q). Which is bigger: 2/3 or f?
2/3
Suppose 0 = 5*v - 3*v - 10. Suppose -l + 15 = v*t + 5, 4*l = 2*t - 4. Does -4 = l?
False
Let p(r) = -7*r - 15. Let t be p(-4). Let j(n) = -n**3 + 13*n**2 + 3*n - 26. Let k be j(t). Is k less than 27/2?
True
Let m = 2 + 7. Suppose 3*a + 5 + 1 = 0. Let u(k) = 3*k**2 + 6*k + 8. Let w be u(a). Is w less than m?
True
Let o = 6/1927 + 1/47. Let w(s) = -12*s**3 - 4*s**2 + 5*s + 2. Let v be w(2). Let x = -101 - v. Is o equal to x?
False
Let n(j) = -24*j + 68. Let b be n(14). Are b and -268 unequal?
False
Let g be (-1)/((-8 + 3)/125). Let h = g + -46. Let j = 20 + h. Is j at most as big as -1/6?
True
Let b be -1*((-2 - -2 - 2) + -1). Suppose b*y + 4*f = -5, -3*y - 5*f - 8 = -y. Is y greater than -6/35?
True
Let w(m) = m**2 + 22*m + 23. Let s be w(-21). Let y = -3 + 2. Let i be (s + -2)/(y/1). Is 2/13 < i?
False
Suppose 22*t + 578 = 5*t. Which is greater: t or 3?
3
Let f = 120.2 - 114. Let q = f + -6.6. Which is smaller: q or 0.1?
q
Let m be (3 + (-17)/3)/(2/(-3)). Is 2 != m?
True
Let o = 1403 - 4106/3. Let r = -120 - -86. Let q = o + r. Which is greater: -0.1 or q?
q
Let m be ((-3)/(-6))/((-3)/(-108)). Let o be 3/(-28)*7*204/(-9). Which is smaller: o or m?
o
Suppose 0*o + 4*i = 4*o + 112, 0 = 2*o + i + 50. Suppose 116 = -0*v - 4*v - 4*n, -5*v - 125 = -5*n. Is o not equal to v?
True
Let z = 4/181 - -10309/362. Which is smaller: z or 28?
28
Let i(u) = -u - 1. Let f be i(-3). Let g(b) = 3*b**3 - 4*b**2 + 5*b - 5. Let y be g(f). Which is smaller: y or 16?
y
Let g = 32 - 32.2. Let i = 8 + -4. Which is bigger: g or i?
i
Let k be ((-4)/6)/((-15)/(-36)). Let l(j) = -6 + 2*j - j - 1. Let v be l(6). Which is smaller: v or k?
k
Let l(z) = -z - 4. Let n be l(-6). Let q be (-2)/n - 176/(-143). Is q bigger than -1?
True
Suppose 2*j + 0*j - 3*o = -27, 4*j - 2*o = -66. Let r = j - -4. Let u(g) = g + 13. Let b be u(r). Is b at least -7/8?
False
Let v(p) = -p - 2. Let i be v(-2). Let z(s) = s**2 + s + 4. Let y be z(i). Suppose g = -l - y*l - 60, l + g = -8. Is l greater than -13?
False
Suppose -3*h - 3 = -2*h. Let a be (2 - h/(-2))*-3. Let b be (3/(-2))/((-3)/(-4)). Does a = b?
False
Let h(o) = 9*o**2 + 2*o. Let a be h(-4). Suppose 5*s + a = 56. Which is smaller: -17 or s?
-17
Let u = 8467685/149114 + -10/10651. Let m = u - 57. Does m = 0?
False
Let q be (-17)/3 + (-7)/21. Let c be 10/2 - q/(-3). Suppose i + 5*i = 0. Is i bigger than c?
False
Let v be 26/221 + 336/34. Is v < 23?
True
Suppose -8*x = -10*x - 22. Let k = 1/544 + -5169/544. Is x less than k?
True
Let t(n) = -7*n**3 - n**2 - 2*n + 2. Let b be t(2). Let m be (1/2)/((-32)/64). Is b greater than m?
False
Suppose 9*u = 6*u + 18. Suppose i - u*i - 15 = 0. Let s be i/(-5) + 102/(-270). Is s smaller than 1?
True
Let x be (10/3)/(1/15). Let o = -557069/13 - -42901. Let c = x - o. Is c at least as big as 1?
False
Let k = -1297.81 + 1296. Is k at most -0.03?
True
Suppose 0 = t - 2*t. Let p be (t - 2)*(-34)/187. Let v = p + -116/77. Which is bigger: v or 0.1?
0.1
Let y = 2/5 + 1/10. Suppose -3*n + 5*n = 0. Suppose 7*i + n - 14 = 0. Which is greater: y or i?
i
Suppose u = 2*u + 2. Let z be ((-28)/(-35))/(u/5). Let n = 663/20 - 139/4. Is z at least as big as n?
False
Let h = -365 - -367. Which is greater: h or -18?
h
Let p be (-967422)/948 + (-3)/(-6). Let j = 1020 + p. Which is smaller: j or -1?
-1
Let m be 2 + -60898*2/(-232). Let j = 527 - m. Which is smaller: 1 or j?
j
Suppose -2*l + 11 = -1. Let o be (-2)/(-6) + (-4)/l. Let j = 4.34 + -7.34. Are j and o nonequal?
True
Let b be (-9)/12 + (-94)/(-8). Let k = -13 - b. Is -24 smaller than k?
False
Suppose 0 = -c - 4*q + 25, -3*c = -7*q + 4*q. Suppose -4 = -2*d - 4*m, -3*d - 6*m + m = -4. Let v = c + d. Does 3 = v?
True
Let n be (-3783)/(-90)*(-3 + -5). Let a = -336 - n. Let o = a + -13/15. Is 0 bigger than o?
True
Suppose 5*m = -4*a + 4*m + 6, -1 = 5*a - 3*m. Let d = 40 - 55. Is a at least as big as d?
True
Let y = 5982025 - 287150207/48. Let n = y + 271. Is n smaller than 1?
True
Let s = -19 + -5. Let j = 31.9 + s. Let t = j - 8. Is t at least as big as -1/4?
True
Suppose -2 = -v - 4. Let t = -763 - -760. Is v at most t?
False
Suppose -2*g = i - 136, -g - 2*g = -4*i - 215. Let y = g + -61. Which is smaller: y or 13?
y
Let t be 6*39/9 - 0. Which is smaller: 17 or t?
17
Let a(d) = -d**3 + 5*d**2 - 4*d + 3. Let x be a(3). Suppose 0 = -2*l - 2*w + 12, 0 = -3*l + 4*w - w. Suppose -l*m + 0*b = -b - 28, -4*b = 16. Is x <= m?
False
Let r be 1/(-13) + (-9624)/(-52). Is r at most as big as 1?
False
Let y be (10 + (-354)/30)/((-3)/(-10)). Which is smaller: y or 24?
y
Let d = -39 + 36.9. Let t = -0.1 - d. Is t equal to 0.7?
False
Suppose 10 = 9*g - 8*g + 3*b, g + b - 4 = 0. Is g at least as big as 402?
False
Let i(v) = -v**3 - 4*v**2 - v - 6. Let y be i(-5). Let h = 59 - y. Let r = -67/2 + h. Which is smaller: r or 3?
r
Suppose 4*q = 4*a - 24, -4*q + 0 = 4. Suppose 12 = -a*p + 9*p. Which is smaller: 23/7 or p?
p
Let x = 415 - 414. Is x <= 5/46?
False
Let p(w) = w**3 - 15*w**2 - 9*w - 112. Let j be p(16). Is 0 != j?
False
Let d be 4/(-12) - (-142)/(-6). Let v(w) = -w**3 - w + 1. Let k be v(1). Which 