14. Suppose 10 = 10*u - y. Which is smaller: u or -21?
-21
Let j = -5.98 - 0.02. Let p = 11 + j. Let f = -5.6 + p. Which is bigger: -2 or f?
f
Let a = 2/215 + 193/2365. Let c be (-492)/(-205)*(8/(-6) - -3). Which is greater: a or c?
c
Suppose -2*d = 85 - 17. Let v = d - -31. Let p be v/1 + 5 + -7. Is -4 != p?
True
Let k be 84/12 - (30/(-6) + 11). Suppose y + 1 = 3*h - 0*y, 5*y = -5. Which is smaller: k or h?
h
Let z(u) = -3*u**2 + 47*u - 31. Let p be z(15). Which is smaller: 5/878 or p?
p
Let z = -29 - -36. Suppose -2*k - 10 = -d - 5, -2*d + 3*k = -z. Which is greater: -1/15 or d?
-1/15
Let i = 5.29 - 1.29. Let c(o) be the first derivative of o**2/2 + 19*o - 2. Let q be c(-13). Which is smaller: i or q?
i
Suppose 4 = q + i, 0 = q - 5*i + 26. Let b = -19 - -22. Suppose b*h = 2*h. Is h greater than q?
True
Let b = 445 - 445. Is -5 bigger than b?
False
Let w(s) = s**2 - 21*s - 48. Let g = -19 - -42. Let h be w(g). Suppose -1 = -2*q - 5. Is q > h?
False
Suppose 2*a + 258 = 5*l, 3 - 415 = 3*a + 5*l. Let y = a - -136. Which is smaller: 19/6 or y?
y
Let h = 31/45 + -8/9. Let i be 3 + (-3)/((-21)/(-20)). Let a = i - 9/14. Are a and h equal?
False
Let k(o) = o. Let w be k(16). Let y be (-5)/10 + (w/4)/(-8). Which is smaller: 30 or y?
y
Let l(i) be the second derivative of 0 - 7/2*i**2 - 1/6*i**3 + i. Let h be l(7). Is h greater than -14?
False
Let s be (-2 - (-516)/(-512) - -3)*-3. Are s and -1 non-equal?
True
Let w = -735 - -745. Is w smaller than -2.8?
False
Let t = 677.12 + -677. Let m = -2.1 + 2. Is m less than t?
True
Let p = 11295128783/24 - 470697924. Let x = -67573 - p. Let r = x - -46/3. Is r less than 2?
True
Let b = -5524 - -16265/3. Which is smaller: b or -102?
b
Suppose -5*y - 330 = -5*r, 0 = 3*r - 2*y - 167 - 34. Is 64 less than r?
True
Suppose k + 35 = 4*i, 40*i - 43*i = 5*k + 14. Let x be ((-4)/(-10))/(2/(-10)). Do x and i have the same value?
False
Let t be (-17)/663 + 3/(-39). Is t bigger than -1?
True
Let f = 105243494/1034955 + -14/206991. Let u = f - 484/5. Which is smaller: u or 6?
u
Let v(t) = 3*t**2 + 17*t - 2. Let s be v(-6). Suppose 5*u + d - 75 = s*d, 5*d = 3*u - 61. Let q be 6/(u/5)*-2. Is 0 bigger than q?
True
Let o be (3 - -3)*6/4. Suppose 0 = -m - o*m - m. Is m >= -9/13?
True
Let b = 8 + -8.06. Let w = 4.94 - b. Let r = -64/7 - -66/7. Which is greater: w or r?
w
Let q = -2.1 - -1.2. Let p = q + -0.1. Is 1 not equal to p?
True
Suppose 4*x + 19 = 99. Let f = x + -19. Let d be f/(-7) - (-235)/175. Is d != 1?
True
Suppose -a = -10 + 1. Suppose 3*q - 19 = -4*h, -q + 2*h + a = 4*h. Suppose 16*c = 15*c + q. Is -1/6 equal to c?
False
Let c(a) be the second derivative of a**4/12 - 19*a**3/6 + a**2 - 2*a + 11. Let y be c(19). Is y != 20/7?
True
Let q = 110/279 - -177283/1116. Let b = 161 - q. Let f = 2 - 1.9. Which is bigger: b or f?
b
Let r = -24 - -23. Let d = r + -2. Are d and -7/3 nonequal?
True
Let o(b) = -b**3 - 5*b**2 + 6*b + 5. Let u be o(-6). Let v = 3 - u. Let c be (10/(-45))/(v/6). Which is smaller: -1/3 or c?
-1/3
Let j = -4 - -2. Let g = -0.5 + 0.2. Let t = g + 0.27. Which is smaller: j or t?
j
Let x = -2 - -3. Let f be (-4)/(-6) + 21/9. Suppose 5*u = 4*g + 26, -2*u + f*g + g = -20. Which is greater: u or x?
u
Suppose 0*m = 5*m - 30. Let k(b) = b**2 - 7*b + 10. Let a be k(m). Which is smaller: 3 or a?
3
Let p = -0.2 + 0.1. Let w be (4/12)/((-13)/(195/(-70))). Which is greater: w or p?
w
Let z(x) = -x**2 + 8*x + 2. Let u be z(8). Let p(y) = -10*y**u + y**3 + 6 - 4 + 0*y**3. Let f be p(10). Do f and 4 have the same value?
False
Let q = 1204 + -849. Let t = q + -47217/133. Which is greater: t or -1?
t
Let s = 542 + -600. Does -54 = s?
False
Let g = 33 - 30.3. Let f = -8.3 - g. Is f <= 1?
True
Let t = -35 + 10. Let m = -27 - t. Is m at most -1.6?
True
Let h be -1*(2 - -5) - -2. Let k be 203/42 + 2/12. Suppose 0*s - 20 = k*s. Is s smaller than h?
False
Let d = -22 + -33. Let z(q) = q**3 - 23*q**2 - 28*q + 41. Let n be z(24). Is n bigger than d?
False
Let s = -1573928 + 388760774/247. Let y = 21/19 - s. Let t = y - -131/91. Which is smaller: 1.5 or t?
t
Let v = 292 - 292.1. Let i = 11 + -11.8. Let z = v - i. Which is smaller: z or -1/3?
-1/3
Suppose -4*k - 1 = 3. Suppose 6*r = 3*r - 12. Let z = r - -5. Which is greater: z or k?
z
Let f(c) = -868*c**2 - 3*c + 2. Let r be f(1). Let z = r - -18253/21. Suppose 3*v = 5*h + 22 - 7, 3*v - 2*h - 6 = 0. Are v and z equal?
False
Suppose u - 14*u = 13. Is -1/213 less than or equal to u?
False
Let g be ((-164)/(-12))/((-3)/36). Let n be -2*(-3 - g/54). Is -2 less than or equal to n?
True
Let o = 406 + -407. Which is smaller: -2/15 or o?
o
Let j = 180 - 100. Which is smaller: j or 79?
79
Suppose 0 = -3*p - 2*w + 31, 25 = 4*p + p - 2*w. Suppose 2*a - 108 = -3*y - 3, 140 = 4*y - 2*a. Let d be y/6 - (-1)/6. Is p equal to d?
False
Let q(f) = 2*f**2 - f - 15. Let b be q(-3). Suppose 0 = -5*j - b + 241. Is 46 bigger than j?
False
Let z be 30/25*(-20)/6. Let l be 2/3 + z/6. Let h = -131/10 + 25/2. Which is smaller: h or l?
h
Let x(y) = y - 3. Let z be x(-6). Let u = 71 + -79. Which is smaller: z or u?
z
Let f = -2.869 + -0.301. Let d = f + 0.17. Let w be (7/9 - 0) + -1. Which is bigger: w or d?
w
Let r be 6/(-14) + 360/56. Let t be r/15*(-10)/18. Suppose 7*h - 21 = 5*v + 3*h, -4*v + 4 = 2*h. Is t greater than or equal to v?
True
Suppose -3*o + 36 = -3. Suppose -3*u - d - 53 = 0, 22*u + 3*d = 17*u - 87. Let y = u + o. Is -3 at most y?
False
Let h be (1/2)/((-4)/(-24)). Suppose 3*s + h*m - 36 = 0, 5*s = 4*m + 57 + 48. Let f be 10/20 - s/(-2). Which is smaller: f or 7?
7
Let y = 26 + -36. Let n = y - -8. Is n greater than or equal to -0.1?
False
Let v(b) = -b - 21. Let i be v(-23). Suppose -3 = -3*q - 3*a, 1 = q - a - i. Is -28 smaller than q?
True
Suppose -37 = -f + 3*c, 0 = -3*f + 4*c - 0*c + 86. Suppose -w = f - 86. Let z be 1/((12/3)/w). Is 17 at most z?
False
Let c be (0/9)/(9/6*-2). Which is bigger: c or -1/36?
c
Suppose -8*o = -43 - 69. Is 25 < o?
False
Let t be 1/(1/(-2*(3 - 62))). Let r be t/(-364) + (-20)/(-70). Which is greater: 0 or r?
0
Let c = -561 + 560.8. Which is greater: c or -79?
c
Let i be (-20)/(-110) + 18525/3201 + -6. Let q be 0/((-1)/((-2)/4)). Are i and q non-equal?
True
Let z = -2 - 18. Suppose -7*g - 19 = -6*g. Is g at most as big as z?
False
Let c = 64 + -117. Let m = c - -47. Which is greater: m or 0?
0
Suppose 5*z - 15 = 10*z. Let w be (-1)/(z + (-103)/(-2)). Does -0.1 = w?
False
Let g = 35/128 - 4243/2176. Which is smaller: -3 or g?
-3
Let r = 114 - -103. Which is bigger: r or 216?
r
Let d(c) be the first derivative of c**3/3 + c**2/2 - 4*c + 21. Let h be d(-3). Which is bigger: -10 or h?
h
Let h be 8/21 - 6/9. Suppose 0 = 31*c + 39 + 54. Which is bigger: c or h?
h
Let x be 43/(2/(-8)*2). Do -86 and x have the same value?
True
Suppose 4*c = -2*w + 10, 0*w + 5*c - 11 = -w. Do 7/24 and w have the same value?
False
Let g(n) = -n**3 - 7*n**2 - 3*n + 17. Let c be g(-6). Let p be 6/14*(-5)/3. Which is smaller: p or c?
c
Suppose -6 = 3*y, 5*f - y - 136 = -329. Let c = f + 40. Let n = 703/84 - 58/7. Are n and c equal?
False
Suppose r + 39 = -2*r. Suppose -3*g + 32 = -13*x + 11*x, -5*g - 4*x + 90 = 0. Let f = r + g. Is f at least as big as -1/4?
True
Let x be 1/2 + (-65)/(-2). Let y = x - 37. Which is bigger: 2/9 or y?
2/9
Let n(w) = 16*w**3 + w**2. Let v = -16 - -15. Let m be n(v). Is m less than -15?
False
Let c(m) = -m**3 - 2*m**2 + 9*m + 5. Let j be c(-4). Suppose -4*g = 2*w + 2, 3*g + 3*w = j - 7. Which is smaller: 5/3 or g?
g
Suppose 3*s + 16 = 4*n, -s - 3 = -4*n + 5. Which is smaller: n or 4/35?
4/35
Let x be (23 + -23 + (0 - 267))/(-5). Is x at most as big as 52?
False
Suppose 0 = 5*u - r, -2*u = -r - 2 + 5. Let t = -23/30 - -172/195. Which is smaller: u or t?
t
Let s be ((-95)/20)/(-19) + 943/(-28). Which is smaller: s or -33?
s
Suppose -2 = -5*g - 4*f, -4*f + 22 = 3*g - 8*g. Let t be ((-2)/(4/6) - -5) + g. Is -5/7 greater than t?
False
Let i be (-7)/(-9) - 310/2790. Let v = 2 + -5. Is i at least v?
True
Let w = -1049/9 + 353/3. Let h = 399 + -399. Which is greater: w or h?
w
Suppose -5*o = -5*o - 17*o. Which is smaller: o or 2/1217?
o
Suppose -4*b - 2*j = -38, -2*b = -j + 3*j - 18. Suppose 6 + 19 = 5*d. Which is greater: d or b?
b
Let y be ((-6)/(-10))/((-642)/