 Is p at least as big as 7?
True
Let n = 0.2 + -0.2. Which is greater: 2/33 or n?
2/33
Let c be (2 + 5/(-2))*-52. Suppose 0 = -o - 4*b + c, -o = -2*o + 4*b + 10. Suppose -s = n - 23, 0 = -4*n + 7*s - 2*s + 56. Which is smaller: o or n?
o
Let k(g) = g**2 - 8*g + 15. Let f be k(6). Let a = -549/2 + 276. Is f less than or equal to a?
False
Let s = 806 + -1259. Is 0.1 not equal to s?
True
Let q = 13 + -21. Let k be ((-4)/6)/(q + -4). Is 0 < k?
True
Let l be 1*(-8)/(-36) + 43812/(-196425). Which is smaller: l or -1?
-1
Let r = -0.02 + 3.02. Let m(c) = c**3 - 3*c**2 - c + 4. Let h be m(3). Let t be 0 + 0/(-3 + h). Which is greater: t or r?
r
Let s = -2.261 + -1014.739. Is s at least as big as -1?
False
Let r = 3480 + -1858. Which is greater: r or 1621?
r
Let p(z) = -z**3 + 14*z**2 - 16*z + 7. Let b be p(13). Let w = -40 - b. Which is bigger: w or -6?
-6
Let s = 24/53 + -2221/106. Let b = s + 20. Let c = 0.3 + -0.5. Is c greater than b?
True
Let b = -57/694 + 54985/686366. Let f = 4929/7912 - b. Let j(s) = -s**2 + 5*s + 6. Let r be j(6). Which is bigger: f or r?
f
Let c = -181/594 - 13/54. Let n = 97 - 95. Which is greater: c or n?
n
Suppose 65*s - 3 = 62*s. Is -11/28 smaller than s?
True
Let a be (45/6)/((-3)/1 + -13). Is 0 less than a?
False
Suppose 4*x + 2*g = 100, -4*x - 89 = -7*x - 5*g. Suppose 3*l + x = -1. Suppose 3*j = 3*w - 33, -w = -2*j - 0*w - 20. Does l = j?
False
Let y = -0.099 + -2.001. Let d = y + 3.1. Let m = 14.6 - 16. Do d and m have the same value?
False
Suppose 1618 = 2*b + 4*t, 24*b + 3233 = 28*b + 5*t. Which is smaller: 808 or b?
b
Let d be (-168)/66*(-77)/14. Suppose 4*v = 64 - 4. Is v less than or equal to d?
False
Let r(k) = 2*k**3 - 5*k**2 - 2*k + 1. Let v be r(3). Let h be (-18)/24 - (-43)/v. Is 3 bigger than h?
False
Suppose 0*s + 3*w = -3*s + 168, 3*w = 0. Let m be (-20)/40*s/(-3). Which is smaller: m or 8?
8
Let v = -111.8 - -112. Which is bigger: v or 8?
8
Let v(t) = t + 4. Let l be v(-2). Let p be l + (1 - -3) + -9. Let z be (p - (-13)/3)*3. Is z greater than or equal to 7?
False
Suppose -5*i = -4*i + 32. Which is smaller: i or -31?
i
Let o(v) = -v**3 + 18*v**2 - 67*v - 6. Let z be o(7). Are 63 and z nonequal?
True
Let d = 54 + -53.977. Let p = -7.027 - d. Let h = 7 + p. Which is smaller: h or 1/2?
h
Let q = 88 - 79. Let b = q + -7. Which is smaller: 20/9 or b?
b
Suppose 5*z + 17 = 3*d + 8, -5*z - d + 3 = 0. Is -3/8 greater than z?
False
Let n(k) = 35*k - 69. Let c be n(2). Is c bigger than 11/147?
True
Let q = -55 - -101. Suppose 34 = 4*a - 2*j, 5*a + 3*j = 2*j + q. Is a greater than or equal to 11?
False
Let t be 3/6*3 + 90/(-120). Is 37 smaller than t?
False
Let r = 0.13 + -2.13. Let b = 407.3 + -372. Let t = 35 - b. Is r equal to t?
False
Suppose 5 = 2*t - 43. Let v = -3005 - -3031. Is t smaller than v?
True
Let a = -30 - -60. Suppose 0 = 4*d + 4*l + 40, 2*d + l = 5*d + a. Which is smaller: -8 or d?
d
Suppose 7*u = 5*u - 40. Suppose 5*x + 2*a = -97, -2*x - x - 60 = 3*a. Is x bigger than u?
True
Let y = -9.4 + 10. Is 0.35 not equal to y?
True
Suppose 3*s - 10 = -4*h, s - 5*h + 312 = 290. Let t be (-4)/(-14) + (-9)/7. Is t at most s?
False
Let u(f) = 2*f. Let n = -5 + 5. Let r be u(n). Suppose 4*s - 12 = 3*b + 15, -b - 4*s - 25 = r. Which is bigger: -12 or b?
-12
Let x be (2*-12)/(12/(-16)). Suppose 4*s = -5*q + x - 11, 4*q = -s + 8. Suppose 6*d + q = 7*d. Is d >= 4/9?
True
Suppose -12*f + 7*f + 115 = 0. Let r = f + -13. Let j be r - (2 + (2 - 4)). Do j and 10 have the same value?
True
Let j(s) = -s**3 + 6*s**2 + 6*s + 10. Let v be j(7). Suppose -2*d - 4 = v*f, 3*f - 3*d - d = 8. Is 5/12 bigger than f?
True
Let m be ((-13)/104)/(2/26). Is m > -3?
True
Let w be 2/(-5) + 19/(-115). Let i = w - -842/1449. Which is greater: i or -1?
i
Let k = 1330/3 + -417. Let g = -26 + k. Let q be -4*(-5)/60*3. Is q at most g?
False
Let x = -56 + 55. Let o(t) = -t**3 + 2*t**2 - 2*t + 1. Let y be o(1). Are x and y non-equal?
True
Let s(i) = i**2 + 2*i + 1. Let p be s(-3). Suppose p*d = 4*f, -5*f = d - f. Let z be -2 - (1 + d + -3). Which is greater: z or 2?
2
Let p = -1249 - -1248. Is p >= -6/1391?
False
Let v be (-2)/(-4) + 186/12. Let r = v - 25. Let g = 23 + -33. Is r bigger than g?
True
Let w = -2/273775 - -17795919/74466800. Let a = -224/17 + 13. Let c = w + a. Which is smaller: c or 1?
c
Let u be (-2 - 2)*(-12)/60*-2. Suppose -4*v + 7*r = 4*r + 30, 5*r - 34 = 4*v. Let i be (-1 - -2)/(2/v). Which is greater: u or i?
u
Suppose 2*x = 5*x. Suppose -p = -x*p. Let v = -4/19 + 88/57. Are p and v nonequal?
True
Let u = -42 + 42.168. Let z = -0.032 - u. Are z and -7/2 non-equal?
True
Let h = -12917/14 + 924. Is 2 > h?
True
Let i be (-13)/(-4) - (-12)/(-48). Suppose -85 - 44 = i*w. Which is smaller: -42 or w?
w
Let a = 4.9 + 37.1. Let f = a - 58. Which is bigger: f or 0?
0
Let o be 3*((-282)/(-54) - 5). Is 384 smaller than o?
False
Let t(m) = -17*m**2 + m. Let n be t(1). Let k = n - -19. Suppose y = k*y. Is 1/6 less than or equal to y?
False
Let n be 3 + -1 + -1 + -6. Let a be (-33)/12 + (n - -8). Is -45 less than a?
True
Let v(o) = -o - 5. Let g be v(-5). Suppose -5*b + g*t - 3 = 2*t, 4*b - t = 8. Let m be (b - (-28)/(-12))/2. Is 4 at most as big as m?
False
Let w = 59 + -235/4. Let y = 379 - 367. Is y greater than w?
True
Let u be 14/(-21)*(31 - 3). Is -18 equal to u?
False
Let p = -178 - -1604/9. Suppose w - 4*w + 6 = 0. Suppose 4 = 2*g, 5*j - 5 = g - w. Is j less than or equal to p?
False
Suppose 4 = -2*p, 0 = 5*n + 3*p - 0*p + 1. Let t = -3 + 6. Let s = -2 + t. Is n bigger than s?
False
Let l(p) be the first derivative of p**3/3 - 6*p**2 + 6*p - 1. Let r be l(12). Which is greater: r or 4?
r
Suppose 8 = 3*q - 1. Let n be 4 + (-12)/q + 0. Let x be 3*1 - n/(-2). Which is bigger: 13/5 or x?
x
Let w be (-10)/(-2)*-1 - 0/(-7). Let x be 3 + w + (-5)/1. Is x smaller than -7?
False
Let h = -1738 - -1904. Is 168 smaller than h?
False
Let j = -91562/33 + 2775. Which is greater: -1 or j?
j
Let m = -17945/5049 + 4/459. Which is bigger: m or -4?
m
Let j = 30681576/1193 + -25718. Is -1 at most as big as j?
True
Suppose 5*j + 2*c = 3656, 1475 = 2*j + 92*c - 87*c. Is 730 at least as big as j?
True
Let r(n) be the third derivative of n**6/120 + n**5/60 + n**4/12 + n**3/6 - 4*n**2. Let m be r(-2). Let f = -1 + m. Is 0 greater than f?
True
Let m(p) = -p**3 - 14*p**2 - 18*p - 66. Let t be m(-13). Let z = 12612/23 + -548. Is z equal to t?
False
Let f = -342 - -292. Is f bigger than -47?
False
Let o = 32 - 18. Let j = -1.5 - -1.8. Is o smaller than j?
False
Let s(c) = -2*c**2 - 3*c. Let z be s(-8). Let q be (-2)/(-8)*z/169. Let i(g) = -g**2 + 6*g. Let k be i(6). Is k less than q?
False
Suppose -5*u + 47 = 182. Suppose -5*o + 26 - 86 = 0. Let g be o/54 - 114/u. Is 3 < g?
True
Let j = 152 + -43. Are 111 and j equal?
False
Let b = 11233/84 - 936/7. Is b less than or equal to -3?
False
Suppose 9*d = 2*k + 8*d - 201, -3*k + 3*d + 306 = 0. Do 95 and k have the same value?
False
Let h(o) be the third derivative of -o**6/60 + o**3/6 + o**2. Let d be h(1). Let s = 566/5 - 113. Which is smaller: d or s?
d
Let a = 42/149 + 53705/298. Is a greater than 180?
True
Let y be (-118)/(-4)*(-4)/(-42). Let k = 15/7 - y. Let j = -1 + 2/3. Which is greater: j or k?
j
Let m = -75/8 - -221/24. Let c = -9 + 12. Suppose 0 = -2*l - 4, 2*p = -p + c*l + 6. Does m = p?
False
Let l = -194/55 - -1046/1045. Are l and -2 equal?
False
Let t be (-21)/2*(-12)/18. Let f be (-705)/28 - (4 + (-31)/t). Which is smaller: -24 or f?
f
Let z = -1 + 0.5. Let k = -5/176 - -367/528. Is z at most k?
True
Let l = 0.39 + -0.09. Let f = -6.3 + l. Let o = -5 - f. Is -14 < o?
True
Let p(f) = -2*f - 14. Let a be p(-9). Let u be (a - 8) + (-22)/(-8). Is -2 at least u?
False
Let n be ((-50)/15 + 4)*3. Suppose -n*t + 2 = -t. Suppose -2 = t*j - 0. Which is smaller: j or -5/4?
-5/4
Let w(b) = b**3 + 11*b**2 - 13*b - 11. Suppose -c - 7*c - 96 = 0. Let k be w(c). Which is smaller: k or 7/4?
k
Let l(k) = 2*k**3 - 15*k**2 - 21*k + 104. Let x be l(8). Which is bigger: x or -17/15?
x
Let l = -117 - -117. Let w be (-4)/(-2) + (-24)/15 + l. Is w < 26?
True
Let n = -1.1463 - -1.1363. Let a = -1 + 1.2. Which is smaller: n or a?
n
Let k = 26 + -22. Suppose k*y - 50 = -y. Is 35/4 greater than y?
False
Let w = 301 - 13544/4