0316. Let d = 15.9271 - -0.0729. Let a = b - d. Which is smaller: 0.1 or a?
a
Suppose 12*h - 24*h + 16*h = 0. Let j be ((-616)/(-150) - 4)*(-15)/20. Do j and h have the same value?
False
Let q be (-1 - -2) + 0 + 0. Suppose -2*n = 104 - 12. Let f be (((-7)/n)/(-7))/(2/16). Which is smaller: f or q?
f
Let b = 13 + -23. Let q be 12/(-12) - 8/(-2). Let o be -1 + q/(-18)*b. Are o and -1.6 unequal?
True
Suppose -5*o - 4*z + 20 = -239, -o - 4*z + 55 = 0. Is o smaller than 23?
False
Let b(w) = w**3 + 9*w**2 + w - 11. Let n be b(-9). Suppose 20*h - 18*h = 248. Let v be 14*-1*186/h. Which is smaller: v or n?
v
Suppose 2*p + 15 - 31 = 0. Let b be p/3*12/4. Let j be b/(-16)*0/(2 - 4). Which is smaller: j or -7?
-7
Let m be 150/100*1/8. Let k(d) = -d + 5. Let v be k(11). Let p(a) = -2*a - 11. Let z be p(v). Which is bigger: z or m?
z
Let r(q) = -q**2 + 7*q - 7. Let x be r(6). Suppose 0 = 96*p - 49*p - 48*p + 125. Which is greater: p or x?
p
Suppose 0 = 4*s - s - 3, 4*s = 3*x - 1382. Let z = x - 459. Suppose 3*w = h + 3, -5*w - 3*h + 0*h = -19. Are w and z unequal?
True
Let v be 1942/(-38) - 21/((-9975)/50). Is -409/8 equal to v?
False
Let d be (-68)/(-442)*(4 + 533/(-134)). Is 0 at most as big as d?
True
Suppose -3*h + h - 2 = -r, -4*h = 2*r - 12. Let m be 24/(-18)*(-6)/(-1). Which is smaller: m or h?
m
Let t = -5421.14 - -5415. Which is smaller: t or -1?
t
Let o be (1 - 0) + 0 + 0. Let n = 9769/106249 + -10/9659. Which is smaller: n or o?
n
Let d be (5 - -1)*(-10 + (-50713)/(-26)). Suppose -24*c - d = -4395. Do -302 and c have the same value?
True
Let s = -368 + 417. Suppose s*i = 53*i - 204. Let n = -0.02 + 1.02. Which is smaller: n or i?
n
Suppose -11*k + 5*k = -252. Let h be -1*(-2 - 0)/((-14)/k). Which is smaller: 2/3 or h?
h
Suppose 0 = -5*c - 275 + 935. Let l = 134 - c. Which is smaller: l or -47?
-47
Let k = -31.6 - -19.96. Let a = k + -44.46. Let u = a - -57. Which is bigger: u or -4/5?
u
Let d be 1/(3 + 0 + -2) - -13. Let j be -2 + (-9)/3*d. Let q = j + 51. Which is smaller: q or 5?
5
Suppose 0 = -4*z - i + 138, 3*i - 2 = 4. Suppose 4 = 2*b - z. Suppose -16 = y - b. Is y less than or equal to 3?
True
Let a = 3.43 + -4.43. Which is bigger: 23.19 or a?
23.19
Let p be ((-2)/6)/(4/(-84)). Suppose -s + 8*s - 91 = 0. Suppose -11*w - 13 = -s*w - v, -w + 14 = -v. Which is greater: w or p?
w
Let a = 354.4717 + -353.9. Is -2 <= a?
True
Let u be 1 + 17/(51/(-18)) - -9. Suppose 0 = -2*m - 8, u*k + 0*m + 2*m = 692. Is k >= 175?
True
Let k be (3 - -1) + -1 - 485/(-1). Let p be k/2*1/(4/8). Suppose f = -4*f - z - p, 82 = -f + 5*z. Which is greater: f or -96?
-96
Let a = 16881 + -33057/2. Let y = a + -349. Is -3/2 >= y?
False
Let f be (-4)/(-6) + 624/(-216) - -2. Which is smaller: -0.3126 or f?
-0.3126
Let c(t) = 40*t - 899. Let o be c(23). Let r be -5*(-2 + 14/10). Suppose -o = -r*h - 3. Is h smaller than 5?
False
Let c be -1 - (-4 - -4) - -2. Let a be 4/5*(c - (10 + -5)). Which is greater: a or -2/7?
-2/7
Let r = -360.31389 + 0.01389. Let z = r - -358. Which is smaller: 2 or z?
z
Let g be (23 - 22)/(110/109 + -1). Suppose 9*v = -28 + g. Suppose 0 = 24*q - v*q - 1380. Which is smaller: q or 91?
91
Suppose a + 3 + 3 = 0. Let h be 4/a + (-544)/48. Let j = -32 + 21. Which is smaller: j or h?
h
Let t = -165 - -80. Let y = 141 + t. Suppose -48*a = -46*a - y. Which is smaller: a or 29?
a
Let t = -440 - -439.508. Let w = -7.492 - t. Do 9 and w have the same value?
False
Let c = -202 - -260. Let s = -57.9 + c. Which is greater: 149 or s?
149
Let k be (2 - (-110)/(-60))*36/6. Which is smaller: k or 18/149?
18/149
Let h = 1198/13 + -105463/1144. Let z be (-2)/(-8) - (-2)/(-8). Which is bigger: z or h?
z
Let y = -462895/57 - -8121. Which is bigger: y or 1/3?
1/3
Let d(a) = -60*a + 3120. Let s be d(44). Is s less than 486?
True
Let y = -0.27519 + 0.26129. Which is greater: -0.14 or y?
y
Let r = 647/2924 - -21/731. Which is smaller: r or -109?
-109
Let y = 1.8 - -1.7. Let g = 3.14 - y. Is -0.1 >= g?
True
Suppose 3*j - 2*v + 2 = 4*j, -2*j + 12 = 2*v. Suppose 8 = -0*w - 2*w, -5*w + j = 5*o. Suppose o*n + 2 = 2. Which is greater: -2/11 or n?
n
Let u = -3432 + 3433. Suppose -182 + 26 = -4*v. Let f be 3/(2*v)*2. Do u and f have the same value?
False
Let n = -823/546 + 2/273. Is n equal to -282?
False
Let z(c) be the second derivative of c**4/6 - 5*c**3/6 - 7*c**2/2 - 22*c. Let j be z(-2). Suppose 0 = 3*w + 5*x + 3, 5*w - x - j = 12. Which is smaller: w or 6?
w
Let z = -185923 + 1276733243/6867. Are z and 0 non-equal?
True
Let n = 11002/53 + -58976/159. Let p be ((-36)/5)/((-4)/(-90)). Which is smaller: n or p?
n
Let y be 4*(-6 - -4)/2. Let m(t) = -t**2 + 4*t + 17. Let l be m(7). Let p be l - ((-100)/44 + 1). Which is smaller: p or y?
y
Let r = -4 - -11/3. Let h be 44/32 - (-2235740)/(-1624480). Is h < r?
False
Let t be (-587)/(-2601) + 4/(-18). Suppose 39326 - 39290 = -36*w. Is w != t?
True
Let f be ((-10)/5)/(6/(-3)). Let a be f/11 + 31130/(-1694). Do a and -17 have different values?
True
Let h = 0.67 + 1.33. Let v = 5867.6 + -5866. Do v and h have different values?
True
Suppose -385 = -24*q - 184 + 687. Let w = -18 - -12. Let g = w - -44. Is g < q?
False
Let w = -3.023 + 0.023. Let y = w + 85. Let d = 82.034 - y. Which is bigger: d or -0.1?
d
Let m(h) = -h**2 - 17*h - 12. Let g be m(-1). Suppose g = -4*q, -4*d = -4*q + 17 - 37. Suppose 2*n + r = -3*r - 10, -3*n = 4*r + 5. Is n >= d?
True
Let s = 127601/34629 - 188/51. Which is greater: 1 or s?
1
Let p = -21.15 + 21.5. Let k = p + -3.35. Let h = -12/17 - -2/51. Are h and k non-equal?
True
Suppose 2*p - 1272 = -5*z, -5*p + 8*p - 1882 = -z. Suppose 4*k - 9*k - p = 2*a, -3*k - 2*a = 378. Which is bigger: 1 or k?
1
Let i be (15/(-6) - -2)/(2/(-184)). Let n = i + -46. Suppose n = 6*k + 5 - 23. Is 30/7 < k?
False
Let m = -18.7 + 17. Let t = -1.32 - -0.12. Let q = t - m. Which is smaller: 4 or q?
q
Let a = 338.5 + -309.5. Which is greater: 1/4 or a?
a
Let s = -792/5 - -159. Let r = 1/5 - s. Let j = 1.3 - 2.4. Which is smaller: j or r?
j
Suppose 4*b - 3*b + 19 = 0. Let l = b + 9. Let o = -0.1181 + 0.1181. Is o less than l?
False
Let f = 4903660/461 + -10637. Let z be 2/(-8) - 101505/(-341140). Let i = f + z. Which is greater: 1 or i?
1
Let k(q) = 66*q + 1650. Let l be k(-25). Is -1/2215 smaller than l?
True
Let d = 23670 + -21905. Is 1765 < d?
False
Let z be (65/10)/((-1)/2). Suppose -114*r + 110*r = -48. Suppose -2*f - 30 + r = 0. Do f and z have the same value?
False
Let d = -1 + 3. Let y = -67 - -22. Let b = y + 48. Is b > d?
True
Let r = -0.2 - -0.2. Let s = -339 - -159. Let u = 1081/6 + s. Is r greater than or equal to u?
False
Let x = 8.008 - 7.008. Which is greater: x or 98.7?
98.7
Suppose -z = c - 35, -2*c + 70 = 3*z - 6*c. Let u(i) = 6*i + 29. Let h be u(0). Which is bigger: z or h?
z
Let k be (-275)/(-10)*(-16)/(-170). Let u = 11874 + -11872. Is u at least as big as k?
False
Let w be -3*(31/(-6) - -5)*1. Is -7362 bigger than w?
False
Suppose -3*p = -245 + 218. Let u be 14/(-42) + (-51)/p. Which is bigger: u or -37/6?
u
Suppose 3*s - 40 = -9796. Let m be s/280 - (-8)/(-28). Let f = 67/5 + m. Are f and 3 non-equal?
True
Let f be 1*(7/28 + (-76)/(-16)) + 30. Is 40 greater than or equal to f?
True
Let p = -35.206 - -35.506. Is -236.9 at most p?
True
Let z = -78126 - -83672930/1071. Which is smaller: z or -1?
-1
Let z = 16541 - 2299185/139. Which is bigger: -1 or z?
z
Suppose -n = -2*s - 117, -4*n - n + 2*s = -561. Suppose -27 + n = -4*l. Let q be 82/(-5) - (-130)/(-50). Which is smaller: q or l?
l
Let s = -41 - -41. Let r = 649/20451 - -3/401. Which is bigger: s or r?
r
Let a = 1071.32 - 1175. Let f = a - -104. Let u = f + 0.68. Is u >= -8?
True
Let d = 3.77 + 0.33. Let z be 25 + -37 + (-258)/(-21). Which is smaller: z or d?
z
Suppose 5*m = 3*u - 259, -9*m + 4*m - 238 = 4*u. Let b be (2/(-3))/((-2)/(-12)). Let t be -53 - (0 + b + 1). Do m and t have different values?
False
Let n be 11642/(-18) - ((-600)/(-27) - 22). Is -647 > n?
False
Let p = -586.7 - -552.7. Which is smaller: -212 or p?
-212
Let m = -305 + 308.11. Let k = m + -6.11. Are -30 and k unequal?
True
Let z(v) = -7*v**3 - 20*v**2 + 16*v + 8. Let s(m) = 8*m**3 + 20*m**2 - 16*m - 7. Let u(l) = -6*s(l) - 7*z(l). Let i be u(-21). Is -119 not equal to i?
False
Let u be 