(14). Let b = x - -63. Which is smaller: -3/23 or b?
b
Suppose -8*k + 2*k = 0. Suppose -6*i - 9 + 309 = 0. Let n be ((4 + -12)/(-4))/i*6. Which is smaller: n or k?
k
Let v = 4 + 1. Let c(w) = 2*w**2 - w + 6. Let d be c(v). Suppose 0*u = -3*u + 150. Is u less than or equal to d?
True
Let n = 0.179 + 47.821. Let h = -47.9 + n. Is -3/2 smaller than h?
True
Let p = 232.8 + -38.8. Let a = -136 + p. Which is smaller: -2 or a?
-2
Let p(s) be the first derivative of -3*s**2/2 - 39*s - 26. Suppose 2*n + 2*n = -52. Let m be p(n). Which is bigger: 3/5 or m?
3/5
Let y = 7147 + -7146. Let b be (-309)/(-549) - (-5)/(-15). Are b and y non-equal?
True
Suppose -2*s = l - 4, -2*l + 25 = 5*s - 7*l. Let c be 10*3*1/s. Suppose 0 = 5*w + c. Is 26 smaller than w?
False
Let k = 0.19672 - -18.84328. Which is greater: k or 1/10?
k
Suppose 17*r = 18*r - 50. Suppose 14*u = 19*u - r. Let b = 10 - u. Which is smaller: b or -2/155?
-2/155
Let f = -0.5908 - 35.4092. Are -5 and f equal?
False
Let x = -29292 - -26368. Are x and 2 nonequal?
True
Suppose 8 = 4*k, -3*k - 262 = -2*l + 24. Let u = l + -629/4. Is u > -12?
True
Let q = 1510521/167 + -9045. Which is bigger: 1 or q?
1
Let b(h) = 187*h - 851. Let n be b(14). Which is smaller: n or 1765?
1765
Suppose -7*o - 77 + 427 = 0. Let h be (6 - (-704)/(-120))/((-1)/o). Which is smaller: -0.2 or h?
h
Let h = -127.5624 - 0.4376. Which is smaller: h or -14?
h
Let c = -598403/111 - -5391. Is c smaller than 1?
True
Let l = -2 - -2. Let u = -0.225 + -44.775. Let w = 64 + u. Which is bigger: w or l?
w
Suppose -5*s + 5 = 10. Let x be 60/(-9) - 264/(-99) - 33/(-8). Is x less than s?
False
Let y = -2318 + 2316.999. Which is smaller: -0.07 or y?
y
Let u(c) = 8*c**3 - 8*c**2 - 15*c - 35. Let z be u(-7). Which is smaller: z or -3064?
z
Let c = 4320 - 278. Is 4043 at least c?
True
Let a = 19 + -17. Let v(y) = 84*y**2 + y**3 - 39*y**2 - 7 - 46*y**a. Let r be v(0). Which is smaller: r or -3?
r
Let m = -993.1 + 950. Let y = m - -43. Is y less than 2.09?
True
Suppose -141 - 129 = -485*s + 458*s. Let d be (-4)/(-6) - 48/(-9). Suppose 0 = -4*f + 2*y - d, -5*f - 11 = 2*y + 1. Is s smaller than f?
False
Suppose 0 = 3*w - a + 129, 321*w - 318*w - 4*a + 120 = 0. Which is smaller: -34 or w?
w
Let u = 4.134 + 40.866. Which is smaller: 0 or u?
0
Let u be (((-423)/(-12))/(15/100))/1. Suppose 5*o = -215 + u. Let x be 940/(-102) - ((-264)/68 + o). Which is bigger: x or -9?
-9
Let o = 3 - 36. Let l = -2.51 - 24.39. Let v = 27 + l. Which is bigger: o or v?
v
Let b(i) = 11*i + 71. Let p be b(-6). Let q(s) = -8*s + 17. Let n be q(p). Let g be 9/15 - (-4)/10. Is g < n?
False
Suppose -33*w = -36*w - 33. Let j be w/(74910/(-40))*(-18)/4. Is 0 less than j?
False
Let n = 96.37 - 88.37. Are 277 and n nonequal?
True
Let i be 17 - -8*(-12)/6. Which is smaller: i or -2/3797?
-2/3797
Let z be 2/24*2/(-4)*4. Is z at least 188?
False
Suppose -6*q - q + 77 = 0. Let s(m) = -5*m**2 - 52*m - 5. Let a be s(-10). Which is greater: q or a?
a
Let p = -16545 + 16567. Is 3/20 at least as big as p?
False
Let g(t) = 285*t**2 - 2. Let q be g(-1). Let v = -296 + q. Which is smaller: -19 or v?
-19
Suppose 0 = -2*x + 3*j + 44, -3*x + 5*j + 33 = 6*j. Are x and -16/7 unequal?
True
Suppose -4 = -2*p + 4*n, 5*p = -3*n - 0 - 3. Are 4/1047 and p nonequal?
True
Let k = 3592 - 3591.9. Is -61/39 at least as big as k?
False
Let i = 2869 + -2840.02. Let b = i + -29. Let s = -1.98 + b. Which is smaller: s or 4?
s
Let n = -2677/85172 + 7/428. Is n <= -2?
False
Let z(y) = -2*y**2 + 7*y - 9. Let i(c) be the third derivative of c**6/60 + c**5/60 - c**4/24 - 27*c**2. Let x be i(1). Let o be z(x). Is -3 not equal to o?
False
Let w = 575 + -713. Let c be 10/(-15) + w/279. Which is bigger: 0 or c?
0
Suppose 24*y + 8*y + 172554 = 44586. Is -4000 at most y?
True
Let r(o) = -8*o**2 - 43*o + 155. Let x be r(4). Let u = -111 - 35. Is x at most as big as u?
False
Let z be 2 + 110/(-45) + 3 - 3. Let j = -3/1004 + -1562/2259. Let y = j - z. Does y = -3/5?
False
Suppose 8*o = u + 3*o - 424, 0 = o + 5. Suppose 2*y - 5*f + 0*f = 193, 4*y - u = -3*f. Are y and 98 nonequal?
True
Let d be (-27)/(-2 - 7/(-2)). Let y be d/42 - (4 - (-48)/(-14)). Let b = -240248/125 + 1922. Which is greater: y or b?
b
Let s = -36675 + 2970769/81. Which is greater: s or 0?
s
Let b be ((-580)/(-15))/((-253)/(-3312)). Which is smaller: 507 or b?
b
Let k be (-1 + 1)/((1792/(-1024))/((-14)/24)). Which is greater: -3/5117 or k?
k
Let g(v) = -75*v + 2. Let p be g(2). Let b = p - -153. Let l be -5 + 4/2 + 0. Which is greater: l or b?
b
Let y = -5/11574 + 8041/752310. Let v be (-2*1)/((-2)/5). Let b be (-3)/v - 6/15. Is y greater than b?
True
Suppose -12*t = 323 - 257 + 198. Which is bigger: -103/5 or t?
-103/5
Let a be -2 + (-6)/(-12) + (-15)/(-2). Suppose 6 = a*k + 6. Which is smaller: -1/487 or k?
-1/487
Let l = 936.98217 + -937. Which is greater: l or -2/5?
l
Suppose -15 = 8*s - 39. Suppose -6*g = -s*f - g - 429, 0 = 5*f - 5*g + 725. Do f and -148 have the same value?
True
Let x = -0.077 + 0.031. Let p = 1478 + -1478.286. Let t = p - x. Which is bigger: t or 2/9?
2/9
Suppose 6*t - 5 = 5*t. Let z be t/((-30)/24) - (-66)/2. Is z at least 0.3?
True
Let o = 4235 + -4235.0647. Which is smaller: 1 or o?
o
Let f = 2689 + -2537. Which is greater: f or 157?
157
Suppose 20*z - 14744 - 7716 = 0. Is 1126 >= z?
True
Suppose s - 4*o = 0, -s + 2*o = -3 - 3. Suppose -238*r + 231*r + 21 = 0. Suppose 0 = -r*l - s, l + 5 = -2*i - 3. Is i smaller than 0.09?
True
Let b = -3256873/107 + 30439. Which is greater: b or 2?
2
Suppose -h + 2*c = -12, c = -5*h - 0*h + 60. Let s be (h/(-170))/(21/((-420)/8)). Do -1 and s have the same value?
False
Let q = 7810/9 - 530783/612. Are 1 and q equal?
False
Suppose 12*h = 5*r + 10*h - 6309, -1245 = -r - 2*h. Are r and 1260 nonequal?
True
Let q be (10 - 11)*56/(-680) + (-1)/5. Which is greater: 2/5 or q?
2/5
Let i = -2953 + 2954. Is 12 at least as big as i?
True
Let u be (3 - (-930)/25) + (-6)/30. Let j be (-45)/(-35) - 4/14. Let f be (-2 - j)*1/(3/u). Which is smaller: -41 or f?
-41
Let l be (-41096)/(-40) + 2 + 13. Is l at least as big as 1042?
True
Suppose -h - 2 = 3*s, 0*h - 4*s = -4*h + 8. Suppose 5*n - 103 = -x, 5*x + 4*n = -n + 455. Let y = x - 99. Which is bigger: y or h?
h
Let k be (3/(-2))/(1485/6270) - -7. Which is bigger: k or -5987?
k
Let i be (3 - (-171)/(-42)) + 1. Let z = i + 11/7. Let h = -2.09 + 0.09. Is h smaller than z?
True
Let a = -3925 - -4035. Is a at least as big as 122?
False
Let c(x) = -71*x - 25*x + 65 - 85. Let f be c(-14). Let k = f + -22514/17. Which is bigger: 1 or k?
1
Let h = 3920 - 3904. Which is smaller: h or 99?
h
Let p = 32154 - 33021. Which is bigger: -855 or p?
-855
Let j(s) = -5*s - 4. Let g be j(-7). Let p(k) = 2*k + k**2 - 6*k**3 + 5*k**3 + 8*k + 37 - 6*k**2 + 17. Let y be p(-6). Is g at least y?
True
Suppose 4*t + 3*o = 1, 19 = -2*t + 8*o - 3*o. Let f(a) = -25*a - 72. Let n be f(t). Is -19 less than or equal to n?
False
Let c = 21862 + -21847. Let o = 0.2 - 0.1. Which is greater: c or o?
c
Suppose 4*m = -4, 13*v - 18*v = 2*m + 3017. Which is bigger: -601 or v?
-601
Suppose 0 = 41*b - 62*b - 21. Which is smaller: 20/139 or b?
b
Let o(w) be the first derivative of -w**4/2 + 2*w**3/3 + w**2 - 2*w + 4. Suppose 7 = 5*q - 3. Let b be o(q). Are b and -7 nonequal?
True
Let n be ((-12216)/2444 + 5)*24/120. Is 1 at most as big as n?
False
Suppose -f = 173*u - 169*u - 13, -u = -3*f + 13. Is u <= 0.041?
False
Suppose -t + 8*t - 91 = 0. Suppose -t*x + x + 24 = 0. Let y be 2 - (x + 3) - (-245)/77. Is y > -0.2?
True
Suppose 0 = -l + 3*b + 7, 7*l - 4*l - 5*b = 13. Let s(h) = -h + 23. Let r be s(24). Let v be -12 + (r - (-6)/(-3)) + l. Is -25/2 at most v?
False
Let m be (-4 + (-1350)/(-340))*84/8. Is m <= 0?
True
Suppose -4*h = 4*b + 11236, -69*b + 2799 = -70*b - 3*h. Which is smaller: b or -2815?
-2815
Let h(y) = -106 - 5*y**2 + 33*y + 77 + 55. Let p be h(7). Is 87/8 at least as big as p?
False
Suppose 154*u = 86163 + 69223. Which is smaller: u or 1008?
1008
Let l be -49 - -39 - (-854)/6. Do l and 131 have different values?
True
Let c(h) = -57*h - 2448. Let r be c(-44). Which is bigger: r or -0.4?
r
Suppose -3*y = -24*y + 147. Let r be (468/66 - y)/(-3). Which is greater: r or -1?
r
Suppose v + 14 = 4*u,