6/16. Is p > -12?
True
Let k = -208.95 + -570.05. Which is bigger: 2 or k?
2
Let c = 5912 + -5914.8. Which is smaller: 2.7 or c?
c
Let k = 143 + -121. Suppose 1 = 5*i - 4*w, -3*w - 11 = i - w. Let a be (-7)/3*3*i. Which is smaller: k or a?
a
Let b = -0.757 + 1.667. Let y = 3.3 + -3.2. Is b at least as big as y?
True
Let f = -0.33 + 0.79. Let g = f + -0.36. Let u = g + -3.1. Which is greater: u or -1/2?
-1/2
Let w = 27.8 - 2.7. Let o = w + -23. Is 0.5 less than o?
True
Suppose -7142 = 50*x - 77092. Which is bigger: x or 1397?
x
Let a(i) = -i**2 + 10*i - 8. Suppose 17 = s + 10. Let k be a(s). Suppose -2*w - 8 = -2*b, 5*w = b - 3*b - k. Is -2/69 != b?
True
Let x = 29827/5 + -5955. Which is greater: x or 29?
29
Suppose 4*q = u + 500, 3*q + 3*u = 2*u + 368. Let y = q + -116. Let d be (2/(-3))/(2/(-21)). Is y > d?
True
Let q be -5 - (0 - (0 - -5)). Let m = -48 + 47. Are q and m equal?
False
Let h = -48 - -96. Let k = h + -100. Let c = 52.2 + k. Is c smaller than 1.3?
True
Let z(r) = r**3 + 4*r**2 + 2*r - 182. Let v be z(0). Which is greater: v or -178?
-178
Let t = 14611 - 146087/10. Is 3/19 smaller than t?
True
Let y(f) = -3*f**2 + 17*f - 116. Let o be y(7). Let a be (o/96)/(6/(-4)). Which is smaller: 38 or a?
a
Let y = -89 - -53. Let u = y + 25. Let q = u - -16. Is q bigger than 2?
True
Let a(m) = -3*m + 72. Let q be a(22). Suppose q*w + 3*y - 16 = w, 0 = 5*w + y - 22. Let u = -2101/4 + 529. Which is bigger: u or w?
w
Let p = -40519297/56710 + 1/28355. Do -715 and p have the same value?
False
Let m = -33.9651 - 0.0349. Which is greater: 99 or m?
99
Let s(g) = -3 + 13*g**2 + 2 + 0 - g**3 + 14*g. Let w be s(14). Let t(k) = k + 10. Let y be t(-6). Which is smaller: y or w?
w
Suppose -2*f - 4*j - 4 = -3*f, 4*f + j = -1. Suppose -44*l + 47*l = f. Suppose l = -7*i - 0*i. Is 2/127 < i?
False
Let d = -7575 - -7574.757. Is -0.9 at most as big as d?
True
Let n be (-2)/(-5) + 14 + 2196/(-90). Which is smaller: n or 18?
n
Let f = 6705.1 - 6678. Let t = -22.7 - -13.6. Let b = f + t. Which is greater: -0.1 or b?
b
Let c be 2 - 8 - ((-7965)/(-7956) - 7). Are c and 0 nonequal?
True
Let r = 38883/7 - 37211066/6699. Which is smaller: r or -1?
-1
Let g = -7090802/14517 - -4396/9. Is -1 less than or equal to g?
True
Let l be ((-5)/(-20)*-4)/((-3)/579). Which is bigger: l or 2?
l
Let k = -5872 + 6637. Is k < 6890/9?
True
Let s = 752 + -751. Let j be 0/((4 - 1)/(-3)). Suppose j*k = -5*k + 10. Is k less than or equal to s?
False
Let b(p) be the third derivative of -p**6/120 - p**5/10 + 47*p**4/24 + 25*p**3/6 + p**2 + 35*p. Let w be b(-12). Do 325 and w have the same value?
True
Suppose 6 = 2*a - 10. Let m(y) = 7*y**3 + 4*y**2 - 2*y. Let l be 2/(-12)*(-30 - -24). Let v be m(l). Is a >= v?
False
Suppose 15*u = 14*u + 7*n - 297, 3*u + 987 = 5*n. Is -345 greater than u?
False
Let t(v) = -2006*v**2 - 8*v - 14. Let r be t(2). Is -8054 less than or equal to r?
True
Let v = 29906 + -30287. Which is smaller: -402 or v?
-402
Suppose n = 6*n - 35. Let x(u) = -u**3 + 7*u**2 + 4*u - 23. Let a be x(n). Suppose -3*o - w - 1 = 0, a*w = o - 0*o - 5. Is 2/9 > o?
True
Let t = -4931 + 4902. Which is bigger: -22 or t?
-22
Let i = -3080 + 2037. Which is greater: 1/5 or i?
1/5
Let a = -650 + 1822. Which is greater: 1175 or a?
1175
Let t = -3.7471 - -4.0471. Let g = -4.1 - -0.1. Let f = g - -3.99. Which is bigger: t or f?
t
Let q(b) = -688*b - 2087. Let v be q(0). Which is smaller: v or -2088?
-2088
Let q = -7856 + 7860.17. Let d = 1.2 + -1.3. Is d <= q?
True
Let p be 12/(-5)*60/(-24). Suppose -8 = l - 3*y, 5*y - 50 = -p*l + 11*l. Is -14 at least l?
False
Suppose 7 = 4*p - 25. Suppose 2*t - 971 = -3*d, -26*d + 24*d = -t + 475. Let m = t - 471. Which is smaller: p or m?
p
Let n(a) = -3*a**3 + 24*a**2 - 38*a + 13. Let u be n(6). Let x(z) = -3*z + 1. Let o be x(1). Let p be o/2 + (-19)/(-9). Which is smaller: p or u?
u
Let x = -123.741 + 122.8. Let w = -2.081 + x. Let b = w - -0.022. Does -2/7 = b?
False
Let x = -2070012/59 + 35084. Which is smaller: 0 or x?
x
Let c be ((-6)/(-4))/(60/(-80)). Let z be (-215)/774*1/c. Is -1 at least as big as z?
False
Let f(x) = -x**3 + 14*x**2 - 9*x - 4. Let v be 10/(-4) - (-9)/6 - -14. Let i be f(v). Let z = -49 + i. Are -1/4 and z non-equal?
True
Let n = 67 - 62. Suppose 4*r - 5*x + 96 = 0, -4*x = -r + n*r + 60. Let j = -14 - r. Which is smaller: j or -1?
-1
Let l = 0.158 - 0.273. Let u = 0.315 + l. Which is bigger: u or 45?
45
Let u be (-378)/162*(19 - -2). Which is smaller: -43 or u?
u
Suppose n + 4116 = 4*u, 6*n = 3*u - 14924 - 9583. Is -4079 bigger than n?
True
Let u = -485 - -673. Let s = u + -189. Which is smaller: -4/41 or s?
s
Let j be (1 + -5332)/(-1)*20/(-10). Let u be j/(-3) + 1*-2. Let c be u/(-594) + 5 - 2/(-2). Is 1 bigger than c?
True
Suppose 131 = -10*s - 39. Let u be (-2)/s - (-11)/561*6. Which is bigger: 1/2 or u?
1/2
Let v = -6091 + 6093. Suppose k = -k - 84. Let b be (3/k)/1*-20. Is b > v?
False
Let i(f) = f**2 + 3*f + 15. Let z be i(0). Suppose 65 = -5*w + z. Which is bigger: w or -4?
-4
Suppose -5*p = 4*k - 1965, -27*k + 25*k + 399 = p. Let i = p - 702. Which is bigger: i or -312?
-312
Let o be ((-136)/(-35) - 2*2)/((-90)/(-2700)). Let a be 3*2*(-2)/4. Which is smaller: a or o?
o
Let i(p) = 29*p + 218. Let x be i(9). Let l = 480 - x. Which is smaller: l or 2/91?
2/91
Suppose 0 = 3*l + 17*f - 3*f + 163, -l + 3*f = 62. Is l at least as big as -1/17?
False
Let i be 7 + (-5)/((-15)/(-9)). Suppose 3*l = i*l + 6. Let s be (2/(-2))/(6 - (3 + l)). Which is smaller: 2/7 or s?
s
Let b = 982 + -977. Suppose z - 112 = -z - 2*v, 3*z + b*v - 176 = 0. Are 52 and z nonequal?
False
Let r(k) be the third derivative of k**5/60 + 3*k**4/8 - k**3/6 + 11*k**2. Let m be r(-12). Suppose -m*l + 25 = -30*l. Is 2 smaller than l?
True
Let j = 1313 - 1312.8. Do 0.75 and j have the same value?
False
Suppose -2*m + 1165 = 3*s, -m + 2*m = 3*s + 578. Let j be (-4057)/(-21)*(1 + -4). Let n = j + m. Is n > 1?
True
Suppose -2*t = -3*i + 20, 0 = -2*i + 2*t + 3*t + 28. Let g be -2 + i + 3 + 40. Suppose 0 = 5*k - 20 + g. Is k less than or equal to -5?
True
Suppose 0 = -96*q + 95*q - 3*l + 25, 0 = 4*q + l - 89. Suppose 62*d - q = 40*d. Which is greater: d or -2?
d
Suppose 4*l + 758 = -5*i, i - 2*l + 166 = -l. Is i > -168?
True
Let s be 5 + 2*(-358)/92. Let o = -4114/1495 - s. Is 1 less than or equal to o?
False
Let o be 266/7*-1 - -8. Let a be (65/70)/13*16/o. Which is greater: -1 or a?
a
Let z be ((-8)/(-10))/((-1)/(-4) - (-2379)/(-780)). Which is greater: 130 or z?
130
Suppose 5*h + 1 = -4*y, h = 2*h + 3*y + 9. Suppose -6*u - 4110 + 1482 = 0. Let w = -430 - u. Which is bigger: w or h?
w
Let d(i) = -3*i + 62. Let k be d(16). Let o be -3 - (8/k + 158/42). Which is smaller: o or -6?
o
Let f = 171 - 265. Let v = 103 + f. Which is smaller: v or -3/4?
-3/4
Let y = -413 - -385. Let x = -29.587 - -0.187. Let u = x - y. Which is smaller: 3 or u?
u
Let n = -211 + 154. Let z be (1/(-2))/(-1 + (-33)/(-22)). Is z equal to n?
False
Let i(y) = y**2 + 8*y + 128. Let x be i(0). Suppose 4*r + r = -5*a + 650, 505 = 4*a - r. Which is smaller: x or a?
a
Let t = 4/9847 + -19706/29541. Is -3/20 >= t?
True
Suppose -3*r = -2*d + d - 13, -22 = 2*d - 5*r. Let m be (130/(-260))/(44/16). Which is smaller: d or m?
d
Let g be (((-1458)/(-15))/1)/(391/(-1275)*-5). Which is smaller: 62 or g?
62
Let k be -4*(-13 - 729/(-36)). Which is smaller: -22 or k?
k
Let p be -2 + 9 + -7 + (4013 - 4/2). Is 4012 less than or equal to p?
False
Suppose -29*l + 15586 - 1985 = 0. Let y = l - 1406/3. Is 0.003 at least y?
False
Let x = -119.7 + 109.7. Suppose -3*k = y + 11, -3*y - 12 - 1 = 5*k. Which is bigger: k or x?
k
Suppose 424 = 4*l + 4*f - 280, 2*l - 352 = 2*f. Which is smaller: 173 or l?
173
Let c = -12234 - -12234. Is c at most 2/7163?
True
Suppose -k = d - 7 + 539, 0 = 2*k - 5*d + 1050. Is k > -524?
False
Let y = 5342 + -5351. Let p(f) be the third derivative of f**6/120 + f**5/12 + 5*f**4/24 - 2*f**3/3 + f**2. Let s be p(-4). Is y less than s?
True
Suppose -56 = -6*w - 8. Suppose -5*f = -48 + w. Let h be 9/2*(1 + 1) + -2. Which is greater: f or h?
f
Let d(g) = g**3 + 98*g**2 + 195*g + 289. Let m be d(-96). Which is smaller: 101/71 or m?
m
Suppose -g = p - 49, -4*p + 558 - 318 = 5*g. Which is greater: 16 or g?
g
L