i be -2 + (-20)/x + -1. Is i at least as big as p?
True
Let i be (20/(-25))/(4/(-750)). Let d = i - 29. Is 122 bigger than d?
True
Let l be (-1 - (-111)/(-78)*-1)/(-8). Let o = l - 22573/1872. Let d = -1159/63 - o. Is d at most as big as -6?
True
Let s = 5419 - 5462.1. Is -2/15 bigger than s?
True
Let b = 5177452/107775 + -27720/479. Let r = -59/6 - b. Is r > 1?
False
Let d = 835.1 - 886. Let i = 53.4 + d. Is -1 at most i?
True
Suppose z - 64 = -o + 7, z + 269 = 4*o. Let g be (5/((-40)/o))/1. Let r(m) = 11*m**3 + 2*m**2. Let u be r(-1). Which is greater: u or g?
g
Let d be (6/9 + 0)/((-50)/225). Let r(q) = -2*q - 14. Let u be r(-9). Is u at most as big as d?
False
Let s = -663.5 + 663.3. Which is smaller: -1039 or s?
-1039
Let n be 3/7 - (-2 + (-354)/(-42)). Let r be (-4)/n*(-27)/30. Which is greater: -1 or r?
r
Let s = -366.3 + 41.3. Let v = -325 - s. Let o = -0.1 + 14.1. Is o at most as big as v?
False
Let o = 11.3002 - -0.0398. Let m = o - 0.54. Which is greater: -0.1 or m?
m
Let p = -0.01629 + 0.11629. Which is bigger: p or 123/4?
123/4
Suppose -3*a - 5*p = -21, 3*a + a - 3*p - 28 = 0. Let c(d) = -d**2 + 6*d + 1. Let q be c(6). Let v be 2*q/a + 9/(-7). Is -32 at most v?
True
Suppose 1477 = 10*q - 2133. Which is bigger: q or 367?
367
Suppose 4*q = -5*y - 13, 0 = -2*q - 0*y + y + 11. Suppose 0*h - q*h + 2*h = 0. Which is bigger: h or 1/17?
1/17
Let q = 13.742 + 5822.258. Is q equal to 2/3?
False
Let z be 442/(-13)*3/(-6). Let r(f) = -f**2 + 17*f + 14. Let o be r(z). Is o >= 11?
True
Let i(d) = -3*d + 14. Let k be i(4). Suppose -p = 2*g + 2, -k*g + 0 = -p - 2. Let y(f) = f. Let a be y(-1). Is p at most as big as a?
True
Let f be -24*((-77)/(-7) - (-296508)/(-26955)). Which is smaller: f or -1?
-1
Let n = 12.9 + 1.1. Let l be (-244)/(-110) + ((-240)/100)/1. Which is bigger: l or n?
n
Let x be (-12)/(-5700)*(-2)/4. Is x != 1?
True
Suppose -2*l + 2*q = -65 + 7, -4*l + 3*q = -112. Suppose 2*w + 5 = 3*c, -l = 5*w + 5*c - 0. Let r be (w + 55/15)/(3/9). Which is smaller: r or -6/29?
r
Let j be ((-8)/18 - 0)*(-81)/18. Suppose -j*u - 2*u + 4*c = 60, -45 = 5*u + c. Let d be (3/10)/((-468)/u). Is d smaller than 1?
True
Suppose 5*u + 5*a = 240, -u - 14*a = -15*a - 52. Let o = 95 - 45. Is u less than o?
False
Let f = 44.5 + 57. Let o = 0.5 - f. Let x = 102 + o. Is x smaller than 25?
True
Suppose 144*y = 70*y - 1554. Is 2 less than y?
False
Let r be 2/(-1628)*(-3 - 1). Suppose -235*a + 37 = -272*a. Which is smaller: a or r?
a
Suppose 61*i - 44*i = 17. Suppose 0 = 4*b - u - 4 - 0, 2*u + i = b. Is b at least -2/191?
True
Let y be (-2)/(-5) + (-18)/(-5). Let w(f) = -f**3 - 54*f**2 + 85*f - 43. Let b be w(-55). Let i = -11813/7 - b. Is i bigger than y?
True
Suppose 175 = -5*m - 2*w, -3*m = -0*m - w + 105. Let v be ((-96)/1664)/(6/m). Let y = 1/26 + v. Is y equal to 0.5?
False
Suppose 2*q = -5*v - 63, 2*q - 5*v + 5 = -8. Let w be (-38776)/(-104) - -2*(-1)/(-13). Let a = w + -392. Is q at most a?
True
Let u = -17 + -2. Suppose 9*x = -53 + 134. Let y = x + -30. Is y bigger than u?
False
Suppose 22*u - 18*u = 12. Suppose -u = i - 4, -2*v - 3*i + 7 = 0. Let q be 3/(-24)*(0/2 + -4). Is q > v?
False
Let h(k) = k**2 + 10*k + 25. Suppose 3*t + 5*v + 8 = -7, 4*t + 20 = v. Let q be h(t). Which is bigger: -18 or q?
q
Let y = 443326769/8692 + -51004. Is -1 > y?
False
Suppose 113*i - 2260 = 117*i. Let q = i - -587. Is q smaller than -4?
False
Suppose 110*h - 6495 = -t + 114*h, 0 = -3*h + 15. Which is smaller: 6514 or t?
6514
Let g = -6820 + 10690. Are 3869 and g equal?
False
Let n be (2*-1)/(10/(-15)). Suppose 0 = n*k + 3 - 6. Is 1/7 at least k?
False
Let y(m) = -3*m - 21. Let p be y(7). Let v = 61 + p. Let q = -408 + 422. Which is smaller: v or q?
q
Let v = 24867 + -27112. Which is smaller: v or -2249?
-2249
Let q = 0.165 + -12.165. Let x = -6.1 - -0.1. Let g = x + 6.1. Which is bigger: q or g?
g
Let b = 0.22 + -0.297. Let q = b + -1.843. Let s = -0.08 + q. Which is smaller: s or 5?
s
Suppose 117 = w + 2*w. Let f = -41 + w. Let x(r) = r**3 + 2*r**2 + 2*r + 1. Let k be x(f). Are k and -5 unequal?
True
Let d be (20/6)/(198/(-27621)). Is -466 at most d?
True
Let b(o) = -17*o**3 + 2*o**2 - 5. Let s be b(2). Let v be -6*(2 - s/(-69)). Which is smaller: v or 0?
v
Let w(i) = -i**2 - 6*i + 12. Let z be w(-7). Suppose 0*p - 4*p = z*a + 120, 4*p = 2*a - 148. Which is smaller: p or -34?
p
Suppose -50*d + 49*d = 5*a - 6457, 3*d + 4*a = 19349. Which is greater: d or 6448?
6448
Suppose -w = j + 33, -4*j + 45 - 140 = 3*w. Let z = 40 + w. Suppose z*b + 12 = 45. Does b = 12?
False
Let q(w) = 574*w + 1326. Let j be q(7). Which is bigger: j or 0?
j
Let w(f) = 10123*f**3 + f**2 + 9*f - 8. Let l be w(1). Is 0 at most l?
True
Suppose -d + 17 = -3*c, d - 30 = -2*c - 18. Let j be (-678)/(-3570) + (-2)/d. Is 0 < j?
True
Suppose 75*b + 26 = -66*b + 154*b. Is 28/45 greater than b?
False
Let u = 54/13 + -9532/2301. Suppose -99*z = -41*z - 43*z. Which is bigger: u or z?
u
Suppose 2*b - 384 = 4*c, -2*c = 3*b - 211 - 373. Let d be -20*(-1 + 14)*(-2289)/3052. Which is greater: b or d?
d
Suppose -9*l + 33 = -5*l - v, -l = 2*v + 3. Let b be 22/77*l/3. Which is smaller: 27 or b?
b
Let s = 2/34304318465 - 3063025734879539/58008602524315. Let k = s - -5/1691. Which is bigger: k or -53?
k
Suppose -r + 201 = -0*v - 5*v, -3*r + 4*v = -570. Let j = r + -134. Suppose 0 = 3*g + 2*g - 255. Are j and g non-equal?
True
Let n be 67594/16899 + (-20 - -16). Which is smaller: n or -1?
-1
Let m = 0.09062 - 0.09062. Which is smaller: m or -591?
-591
Suppose -2*z + 52 = 56, -r + 4*z = -5195. Is r less than or equal to 5187?
True
Let q = -3.55 + -772.45. Let z = -637 - q. Which is bigger: z or 0?
z
Let k = 183 - 633. Let r = 450.47 + k. Which is bigger: 1 or r?
1
Suppose 166*i - 165*i - 7 = 0. Suppose 3*q - 5*j = -i*j + 217, 0 = 2*q - 5*j - 132. Which is smaller: q or 72?
q
Let r be (1 + (296/12 - 4) + 1)*6. Let s = -274 - -153. Let b = s + r. Is b at least as big as 72/5?
True
Suppose 0 = -3*q - 3*j - 6167 + 347, -5832 = 3*q - 3*j. Is q < -1943?
False
Let l be 283*((-2)/(-6) + (-10)/(-15)). Suppose 277*t = l*t - 36. Suppose 2*v - 18 = -v. Is v < t?
False
Let f = 11.67 + -13.67. Which is bigger: -43 or f?
f
Let a = -8 - -8.17. Let h = 4.3213 - 0.1513. Let z = h - a. Is -2/5 equal to z?
False
Let y = -2/97857 + -18494873/4892850. Which is smaller: y or -3?
y
Let r = -1.19 + -0.07. Let p = r - -0.82. Let i = 0.82 + 0.18. Which is smaller: i or p?
p
Let p(a) = -16*a + 269 - 21*a - 9*a - 26*a + 38*a. Let c be p(8). Is c at most 0.037?
True
Suppose 9*r - 2*r - 7 = 0. Let g be r*0/1 + 336/12. Let m be (-3 - (-36)/g)*7. Which is smaller: m or -15?
-15
Let m(w) = -186*w - 11. Let n(y) = -62*y - 4. Let k(h) = 6*m(h) - 17*n(h). Let b be k(-2). Is b at least as big as 126?
True
Let x = -197 + 347. Let t = x - 159. Is -1.1 at least as big as t?
True
Let y = 4397 + -1997. Is -1 bigger than y?
False
Let f(m) = -7*m. Let w(r) = -24*r + 20. Let u(g) = 3*f(g) - w(g). Let a be u(0). Which is greater: -12 or a?
-12
Let h(t) = 2225*t**2 - 658*t - 1. Let v be h(-1). Do v and 23055/8 have the same value?
False
Let x = -20 + 18. Let s be 1950/(-52) - x/4. Which is smaller: -38 or s?
-38
Suppose -2*o + 0*h - h + 14 = 0, -3*o + 2*h = -28. Suppose o*p = 5*p - n + 4, 0 = 2*n - 2. Let q be -1*((-19)/3401 - (p + -1)). Which is smaller: q or 1?
q
Suppose -45 + 189 = -4*g. Let c = 948 - 980. Which is smaller: c or g?
g
Let v = -18.2 + -7.4. Let l = v - -25.4. Let g be 1/4 - (-9)/60. Which is smaller: l or g?
l
Let f(s) = -3*s**3 - s**2 + 2*s - 1. Let k be f(1). Let b = -66 - -86. Let u be 8/b + k/15*-13. Which is smaller: u or -0.9?
-0.9
Let f be (-814)/48 + ((-45)/(-72) - 1). Which is smaller: -0.8 or f?
f
Let k(p) = p + 0*p - 4*p - 8*p + 3*p + 33. Let g be k(3). Which is greater: -2/69 or g?
g
Let l = 32 - -1. Let f = -30 + l. Let h be (18/8)/(0 + f). Which is greater: 0.08 or h?
h
Suppose -5*l - 5 = -2*p - 34, -3*l + 7 = 4*p. Suppose -n + x - 9 = -3, l*x = -10. Let u be (12/16)/((-2)/n). Is 2 > u?
False
Let l be (-5)/(-40)*4*11/10208. Which is bigger: 0 or l?
l
Let y(j) = j**3 + 15*j**2 - 16*j + 5. Let m be y(-16). Suppose -3*w = -m*t - 7 - 13, -2*w - 2*t = -40. Let r = w + -15. Which is greater: -3 or r?
r
Suppose -v = 2*f + 3*v - 22, 0 = -v - 2. 