. Let l = p + -0.083. Which is greater: l or 22?
22
Suppose 4*a - 7*l - 411 - 109 = 0, 427 = 3*a + 4*l. Is 141 at least a?
True
Let c = -2.1 + 2. Let i = 58.972 + 0.028. Let b = i - 58. Is b bigger than c?
True
Let c = -35 - -67. Suppose -34*o = -c*o. Suppose -5*s + 8*s - 12 = o. Which is bigger: 8 or s?
8
Let q = -28 + 9. Let p = q + 21. Is p at most as big as 0.02?
False
Let f be (9/(-12))/((-1)/4). Suppose -f*s - 29 - 1 = 0. Let g be 0*(s/4)/5. Is 0 smaller than g?
False
Let g(n) = n**3 - 16*n**2 - 31*n - 74. Let f be g(18). Is 22 != f?
True
Let f = 43 - 42. Which is smaller: -5/23 or f?
-5/23
Let r be -24*(3 + -2)*1. Let x be 3 + -1 + r/14. Let t be (3 - 127/45) + (-2)/(-9). Is t greater than x?
True
Let r = 0.23 - 0.23. Let k = -2.5 + r. Let t = -2.7 - k. Is t bigger than -0.01?
False
Suppose -4*j = 3*d + 9, -7*d - 15 = j - 2*d. Let n be 5/((-220)/(-96)) + j. Let x be -3 + 10/(2/1). Is n smaller than x?
False
Let t be 3/(-13)*(-6)/9. Suppose z - 4 = 3*z. Let k = z - 0. Is k not equal to t?
True
Suppose 8 = 2*c, -4*c - 26 = -0*q - 2*q. Let k = 22 - q. Let z be (12/18)/(k/3). Is 2 equal to z?
True
Let i = -908 + 30871/34. Which is greater: i or 0?
0
Let b(x) = -x**2 + 6*x - 8. Let o be b(4). Is o < 0?
False
Suppose -130 = 3*y + 23. Let w be (4/y)/((-42)/63). Is w equal to 0?
False
Let h(f) = -9*f + 144. Let j be h(16). Which is bigger: -2/79 or j?
j
Let w be -6 + -1 - -12 - -100. Which is greater: 104 or w?
w
Let n be 5*-1 + 24 + -33. Let i = -44 - -30. Is i <= n?
True
Let h be (-1885)/(-26)*(-4)/2. Is h != -146?
True
Suppose -7*p = -5*p - 158. Suppose 5*n + p = -3*b, -5*n - 38 = b - n. Is -15 < b?
False
Suppose 31 = -5*u - k, -5*u + 0*k - 25 = -5*k. Let l = -3 - u. Suppose 7 + 0 = 4*y + 5*g, -1 = -2*y - l*g. Is 9 at least as big as y?
True
Let s be ((-1)/(1010/4))/((-129)/(-215)). Which is greater: s or -1?
s
Let q(i) = -3*i - 34. Let r be q(-12). Let g = r + 41. Is -1/3 >= g?
False
Suppose 20 = -5*n + 5*x, 2*n + 11 = -5*x + 4*x. Suppose -21*o = -o + 80. Is n at most o?
True
Let x = -1324 + 132403/100. Let n = -5135 + 5134. Is n at least x?
False
Suppose 3*r + 3*l = 156, -58*l = -r - 55*l + 56. Which is bigger: r or 482/9?
482/9
Let r be (4*1)/(16 + -42). Suppose -2*p = 2*g - 10, -2*p - 22 = -4*g - 7*p. Which is greater: g or r?
g
Let z be 2/(-7) - 19*(-2)/(-406). Which is smaller: -1 or z?
-1
Suppose 8*q + 47*q = 55. Let u be (-124)/(-42) + -1 - 2. Are u and q equal?
False
Suppose 30 = -21*z - 9*z. Is z <= 1/90?
True
Suppose -5*g - 4*x + 140 = 0, 5*g = 5*x - 4 + 99. Let v = -33 + g. Let z(k) = -2*k - 17. Let p be z(v). Is 1 at least p?
True
Let q = -173 + 176. Is 14 at least q?
True
Let j(m) = m**2 - 7*m + 12. Let i be j(7). Suppose i = -6*h + 6. Which is greater: -21 or h?
h
Let f be 1/(((-2)/5)/((-128)/40)). Let s be ((-5)/(-1))/5*(1 + f). Is 8 > s?
False
Suppose -2*k = -5*t, k = -k + 2*t + 6. Suppose -k*f - 84 = 31. Let d be (3/2)/((-9)/132). Which is bigger: d or f?
d
Suppose 7*c = -8*c. Which is greater: c or 2/67?
2/67
Let s be (-4 + 3 + -2 - -8) + -3. Which is smaller: s or -5.2?
-5.2
Let v = -2419/4 - -611. Which is greater: 7 or v?
7
Suppose -2*k + 7 + 7 = 5*u, u - 2 = 0. Suppose -16 = 5*l - 1. Let d be 4*((-17)/6 - l). Is d equal to k?
False
Let o(u) = -u**2 + 3*u + 24. Let r be o(-4). Let z be -3 - (0 + 1 + -2). Is z >= r?
True
Let t(q) = -2*q - 12. Let n be t(-7). Suppose -6*a - 4*b + 117 = -a, 0 = -n*a - 5*b + 40. Suppose 0 = 5*m - a - 5. Are m and 5 equal?
False
Let z = -697/7 + 100. Is z at least 32?
False
Let g = 185.9 - 186. Which is smaller: 15 or g?
g
Suppose -5*d = -2*j + 1530, -d + 0*d - 5*j = 279. Let w = -550 + d. Let v = w + 26472/31. Is v > 2/9?
False
Let k be 10/(-28)*(-4)/5. Let c = 0.2 + -0.3. Which is smaller: k or c?
c
Let r = -69 + 68.97. Is r at most as big as -10?
False
Suppose 0 = 6*h - 28 - 104. Let n be (-11)/h*2/1. Which is smaller: 1/2 or n?
n
Let p be (-12)/24 - (-922)/(-4). Let c = 230 + p. Let b = 16 - 52. Which is greater: b or c?
c
Let n = -13 + 51. Let g = n + -14. Is g greater than or equal to 24?
True
Let k(l) = -l**2 + l + 1. Let d be k(0). Which is smaller: d or -2/1145?
-2/1145
Let s be -2*-2*2/16*-6. Let r be (1/(-51))/(s/(-9)). Is r less than 1?
True
Let t be ((-8)/24)/(1/(-24)). Let v be ((-100)/80)/(1/t). Let j be (2 - 1)*-9 - 1. Is v > j?
False
Let z = -18/125 + -6553/500. Which is smaller: z or -13?
z
Let m(s) = -18*s. Let a be m(-4). Let g = a - 45. Suppose -g + 1 = -2*v. Is 13 < v?
False
Let r = -16 + 16. Let n(x) = -x**3 + 6*x**2 - 7*x + 2. Let j be n(5). Let d be (j/(-6) - 1)/1. Which is smaller: r or d?
r
Let f(w) = w**3 - 5*w**2 - 5*w. Let m be f(6). Let j be 20/5 + (-4)/44*-11. Do m and j have the same value?
False
Suppose -u + 2 + 7 = 0. Let h(f) = 4*f + 5 - 3*f + u. Let n be h(-7). Which is greater: n or 6?
n
Let s = -2.98 + 2.98. Which is greater: s or -209?
s
Let l = 0.3 + -0.48. Let o = 2.74 + -3.74. Which is smaller: o or l?
o
Suppose -49 = 5*i - 9. Let q be 2/(i/36) - -3. Let d be 3 + (q/5 - 2). Is d >= -1?
True
Let x = 19 + -12. Let c = 4 - x. Suppose -3*z + 6 = -0*z. Is c at least z?
False
Let d = -11 + 11.01. Let m = -9.5 - -10. Let h = -0.5 + m. Is h > d?
False
Let c(l) = 2*l**2 + 5*l + 77. Let w be c(0). Is w less than 3?
False
Let a = 0.3831 - 0.0931. Which is bigger: a or -1/6?
a
Let i(k) be the third derivative of -k**6/120 - k**5/6 + k**4/2 + 2*k**3 + 5*k**2. Let f be i(-11). Let s be (-38)/30 - (-36)/27. Which is smaller: s or f?
s
Let x be (-1)/5 + 18/(-10). Let i be ((-2)/(-5))/(x/10). Let w = 133.8 - 134. Which is smaller: i or w?
i
Let n(q) = -2*q + 6. Let b be n(-2). Let m = -6 + b. Is m < -0.03?
False
Let w = -60.4 - -8.4. Let c = 29 + w. Let v = -22.97 - c. Is -1/2 at most v?
True
Let f = 11/3582 - -18749/398. Which is smaller: 48 or f?
f
Let q be ((-979)/3)/((-44)/12 - -4). Is -979 greater than q?
False
Suppose -3*c - c + 4 = 0. Let s(g) = -g**3 - 9*g**2 - 11*g - 18. Let o be s(-8). Suppose 5 + c = -o*b. Which is bigger: b or -1/2?
-1/2
Let b = -37.7 + 0.7. Let a = 37 + b. Is -1/11 < a?
True
Let m be ((-24)/(-60))/(-3 + (-68)/(-20)). Which is smaller: 1/501 or m?
1/501
Let j be (39/6)/(-1*(-28)/(-24)). Which is bigger: -7 or j?
j
Suppose -6*v = 7*v - 156. Suppose -5*j + 0*p = -3*p + 15, 4*j + v = 3*p. Is -4 less than j?
True
Let s(i) = -15*i - 125. Let w be s(-7). Which is smaller: w or -23?
-23
Let r = 22 - 8. Let b = -20 + r. Let j be b/(-2) - (-30)/(-21). Which is smaller: j or 1?
1
Suppose -16772 + 140632 = 110*j. Which is smaller: j or 1125?
1125
Let c = -675 - -182. Which is greater: -492 or c?
-492
Let z be (-2)/(-5) + 32/(-5). Let d be ((-477)/(-12))/(-1) + (-2)/8. Let f be d/z - (-4)/(-6). Does f = 5?
False
Let k = -531/10 + 443/10. Which is smaller: k or -3?
k
Let d = -196.16 - -176. Let m = 0.17 + -0.01. Let j = d + m. Which is smaller: -0.1 or j?
j
Let h = -3/563258 - 5985883522/10983531. Let f = h + 545. Is -1 smaller than f?
True
Let f = 240/7 + -34. Suppose -4*m = -5*n - 15, -2*n + 2*m - 4 = 4. Let p be (-5 - (0 - n))/(-10). Is f equal to p?
False
Suppose -721*k + 716*k = -290. Which is smaller: -0.7 or k?
-0.7
Let b(j) be the first derivative of 13*j**3/3 - j + 1. Let k be b(-1). Let z = -14 + k. Is -3 >= z?
False
Suppose 3122 = -13*t + 613. Let f be (-4)/6 + (-5834)/(-30). Let a = f + t. Do a and 1 have the same value?
False
Suppose -2*w + 20 = 4*u + 4, 22 = u - 4*w. Which is bigger: 8 or u?
8
Let h be (-3 - -1)*3/((-6)/(-49)). Which is greater: h or -53?
h
Let b = 47 - 16. Let x = 22 - b. Let k be 2 + 2 - (-34)/x. Is k bigger than -1?
True
Let b(s) = -6*s + 5. Let q be b(2). Let d be q/(-1) + 1 - 3. Let f be (d/(-25))/((-1)/4). Which is bigger: f or 2?
2
Suppose -2*j = 3*h - 141, -10*h + 493 = 25*j - 26*j. Suppose i + i - 2*u - 100 = 0, -3*i + 134 = 5*u. Which is smaller: h or i?
i
Let l = -43 + 36. Let y be (-2)/(-12) + 1/(-2). Is l < y?
True
Let b be (-4)/6*(1 + 44). Let n be -3*(-4)/b*2. Let d be (-170)/136 + (-2)/(-8). Is d equal to n?
False
Let m be (-92)/15 - (-2)/6. Suppose 3*i + 26 = 2*a + 10, 16 = 2*i + 4*a. Let t be (16/(-32))/(i/(-24)). Is m at least as big as t?
True
Suppose 2*p = 0, -3*y + 0*y + 3*p = -30. Suppose 5*c = y - 5. Which is greater: c or 3?
3
Let w be (-17 - -5)*(-1)/(-2). Suppose 2*r = 4, 0*u - u = -4*r +