13.3 - 10.6. Which is bigger: 1/2 or p?
p
Let q = -0.559 - 0.441. Is q > -0.158?
False
Let v(z) = z**3 - 9*z**2 - 9*z + 8. Let d be v(10). Let i(u) = -u**3 + 5*u**2 + 4*u - 1. Let l = 5 - 0. Let r be i(l). Which is smaller: d or r?
d
Let o be (-16)/10 - (-18)/(-45). Suppose 7 = 2*n + 1. Suppose 4*b = -4*i, 0 = b - n*i + 2 + 2. Which is smaller: o or b?
o
Let k = -1402 + 1391. Let c = -17 - -4. Which is smaller: k or c?
c
Suppose 0 = 4*r - 7*r + 18. Let f(z) = -6 - 2*z - r - 3*z + z. Let c be f(-5). Which is smaller: 9 or c?
c
Let m = -120 + 111. Which is smaller: m or 2?
m
Let t be (4/(-3))/((-52)/(-12)). Let m(z) = z**3 + 18*z**2 - 21*z - 10. Let k be m(-19). Let i = k - 27. Which is bigger: i or t?
i
Let h be 1/(-1) - 18*5. Let d = h - -40. Let f = d - -361/7. Are f and 2 unequal?
True
Let g(v) = 2*v**2 - 10*v + 3. Let h be g(4). Let c be (7 + h)/2 - -29. Which is bigger: c or 31?
31
Suppose 2*t - 32 = -0*t - l, -25 = -t + 4*l. Let a be (-435)/(-85) + (-2)/t. Is a less than 0.1?
False
Let l(o) = -o**2 - 5*o - 2. Let d be l(-3). Suppose v - 19 = a - v, 0 = d*a - v + 55. Let i(c) = -c - 12. Let b be i(a). Which is greater: b or 2?
2
Suppose -5*u + 5 = -5. Suppose 3*v = -4*i, -u*i - v = 2*v. Suppose -d + 1 = i, -g + 0*d = 5*d - 4. Which is smaller: -3/4 or g?
g
Suppose 4*z = -5*t + 11, 0 = -t + 3*z - 0*z - 13. Let c(h) = -4*h**2 + 1. Let m be c(t). Let u be ((-6)/9)/(m/18). Is u bigger than 4?
False
Suppose 29*a + 96 = -78. Is -40 >= a?
False
Suppose -1361 = 17*p - 11289. Are 584 and p unequal?
False
Let m be 3 + -1 - (-1176)/(-584). Is m less than 0?
True
Let j = -444 - -439. Is -0.18 at least as big as j?
True
Let l = 22/5 - 21/5. Let f(n) = 3*n + 2. Let g be f(-2). Which is smaller: l or g?
g
Suppose -4*u - 3*a = -39, 2*a = -4*u + 7 + 31. Suppose 8 = 9*v - 4*v - 3*m, 5*v - 2*m - 12 = 0. Is u != v?
True
Let m be (19050/(-450))/(10/18). Which is bigger: -77 or m?
m
Let z = 1/348 - -781/696. Suppose 0 = -2*y + y + 4. Suppose 3*v - v = y. Is v not equal to z?
True
Suppose r - 14 = k, -2*k - 3*k = 2*r + 56. Let w(g) = -g**3 - 13*g**2 - 16*g - 29. Let l be w(k). Is 20 less than or equal to l?
False
Let b be (-26)/(-65)*15/(-3114). Is b less than or equal to 0?
True
Let x be (-3)/30 - 369/(-90). Suppose 3*t + x*z = -141, 43 = -2*t - z - 51. Is t smaller than -46?
True
Let w(n) = -9*n - 11*n + 19*n. Let h be w(1). Let o = 106 + -950/9. Is h at least as big as o?
False
Let r be -28 + (-4 + 3)*2. Let g be ((-1)/r*4)/(-1). Let f = -29/2 - -59/4. Which is smaller: g or f?
g
Let g(v) = -30*v**3 - 6*v**2 - 12*v + 1. Let f be g(-2). Which is smaller: f or 238?
238
Let v = -13.39 - -13.49. Is v > 41?
False
Let x = -38 - -4. Which is smaller: x or -36?
-36
Let r(b) = -13*b**2 - 2*b + 2. Let u be r(-2). Let k be (-253)/7 + -5 - 5. Let j = u - k. Is 0 at most as big as j?
True
Let u = -3/82 - 67/410. Let y = -112.05 + 112. Which is bigger: u or y?
y
Suppose -3*u = 2*o, -5*u - 3*o = -2*u. Suppose u = -w + 5*w - 5*z + 167, 2*w + 73 = -z. Let v = w - -305/8. Is 0 equal to v?
False
Suppose -2*m + 3*y = 15, -m + 3*y = 4*m + 15. Is 105 >= m?
True
Let z be -4 - -629*3/475. Let w = z - -2/25. Which is bigger: 1 or w?
1
Let d = 2 + 0. Let k(q) = -5*q**2 - 4 + 4 - 5*q + 6*q**2 - 2. Let h be k(6). Which is greater: d or h?
h
Suppose 15 - 17 = t. Let k be (274 - (6 + t))*-1. Let n be (-5)/k*9/(-6). Which is smaller: n or -1?
-1
Let p = -15433/10 - -1542. Which is bigger: p or 0?
0
Let p = -331/5 - -19539/295. Which is greater: 0.4 or p?
0.4
Let u = -3.96 - -3.8. Let p = u + 0.06. Is 3/7 <= p?
False
Let c = -0.32 - 0.178. Let m = -0.002 + c. Are 0.3 and m nonequal?
True
Let u be (6/(-4) + -1)*(-539)/220. Is u >= 5?
True
Suppose -32*n - 212 = -34*n. Is n less than 108?
True
Let w = 22.35 - 0.35. Is -10 > w?
False
Let m be ((-145)/(-21) + -7)*3. Are m and 13 equal?
False
Let w = -1.13 + 1.2. Let b = 0.97 + -2.97. Is w >= b?
True
Let a = 82 - 88. Let l = 3 - 0. Let w(v) = v**2 - 3*v - 4. Let j be w(l). Which is bigger: j or a?
j
Suppose 15 = 3*x - 3*t, 3*x - t - 5 = 7*x. Let n be (-2)/1 + (-6 - (x - 9)). Is n > -1/70?
True
Let v = -5 + 14. Let n(s) = s**2 - 10*s + 12. Let u be n(v). Suppose 16 = -2*m + 2*c, -2*m + 2*c = -u*c + 25. Which is greater: m or -4?
-4
Let b = 533693/90 - 5930. Is b <= 1?
True
Let c(y) = -2*y - 1. Let x be c(-3). Suppose -5*a - x = -5*q, a - q = 4*a - 1. Is -6 at most a?
True
Let k = 2338345/24024 - 3/8008. Which is smaller: 98 or k?
k
Let z = 3157 + -129431/41. Let i be 5 + -1 + (-8)/(-5 - -7). Which is smaller: z or i?
i
Suppose 5*k + 875 = 5*y, 0*y + 861 = 5*y + 2*k. Is 172 greater than y?
False
Let v = 292 + -271. Suppose -2*x + w + 45 = 0, -4*w = 3*x - 66 + 4. Is v >= x?
False
Let d = -0.407 - 0.893. Which is greater: -8 or d?
d
Let f = -18 + 13. Are f and 1/22 nonequal?
True
Suppose -3*o + 8 = -o. Suppose 27 = q - 4*p, p - 18 = -4*q + 22. Let n = 16 - q. Are o and n unequal?
True
Suppose s - 2*u = -5*u + 18, 0 = 2*s - 2*u - 4. Let t be (8/(-12))/(4/s). Let r = -0.277 + 18.277. Is t at most r?
True
Suppose -2390*m + 3 = -2393*m. Let r be (20/6 - 0)*3. Suppose -2*w = -4*v + r, -2*v - w + 0*w - 1 = 0. Which is bigger: m or v?
v
Suppose -1883 = -5*l + 3427. Let x be 4/(-192)*3668/l. Let z = x - 1/472. Which is bigger: -1/3 or z?
z
Let p be (-864)/44 - 56/154. Is -21 < p?
True
Let a(y) = 7*y + 98. Let v be a(-13). Let r be (8/12)/((-2)/18). Let p = 11 + r. Is p != v?
True
Let i = 0.35 + -0.05. Let j = 1917 - 9597/5. Which is bigger: i or j?
i
Suppose -127 - 539 = -9*m. Let o = m - 67. Which is smaller: 1 or o?
1
Suppose -20*r + 16*r - 16 = 0. Let f be r/(-15) - 5/(-15). Which is smaller: f or 1/3?
1/3
Let x = -26 + 35. Let u be (-5)/x*(13/5 + -3). Which is greater: u or 1/9?
u
Let r = 0.057 - -2.643. Let f = r + -2. Let t = -84 + 86. Is t at most as big as f?
False
Let w = -77 - -115. Let n = 36 - w. Is -10/9 at least n?
True
Suppose -5*u + 40 = 4*s, s = -0*s + 5*u - 15. Suppose -5*a = 3*d - 18, s = 4*d + d. Let f(v) = v**3 - 3*v**2 - v - 3. Let m be f(a). Which is bigger: 1 or m?
1
Let b(y) = -9*y - 50. Let p be b(-12). Suppose 5*m + 44 + 11 = -3*n, 3*n + p = -2*m. Which is greater: -18 or n?
-18
Let c be 132/2618*(-14)/9. Which is smaller: c or 0?
c
Let f = -509/3 + 61. Which is bigger: f or -108?
-108
Let i = -2/41 + 45/82. Are i and 191 non-equal?
True
Let k be 4/(-26) - (-5597)/(-10179). Which is greater: k or -2?
k
Let d be ((21 + -2)*-2)/(4/(-8)). Let q = -137 - -212. Do d and q have the same value?
False
Suppose 0 = -27*z - 1970 - 1864. Is -141 smaller than z?
False
Let u = 3/13 + -5/13. Let v = 20/39 - u. Suppose j + 3*g - 6 = 0, 0*j - 10 = 2*j - 5*g. Is j not equal to v?
True
Suppose -3*a + u - 62 - 160 = 0, 5*u = -5*a - 390. Is a at least 2/7?
False
Let u be 1/(-3) + 23/9. Let s = 14 - 13. Which is smaller: u or s?
s
Let v = 1573690/659 + -2388. Is v <= -1?
False
Suppose 3*m = 2*s + 46, -m - m + 14 = 2*s. Let x = 182 - 179. Let v be x*1/m*4. Is -2 > v?
False
Let p = -782 - -783. Which is smaller: 362 or p?
p
Suppose -4*j = -4*f - 20, -14 - 35 = 5*f + 3*j. Let w be 19*6/(-8)*f. Let i = 572/5 - w. Which is smaller: i or 7?
i
Let y = -37 - 13. Let q = 104 + y. Is q less than -2/3?
False
Suppose 12*w - 36 = 3*w. Let f be -3 - (1 - (-2)/(w/130)). Is -69 >= f?
True
Suppose 0 = -3*s - 2*s + 5. Let o(t) = -5*t**3 + t**2 + t - 1. Let x be o(s). Let u be 1/6*x + 0. Which is bigger: -3 or u?
u
Let a(p) = p**2 - 6*p + 12. Let h be a(5). Let c(j) = 4*j - 28. Let q be c(h). Let o = 0.5 + -0.5. Are q and o nonequal?
False
Let a be 1 + 2/(-3) - (-299)/(-69). Let i be 5/(-20)*17*a. Is 19 less than i?
False
Let t(w) = w + 21. Let a be t(-21). Let m = 304/9 + -4033/117. Is m equal to a?
False
Suppose 5*z = -d + 725, -3*z + 3*d = -39 - 378. Is z bigger than 144?
False
Let r = -8.91 + 9. Let k = 19.09 - r. Let t be -2*(-1)/(-16)*2. Are t and k non-equal?
True
Let s(t) = -t**2 + 8*t - 11. Let g be s(5). Suppose -3 = -4*p + 2*u + 13, g = 2*p + u. Is p smaller than 3?
False
Let z = -57077/66933 + 57/67. Which is smaller: z or 1?
z
Let j be (-6)/21 + 46/14. Suppose k - 2*a - 6 = 0, 4*k - j*k = -4*a + 30. Let c = 5162 + -5149. Which is bigger: k or c?
k
Let t be 1/4*(-5)/4. Suppose 151*s + 63 = 214. Which is greater: t or s?
s
Let g = -718.5 - -721. Do 5 and g